交換代數/可逆元與零因子

可逆元與零因子這兩個概念，是環論與交換代數入門中最基礎、也最影響「運算效率」的元素類型判斷。就像麻將里的「牌效率」用來評估哪些牌能更快成型，在環中我們也需要快速判斷一個元素是否可逆、是否是零因子，以便選擇合適的代數工具（如局部化、分解、同態分析等）。

一般初談元素「可用性」與「風險性」時，會先看構造的種類（能否反轉、能否導致乘積為零）與可操作的數量（所在集合的結構，如單位群的大小、理想的分布）。

單個元素的「效率」視角

從單個元素的角度來觀察，零因子明顯是「最不穩定」的：與某個非零元素相乘可能得到零，這會使許多推理（如消去律）失效。相對地，可逆元因為可以直接提供乘法逆元，能把方程 $ax=b$ 直接解成 $x=a^{-1}b$，在構造和推導中價值很高。

---

接着考慮「既非零因子又不可逆」的一般元素（如整環中的非單位非零元素）。這些元素能參與構造（如生成主理想、用於分解）但不具備逆元，也不引入零因子風險，介於兩者之間。若在主理想整環（PID）或唯一分解整環（UFD）中，它們進一步與素元、不可約元的分解性質相關。

進一步地，在局部環中（唯一極大理想 ${\mathfrak {m}}$），單位恰為不落入 ${\mathfrak {m}}$ 的元素；落入 ${\mathfrak {m}}$ 的元素通常「效率」較低（不可逆），甚至可能成為零因子，這與麻將中某些牌在特定形勢下價值下降頗為相似。

---

另一個重要比較是「冪零元素」：若 $a^{n}=0$，則 $a$ 必為零因子。冪零元素在分解與上同調計算中常用於構造微擾或濾過，但在消去與解方程方面「效率很低」。

結論（直觀排序）

以單個元素的「可操作效率」而言（不含特殊結構加成），直觀排序為：

可逆元 > 非零因子但不可逆的元素 > 一般零因子 > 幂零元素

下文用標準交換代數定義與性質來「落地」上述直觀。

基本定義

設 $R$ 為含么交換環。

• 可逆元（單位）：若存在 $b\in R$ 使 $ab=ba=1$，則 $a$ 為單位，記 $a\in R^{\times }$。
• 零因子：若存在非零 $b\in R$ 使 $ab=0$，則 $a$ 為零因子。
• 冪零元：存在正整數 $n$ 使 $a^{n}=0$。
• 非零因子：指不為零因子的元素；等價地，滿足：若 $ab=0$ 則 $b=0$。

基本關係：

• 冪零元必為零因子。
• 在整環（無零因子）中，非零元素都是非零因子。
• 單位絕不可能是零因子（若 $a$ 為單位且 $ab=0$，則 $b=a^{-1}0=0$）。

判別與性質

• 單位判別：在主理想整環（如 $\mathbb {Z}$、$k[x]$），單位是常數單位（如 $\pm 1$ 或域中的非零常數）。在局部環 $(R,{\mathfrak {m}})$ 中，$R^{\times }=R\setminus {\mathfrak {m}}$。
• 零因子判別（理想版）：$a$ 為零因子當且僅當存在非零理想 $I$ 使 $aI=0$；等價地，乘法映射 $R\xrightarrow {\cdot a} R$ 非單射。
• 非零因子與消去律：若 $a$ 是非零因子，$ab=ac$ 則可消去得 $b=c$。
• 與譜的關係：零因子集合往往與極小素理想並有關；在約化環（無冪零元）中，零因子來自不同分量的「交互阻塞」。

例子

• 在 $\mathbb {Z}$ 中：單位為 $\pm 1$；無零因子，所有非零整數都是非零因子。
• 在積環 $R\times S$ 中：$(r,s)$ 為單位當且僅當 $r$ 與 $s$ 都是單位；若 $r=0$ 而 $s\neq 0$，則 $(r,s)$ 是零因子。
• 在商環 $k[x]/(x^{2})$ 中：${\bar {x}}$ 是冪零元（${\bar {x}}^{2}=0$），故為零因子；常數非零 ${\bar {c}}$ 是單位。

與分解、局部化的關係

• 局部化保單位：若 $a\in R^{\times }$，則在任意局部化 $S^{-1}R$ 中仍為單位。
• 局部化消零因子（按集合選擇）：若 $a$ 的零因子性來源於某些素理想，可通過選擇乘法集合 $S$ 排除這些素點來在 $S^{-1}R$ 中使 $a$ 成為非零因子或單位（取決於 $S$）。
• 分解敏感性：零因子往往對應環的「可分解性」（如直積、非約化成分）；單位與非零因子的豐富度影響可逆變換與消去的適用範圍。

與同態、模的關係

• 若 $\varphi :R\to R'$ 為環同態，單位映到單位或零因子取決於像環結構；但若 $\varphi$ 可延拓為同構到像，其單位結構保留。
• 在 $R$-模 $M$ 中，$a$ 的零因子性對應乘法算子 $M\xrightarrow {\cdot a} M$ 的核非零；非零因子對應該算子單射。對有限生成模的分解與消去至關重要。

練習

1. 證明：單位不可能是零因子。
2. 在環 $\mathbb {Z} /12\mathbb {Z}$ 中找出全部單位與零因子。
3. 證明：冪零元素必為零因子。
4. 設 $(R,{\mathfrak {m}})$ 為局部環，證明 $R^{\times }=R\setminus {\mathfrak {m}}$。
5. 給出一個約化環的例子，其中存在零因子但不存在冪零元。

參考

• 環論與交換代數經典教材的入門章節通常系統討論單位、零因子、冪零元、局部化與譜的關係。
• 與模論配合的消去性質與零因子判別可參考標準線性代數與模塊理論資料。