【抽象代数概念速查】(integral) domain 整环

在环论中，整环（Integral Domain）是一个非常自然且关键的概念。

简单来说，整环就是"消除了零因子"的交换环。它是普通整数环 Z\mathbb{Z}Z 在代数结构上的直接推广，为代数提供了可以安心做"约分/消去律"的运算环境。

1. 严格定义

设 RRR 是一个环。如果 RRR 满足以下三个条件，则称 RRR 是一个整环：

交换性 ：RRR 是一个交换环（即对任意 a,b∈Ra, b \in Ra,b∈R，有 ab=baab = baab=ba）。
有单位元 ：RRR 包含乘法单位元 111，且 1≠01 \neq 01=0。
无零因子（No Zero Divisors） ：对任意 a,b∈Ra, b \in Ra,b∈R，如果 ab=0ab = 0ab=0，则必须有 a=0a = 0a=0 或 b=0b = 0b=0。

2. 核心特征：消去律（Cancellation Law）

整环最核心的代数优势在于：乘法消去律成立。

在一般的环中，ab=acab = acab=ac 并不一定意味着 b=cb = cb=c（例如在模 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 且 ab=ac ⟹ a(b−c)=0 ⟹ b−c=0 ⟹ b=c\text{若 } a \neq 0 \text{ 且 } ab = ac \implies a(b - c) = 0 \implies b - c = 0 \implies b = c若 a=0 且 ab=ac⟹a(b−c)=0⟹b−c=0⟹b=c

这意味着在整环中，只要系数不为零，我们就可以像在中学解方程一样自由地"等式两边同约去 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$ ={a+bi∣a,b∈Z}\mathbb{Z} $i$ = \{a + bi \mid a, b \in \mathbb{Z}\}Z $i$ ={a+bi∣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}(0010)(0010)=(0000)）。
环的直积 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