准素理想

素理想商掉以后没有非零零因子，对应一块不可约且没有幂零厚度的基本结构。准素理想允许在这块结构上留下有限幂次才能消失的厚度，但零因子必须来自这种幂零现象。

因此，“底层零点集合不可约”只是准素性的一个必要影子。它只看到根理想为素；如果零因子还携带藏在更小区域中的额外结构，就可能不准素。下面的 $xy=0$ 反例将直接展示这个区别。

一个加厚的点 ​

在 $R=k[x,y]$ 中取 $Q=(x^2,y)$。商环为

每个元素唯一写成 $a+b\epsilon$。若 $a\ne 0$，它的逆为

因为相乘的常数项为 $1$、一次项抵消、二次项为零。若 $a=0$，则 $(b\epsilon {)}^2=0$。所以非单位全为幂零元，所有零因子也幂零，$Q$ 是 $(x,y)$-准素理想。

它却不是任何 $(x,y{)}^n$：当 $n=1$ 时，$x$ 属于 $(x,y)$ 却不属于 $Q$；当 $n\ge 2$ 时，一次项 $y$ 不属于 $(x,y{)}^n$，却属于 $Q$。准素理想可类比素数幂，但不能直接定义成素理想的幂。

一个沿整条线的厚度 ​

取 $Q=(x^2)\subset k[x,y]$。商环元素唯一写成 $f(y)+xg(y)$。若 $f\ne 0$ 且

比较不含 $x$ 与含一次 $x$ 的系数，得到 $fr=0$、$fs+gr=0$。因为 $k[y]$ 是整环，先有 $r=0$，再有 $s=0$，所以该元素不是零因子。若 $f=0$，元素平方为零。因此 $Q$ 是 $(x)$-准素理想，其根并非极大理想。

根为素还不够 ​

现在取

其根仍为 $(x)$：一方面 $x^2\in I$，另一方面 $I\subseteq (x)$ 且 $(x)$ 素。然而

所以 $I$ 不准素。商环中 $\overline{y}$ 杀死非零的 $\overline{x}$，但 $\overline{y}$ 自己不是幂零元，恰好违反准素商环的零因子条件。

几何上，$x=0$ 仍是底层直线，但关系 $y\overline{x}=0$ 使额外的 $\overline{x}$ 只在原点留下来；离开原点、使 $y$ 可逆后，$\overline{x}$ 被迫为零。准素分解公理库准素分解Primary decomposition · Lasker-Noether theoremNoether 理想可有限交分解为准素分量；证明存在性的机制，并完整核验带嵌入分量的两个不同最小分解。会把这条线与嵌入的原点结构分开描述。

若 $\sqrt{Q}$ 是极大理想，则 $Q$ 必准素。因为 $R/Q$ 的唯一素理想是其幂零根公理库幂零根Nilradical由环中全部幂零元组成、也等于所有素理想之交的规范理想。，也就是唯一极大理想；每个不在它里面的元素都是单位，所以零因子只能是幂零元。这与前面根仅为一般素理想的反例不冲突。

在 Noether 环中，还存在统一整数 $N$ 使 $(\sqrt{Q}{)}^N\subseteq Q$：为根理想选有限个生成元，对各自落入 $Q$ 的幂次作计数即可。但这个包含式本身在根非极大时不等价于准素性；上面的 $I$ 也包含 $(x{)}^2$。

研究准素理想时，可靠的检查顺序是：先确认真理想，再确定根，最后验证乘积条件或商环零因子条件。只完成第二步，不能宣布已经找到一个准素分量。