希尔伯特基定理

【引理1】（Dickson定理）

对于$\forall A\subset {\mathbb{N}}^n$，$\exists$有限非空集$B\subset A$，使得$⟨x^A⟩=⟨x^B⟩$

【证明】

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

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

此时对于$\forall A\subset \mathbb{N}$，取 B = { min ⁡ ( A ) } B = \left\{ \min(A) \right\} B={min(A)}，显然有$⟨x^A⟩=⟨x^B⟩$，此时集$B$有限且非空。

2. 假定当$n\le k$时集$B^{(k)}$有限且非空，需要证明$n=k+1$时集$B^{(k+1)}$有限且非空

设$A^{(k)}$中的元素形如$\left(a_1,a_2\dots a_k\right)$，$A^{(k+1)}$中的元素形如$\left(a_1,a_2\dots a_k,a_{k+1}\right)$。设$\left({\overline{b}}_1,{\overline{b}}_2\dots {\overline{b}}_k,{\overline{b}}_{k+1}\right)\in A^{(k+1)}$，其中${\overline{b}}_{k+1}=\min \left(a_{k+1}\right)$、${\overline{B}}^{(k)}$是${\overline{b}}_{k+1}=\min \left(a_{k+1}\right)$时的有限非空集，且有$\left({\overline{b}}_1,{\overline{b}}_2\dots {\overline{b}}_k\right)\in {\overline{B}}^{(k)}$。那么有$\left({\overline{b}}_1,{\overline{b}}_2\dots {\overline{b}}_k,{\overline{b}}_{k+1}\right)\in B^{(k+1)}$，也就是集${\mathbf{B}}^{\left(\mathbf{k}+1\right)}$非空。

由于$x^B$中所有元素两两之间无法互相整除（若整除，只保留一个元素），对于$\forall \left(b_1,b_2\dots b_k,b_{k+1}\right)\in B^{(k+1)}$，在$b_1,b_2\dots b_k$中必有一些元素比${\overline{b}}_1,{\overline{b}}_2\dots {\overline{b}}_k$的对应元素小，且$b_i<{\overline{b}}_i$的元素对总数目一定是小于$k$；而$b_1,b_2\dots b_k,b_{k+1}$中剩余的满足$b_j\ge {\overline{b}}_j$的所有$b_j$必然可由这些$b_i$来确定。这是因为当$n\le k$时集$B^{(k-\ast )}$有限且非空，剔除$b_i$元素后，$b_j$必然是$B^{(k-\ast )}$中的对应元素。由于${\overline{b}}_1,{\overline{b}}_2\dots {\overline{b}}_k$是固定的，而$b_i<{\overline{b}}_i$，所以$b_i$的取值情况是有限的，也就是集${\mathbf{B}}^{\left(\mathbf{k}+1\right)}$有限。

【引理2】

设$F$为一域，$I$是$R=F\left[x_1,x_2\dots x_n\right]$中的理想，若$G\subset I$是有限集，且$⟨lt(G)⟩=⟨lt(I)⟩$，则$⟨G⟩=I$。

【证明】

因为$G\subset I$，显然$⟨G⟩\subset I$。

设 G = { g 1 , g 2 … g t } G = \{ g_{1},g_{2}\ldots g_{t}\} G={g1​,g2​…gt​}，则$\forall f\in I$，根据带余除法得

$$f=q_1{g}_1+\dots +q_t{g}_t+r$$

那么有$lt(r)\in ⟨lt(I)⟩\Rightarrow lt(r)\in ⟨lt(G)⟩$，由于$r$是带余除法余数，即满足项序关系$lt(r)<lt\left(g_1\right)、lt(r)<lt\left(g_2\right)\dots lt(r)<lt(g_t)$，所以$r\equiv 0$，从而$f\in I\Rightarrow f\in ⟨G⟩$，所以$I\subset ⟨G⟩$。

综上可得$⟨G⟩=I$。

【Hilbert 基定理】

设$F$为一域，$I$是$R=F\left[x_1,x_2\dots x_n\right]$中的理想，$I$可有限生成。

【证明】

根据 【引理1】 因为单项理想$⟨lt(I)⟩$可以有限生成，令$G\subset I$是有限集，满足$⟨lt(G)⟩=⟨lt(I)⟩$。根据 【引理2】 有$⟨G⟩=I$,也就是$I$可有限生成。

【备注】

此定理表明$R=F\left[x_1,x_2\dots x_n\right]$是诺特环，满足理想升链条件。