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

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://www.bjxsw.cc),接着再看更方便。

相关小说

快穿之天生媚骨 连载中
快穿之天生媚骨
吖吖鹿
琓月为了寻求记忆,与778绑定,,完成任务,收集能量。第一个世界佟佳氏无cp
8.8万字5个月前
奇眠者 连载中
奇眠者
原野稳
写步临笺发现学校里的人一个一个的都失踪了,而他们的父母都没有他们的记忆,直到轮到自己也消失了,她发现自己被困在梦境里。无法走出来,有一天遇到......
1.3万字5个月前
某天成为公主维塔 连载中
某天成为公主维塔
春日的微风
希娅的双胞胎妹妹,一个普通的现代大学生,被错位的命运裹挟着穿越成一个原著中不该存在人物。不拆CP(小学生文笔)(之前写过一个类似的,之后写不......
6.1万字2个月前
天穹之虚 连载中
天穹之虚
闻不见此人
打破异界的梦境,剩下的就是真实世界的虚伪与假象。「天穹」,源自天空的无望与宇宙的结合。一个内含许多时代的科技与包含「七罪」的执政。脱离不了的......
9.8万字2个月前
长相思之入颖相思改篇版 连载中
长相思之入颖相思改篇版
雪雨森林
长相思改篇,若有不喜欢的大大们可以不看,请大大们不喜勿喷。
0.7万字3天前
泰版流星花园:奇妙的邂逅 连载中
泰版流星花园:奇妙的邂逅
瑾黎Aa_
【2025.3.6完结】女主有一个奇妙的能力,就是变成一个胖嘟嘟的,可可爱爱的小女孩。女主通过变成小女孩来作弄f4,后来被Ren发现身份........
6.7万字3天前