Hilbert 基定理 | Codeboy's Blog

形式陈述

Hilbert 基定理断言：若 $R$ 是Noether 环，则一元多项式环 $R[x]$ 也是 Noether 环。迭代应用可得

R[x_1,\ldots,x_n]\text{ 对每个有限 }n\text{ 都是 Noether 环}.

因此任何有限生成 $R$ -代数

A=R[a_1,\ldots,a_n]

都是 $R[x_1,\ldots,x_n]$ 的商环，从而 Noether。这里“有限多个变量”和“基环 Noether”都是实质假设。

证明可从理想 $I\subseteq R[x]$ 的首项系数入手；若 $I=(0)$ ，结论显然。否则，所有非零 $f\in I$ 的首项系数生成 $R$ 的一个理想 $L$ ；因 $R$ Noether，可选有限个 $f_1,\ldots,f_r\in I$ 使其首项系数生成 $L$ 。令 $N=\max\deg f_i$ 。次数小于 $N$ 的多项式组成有限自由 $R$ -模， $I$ 与它的交因 Noether 性而有限生成。对次数至少 $N$ 的 $f\in I$ ，用适当的 $x$ 次幂倍数消去首项，反复降次，最终落入该低次交。两组有限生成元合起来生成 $I$ 。

直觉

Noether 性说任何可能无限增长的理想信息终能由有限数据控制。添入变量 $x$ 看似创造了无限多个新方向 $1,x,x^2,\ldots$ ，Hilbert 基定理却说明：首项系数的升链先在基环中稳定，而次数又可以逐步消去，所以一个理想不会真的需要无穷多个独立生成元。

证明中的两个有限性来源缺一不可。首项系数由 $R$ 的 Noether 性控制，低次数部分由有限自由模控制。定理不是“所有多项式环都 Noether”，也不是说每个理想存在唯一或容易计算的生成集；它只保证某个有限生成集存在。后来 Gröbner 基理论把首项消去发展为可执行算法，但 Hilbert 的原定理本身是存在性结果。

例子与边界

域 $k$ 是 Noether 环，所以 $k[x_1,\ldots,x_n]$ Noether。于是像

I=(x^2-yz,\ y^2-xz,\ z^2-xy)\subseteq k[x,y,z]

这样的理想必能有限生成；这里生成元已经展示出来。更重要的是，即使理想最初由无限族方程描述，也必有有限子族生成同一个理想，从而定义同一个仿射代数集。

整数环 $\mathbb Z$ 也 Noether，故 $\mathbb Z[x_1,\ldots,x_n]$ Noether。反之，若 $R[x]$ Noether，则商

R[x]/(x)\cong R

也 Noether，所以基环假设实际上是充要的。无限变量环

k[x_1,x_2,\ldots]

不 Noether，因为

(x_1)\subsetneq(x_1,x_2)\subsetneq\cdots

永不稳定；有限变量条件不能用“逐次应用定理”越过无穷步。形式幂级数环 $R[\![x]\!]$ 在 $R$ Noether 时也 Noether，但其证明需要处理无限级数，不能直接把 Hilbert 基定理当作证明。

还要区分“有限型代数”和“有限模”。 $R[x]$ 由一个代数生成元生成，却通常不是有限 $R$ -模；Hilbert 基定理仍能证明它 Noether。只有当生成元另外满足首一方程，也就是代数整于 $R$ 时，有限型才升级为有限模。这两个有限性概念在整扩张和正规化中承担不同角色。

推论与应用

若 $X\subseteq k^n$ 是仿射代数集，其坐标环

k[X]=k[x_1,\ldots,x_n]/I(X)

是 Noether 环。因此 $X$ 的每个闭子集由有限多个方程定义，闭集严格降链最终停止，不可约分支也只有有限多个。这个结果把代数的理想升链条件转成几何的闭集降链条件。

对有限生成 $R$ -代数上的有限生成模，子模也有限生成，所以核、关系模与有限表示都保持有限。交换代数中许多归纳证明由此得以成立：选择反例所成理想的极大元，或沿理想升链等待稳定。需要区分的是，Noether 性只保证有限生成，不提供次数界、复杂度界或实际算法终止速度；这些定量问题需要有效 Nullstellensatz、Gröbner 基或计算复杂度理论。

参考资料

M. F. Atiyah and I. G. Macdonald, Introduction to Commutative Algebra, Addison-Wesley, 1969，Chapter 7, Hilbert's basis theorem。
David Eisenbud, Commutative Algebra with a View Toward Algebraic Geometry, Springer, 1995，Chapter 1, Noetherian rings and Hilbert's basis theorem。
Serge Lang, Algebra, revised 3rd ed., Springer, 2002，Part II, polynomial rings over Noetherian rings。

形式陈述 ​

反向链接

形式陈述