五章 : 用世界级数学难题来检验自己的学习(3/8)
宿舍中，徐👮川一边整理着米尔扎哈尼教🌠授留给他的稿纸，同🟔🜷时也在整理着自己近半年来所学习的一些知识。
“代数几何的☄一个基本结果是：🟃任意一个代数簇可以分解为🟔🜷不可约代数簇的并。这一分解称为不可缩的，如果任意一个不可约代数簇都不包含在其他代数簇中。”
“而在在构造性代数几何中，上述定理可以通过ritt-吴特征列方法构造性实现，设s为有理系数n个变量的多项😺式集合，我们用zero(s)表示s中多项式在复数域上的公共零点的集合，即代数簇。”
“.......”
“如果通过变量重新命名后可以写成如下形🁦式：
a?(u?，···，uq，y?)=🌠i?y??d⛹🟗?🖯🖌+y?的低次项；
a🙪🍍🙪🍍?(u?，···，uq，y?，y2)=i?y??d?+y?的低次项；
······
“ap(u?，···，uq，y?，···，yp)=ip?yp+yp的低次项。”
“......设as={a1···，ap}、j为ai的初式的乘积.对于🎦📓🚙以上概念，定义sat(as)={p|存在正整数n使得jnp∈(as)}........”
稿纸上，徐川用圆珠笔将脑海中的一些知识点重新写⛹🟗了一遍。
今年上😹🆖半年，他跟随着的德利涅和威腾两位导师，学到了相🟔🜷当多的东西。
特别是在数学领域中📖的群构、微分方程、代数、代数几何这几块，可以说极大的充实了自己。
而米尔扎哈尼教授留给他的稿纸上，有着一部分微分代数簇相关🇻🝰🎳的知识点，他现在正在整理的就是这方面的知识。
众所周知，代数簇是代数几何🀦⚭🔩里最基本的研究对象。
“代数几何的☄一个基本结果是：🟃任意一个代数簇可以分解为🟔🜷不可约代数簇的并。这一分解称为不可缩的，如果任意一个不可约代数簇都不包含在其他代数簇中。”
“而在在构造性代数几何中，上述定理可以通过ritt-吴特征列方法构造性实现，设s为有理系数n个变量的多项😺式集合，我们用zero(s)表示s中多项式在复数域上的公共零点的集合，即代数簇。”
“.......”
“如果通过变量重新命名后可以写成如下形🁦式：
a?(u?，···，uq，y?)=🌠i?y??d⛹🟗?🖯🖌+y?的低次项；
a🙪🍍🙪🍍?(u?，···，uq，y?，y2)=i?y??d?+y?的低次项；
······
“ap(u?，···，uq，y?，···，yp)=ip?yp+yp的低次项。”
“......设as={a1···，ap}、j为ai的初式的乘积.对于🎦📓🚙以上概念，定义sat(as)={p|存在正整数n使得jnp∈(as)}........”
稿纸上，徐川用圆珠笔将脑海中的一些知识点重新写⛹🟗了一遍。
今年上😹🆖半年，他跟随着的德利涅和威腾两位导师，学到了相🟔🜷当多的东西。
特别是在数学领域中📖的群构、微分方程、代数、代数几何这几块，可以说极大的充实了自己。
而米尔扎哈尼教授留给他的稿纸上，有着一部分微分代数簇相关🇻🝰🎳的知识点，他现在正在整理的就是这方面的知识。
众所周知，代数簇是代数几何🀦⚭🔩里最基本的研究对象。