希尔伯特基定理与不变量理论
希尔伯特1888年以非构造性证明确立基定理，革新不变量理论与代数。
背景
19世纪不变量理论研究在坐标变换下保持不变的代数表达式（如二次型的判别式）。“哥尔丹问题”问：二元形式的 invariants 是否总由有限个生成？哥尔丹以构造法对二变量证明，但多变量情形陷入困境。
详细描述
大卫·希尔伯特在1888年解决哥尔丹问题，证明希尔伯特基定理：若环 是诺特的（理想升链稳定，或等价地每个理想有限生成），则多项式环 也是诺特的；特别地，多项式环的每个理想都有有限生成元（有限基）。他采用反证与升链条件给出非构造性证明——只证明有限基”存在”，并不给出具体生成元。这一思想在1890年《数学年报》论文中深化，并连带得到零点定理（Nullstellensatz）与合冲定理。
求解过程 / 影响
哥尔丹讥讽该证明”这不是数学，是神学”，却标志代数从构造计算转向抽象存在性证明的范式转变。基定理保证了代数簇可由有限个多项式方程定义，成为交换代数与代数几何的基石；其诺特性概念由埃米·诺特在1921年形式化，主导了20世纪代数。希尔伯特以此将不变量论从繁琐计算解放为结构理论，预示了布尔巴基的公理化纲领与现代抽象代数。