幂零元是看不见的
考虑 k[x]/(x^2)。x 的类非零却平方为零——一个 幂零元。从几何上看它是不可见的：作为单点 Spec 上的函数，它取值为零。交换代数把这点说清楚了。环 R 的 幂零根 是 nil(R) = { a ∈ R : 存在 n ≥ 1 使 a^n = 0 }，即所有幂零元之集。它是一个理想，而 R/nil(R)——即 约化 环——是没有非零幂零元的最大商。
更一般地，理想 I 的 根 是 √I = { a : 存在 n 使 a^n ∈ I }，于是 nil(R) = √(0)。一个简洁的结构事实将其钉死：√I 等于包含 I 的所有 [[prime-ideal|素理想]] 之交。 特别地，幂零根是 R 所有素理想之交。
Why nil(R) = intersection of all primes P:
(c) If a is nilpotent, a^n = 0 in every P, and P prime + a^n=0 => a in P.
(>) If a is NOT nilpotent, the set {1, a, a^2, ...} avoids 0.
Localize / use Zorn: among ideals disjoint from {a^n} pick a
maximal one P. One checks P is prime and a not in P.
So a escapes some prime, hence a not in the intersection.
Example: R = Z/12Z. 12 = 2^2 * 3.
Nilpotents: classes a with a^n = 0 mod 12 => need 6 | a.
So nil = (6) = {0,6}. Indeed 6^2 = 36 = 0 mod 12.
Primes of Z/12Z: (2) and (3). Their intersection (2)n(3) = (6). Checks out.零点定理：弱形式与强形式
在 代数闭域 k 上，希尔伯特 零点定理 把根理想化为几何。弱 形式：k[x_1,…,x_n] 的 极大理想 恰为 (x_1−a_1,…,x_n−a_n)，对应点 a ∈ k^n。故极大理想 ↔ 点。等价地说，真理想总有公共零点——你无法把 1 写成一组没有公共根的多项式的组合。
强 形式确定了哪些函数在簇上为零。记 V(I) 为 I 的 零点集，I(V) 为 在 V 上为零的函数理想。则 I(V(J)) = √J。所以从零点集恢复理想的唯一障碍——恰恰——就是根理想。根理想 ↔ 仿射簇 是一部完美的字典。
为何成立：拉宾诺维奇技巧
强形式由弱形式经一招巧妙变换即可推出。弱形式本身通常由 诺特正规化（再下一篇指南）或 Zariski 引理导出：作为 k-代数有限生成的域必在 k 上有限。承认弱形式，下面是通往强形式的桥梁。
Goal: if g vanishes wherever f_1,...,f_r all vanish, then g in sqrt(f_1,...,f_r). Rabinowitsch trick: add a fresh variable t and work in k[x_1,...,x_n, t]. Consider the ideal J = (f_1, ..., f_r, 1 - t*g). Any common zero of J would have all f_i = 0 (so g = 0 there by hypothesis) yet 1 - t*g = 1 - 0 = 1 != 0. Impossible => V(J) = empty. Weak Nullstellensatz => J = (1), the whole ring. So write 1 = sum h_i * f_i + h_0 * (1 - t*g) in k[x,t]. Now substitute t = 1/g and clear denominators by multiplying by g^N: g^N = sum (h_i with t=1/g) * f_i in k[x]. Hence g^N in (f_1,...,f_r), i.e. g in sqrt(f_1,...,f_r). QED