希尔伯特基定理是数学、尤其是交换代数中的定理。它声明诺特环上的多项式环也是诺特环。
定理陈述
设R为一个环，记R[X]为R上以X为变量的的多项式组成的环。大卫·希尔伯特证明了只要R不是“太大”——即R为诺特环——那么R[X]也具有相同性质。形式上，
希尔伯特基定理. 如果R是诺特环，那么R[X]也是诺特环。
推论. 如果R是诺特环，那么R[X_1,\dotsc,X_n]也是诺特环。
定理可以如下翻译成代数几何的语言：域上的每个代数集都可以描述成有限多个多项式方程的公共根的集合。 在他对不变量环的有限生成的证明中，证明了希尔伯特基定理（在域上的多项式环这一特例）。
希尔伯特应用数学归纳法给出了一个创新的反证：他的证明并没有提供对于任一理想生成对应的有限多个多项式方程的算法；相反，它只说明了这些多项式方程存在。通过Gröbner基的方法，我们可以确定给定理想的基多项式。。
证明
证明1
证明2
应用
设R为诺特交换环。希尔伯特基定理有下列直接推论：
#由归纳可见R[X_0,\dotsc,X_{n-1}]也是诺特环。
#由于R^n上的任何仿射簇（即一组多项式的零点集）可以写作\mathfrak a\subset R[X_0, \dotsc, X_{n-1}]里一理想的零点集，并进一步写作理想的生成元的零点集，我们可以由此推出每个仿射簇都是有限多个多项式的零点集——换言之，都是有限多个超曲面的交集。
#如果A是有限生成的R-代数，那么我们可以得出A \simeq R[X_0, \dotsc, X_{n-1}] / \mathfrak a，其中\mathfrak a是某一理想。基定理蕴涵了\mathfrak a必须是有限生成的理想，比方说\mathfrak a = (p_0,\dotsc, p_{N-1})；换言之，A是有限表现的。
Mizar系统
Mizar计划已经完全形式化并自动检查完毕希尔伯特基定理的证明；见[http://www.mizar.org/JFM/Vol12/hilbasis.html HILBASIS file] 。
参考
- Cox, Little, and O'Shea, Ideals, Varieties, and Algorithms, Springer-Verlag, 1997.
*
评论 (0)