在环论中整环Integral Domain是一个非常自然且关键的概念。简单来说整环就是“消除了零因子”的交换环。它是普通整数环Z\mathbb{Z}Z在代数结构上的直接推广为代数提供了可以安心做“约分/消去律”的运算环境。1. 严格定义设RRR是一个环。如果RRR满足以下三个条件则称RRR是一个整环乘法交换律RRR是一个交换环即对任意a,b∈Ra, b \in Ra,b∈R有abbaab baabba。有乘法单位元RRR包含乘法单位元111且1≠01 \neq 010。无零因子No Zero Divisors对任意a,b∈Ra, b \in Ra,b∈R如果ab0ab 0ab0则必须有a0a 0a0或b0b 0b0。2. 核心特征消去律Cancellation Law整环最核心的代数优势在于乘法消去律成立。在一般的环中abacab acabac并不一定意味着bcb cbc例如在模 6 算术中2×1≡2×4(mod6)2 \times 1 \equiv 2 \times 4 \pmod 62×1≡2×4(mod6)但1≠41 \neq 414。但在整环中若 a≠0 且 abac ⟹ a(b−c)0 ⟹ b−c0 ⟹ bc\text{若 } a \neq 0 \text{ 且 } ab ac \implies a(b - c) 0 \implies b - c 0 \implies b c若a0且abac⟹a(b−c)0⟹b−c0⟹bc这意味着在整环中只要系数不为零我们就可以像在中学解方程一样自由地“等式两边同约去aaa”。3. 经典例子与反例常见例子都是整环整数环Z\mathbb{Z}Z最标准的原型。任何域Field如有理数域Q\mathbb{Q}Q、实数域R\mathbb{R}R、复数域C\mathbb{C}C以及有限域Fp\mathbb{F}_pFp​。注意每一个域都是整环因为域中每个非零元素都有乘法逆元不可能存在零因子但整环不一定是域如Z\mathbb{Z}Z中 2 没有乘法逆元。整环上的多项式环若DDD是整环则其一元多项式环D[x]D[x]D[x]和多元多项式环D[x1,…,xn]D[x_1, \dots, x_n]D[x1​,…,xn​]也是整环。高斯整数环Z[i]{abi∣a,b∈Z}\mathbb{Z}[i] \{a bi \mid a, b \in \mathbb{Z}\}Z[i]{abi∣a,b∈Z}是整环。经典反例不是整环模mmm剩余类环Zm\mathbb{Z}_mZm​当mmm为合数时在Z6\mathbb{Z}_6Z6​中2ˉ≠0ˉ\bar{2} \neq \bar{0}2ˉ0ˉ且3ˉ≠0ˉ\bar{3} \neq \bar{0}3ˉ0ˉ但2ˉ⋅3ˉ6ˉ0ˉ\bar{2} \cdot \bar{3} \bar{6} \bar{0}2ˉ⋅3ˉ6ˉ0ˉ。这里的2ˉ\bar{2}2ˉ和3ˉ\bar{3}3ˉ就是零因子因此Z6\mathbb{Z}_6Z6​不是整环。矩阵环Mn(R)M_n(\mathbb{R})Mn​(R)n≥2n \ge 2n≥2既不满足乘法交换律又存在零因子例如(0100)(0100)(0000)\begin{pmatrix} 0 1 \\ 0 0 \end{pmatrix} \begin{pmatrix} 0 1 \\ 0 0 \end{pmatrix} \begin{pmatrix} 0 0 \\ 0 0 \end{pmatrix}(00​10​)(00​10​)(00​00​)。环的直积R1×R2R_1 \times R_2R1​×R2​如Z×Z\mathbb{Z} \times \mathbb{Z}Z×Z有(1,0)⋅(0,1)(0,0)(1, 0) \cdot (0, 1) (0, 0)(1,0)⋅(0,1)(0,0)存在零因子。4. 整环的重要衍生结构以“整环”为起点代数学家建立了一套层层递进的代数结构体系分式域Field of Fractions任何整环DDD都可以通过类似由Z\mathbb{Z}Z构造Q\mathbb{Q}Q的方式“分式化”扩张为一个包含它的最小域Frac(D)\text{Frac}(D)Frac(D)。特殊整环层级关系从条件最严到最宽泛常见整环的包含关系为域 (Field)⊊欧几里得整环 (ED)⊊主理想整环 (PID)⊊唯一分解整环 (UFD)⊊整环 (Integral Domain)\text{域 (Field)} \subsetneq \text{欧几里得整环 (ED)} \subsetneq \text{主理想整环 (PID)} \subsetneq \text{唯一分解整环 (UFD)} \subsetneq \text{整环 (Integral Domain)}域(Field)⊊欧几里得整环(ED)⊊主理想整环(PID)⊊唯一分解整环(UFD)⊊整环(Integral Domain)5. 总结表整环与相关结构的对照结构名称交换性单位元无零因子元素存在乘法逆元典型代表交换环✓\checkmark✓视定义×\times××\times×Z6\mathbb{Z}_6Z6​整环 (Integral Domain)✓\checkmark✓✓\checkmark✓✓\checkmark✓×\times×Z,R[x]\mathbb{Z}, \mathbb{R}[x]Z,R[x]域 (Field)✓\checkmark✓✓\checkmark✓✓\checkmark✓✓\checkmark✓非零元Q,R,C\mathbb{Q}, \mathbb{R}, \mathbb{C}Q,R,C