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

Hilbert基定理与代数集

本文介绍Hilbert基定理,并给出它的一个几何背景

为介绍从几何的角度来看这个定理,我们先定义代数集

本文中我们设k 为代数闭域

Def 1

kⁿ 的代数集 V(S) 为 k[X₁,. . .,Xₙ] 的子集 S 的零点集

V(S)={(α₁,. . .,αₙ)∈kⁿ|f(α₁,. . .,αₙ)=0,∀f∈S}

此处我们没有约定S 有限,事实上,我们可以证明任意代数集都可视为有限个多项式的零点集,这就是Hilbert基定理

Thm 2

环k[X₁,. . .,Xₙ] 是notherian的

我们证明下面的引理

Lem 3

若A notherian,则 A[X] 亦然

pf

我们通过证明A[X] 的每个理想都是有限生成的来说明其是notherian的

设α 为 A[X] 的真子理想,记 α(i) 为所有出现在 i 次多项式的首项系数中的 A 的元素

容易验证,α(i) 为理想,且 α(i) ⊂ α(i+1)

任取含于α 的一个 A[X] 的理想 b ,显然 b(i) ⊂ α(i),∀i

我们先证若上式中对任意的 i 均有等号,则 b=α

任取f∈α

由于b(deg f)=α(deg f) ,则存在 g∈b 使得 deg(f – g)<deg f

于是f=g+f₁ ,且 deg f₁<deg f

同理f₁=g₁+f₂ ,且 deg f₂<deg f₁

于是存在m∈ℤ≥₀ 使得

f=g+g₁+. . .+gₘ ∈ b

下面我们构造一个有限生成的b 满足 b(i)=α(i) ,∀i

注意到α(1) ⊂ α(2) ⊂ . . .

由于A notherian,则存在 d∈ℤ≥₀ 使得 α(d)=α(d+1)=. . .

对任意i ≤ d , α(i) 有一个有限生成集,记为 {αᵢ₁,. . .,αᵢₙᵢ}

对一组(i,j) ,存在 fᵢⱼ ∈ α 使得其首项系数为 αᵢⱼ

取b 为生成集是 {fᵢⱼ} ,其中 1 ≤ i ≤ d , 1 ≤ j ≤ nᵢ

此时b(i)=α(i),∀i

于是我们有α=b 为有限生成的

由Lem 3,显然得到Thm 2

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

相关小说

诗韵千古 连载中
诗韵千古
羽寅
女主竹诗灵,无cp,修真文,微群像。竹诗灵,竹家主家三小姐,上品阴阳双灵根,剑符双修,朋友遍天下。主线:秘境打怪,再交亿个好朋友!唔,也顺便......
4.3万字4个月前
颜狗的奇幻药铺 连载中
颜狗的奇幻药铺
小狗日记爱好者李依颜
现代少女穿越成仙侠游戏NPC,开启爆笑炼药之旅。
2.5万字4个月前
幸运的天使 连载中
幸运的天使
一望无际的草原
精彩美妙
13.6万字4个月前
樱花之恋之死神的曼珠沙华 连载中
樱花之恋之死神的曼珠沙华
醉雨清风
樱花之恋是一个诅咒☠️,曼珠沙华是恶魔的温柔,若动情,则会体会到噬心之痛。爱而不得,千年之恋有爱陈情令?三生三世十里桃花的小可爱们吗?赶紧来......
18.7万字4个月前
傲娇鬼王追妻攻略 连载中
傲娇鬼王追妻攻略
九呓仙子
他是冥界的王,只要他跺一跺脚,整个冥界的人都闻风丧胆!而在她面前,却是低声下气,爱的卑微…一千年前三人造下孽缘,一千年后三人又再次相见…
8.4万字4个月前
水仙不开花 连载中
水仙不开花
香菜水饺
作为一株不开花的水仙,钟梓只想说:
6.0万字4个月前