冪零元是看不見的
考慮 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