希爾伯特零點定理（Hilbert's Nullstellensatz）
/ NULL-shtell-en-zatz /
代數（多項式的理想）與幾何（它們截出的形狀）之間有一套翻譯。零點定理就是使這套翻譯忠實的辭典。一個方向你取一個多項式理想並作出它的零集；另一方向你取一個幾何集並收集所有在其上為零的多項式。定理精確告訴你這兩個運算離「互逆」有多遠——而唯一的障礙就是理想與其根理想之間的差別。
在代數封閉域 k 上工作。弱零點定理說：若 k[x_1, ..., x_n] 中的理想 I 為真理想（不是整個環），則其零集 V(I) 非空。等價地，k[x_1, ..., x_n] 的極大理想恰好就是對應 A^n 中各點 a 的 (x_1 - a_1, ..., x_n - a_n)——沒有奇異的極大理想躲藏。強零點定理把它升級：I(V(I)) 等於 I 的根理想，其中根 sqrt(I) = { f : 存在某 m >= 1 使 f^m 屬於 I } 收集所有某次冪落入 I 的多項式。於是映射 V 與 I 在根理想與代數集之間建立一個完美的、逆序的雙射，並細化為素理想與不可約簇之間、以及極大理想與點之間的雙射。
這是古典代數幾何的奠基定理：它正是「可完全透過座標環來思考一個簇」的許可證，並支撐維數理論與素理想對應。兩個誠實的提醒。第一，代數封閉是必要的：在 R 上理想 (x^2 + 1) 是真理想卻有空零集，破壞了弱形式。第二，根理想無可迴避：(x^2) 與 (x) 在 A^1 中有相同的零集 {0}，故 V 無法區分它們，唯有過渡到概形（它記得冪零元 x^2）後，非約化資訊才得以倖存——零點定理恰恰是簇層面的陳述。
在 k[x] 中取 I = (x^2 - 2x + 1) = ((x-1)^2)。其零集是單點 {1}，而 I(V(I)) = (x - 1) = sqrt(I)：根理想剝去了平方。於是根理想 (x - 1) 與幾何點 1 完美對應，但理想 (x-1)^2 本身則不然——那失去的平方恰恰是概形所恢復的非約化資料。
V 與 I 唯有過渡到根理想後才互為逆雙射；根理想正是「用簇而非概形工作」所付出的代價。
零點定理在非代數封閉域上失效，且對非約化結構隻字不提：它是關於簇而非概形的陳述。在冪零元至關重要之處不可援引它。