查看“︁希尔伯特基定理”︁的源代码

'''希尔伯特基定理'''是[[数学]]、尤其是[[交换代数]]中的定理。它声明[[诺特环]]上的[[多项式环]]也是诺特环。

==定理陈述==

设<math>R</math>为一个环，记<math>R[X]</math>为<math>R</math>上以<math>X</math>为变量的的多项式组成的环。[[大卫·希尔伯特]]证明了只要<math>R</math>不是“太大”——即<math>R</math>为诺特环——那么<math>R[X]</math>也具有相同性质。形式上，

<blockquote>'''希尔伯特基定理.''' 如果<math>R</math>是诺特环，那么<math>R[X]</math>也是诺特环。</blockquote>

<blockquote>'''推论.''' 如果<math>R</math>是诺特环，那么<math>R[X_1,\dotsc,X_n]</math>也是诺特环。</blockquote>

定理可以如下翻译成[[代数几何]]的语言：域上的每个[[代数簇|代数集]]都可以描述成有限多个多项式方程的公共根的集合。{{harvs|txt|authorlink=David Hilbert|last=Hilbert|year=1890}} 在他对不变量环的有限生成的证明中，证明了希尔伯特基定理（在域上的多项式环这一特例）。

希尔伯特应用[[数学归纳法]]给出了一个创新的反证：他的证明并没有提供对于任一理想生成对应的有限多个多项式方程的[[算法]]；相反，它只说明了这些多项式方程存在。通过Gröbner基的方法，我们可以确定给定理想的基多项式。。

==证明==

===证明1===

===证明2===

==应用==
设<math>R</math>为诺特交换环。希尔伯特基定理有下列直接推论：

#由归纳可见<math>R[X_0,\dotsc,X_{n-1}]</math>也是诺特环。
#由于<math>R^n</math>上的任何[[仿射簇]]（即一组多项式的零点集）可以写作<math>\mathfrak a\subset R[X_0, \dotsc, X_{n-1}]</math>里一理想的零点集，并进一步写作理想的生成元的零点集，我们可以由此推出每个仿射簇都是有限多个多项式的零点集——换言之，都是有限多个[[超曲面]]的交集。 
#如果<math>A</math>是有限生成的<math>R</math>-代数，那么我们可以得出<math>A \simeq R[X_0, \dotsc, X_{n-1}] / \mathfrak a</math>，其中<math>\mathfrak a</math>是某一理想。基定理蕴涵了<math>\mathfrak a</math>必须是有限生成的理想，比方说<math>\mathfrak a = (p_0,\dotsc, p_{N-1})</math>；换言之，<math>A</math>是有限表现的。

==Mizar系统==
Mizar计划已经完全形式化并自动检查完毕希尔伯特基定理的证明；见[http://www.mizar.org/JFM/Vol12/hilbasis.html HILBASIS file] {{Wayback|url=http://www.mizar.org/JFM/Vol12/hilbasis.html |date=20180916150252 }}。

==参考==
* Cox, Little, and O'Shea, ''Ideals, Varieties, and Algorithms'', Springer-Verlag, 1997.
*{{Citation | last1=Hilbert | first1=David | author1-link=David Hilbert | title=Ueber die Theorie der algebraischen Formen | doi=10.1007/BF01208503 | year=1890 | journal=[[Mathematische Annalen]] | issn=0025-5831 | volume=36 | issue=4 | pages=473–534}}

[[Category:交换代数]]
[[Category:不变量理论]]
[[Category:抽象代数定理]]
[[Category:大卫·希尔伯特]]