理想的根

理想 $I$ 可以看成一组被宣布为零的方程。若 $r^n$ 已被宣布为零，那么在只关心“哪些点令方程消失”的几何问题中，$r$ 与 $r^n$ 没有区别：在域中 $r^n=0$ 强迫 $r=0$。根理想正是把这种“有限次幂后才显现的零”提前纳入约束。于是 $I$ 保留方程的重数与无穷小厚度，$\sqrt{I}$ 只保留其底层零点集合。

这一操作不是随意删去系数，而是对幂零信息作最小闭包。$\sqrt{I}$ 是包含 $I$ 的最小根理想；从商环看，它把 $R/I$ 再除以幂零根，得到约化环。素理想交刻画又说明，根是一种全局检测结果：一个元素只要落入每个包含 $I$ 的素理想，其某个统一的有限次幂就已经落入 $I$。这里的“某个有限次幂”依赖元素，并不存在对所有元素通用的指数。

在 $\mathbb{Z}$ 中取 $I=(12)$。整数 $a$ 的某次幂被 $12$ 整除，当且仅当 $2$ 与 $3$ 都整除 $a$，所以

指数 $2$ 和 $3$ 在根中只各保留一次，正好体现根忽略素因子的重数。又在 $k[x,y]$ 中，

因为 $x^2\in I$，故 $x\in \sqrt{I}$；反过来 $I\subseteq (x)$ 且 $(x)$ 为素理想，于是 $\sqrt{I}\subseteq (x)$。几何上两者都给出直线 $x=0$，但 $I$ 还记录沿该直线的一层非约化结构。

有限交与乘积满足

“有限”不能悄悄删去。比如在 $k[x]$ 中，$\bigcap _{n\ge 1}(x^n)=(0)$，于是该交的根为 $(0)$；但每个 $(x^n)$ 的根都是 $(x)$，其根的交仍为 $(x)$。根也不把和逐项分配：一般只能写 $\sqrt{I+J}=\sqrt{\sqrt{I}+\sqrt{J}}$，而不能保证等于 $\sqrt{I}+\sqrt{J}$，因为两个根理想之和未必仍是根理想。

根理想是代数与几何之间“忽略重数”这一步的代数载体。Zariski 闭集 $V(I)$ 只依赖 $\sqrt{I}$；在代数闭域上的强 Hilbert 零点定理进一步断言 $I(V(I))=\sqrt{I}$。因此由方程到零点再回到方程时，恢复的不是原理想，而是其根，这正是几何无法看见普通幂零厚度的精确表述。

计算上，判断 $f\in \sqrt{I}$ 等价于判断是否存在 $n$ 使 $f^n\in I$。Rabinowitsch 技巧把它改写为一次理想成员问题：

在 Noether 环中，每个理想有有限个极小素理想，因而 $\sqrt{I}$ 可写成有限个极小素理想之交；这为不可约分支分解和准素分解提供了入口。