素理想

素理想把素数的本质从 $\mathbb{Z}$ 搬进一般交换环：$p$ 的关键性质不是“没有真因子”，而是 Euclid 引理式的“$p\mid ab$ 则 $p\mid a$ 或 $p\mid b$”。把“被 $p$ 整除”改写成“落入理想 $\mathfrak{p}$”，便得到上面的定义。

商环给出最清楚的概念图像：取商相当于宣布 $\mathfrak{p}$ 中的元素全部为零，素性保证这个新世界仍满足“乘积为零必有因子为零”。等价地，补集 $R\setminus \mathfrak{p}$ 对乘法封闭。要求 $\mathfrak{p}\ne R$ 是为了排除零环这一空洞退化；这里并不要求商中的每个非零元素都可逆，那是极大理想对应的更强条件。

在 $\mathbb{Z}$ 中，素数 $p$ 生成的 $(p)$ 是素理想，而 $(6)$ 不是：$2\cdot 3=6\in (6)$，但 $2\notin (6)$ 且 $3\notin (6)$。零理想 $(0)$ 在 $\mathbb{Z}$ 中是素理想（因为 $\mathbb{Z}$ 是整环），却因链 $(0)⊊(2)⊊\mathbb{Z}$ 而不极大；这说明素理想不必是极大理想。多项式环展示了素理想的分层。域 $F$ 上的一元环 $F[x]$ 中，非零素理想恰由不可约多项式生成，而且全部极大；二元环 $F[x,y]$ 中 $(x)$ 是素理想，因为 $F[x,y]/(x)\cong F[y]$ 是整环，但它不极大，因为这个商不是域；把链补全为 $(0)⊊(x)⊊(x,y)$，末端的 $(x,y)$ 才是极大理想，其商同构于 $F$。两个常见边界需要分清。其一，素理想与素元公理库素元Prime element整除乘积时必整除至少一个因子的非零非单位元素。属于不同层次：在整环中，非零元 $p$ 是素元当且仅当 $(p)$ 是非零素理想，但素理想不必由单个元素生成，$(x,y)\subseteq F[x,y]$ 即是例子。其二，素性沿环同态公理库环同态Ring homomorphism保持加法与乘法的映射；含幺语境中是否要求保持 1 必须明确。拉回表现良好：若 $\phi :R\to S$ 是幺环同态且 $\mathfrak{q}\subseteq S$ 为素理想，则 ${\phi }^{-1}(\mathfrak{q})$ 是 $R$ 的素理想；而极大性没有这种稳定性——沿包含 $\mathbb{Z}\hookrightarrow \mathbb{Q}$ 拉回 $\mathbb{Q}$ 的极大理想 $(0)$，得到的 $(0)\subseteq \mathbb{Z}$ 只素不极大。理想在同态下的像一般连理想都不是，更谈不上保持素性。在 $k[x,y]$ 中，理想

是素理想，因为代入 $y=x^2$ 给出

右侧是整环。它不是极大理想，因为商环 $k[x]$ 不是域。相比之下，$(x-a,y-b)$ 的商同构于 $k$，因而极大。素理想对应“商后没有零因子”，极大理想对应“商后每个非零元都可逆”，两种条件强度不同。

素理想真正的舞台在几何与算术：交换环的全体素理想构成谱 $\mathrm{Spec}R$，是代数几何中“空间”的原型，素理想在其中扮演点的角色（极大理想公理库极大理想Maximal ideal在真理想按包含关系中极大的理想，其商环为域。对应通常意义下的闭点），而素理想链

的最大长度定义环的 Krull 维数。由于补集 $R\setminus \mathfrak{p}$ 对乘法封闭，可以以它为分母集作环的局部化公理库环的局部化Localization of rings把指定乘法闭集中的元素形式地变为可逆元所得的环。，得到局部环 $R_{\mathfrak{p}}$，把“在一点附近研究环”变成精确操作。素理想也是分解理论的基本单元：在主理想整环中非零素理想全部极大，而 Noether 环的准素分解与升链论证都围绕素理想展开。