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

希尔伯特基定理 (2-1)

命题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

于是

数学联邦政治世界观提示您:看后求收藏(同人小说网http://tongren.me),接着再看更方便。

相关小说

雇佣兵四人组的异界闯荡日常 连载中
雇佣兵四人组的异界闯荡日常
懒惰的秦道长
(可能有副cp,暂时没规定。主角有四人!)一场平常的任务,导致了世界雇佣兵团排行榜前三的'四重奏'团队全没,可别人不知道的是在一个玄幻的异世......
0.3万字4周前
星辰遇你 连载中
星辰遇你
慕星辰291
在一片神秘的大陆上,生活着一些不一样的人,他们用梦魇争斗比赛,在这里,每个人都有自己的梦魇,慕星辰在这里遇到了他,那个奇奇怪怪的人,天之娇女......
22.4万字4周前
凤起风云 连载中
凤起风云
夏宸伊
(建议先收藏养肥再看)与他定下约定,炼狱归来定当……可是,吾却殒身于炼狱。重生归来,只为了找寻前人。2020.3.9签约(披星戴月,洛云所向......
10.7万字4周前
穿成仙界大佬的灵宠 连载中
穿成仙界大佬的灵宠
扶风乔少
【求花花,求收藏】从小被当做家族精英培养的谢权,一场车祸,成了修仙界大佬刚捡回来的灵宠-小青蛇。霸总谢权:算了,算了,穿就穿了吧!仙界大佬:......
13.8万字4周前
新葫之不知道 连载中
新葫之不知道
给老子出头
哈哈(尴尬的笑了),我这该死的灵感!我该怎么办,我填不完坑了Σ(っ°Д°;)っ
2.6万字4周前
双世倾于卿 连载中
双世倾于卿
该用户已注销
从前我为了仇恨而活,现在我只为了你而活。两个世界,从前是家人,现在只要你也只会是你。我会留住你,哪怕是鬼神也带不走你。世界被恶鬼腐蚀,我会就......
16.7万字4周前