【引理1】(Dickson定理)
对于∀A⊂Nn\forall A \subset \mathbb{N}^{n}∀A⊂Nn,∃\exists∃有限非空集B⊂AB \subset AB⊂A,使得⟨xA⟩=⟨xB⟩\left\langle x^{A} \right\rangle = \left\langle x^{B} \right\rangle⟨xA⟩=⟨xB⟩
【证明】
下面利用数学归纳法证明:
- 首先当n=1n = 1n=1时成立
此时对于∀A⊂N\forall A \subset \mathbb{N}∀A⊂N,取B={min(A)}B = \left\{ \min(A) \right\}B={min(A)},显然有⟨xA⟩=⟨xB⟩\left\langle x^{A} \right\rangle = \left\langle x^{B} \right\rangle⟨xA⟩=⟨xB⟩,此时集BBB有限且非空。
- 假定当n≤kn \leq kn≤k时集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,a2…ak),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,a2…ak,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,b2…bk,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,b2…bk)∈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,b2…bk,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,b2…bk,bk+1)∈B(k+1),在b1,b2…bkb_{1},b_{2}\ldots b_{k}b1,b2…bk中必有一些元素比b‾1,b‾2…b‾k{\overline{b}}_{1},{\overline{b}}_{2}\ldots{\overline{b}}_{k}b1,b2…bk的对应元素小,且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,b2…bk,bk+1中剩余的满足bj≥b‾jb_{j} \geq {\overline{b}}_{j}bj≥bj的所有bjb_{j}bj必然可由这些bib_{i}bi来确定。这是因为当n≤kn \leq kn≤k时集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,b2…bk是固定的,而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为一域,III是R=F[x1,x2…xn]R = F\left\lbrack x_{1},x_{2}\ldots x_{n} \right\rbrackR=F[x1,x2…xn]中的理想,若G⊂IG \subset IG⊂I是有限集,且⟨lt(G)⟩=⟨lt(I)⟩\left\langle lt(G) \right\rangle = \left\langle lt(I) \right\rangle⟨lt(G)⟩=⟨lt(I)⟩,则⟨G⟩=I\left\langle G \right\rangle = I⟨G⟩=I。
【证明】
因为G⊂IG \subset IG⊂I,显然⟨G⟩⊂I\left\langle G \right\rangle \subset I⟨G⟩⊂I。
设G={g1,g2…gt}G = \{ g_{1},g_{2}\ldots g_{t}\}G={g1,g2…gt},则∀f∈I\forall f \in I∀f∈I,根据带余除法得
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 0r≡0,从而f∈I⇒f∈⟨G⟩f \in I \Rightarrow f \in \left\langle G \right\ranglef∈I⇒f∈⟨G⟩,所以I⊂⟨G⟩I \subset \left\langle G \right\rangleI⊂⟨G⟩。
综上可得⟨G⟩=I\left\langle G \right\rangle = I⟨G⟩=I。
【Hilbert 基定理】
设FFF为一域,III是R=F[x1,x2…xn]R = F\left\lbrack x_{1},x_{2}\ldots x_{n} \right\rbrackR=F[x1,x2…xn]中的理想,III可有限生成。
【证明】
根据 【引理1】 因为单项理想⟨lt(I)⟩\left\langle lt(I) \right\rangle⟨lt(I)⟩可以有限生成,令G⊂IG \subset IG⊂I是有限集,满足⟨lt(G)⟩=⟨lt(I)⟩\left\langle lt(G) \right\rangle = \left\langle lt(I) \right\rangle⟨lt(G)⟩=⟨lt(I)⟩。根据 【引理2】 有⟨G⟩=I\left\langle G \right\rangle = I⟨G⟩=I,也就是III可有限生成。
【备注】
此定理表明R=F[x1,x2…xn]R = F\left\lbrack x_{1},x_{2}\ldots x_{n} \right\rbrackR=F[x1,x2…xn]是诺特环,满足理想升链条件。

1988

被折叠的 条评论
为什么被折叠?



