Hilbert 零点定理

包含 $\sqrt{I}\subseteq I(V(I))$ 很直接：若 $f^m\in I$，那么在 $V(I)$ 的每一点都有 $f(a{)}^m=0$，域中便有 $f(a)=0$。深刻之处是反向包含：若一个多项式在 $I$ 的全部共同零点上消失，那么这种几何消失一定能由一个有限幂的代数成员关系解释。

弱形式依赖 Zariski 引理：若一个域是 $k$ 上的有限生成代数，那么它其实是 $k$ 的有限代数扩张；当 $k$ 代数闭时，只能等于 $k$。对极大理想 $\mathfrak{m}$，商 $R/\mathfrak{m}$ 因而等于 $k$，坐标类给出点 $a$，从而 $\mathfrak{m}={\mathfrak{m}}_a$。这一步解释了代数闭假设如何把抽象极大理想变成熟悉坐标点。

在 $k[x,y]$ 中取

其零点集只有 $(0,0)$，所以

另一方面 $x^2\in I$ 给出 $x\in \sqrt{I}$，而 $y=(y-x)+x$ 也在根中，故 $\sqrt{I}=(x,y)$。原理想保留了 $x$ 方向的重数，点集来回一次后只剩根理想，强形式准确描述了这一步信息损失。

强形式可由弱形式通过 Rabinowitsch 技巧推出。若 $f$ 在 $V(I)$ 上消失但 $f\notin \sqrt{I}$，在扩大的多项式环 $R[t]$ 中考虑

$J$ 必为真理想；否则从 $1\in J$ 清除 $t$ 可推出某个 $f^N\in I$。弱形式给出 $J$ 的共同零点 $(a,b)$，于是 $a\in V(I)$ 导致 $f(a)=0$，但 $1-bf(a)=0$ 又要求 $1=0$，矛盾。

若底域不代数闭，两种形式都会按上述字面失败。$\mathbb{R}[x]$ 的真理想 $(x^2+1)$ 没有实零点；有限域上 $x^q-x$ 在所有域元素处消失，却不是零多项式。可以改在代数闭包中取零点，或使用适合实闭域的实零点定理，但不能省略域条件。

弱形式与强形式也不能当成两句同义话。强形式取 $f=1$ 便推出：若 $V(I)$ 为空，则 $1\in \sqrt{I}$，从而 $I=R$，这给出弱形式；而从弱形式到强形式还需要增加变量的 Rabinowitsch 论证。前者描述极大理想和点，后者控制任意理想来回取零点后的全部信息。

零点定理把几何包含变成理想包含：

它还给出不可约性判据：代数集 $X$ 不可约当且仅当 $I(X)$ 是素理想。由此，几何分支对应极小素理想，闭点对应极大理想，维数对应素理想链；仿射代数几何的基本字典由同一个定理支撑。

有效版本则询问具体指数和系数：若 $f$ 在 $V(I)$ 上消失，最小需要多大的 $N$ 才有 $f^N\in I$？若 $V(I)=\varnothing$，如何显式写出 $1=\sum g_i{f}_i$？经典零点定理只保证存在，次数界和算法需要 Gröbner 基、消元理论或有效 Nullstellensatz，不能从定性结论直接读出。