幂零根

幂零元不是立即等于零，却在有限次自乘后消失。它像代数结构中的“无穷小厚度”：单独观察时可以非零，但任何域值点都把它送到零，因为域没有非零幂零元。幂零根把环中所有这种不可由普通点辨认的方向集中到一个规范理想里；除掉它，底层点集不变，却把非约化厚度抹平。

所有素理想之交的公式解释了为何幂零元在素谱的每一点都消失。若 $x$ 不是幂零元，则乘法集 $\{1,x,x^2,\dots \}$ 不含零；用极大性论证可找到一个与它不交的素理想，因而至少有一个谱点能够检测到 $x$。这项结论不是说每个零因子都会被所有点忽略：零因子只需被某个非零元素杀死，幂零元则要被自己的某次幂杀死，后者严格更强。

在截断多项式环

中，每个元素唯一写成 $a+b\epsilon +c{\epsilon }^2$。若 $a\ne 0$，它是单位，不可能幂零；若 $a=0$，其三次方为零。因此

谱只有一个素理想 $(\overline{\epsilon })$，但原环仍记得两层无穷小方向。另取 $R=\mathbb{Z}/12\mathbb{Z}$，幂零元恰为 $\overline{0},\overline{6}$，所以 $\mathrm{Nil}(R)=(\overline{6})$；确有 ${\overline{6}}^2=\overline{0}$。这与 $12=2^2\cdot 3$ 的重复素因子相呼应。

幂零根不能与全体零因子混同。约化环 $k[x,y]/(xy)$ 的幂零根为零，但 $\overline{x}\overline{y}=0$，所以 $\overline{x}$、$\overline{y}$ 都是非零零因子。它也不同于 Jacobson 根：形式幂级数局部环 $k[[t]]$ 是整环，幂零根为零，而其 Jacobson 根是非零极大理想 $(t)$。有限直积则按坐标计算，

因为一个元素对幂零只需取两个坐标指数的最大值。

幂零根给出约化化 $R_{\mathrm{red}}=R/\mathrm{Nil}(R)$。规范映射诱导的素谱映射是底层拓扑空间的同胚：$R$ 与 $R_{\mathrm{red}}$ 有完全相同的素理想点和 Zariski 闭集。差别只在结构层或坐标环中，因此只研究点集会漏掉切向厚度、交点重数与无穷小变形。

对任意乘法闭集 $S$，局部化与幂零根相容：

左向包含来自幂零性保持；反向若 $(r/s{)}^n=0$，则某个 $u\in S$ 满足 $u{r}^n=0$，故 $ur$ 在 $R$ 中幂零，而 $r/s=(ur)/(us)$ 落入局部化后的幂零根。这使“环是否约化”可以局部检验，也让非约化结构能逐点分析。