数学联邦政治世界观
超小超大

希尔伯特基定理

命题1 设 A 为 Noether 环

(1)如果 A ↠ B 是满的环同态,则 [公式] 为 Noether 环;

B同构于A的一个商环

(2)设S⊂A 为乘性子集,则分式环 S⁻¹A 是 Noether 环;特别地,局部化是保持了 Noether 的性质;

Pf. 只需注意到 S⁻¹A 的任一理想均有形式 S⁻¹ l ,其中 l ⊂ A 为 A 的理想

(3)设B 为有限 A 代数,即 B 作为 A– 模是有限生成的,则 B 为 Noether 环;

Pf. 首先 B 是 Noether A– 模,注意到 B 的任一理想(B– 子模)同时也是 A– 子模,因此作为 A– 模是有限生成的,进而作为 B– 模也是有限生成的

我们知道,A 上的除了有有限代数(finite),还有较弱一点的有限生成代数(finite type),即作为环是 A– 有限生成的,希尔伯特基定理实际上就是在证明有限生成代数也保持了环的 Noether 性

定理2 (Hilbert's basis theorem)设 A 为 Noether 环,则对任意的 n ≥ 1 , A 上的 n 元多项式环 A[X₁,. . .,Xₙ] 也是 Noether 环

Pf 我们采用书上的证明方法

根据自然的环同构 A[X₁,. . .,Xₙ] ≃A[X₁,. . .,Xₙ₋₁] [Xₙ],可将问题约化为 n=1 的情形;只需对 Noether 环 A 证明,多项式环 A[Ⅹ] 是 Noether 环即可;

任取理想 l ⊂ A[X] ,我们期望构造有限个元素 f₁,. . .,fₘ ∈ A[X] 使得 l=(f₁,. . .,fₘ)

对任意的 f=∑ αₖ Xᵏ ∈ A[X],

ₖ₌₀

αₙ ≠ 0 ,定义 f 的领导系数为 in(f):=αₙ.

下面来归纳构造;首先选取 f₁∈l\{0} ,使得次数 deg fₖ₊₁ 最小;现假设已经选取 f₁,· · ·,fₖ∈l ,如果有 l=(f₁,. . .,fₘ) 则构造终止,否则选取 fₖ₊₁ ∈ l 使得:

(1) fₖ₊₁ ∈ l\(f₁,. . .,fₖ) ;

(2)次数 deg fₖ₊₁ 在满足条件(1)的前提下最小;

现在证明上述构造的过程在有限步内必终止

设 αᵢ:=in(fᵢ) ,由 A 为 Noether 环可知,理想升链

(α₁) ⊂ (α₁,α₂) ⊂ · · ·

由此可得理想 (α₁,α₂,· · ·,αₖ,· · ·) 有一组生成元 α₁,· · ·,αₘ ;假设上述的构造可以进行到第 m+1 步,则有表达式

in(fₘ₊₁)=αₘ₊₁=∑ uᵢαᵢ,

ᵢ₌₁

其中 u₁,· · ·,uₘ∈A ;根据次数的最小性可知,对 i=1,· · ·,m 皆有

dᵢ:=deg fₘ₊₁ – deg fᵢ ≥ 0

于是

fₘ₊₁ – ∑ uᵢfᵢXᵈⁱ∈l\(f₁,· · ·,fₘ)

ᵢ₌₁

并且其次数严格小于 deg fₘ₊₁ ,这与 fₘ₊₁ 次数的最小性矛盾

这就完成了希尔伯特基定理的证明

对于形式幂级数环,也有类似的结论成立

定理3 设 A 为 Noether 环,则对任意的 n ≥ 1 , A 上的 n 元形式幂级数环 A[[X₁,· · ·,Xₙ]] 也是 Noether 环

Pf.根据自然的环同构 A[[X₁,· · ·,Xₙ]] ≃ A [[X₁,· · ·,Xₙ₋₁]] [[Xₙ]],可将问题约化为 n=1 的情形;只需对 Noether 环 A 证明,形式幂级数环 A[[X]] 是 Noether 环即可;

证明思路与希尔伯特基定理的思路完全类似,不同的是此处考虑形式幂级数的最低次项;

对任一 f=∑αₙXⁿ∈A[[A]] ,其中 αₘ ≠ 0 ,定义

υₓ(f):=αₘ=min{n|αₙ ≠ 0},

然后将定理2证明过程中的领导系数 in(f) 定义改为 in(f):=υₓ(f)=αₘ,并将所有的 deg 替换为 υₓ 即可;此后的 f₁,· · ·,fₘ 构造是完全相同的(仍取 υₓ 最小)

学习了环的完备化之后我们将看到,定理3无非是完备化和 Noether 环的相容性

希尔伯特基定理相当重要,后面我们还会反复遇见

数学联邦政治世界观提示您:看后求收藏(笔尖小说网http://www.bjxsw.cc),接着再看更方便。

相关小说

十二星座之星空璀璨 连载中
十二星座之星空璀璨
陌cc
当你仰望天空,星空璀璨,繁星闪耀,如此美丽的背后究竟是怎样的凶险和困境,才有如此漂亮的星空呢?星空之下隐藏的秘密又是什么呢?|星空如此璀璨,......
6.3万字6个月前
归魂渊 连载中
归魂渊
冰霜之间
有花无叶,有叶无花,永生永世,无法相见,生生不息,轮回不止,悲剧之爱,曼珠沙华。
3.8万字6个月前
书外的你我是天作之合 连载中
书外的你我是天作之合
璟秋竹
明月几时有?把酒问青天。你是暖阳,是我生命里不可缺失的光,你是早晨的太阳,明亮又耀眼。所以,谢谢你永远选择我。苏淮雪,不论书里书外。(双女主......
0.6万字5个月前
陌上月寒 连载中
陌上月寒
乔忆娇
神族战神转世为花界一个古灵精怪的小花精结识了温文尔雅的芍药花精又遇到了被抛弃的魔族殿下,她与他们之间会发生怎样的故事。
1.4万字5个月前
清风拂过叶林间 连载中
清风拂过叶林间
怜怜忧郁
四个人一起进入副本,探寻案件。案件一:拼凑娃娃案件二:泥墙母亲案件三:火锅男孩案件四:疯子父亲每一个案件都惊心动魄……“是真实发生的,还是我......
1.8万字3个月前
神陨之墟:光明颂 连载中
神陨之墟:光明颂
筱音韵
在神明隐退的破碎纪元,银发少女洛璃背负着连自己都遗忘的创世之秘。一次惨烈的守城战中,她被恶魔首领的毒箭贯穿心脏,从云端坠落——神力溃散、记忆......
0.5万字2周前