希尔伯特基定理

【引理1】(Dickson定理)

对于∀A⊂Nn\forall A \subset \mathbb{N}^{n}ANn∃\exists有限非空集B⊂AB \subset ABA,使得⟨xA⟩=⟨xB⟩\left\langle x^{A} \right\rangle = \left\langle x^{B} \right\ranglexA=xB

【证明】

下面利用数学归纳法证明:

  1. 首先当n=1n = 1n=1时成立

此时对于∀A⊂N\forall A \subset \mathbb{N}AN,取B={min⁡(A)}B = \left\{ \min(A) \right\}B={min(A)},显然有⟨xA⟩=⟨xB⟩\left\langle x^{A} \right\rangle = \left\langle x^{B} \right\ranglexA=xB,此时集BBB有限且非空。

  1. 假定当n≤kn \leq knk时集B(k)B^{(k)}B(k)有限且非空,需要证明n=k+1n = k + 1n=k+1时集B(k+1)B^{(k + 1)}B(k+1)有限且非空

A(k)A^{(k)}A(k)中的元素形如(a1,a2…ak)\left( a_{1},a_{2}\ldots a_{k} \right)(a1,a2ak)A(k+1)A^{(k + 1)}A(k+1)中的元素形如(a1,a2…ak,ak+1)\left( a_{1},a_{2}\ldots a_{k},a_{k + 1} \right)(a1,a2ak,ak+1)。设(b‾1,b‾2…b‾k,b‾k+1)∈A(k+1)\left( {\overline{b}}_{1},{\overline{b}}_{2}\ldots{\overline{b}}_{k},{\overline{b}}_{k + 1} \right) \in A^{(k + 1)}(b1,b2bk,bk+1)A(k+1),其中b‾k+1=min⁡(ak+1){\overline{b}}_{k + 1} = \min\left( a_{k + 1} \right)bk+1=min(ak+1)B‾(k){\overline{B}}^{(k)}B(k)b‾k+1=min⁡(ak+1){\overline{b}}_{k + 1} = \min\left( a_{k + 1} \right)bk+1=min(ak+1)时的有限非空集,且有(b‾1,b‾2…b‾k)∈B‾(k)\left( {\overline{b}}_{1},{\overline{b}}_{2}\ldots{\overline{b}}_{k} \right) \in {\overline{B}}^{(k)}(b1,b2bk)B(k)。那么有(b‾1,b‾2…b‾k,b‾k+1)∈B(k+1)\left( {\overline{b}}_{1},{\overline{b}}_{2}\ldots{\overline{b}}_{k},{\overline{b}}_{k + 1} \right) \in B^{(k + 1)}(b1,b2bk,bk+1)B(k+1),也就是B(k+1)\mathbf{B}^{\left( \mathbf{k + 1} \right)}B(k+1)非空

由于xBx^{B}xB中所有元素两两之间无法互相整除(若整除,只保留一个元素),对于∀(b1,b2…bk,bk+1)∈B(k+1)\forall\left( b_{1},b_{2}\ldots b_{k},b_{k + 1} \right) \in B^{(k + 1)}(b1,b2bk,bk+1)B(k+1),在b1,b2…bkb_{1},b_{2}\ldots b_{k}b1,b2bk中必有一些元素比b‾1,b‾2…b‾k{\overline{b}}_{1},{\overline{b}}_{2}\ldots{\overline{b}}_{k}b1,b2bk的对应元素小,且bi<b‾ib_{i} < {\overline{b}}_{i}bi<bi的元素对总数目一定是小于kkk;而b1,b2…bk,bk+1b_{1},b_{2}\ldots b_{k},b_{k + 1}b1,b2bk,bk+1中剩余的满足bj≥b‾jb_{j} \geq {\overline{b}}_{j}bjbj的所有bjb_{j}bj必然可由这些bib_{i}bi来确定。这是因为当n≤kn \leq knk时集B(k−∗)B^{(k - *)}B(k−∗)有限且非空,剔除bib_{i}bi元素后,bjb_{j}bj必然是B(k−∗)B^{(k - *)}B(k−∗)中的对应元素。由于b‾1,b‾2…b‾k{\overline{b}}_{1},{\overline{b}}_{2}\ldots{\overline{b}}_{k}b1,b2bk是固定的,而bi<b‾ib_{i} < {\overline{b}}_{i}bi<bi,所以bib_{i}bi的取值情况是有限的,也就是B(k+1)\mathbf{B}^{\left( \mathbf{k + 1} \right)}B(k+1)有限。

【引理2】

FFF为一域,IIIR=F[x1,x2…xn]R = F\left\lbrack x_{1},x_{2}\ldots x_{n} \right\rbrackR=F[x1,x2xn]中的理想,若G⊂IG \subset IGI是有限集,且⟨lt(G)⟩=⟨lt(I)⟩\left\langle lt(G) \right\rangle = \left\langle lt(I) \right\ranglelt(G)=lt(I),则⟨G⟩=I\left\langle G \right\rangle = IG=I

【证明】

因为G⊂IG \subset IGI,显然⟨G⟩⊂I\left\langle G \right\rangle \subset IGI

G={g1,g2…gt}G = \{ g_{1},g_{2}\ldots g_{t}\}G={g1,g2gt},则∀f∈I\forall f \in IfI,根据带余除法得

f=q1g1+…+qtgt+rf = q_{1}g_{1} + \ldots + q_{t}g_{t} + rf=q1g1++qtgt+r

那么有lt(r)∈⟨lt(I)⟩⇒lt(r)∈⟨lt(G)⟩lt(r) \in \left\langle lt(I) \right\rangle \Rightarrow lt(r) \in \left\langle lt(G) \right\ranglelt(r)lt(I)lt(r)lt(G),由于rrr是带余除法余数,即满足项序关系lt(r)<lt(g1)、lt(r)<lt(g2)…lt(r)<lt(gt)lt(r) < lt\left( g_{1} \right)、lt(r) < lt\left( g_{2} \right)\ldots lt(r) < lt(g_{t})lt(r)<lt(g1)lt(r)<lt(g2)lt(r)<lt(gt),所以r≡0r \equiv 0r0,从而f∈I⇒f∈⟨G⟩f \in I \Rightarrow f \in \left\langle G \right\ranglefIfG,所以I⊂⟨G⟩I \subset \left\langle G \right\rangleIG

综上可得⟨G⟩=I\left\langle G \right\rangle = IG=I

【Hilbert 基定理】

FFF为一域,IIIR=F[x1,x2…xn]R = F\left\lbrack x_{1},x_{2}\ldots x_{n} \right\rbrackR=F[x1,x2xn]中的理想,III可有限生成。

【证明】

根据 【引理1】 因为单项理想⟨lt(I)⟩\left\langle lt(I) \right\ranglelt(I)可以有限生成,令G⊂IG \subset IGI是有限集,满足⟨lt(G)⟩=⟨lt(I)⟩\left\langle lt(G) \right\rangle = \left\langle lt(I) \right\ranglelt(G)=lt(I)。根据 【引理2】⟨G⟩=I\left\langle G \right\rangle = IG=I,也就是III可有限生成。

【备注】

此定理表明R=F[x1,x2…xn]R = F\left\lbrack x_{1},x_{2}\ldots x_{n} \right\rbrackR=F[x1,x2xn]是诺特环,满足理想升链条件。

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值