抽象代数（五）：环与理想 —— 当乘法进入画面

我第一次真正卡壳，是在盯着整数集合 $\mathbb{Z}$ 发呆的时候。那时候我刚学完群论，满脑子都是对称、旋转和置换。我试着把 $\mathbb{Z}$ 当成一个加法群（additive group）来看：$(\mathbb{Z}, +)$ 确实漂亮，它是一个无限循环群，生成元是 $1$ 或 $-1$ ，结构干净得像一块玻璃。可是，当我想聊点“数论”的东西，比如素数、最大公约数、或者为什么 $6$ 只能拆成 $2 \times 3$ 时，加法群突然就哑火了。加法只能告诉我 $2+2+2=6$ ，它根本看不见“乘法”这回事。我忽然意识到，单靠一个运算，就像只用一把螺丝刀去修整台发动机：你能拧开外壳，但碰不到核心的齿轮咬合。

绝大多数我们真正拿来算东西的数系，整数、多项式、矩阵、甚至函数空间，都天生带着两套动作：加法和乘法。加法负责“平移”和“组合”，乘法负责“缩放”和“嵌套”。一旦你想讨论整除、因式分解、或者解方程，一个运算绝对不够。你需要一个环（ring）。

这篇文章我会带着你从零搭起环的骨架。先看公理，再逛一圈例子动物园，接着直面那些让环论比群论更丰富（也更折磨人）的病态结构。然后是环论的灵魂概念：理想（ideal）。理想在环里的地位，正好对应正规子群（normal subgroup）在群里的地位。读到结尾时，你不仅能顺口说出环的第一同构定理（First Isomorphism Theorem for rings），还会彻底明白为什么“模掉一个理想”是用旧环捏出新环的唯一正道。

从群到环：为什么需要两个运算？#

我习惯把环想象成一个“微型数系”。它有一套加法结构（让你能加减），一套乘法结构（让你能乘，但不保证能除），两者靠分配律（distributive law）死死绑在一起。整数 $\mathbb{Z}$ 是这一切的原型，其他环全是它的变体或推广。

回头看看 $\mathbb{Z}$ 。作为加法群，它已经被我们摸透了。但 $\mathbb{Z}$ 真正迷人的地方全在乘法里：素数分布、整除关系、算术基本定理。光靠加法，这些结构根本显影不出来。

再看实系数多项式集合 $\mathbb{R}[x]$ 。如果只允许加法，它不过是个无限维向量空间，平淡无奇。可一旦允许乘多项式，因式分解、求根、甚至代数几何的大门就轰然打开。乘法把“线性”的世界卷成了“非线性”的曲面。

这个模式到处都在重复：

• $\mathbb{Z}/n\mathbb{Z}$ ：模算术天生就要同时用加和乘。
• $M_n(\mathbb{R})$ ：矩阵代数离不开两个运算，而且乘法根本不交换。
• 函数空间：函数 $f: X \to \mathbb{R}$ 的逐点加法和逐点乘法，构成了分析学的底层骨架。

在这些例子里，加法永远给你一个阿贝尔群（abelian group），乘法永远给你一个结合运算，而分配律就是那根把两者缝在一起的线。把这套模式抽干水分，就得到了环的定义。

历史上，环的概念在 19 世纪末从两条完全不同的河流汇合而成。代数数论（algebraic number theory）那边，Dedekind 死磕 $\mathbb{Z}[\sqrt{-5}]$ 这种代数整数环，想弄明白为什么唯一分解会失效，以及怎么用“理想”把它救回来。不变量理论（invariant theory）那边，Hilbert 证明了多项式不变量环总是有限生成的。到了 20 世纪 20 年代，Emmy Noether 一锤定音，用公理把这一切钉死在现代代数的墙上。

环公理和示例动物园#

我学环公理时，脑子里一直有个画面：环是两个运算“长”在一起的连体婴，分配律就是它们的共享血液循环系统。没有分配律，加法和乘法就会各玩各的，甚至冒出 $1 \cdot 0 \neq 0$ 这种反直觉的怪物。

环（ring）是一个带着两个二元运算 $+$ 和 $\cdot$ 的集合 $R$ ，必须满足三条铁律：

1. $(R, +)$ 是一个阿贝尔群，单位元记作 $0$ 。也就是说，加法必须能交换、能结合、有零元、每个元素都有相反数。
2. 乘法是结合的：$(ab)c = a(bc)$ 。连乘时括号怎么打都不影响结果。
3. 分配律：$a(b+c) = ab + ac$ 和 $(a+b)c = ac + bc$ 。乘法可以“分发”到加法的每一项上，就像小学学的展开括号。

如果环里存在一个元素 $1 \in R$ ，满足 $1 \cdot a = a \cdot 1 = a$ ，我们就叫它有单位元的环（unital ring）：乘法有个“什么都不改变”的基准点。如果还满足 $ab = ba$ ，就叫交换环（commutative ring），即乘法的顺序不重要。除非我特别声明，本文里的“环”默认指交换有单位元的环。遇到需要扔掉交换性或单位元的情况，我会直接点破。

在非交换环里，左右两条分配律都得写上；但在交换环里，$a(b+c) = ab + ac$ 自动就能推出 $(a+b)c = ac + bc$ ，交换性让左右分配律变成了一回事。顺便提一句，不同教材的传统不一样：有的默认“环”必须交换，有的（比如 Lang）默认可以不交换。现代研究里，“交换环”和“非交换环”是两大阵营，各自养着一堆深刻的定理。

从公理能直接捏出几个保命推论，我每次算错符号都会回来查它们：

• $0 \cdot a = 0$ 。证明：$0 \cdot a = (0+0) \cdot a = 0 \cdot a + 0 \cdot a$ ，两边消去 $0 \cdot a$ 就得到 $0$ 。零乘任何数都得零，这不是物理定律，而是分配律强行规定的。
• $(-1) \cdot a = -a$ 。乘负一等于取加法逆元。
• $(-a)(-b) = ab$ 。负负得正同样是分配律的必然产物，不是老师硬塞给你的口诀。

环目录#

我把常见的环整理成一张表，方便你随时对照。每个环的性格都写在“交换？”和“单位元？”这两列里。

域（field）是一种特殊的交换有单位元环，要求每个非零元素都有乘法逆元，于是域里除了零都能做除法。除环（division ring）扔掉交换性，但保留逆元。四元数 $\mathbb{H}$ 就是除环的招牌：$i^2 = j^2 = k^2 = ijk = -1$ ，且 $ij = k \neq -k = ji$ ，乘法有方向性，转序就反号。

如果 $u \in R$ 有双侧逆元（即存在 $v$ 使 $uv=vu=1$ ），我们叫它单位（unit），也就是环里“能除”的那些元素。所有单位凑在一起记作 $R^\times$ ，它在乘法下自己形成一个群：可逆元素对乘法封闭，且满足群公理。

• $\mathbb{Z}^\times = \{\pm 1\}$ ：整数里只有 $1$ 和 $-1$ 能整除 $1$ 。
• $(\mathbb{Z}/n\mathbb{Z})^\times$ ：与 $n$ 互质的剩余类，阶为 $\varphi(n)$ ，也就是那些跟 $n$ 没有公因子的数。
• $M_n(\mathbb{R})^\times = GL_n(\mathbb{R})$ ：矩阵环的单位就是可逆矩阵群。
• 对于域 $F$ ，$F^\times = F \setminus \{0\}$ ：域里非零元全是单位。

下面把几个数值例子彻底算透，免得它们停留在抽象符号上。

数值示例：$(\mathbb{Z}/12\mathbb{Z})^\times$ 。 先找跟 $12$ 互质的数：$1, 5, 7, 11$ ，它们跟 $12$ 的最大公约数都是 $1$ 。所以 $|(\mathbb{Z}/12\mathbb{Z})^\times| = 4 = \varphi(12)$ ，单位群的阶正好等于欧拉函数值。逐个平方看看：$5^2 = 25 \equiv 1 \pmod{12}$ ，$7^2 = 49 \equiv 1 \pmod{12}$ ，$11^2 = 121 \equiv 1 \pmod{12}$ ，每个非平凡单位的阶都是 $2$ 。所以这个群同构于 $\mathbb{Z}/2 \times \mathbb{Z}/2$ ，也就是克莱因四元群：它不是循环群，而是两个二阶群的直积。

数值示例：$(\mathbb{Z}/15\mathbb{Z})^\times$ 。 跟 $15$ 互质的数有 $\{1, 2, 4, 7, 8, 11, 13, 14\}$ ，一共八个，$\varphi(15) = 8$ 。用中国剩余定理（Chinese Remainder Theorem）拆开：$(\mathbb{Z}/15\mathbb{Z})^\times \cong (\mathbb{Z}/3\mathbb{Z})^\times \times (\mathbb{Z}/5\mathbb{Z})^\times \cong \mathbb{Z}/2 \times \mathbb{Z}/4$ ，模 $15$ 的单位群结构由模 $3$ 和模 $5$ 的单位群拼起来。它同构于 $\mathbb{Z}/4 \times \mathbb{Z}/2$ ，是一个 $8$ 阶阿贝尔群，但不是循环群：$\mathbb{Z}/8$ 有 $8$ 阶元，而它最大阶只有 $4$ 。

数值示例：$\mathbb{Z}[i]^\times$ 。 高斯整数的单位必须满足范数 $N(a+bi) = a^2+b^2 = 1$ ，也就是只有模长为 $1$ 的高斯整数才可逆。在整数里解 $a^2+b^2=1$ ，只能得到 $(\pm 1, 0)$ 和 $(0, \pm 1)$ ，正好四个点。所以单位是 $\{1, -1, i, -i\}$ ，构成一个 $4$ 阶循环群：乘 $i$ 四次就回到 $1$ ，完美循环。

环公理定义的结构比群高一层：群只有一个运算，环有两个，复杂度全来自加法与乘法的相互作用。几乎你平时碰到的具体数系都是环，环理论就是一套统一的语言，用来同时解剖它们。

我们可以按附加性质给环分层：交不交换？有没有 $1$ ？有限还是无限？是不是整环？每加一条限制，就筛掉一批病态环，同时换来更强的定理。经典代数大部分时间在交换整环上干活，因为它们在“结构丰富”和“好算”之间找到了甜蜜点。

在 $\mathbb{Z}/6\mathbb{Z}$ 里，你会撞见 $\bar 2 \cdot \bar 3 = \bar 6 = \bar 0$ ：两个非零数相乘居然得到了零。这种现象在 $\mathbb{Z}$ 或任何域里绝不可能发生，因为它们遵守“无零因子”规则。我们把没有这种毛病的环叫整环（integral domain），有的就叫带零因子的环。零因子是环论里第一个需要警惕的陷阱，我马上就会详细拆解它。

零因子的实际杀伤力在于：只要环里有零因子，你就没法正经地“除以非零元”，消去律会直接报废。消去律一死，分式域就建不起来，环的算术性质就比整数弱一大截。换句话说，零因子切断了从环通向域的桥。

$S \subseteq R$ 叫子环（subring），如果它用同样的运算自己成环，并且必须包含 $1_R$ ，不能偷偷换单位元。例子：$\mathbb{Z} \subset \mathbb{Q} \subset \mathbb{R} \subset \mathbb{C}$ 是一条子环链，每个大环都完整保留了小环的运算规则。高斯整数 $\mathbb{Z}[i] \subset \mathbb{C}$ 也是子环，相当于在复数域里挖出一块自封闭的格点。

子环测试极其好用：非空子集 $S$ 是子环，当且仅当 $1 \in S$ 且 $S$ 对减法和乘法封闭。你不用逐条验证群公理，减法封闭自动搞定加法逆元和加法封闭（因为 $a+b = a - (-b) = a - (0-b)$ ），减法一把抓了加群的所有要求。

再多看几个子环例子练手。$\mathbb{Z}[\sqrt 2] = \{a + b\sqrt 2 : a, b \in \mathbb{Z}\}$ 嵌在 $\mathbb{R}$ 里，带 $\sqrt 2$ 的整数线性组合自己成环。$\mathbb{Z}[\omega]$ （其中 $\omega = e^{2\pi i/3}$ ，叫 Eisenstein 整数）嵌在 $\mathbb{C}$ 里，三次单位根生成的格点也是子环。任意 $n \times n$ 矩阵环的中心 $Z(M_n(R))$ 是子环：跟所有矩阵都可交换的矩阵自己构成一个交换子环。$\mathbb{R}[x]$ 里的常数多项式构成一个同构于 $\mathbb{R}$ 的子环，把变量 $x$ 冻结就退回系数域。

整环与零因子#

我每次看到“整环”这个词，都会把它翻译成“守规矩的环”。整环的核心直觉就一句话：消去律 $ab = ac \Rightarrow b = c$ 在 $a \neq 0$ 时永远成立。只要乘数不是零，你就可以放心大胆地“约掉”它，信息不会丢。用代数黑话说，这叫“你可以除以非零元素而不丢失信息”。

定义： 如果存在非零的 $b$ 使得 $ab = 0$ ，那么非零的 $a \in R$ 就是零因子（zero divisor），也就是那种“明明自己不是零，却能把别的非零数乘成零”的捣蛋鬼。没有零因子的交换幺环，就叫整环（integral domain），它彻底杜绝了“非零乘非零得零”的灵异事件。

例子与反例。

• $\mathbb{Z}$ ：整环。整数乘法永远不会凭空造出零。
• 每个域：整环。域里非零元都能求逆，乘逆元直接消去，零因子无处藏身。
• 对于素数 $p$ ，$\mathbb{Z}/p\mathbb{Z}$ 是域，因此也是整环。模素数算术干净利落。
• $\mathbb{Z}/6\mathbb{Z}$ ：不是整环。$\bar 2 \cdot \bar 3 = \bar 0$ 直接击穿规则。
• $M_2(\mathbb{R})$ ：不是整环（而且不交换）。矩阵乘法里零因子满天飞，比如 $\begin{pmatrix}1&0\\0&0\end{pmatrix}\begin{pmatrix}0&0\\0&1\end{pmatrix} = 0$ 。
• $\mathbb{Z}[x]$ ：整环，因为多项式乘积的次数是次数之和，非零多项式相乘次数不可能掉到 $-\infty$ （即零多项式）。$\mathbb{Z}[i]$ ：整环，高斯整数继承复数域的无零因子性质。
• $\mathbb{R}[x]/(x^2 - 1)$ ：不是整环。在这个商环里 $(x-1)(x+1) = x^2-1 \equiv 0$ ，两个非零余类相乘得零。

零因子的数值例子： 在 $\mathbb{Z}/12\mathbb{Z}$ 里，零因子是 $\{2, 3, 4, 6, 8, 9, 10\}$ 。这些数跟 $12$ 有公因子，乘上合适的伴侣就会凑出 $12$ 的倍数。非零且非零因子的元素是 $\{1, 5, 7, 11\}$ ，这正好是单位群。在有限交换环里，非零元素要么是零因子，要么是单位，没有中间地带：有限交换环中的每个非零且非零因子都是单位，有限性逼着可消去元素自动可逆。

消去律： 在整环中，$ab = ac$ 且 $a \neq 0$ 时，可以推出 $b = c$ ，于是你能像处理普通方程一样移项约分。这个性质让我们可以把整环看作“广义整数”，保留了整数最核心的算术直觉。

消去律正是构造分式域（field of fractions）的钥匙，它保证等价关系 $(a, b) \sim (c, d) \iff ad = bc$ 不会自相矛盾。在有零因子的环（如 $\mathbb{Z}/6\mathbb{Z}$ ）里，自然的分数构造会直接塌方：$\bar 1 / \bar 2$ 根本定不出唯一值，因为 $\bar 2 \cdot \bar 3 = \bar 0$ 会让分子分母同时失真。

分式域： 任何整环 $R$ 都能嵌入一个最小的域 $\text{Frac}(R)$ ，相当于给整环一个“补全除法”的终极归宿。构造方法是对偶 $(a, b)$ （$b \neq 0$ ）的等价类，模掉关系 $(a, b) \sim (c, d) \iff ad = bc$ ，这就是小学通分比较的严格代数版。

例子：$\text{Frac}(\mathbb{Z}) = \mathbb{Q}$ ，整数的分式域就是有理数。$\text{Frac}(\mathbb{Z}[i]) = \mathbb{Q}(i)$ ，高斯整数的分式域是高斯有理数。$\text{Frac}(F[x]) = F(x)$ ，多项式的分式域是有理函数域。

运算规则：$a/b + c/d = (ad + bc)/(bd)$ 和 $(a/b)(c/d) = (ac)/(bd)$ ，跟初中分数加减乘一模一样。这些运算良好定义，正是因为消去律成立；没有它，不同代表元会算出不同结果。映射 $R \to \text{Frac}(R), a \mapsto a/1$ 是单射环同态，原环可以无损地塞进分式域。并且 $\text{Frac}(R)$ 在包含 $R$ 的所有域中是通用的：从 $R$ 到任意域的每个单射环同态都可以唯一地通过 $\text{Frac}(R)$ 因子化。也就是说，分式域是“最经济”的扩域，不多不少刚好够做除法。

命题： 每个有限整环都是域。只要整环元素个数有限，除法自动全解锁。

证明： 设 $a \neq 0$ ，随便挑一个非零元。映射 $r \mapsto ar$ 是单射（因为消去律），乘 $a$ 不会把两个不同元素撞成同一个。在有限集合上，单射必是满射，鸽巢原理逼着映射覆盖整个环。因此存在某个 $r$ 使得 $ar = 1$ ，$1$ 一定在像集里，所以 $a$ 有逆元。证毕。

为什么这很重要： 这个命题直接解释了为什么对素数 $p$ ，$\mathbb{Z}/p\mathbb{Z}$ 是域：它是有限整环，所以自动升级。这是有限域算术的基石，撑着现代编码理论、密码学和计算机代数：你手机里的纠错码和 HTTPS 握手，底层都在跑这个定理。

对素数 $p$ 和任意 $n \geq 1$ ，存在唯一的阶为 $p^n$ 的域，记作 $\mathbb{F}_{p^n}$ ，可见有限域的大小只能是素数幂，且同构意义下唯一。构造方法：取 $\mathbb{F}_p[x]/(f(x))$ ，其中 $f$ 是任意 $n$ 次不可约多项式。结果得到的域有 $p^n$ 个元素，并且与 $f$ 的选择无关：不同不可约多项式造出的域长得一样。我们在第七篇聊域扩张时会把它拆开细看。

例题： $\mathbb{Z}/n\mathbb{Z}$ 是整环当且仅当 $n$ 是素数，模 $n$ 算术干净与否完全取决于 $n$ 的因子结构。如果 $n = ab$ （$1 < a, b < n$ ），那么 $\bar a \bar b = \bar 0$ 且两个因子都不是零，合数直接制造零因子。反之，如果 $p$ 是素数且 $\bar a \bar b = 0$ ，那么 $p \mid ab$ ；根据欧几里得引理，$p \mid a$ 或 $p \mid b$ ，所以 $\bar a = 0$ 或 $\bar b = 0$ 。

例题：高斯整数 $\mathbb{Z}[i]$ 。 定义范数 $N(a + bi) = a^2 + b^2$ ，也就是复数模长的平方。范数是乘性的：$N(\alpha\beta) = N(\alpha)N(\beta)$ 。如果 $\alpha\beta = 0$ ，那么 $N(\alpha)N(\beta) = 0$ ，所以 $N(\alpha) = 0$ 或 $N(\beta) = 0$ ，即其中一个为零（整数平方和为零只能两项全零）。因此 $\mathbb{Z}[i]$ 是整环。

范数还提供了一个欧几里得函数（Euclidean function），能用来做带余除法。对于任何 $\alpha, \beta \in \mathbb{Z}[i]$ 且 $\beta \neq 0$ ，存在 $q, r \in \mathbb{Z}[i]$ 使得 $\alpha = q\beta + r$ 且 $N(r) < N(\beta)$ ：高斯整数也能做除法，余数范数严格变小。（几何上：将 $\alpha/\beta \in \mathbb{Q}(i)$ 四舍五入到最近的高斯整数，复平面上找最近格点就是取商。）这使得 $\mathbb{Z}[i]$ 成为一个欧几里得整环（Euclidean domain），从而是主理想整环（PID），进而成为唯一分解整环（UFD），好性质像多米诺骨牌一样全倒向它。这是所有好的分解性质同时成立的罕见情况之一。

$\mathbb{Z}[i]$ 中的数值例子。 $(2 + i)(2 - i) = 4 - i^2 = 5$ ，可见 $5$ 在高斯整数里能拆开，$2 \pm i$ 就是 $\mathbb{Z}[i]$ 中 $5$ 的因式分解：整数素数在扩环里可能分裂。范数 $N(2 + i) = 5$ 在 $\mathbb{Z}$ 中是素数，这迫使 $2 + i$ 在 $\mathbb{Z}[i]$ 中是不可约的（irreducible），再也拆不成两个非单位高斯整数的乘积。$\mathbb{Z}$ 中的素数 $5$ 在 $\mathbb{Z}[i]$ 中“分裂”为 $(2+i)(2-i)$ ，同一个素数在不同数环里命运不同。这种现象预示了代数数环中素理想分裂的深刻理论。

数值例子：哪些整数素数可以表示为两个平方数之和。 $2 = 1^2 + 1^2$ ，$5 = 1^2 + 2^2$ ，$13 = 2^2 + 3^2$ ，$17 = 1^2 + 4^2$ ，$29 = 2^2 + 5^2$ ，这些素数都能写成平方和。相比之下，$3, 7, 11, 19, 23$ 死活凑不出平方和。定理（费马）：奇素数 $p$ 可以表示为两个平方数之和当且仅当 $p \equiv 1 \pmod 4$ 。证明利用了 $\mathbb{Z}[i]$ 的结构：$p \equiv 1 \pmod 4$ 的素数 $p$ 分裂为 $p = \pi \bar\pi$ ，其中 $\pi \in \mathbb{Z}[i]$ ，余 $1$ 的素数在高斯整数里一分为二；而 $p \equiv 3 \pmod 4$ 的素数保持为素数，在高斯整数里依然铁板一块。这是“数环中素数分裂”的最简单有趣的情况，是代数数论的核心主题。

理想：环的“正规子群”#

我第一次见到“理想”这个词，以为它是某种哲学概念。后来才明白，它是环论里最务实的发明。理想是一个子集，它对加法封闭，并且能“吸收”环里所有元素的乘法，像个黑洞：环里任何东西乘进去，结果还得留在理想里。它是环同态的“核”的正确概念，也是模掉的正确对象：想造商环，只能模理想，不能模随便的子环。

定义： 环同态（ring homomorphism） $\varphi: R \to S$ 满足三条：

1. $\varphi(a + b) = \varphi(a) + \varphi(b)$ ，同态保持加法结构。
2. $\varphi(ab) = \varphi(a)\varphi(b)$ ，同态保持乘法结构。
3. $\varphi(1_R) = 1_S$ ，同态必须把单位元映到单位元。

第三条公理独立于前两条：光保加法和乘法不够，还得保 $1$ 。不保持 $1$ 的“环同态”是个奇怪对象，会破坏环的算术基准，不是现代意义上的同态。映射 $\mathbb{Z} \to \mathbb{Z} \times \mathbb{Z}$ 通过 $a \mapsto (a, 0)$ 满足 $(1) + (2)$ 但不满足 $(3)$ ，因为 $(1,0)$ 不是 $\mathbb{Z} \times \mathbb{Z}$ 的单位元 $(1,1)$ 。所以它不是现代意义上的环同态。

核 $\ker\varphi = \{r : \varphi(r) = 0\}$ 在加法下封闭（子群），映到零的元素自己成加群。它还吸收乘法：如果 $a \in \ker\varphi$ 且 $r \in R$ ，那么 $\varphi(ra) = \varphi(r) \cdot 0 = 0$ ，所以 $ra \in \ker\varphi$ 。核天生具备吸收性。

定义： $I \subseteq R$ 是一个 理想（ideal） 如果：

1. $(I, +) \le (R, +)$ ，理想首先是加法子群。
2. $a \in I, r \in R \Rightarrow ra \in I$ 且 $ar \in I$ ，理想对环乘法双向吸收。

在非交换环中，我们区分 左理想（left ideal，仅 $ra \in I$ ）、右理想（right ideal） 和 双边理想（two-sided ideal），因为乘法不交换时吸收方向很重要。在交换环中，这三个概念是一致的。

主理想#

在交换环中，主理想（principal ideal） $(a) = aR = \{ar : r \in R\}$ ，就是单个元素的所有倍数凑成的集合。

核心结论是：$\mathbb{Z}$ 的每个理想都是主理想，整数的理想全由一个数生成。

证明： 设 $I \neq \{0\}$ ，挑一个非零理想。选取 $I$ 中最小的正元素 $d$ （正整数集有良序性，最小元一定存在），那么 $(d) \subseteq I$ 。对于 $a \in I$ ，写成 $a = qd + r$ 且 $0 \le r < d$ ，做带余除法。那么 $r = a - qd \in I$ （理想对减法和吸收封闭，余数也得在里头）。由最小性知 $r = 0$ ，余数比最小正元还小，只能是零。所以 $I = (d)$ ，理想完全由 $d$ 生成。证毕。

这使得 $\mathbb{Z}$ 成为一个 主理想整环（Principal Ideal Domain, PID）：它的理想结构极其简单，全是一条线。

数值例子：$\mathbb{Z}/12\mathbb{Z}$ 的理想。 这些理想对应于 $12$ 的因子。$(1) =$ 所有元素，$(2) = \{0, 2, 4, 6, 8, 10\}$ ，$(3) = \{0, 3, 6, 9\}$ ，$(4) = \{0, 4, 8\}$ ，$(6) = \{0, 6\}$ ，$(12) = \{0\}$ ，每个因子生成一个理想，元素就是该因子的倍数模 $12$ 。总共有六个理想，与 $12$ 的六个因子匹配，理想的格反映了因子格。

数值例子：$\mathbb{Z}[i]$ 的理想。 $\mathbb{Z}[i]$ 的理想也是主理想（它是 PID），由高斯整数生成，同样享受单生成元的奢侈。生成元的范数给出了理想在 $\mathbb{Z}[i]$ 中的指数：$|\mathbb{Z}[i]/(\alpha)| = N(\alpha)$ ，商环的元素个数正好等于生成元范数。所以 $\mathbb{Z}[i]/(2 + i)$ 有 $5$ 个元素，$\mathbb{Z}[i]/(3)$ 有 $9$ 个元素，范数直接控制商环大小。

极大理想和素理想#

定义： 真理想 $\mathfrak{m} \subsetneq R$ 是 极大理想（maximal ideal） 如果没有理想 $I$ 使得 $\mathfrak{m} \subsetneq I \subsetneq R$ 。它是紧挨着整个环的“天花板”理想，再往上扩一步就爆成全环。

定义： 真理想 $\mathfrak{p} \subsetneq R$ 是 素理想（prime ideal） 如果 $ab \in \mathfrak{p}$ 意味着 $a \in \mathfrak{p}$ 或 $b \in \mathfrak{p}$ 。它继承了素数的核心性格：乘积落在里头，至少有一个因子得在里头。

可以证明，在交换幺环中：

• $R/\mathfrak{m}$ 是域 $\iff$ $\mathfrak{m}$ 是极大理想：模掉极大理想，剩下的结构刚好够做除法。
• $R/\mathfrak{p}$ 是整环 $\iff$ $\mathfrak{p}$ 是素理想：模掉素理想，剩下的结构刚好杜绝零因子。
• 每个极大理想都是素理想：域一定是整环，所以极大理想一定素。

证明 “极大 $\Rightarrow$ 域”。 设 $\bar a \neq 0$ 在 $R/\mathfrak{m}$ 中，那么 $a \notin \mathfrak{m}$ ，挑一个非零余类，代表元不在理想里。理想 $\mathfrak{m} + (a)$ 严格包含 $\mathfrak{m}$ ，所以由极大性它等于 $R$ 。因此存在 $m \in \mathfrak{m}, r \in R$ 使得 $1 = m + ra$ ，于是 $\bar r \bar a = \bar 1$ ，模掉 $\mathfrak{m}$ 后 $r$ 就是 $a$ 的逆元。证毕。

为什么这很重要： 素理想和极大理想是几何中“点”的代数替身。代数几何把空间拆成点，环论把环拆成理想。环 $R$ 的素理想集合（称为 $\text{Spec}(R)$ ，素谱）带有拓扑结构，使其成为一个几何空间：理想能拼出拓扑空间，这是 Grothendieck 的革命。极大理想对应于“闭点”（几何里的具体坐标），素理想对应于“子簇”（曲线或曲面）。

对于 $R = \mathbb{C}[x]$ ，极大理想恰好是 $(x - a)$ 对应于 $a \in \mathbb{C}$ ，与 $\mathbb{C}$ 的点一一对应。相应的商 $\mathbb{C}[x]/(x - a) \cong \mathbb{C}$ 是“函数在 $a$ 处的值”：模掉 $(x-a)$ 等于把 $x$ 替换成 $a$ 求值。这是 Hilbert Nullstellensatz 的最简单情况：$\mathbb{C}[x_1, \ldots, x_n]$ 的极大理想对应于 $\mathbb{C}^n$ 的点。

例子：$\mathbb{Z}$ 。 素理想：$(0)$ 和 $(p)$ 对应于素数 $p$ ，零理想和素数生成的理想都是素的。极大理想：$(p)$ ，只有素数理想是极大的。$(0)$ 是素理想（因为 $\mathbb{Z}/(0) = \mathbb{Z}$ 是整环）但不是极大理想（因为 $\mathbb{Z}$ 不是域）：零理想上面还能塞进 $(p)$ ，没顶到天花板。

例子：$\mathbb{Z}[x]$ 中的 $(x)$ 。 $\mathbb{Z}[x]/(x) \cong \mathbb{Z}$ （在 $0$ 处求值），模掉 $x$ 等于令 $x=0$ ，只剩常数项。$\mathbb{Z}$ 是整环但不是域，所以 $(x)$ 是素理想但不是极大理想。$(x, 2) \supsetneq (x)$ ，且 $\mathbb{Z}[x]/(x, 2) \cong \mathbb{Z}/2$ 是域，再加个 $2$ 就把常数项模成有限域了，所以 $(x, 2)$ 是极大理想。

例子：$k[x, y]$ 中的 $(x, y)$ 。 $k[x, y]/(x, y) \cong k$ （在 $(0, 0)$ 处求值），模掉 $x,y$ 等于原点求值，所以 $(x, y)$ 是极大理想。相比之下，$(x)$ 在 $k[x, y]$ 中的商是 $k[y]$ ，只模 $x$ 还剩一个变量 $y$ ，它是整环但不是域，所以 $(x)$ 是素理想但不是极大理想。链 $(0) \subsetneq (x) \subsetneq (x, y)$ 在 $k[x, y]$ 中长度为 $2$ ，反映了 $\mathbb{A}^2$ 是二维的。

例子：$\mathbb{Z}[x]$ 的素理想。 分四种类型：

1. $(0)$ ：零理想，对应于“泛点”，代表整个算术平面的通用位置。
2. $(p)$ 对应于素数 $p \in \mathbb{Z}$ ：对应于模 $p$ 还原，把系数压到有限域上。
3. $(f(x))$ 对应于 $\mathbb{Q}[x]$ 中不可约且内容为 $1$ 的多项式 $f$ ：对应于代数数，锁定某个代数方程的根。
4. $(p, f)$ 其中 $p$ 是素数且 $f$ 模 $p$ 不可约：极大理想，同时固定特征和代数关系，得到闭点。

只有第四种类型的理想是极大理想，前三种都能继续往上扩。这种分层构成了 $\text{Spec}(\mathbb{Z}[x])$ 的几何基础，有时称为“算术平面”，数论和几何在这里彻底融合。

理想的运算#

理想之间也能做运算，规则跟整数很像，但细节更丰富。

• 和：$I + J = \{a + b : a \in I, b \in J\}$ ，即包含 $I$ 和 $J$ 的最小理想。
• 积：$IJ = \{\sum a_k b_k : a_k \in I, b_k \in J\}$ （有限和），由所有交叉乘积的线性组合生成。
• 交：$I \cap J$ ，同时落在 $I$ 和 $J$ 里的元素。

当 $I + J = R$ （共极大，comaximal）时，环的中国剩余定理（Chinese Remainder Theorem for rings）给出 $R/(I \cap J) \cong R/I \times R/J$ ：互素理想能把环拆成直积，模运算可以并行处理。

数值例子： 在 $\mathbb{Z}$ 中，$(4) + (6) = (\gcd(4,6)) = (2)$ ，理想和对应最大公约数；$(4) \cap (6) = (\text{lcm}(4,6)) = (12)$ ，理想交对应最小公倍数；$(4)(6) = (24)$ ，理想积对应整数乘积。注意 $(4) + (6) \neq R$ ，所以它们不是共极大的，$2$ 生不成全环，CRT 不适用。相比之下 $(4) + (9) = (1) = \mathbb{Z}$ ，$4$ 和 $9$ 互素，和理想是全环，且 $\mathbb{Z}/(4 \cap 9) = \mathbb{Z}/36 \cong \mathbb{Z}/4 \times \mathbb{Z}/9$ （CRT），模 $36$ 的算术等价于模 $4$ 和模 $9$ 并行计算。

有用的身份： 对于交换环中的理想 $I, J, K$ ：$I(J + K) = IJ + IK$ ，理想乘法对加法满足分配律。$I \cap (J + K) \supseteq (I \cap J) + (I \cap K)$ ，等号不一定成立，理想交对和只满足单向包含，分配律在交运算上会失效。理想的格是 模格（modular lattice）但通常不是分配格：理想结构比布尔代数复杂，不能随便拆括号。

商环和第一同构定理#

心理图像：就像群一样，你模掉一个理想来得到商环：把理想里的元素全当成零，剩下的元素按等价类重新分组。理想的公理保证了乘法是良定义的：吸收性确保不同代表元乘出来还在同一个等价类里。

也就是商环的加法和乘法直接继承原环，算完再套上等价类。

换代表元展开后会多出三项交叉项。每个 $aj, ib, ij$ 都在 $I$ 中（通过吸收），所以 $a'b' - ab \in I$ 。新旧乘积只差一个理想元素，属于同一等价类，乘法定义不依赖代表元选择。

这就是环的第一同构定理（First Isomorphism Theorem）：模掉核，剩下的结构跟像一模一样。

实例：$\mathbb{R}[x]/(x^2+1) \cong \mathbb{C}$ 。 定义 $\varphi: \mathbb{R}[x] \to \mathbb{C}$ 由 $\varphi(f) = f(i)$ ，把多项式里的 $x$ 全换成 $i$ 求值。它是满射，因为任何复数 $a+bi$ 都能被一次多项式 $a+bx$ 映到。核是在 $i$ 处消失的多项式，即 $(x^2 + 1)$ （$i$ 的极小多项式）：实系数多项式在 $i$ 为零，必含因子 $x^2+1$ 。由定理，$\mathbb{R}[x]/(x^2 + 1) \cong \mathbb{C}$ ，模掉 $x^2+1$ 等价于强行规定 $x^2=-1$ ，正好造出复数。

这展示了构造的力量：我们纯代数地构建了 $\mathbb{C}$ ，无需几何直觉，复数不再是平面上的点，而是多项式环的商。余类 $a + bx$ 对应于 $a + bi$ ，关系 $\bar x^2 + 1 = 0$ 强制 $\bar x^2 = -1$ ，商环规则自动执行虚数单位的定义。

$x^2 - 1 = (x-1)(x+1)$ 在 $\mathbb{R}[x]$ 中，这两个因子是共极大的（因为 $\gcd = 1$ ，$(x-1)+(x+1)$ 包含常数 $2$ ，生成全环）。由 CRT，$\mathbb{R}[x]/(x^2 - 1) \cong \mathbb{R}[x]/(x-1) \times \mathbb{R}[x]/(x+1) \cong \mathbb{R} \times \mathbb{R}$ ：模可约多项式会把环撕成两半。所以这个商不是域，它有零因子 $(\bar x - 1)(\bar x + 1) = 0$ ，两个非零余类相乘得零。比较 $\mathbb{R}[x]/(x^2 + 1) \cong \mathbb{C}$ ，这是一个域，因为 $x^2 + 1$ 是不可约的，不可约性保住了域的完整性。

模式：商 $F[x]/(f(x))$ 是域当且仅当 $f$ 在 $F$ 上不可约。多项式能不能拆，直接决定商环能不能做除法。如果 $f$ 可分解，商是较小商的乘积（CRT），有零因子。

实例：$\mathbb{Z}[x]/(x^2 + 1, 5)$ 。 $\cong (\mathbb{Z}/5\mathbb{Z})[x]/(x^2 + 1)$ ，先模 $5$ 把系数压到 $\mathbb{F}_5$ 。在 $\mathbb{F}_5$ 中，$2^2 + 1 = 5 = 0$ ，所以 $x = 2$ 是根，$2$ 和 $3$ 都是 $x^2+1$ 的根，且 $x^2 + 1 = (x - 2)(x - 3)$ ，多项式在 $\mathbb{F}_5$ 上完全分裂。由环的 CRT，商是 $\mathbb{F}_5 \times \mathbb{F}_5$ 。所以 $\mathbb{Z}[x]/(x^2 + 1, 5) \cong \mathbb{F}_5 \times \mathbb{F}_5$ 。

$\mathbb{Z}[i] \cong \mathbb{Z}[x]/(x^2 + 1)$ ：高斯整数就是整数多项式模 $x^2+1$ 。映射 $f(x) \mapsto f(i)$ 是一个环同态 $\mathbb{Z}[x] \to \mathbb{Z}[i]$ ，满射，核为 $(x^2 + 1)$ ，代入 $i$ 的映射完美捕捉高斯整数结构。所以 $\mathbb{Z}[i]$ 自然地是把多项式按"$x^2 = -1$ “这个关系折叠起来后剩下的东西，无限维多项式压成二维格点。每个高斯整数都能写成 $a + bi$ 的形式，因为余下的更高次幂都被 $x^2 + 1$ 这条规则一步一步消掉了：$x^3 = x \cdot x^2 \equiv -x$ ，次数永远压到 $1$ 以下。

我想强调一下这个例子的认识论分量，它改变了我们“发明”新数系的方式。在小学和高中里，$\mathbb{C}$ 是被"假设存在 $i$ 使得 $i^2 = -1$ “这种几乎宗教式的姿态引进来的，我们靠信仰接受虚数。在这里我们用一个一行的同构定理就把它造出来了，信仰变成了推导。$\mathbb{R}[x]$ 是已知的对象，$(x^2 + 1)$ 是已知的极大理想，商环规则也是已知的，所有零件都是现成的。$\mathbb{C}$ 不再需要被"相信”，它就是 $\mathbb{R}[x]/(x^2+1)$ 的一个名字。同样的把戏一旦掌握，你就能造出 $\mathbb{F}_4 = \mathbb{F}_2[x]/(x^2 + x + 1)$ 、$\mathbb{F}_9 = \mathbb{F}_3[x]/(x^2 + 1)$ ，造出二元数 $\mathbb{R}[x]/(x^2)$ （带"无穷小” $\varepsilon$ 满足 $\varepsilon^2 = 0$ ），造出分裂复数 $\mathbb{R}[x]/(x^2 - 1) \cong \mathbb{R} \times \mathbb{R}$ 。换不同的模多项式，就能捏出不同性格的数系，每一种"奇怪的数"都只是 $R[x]/(f)$ 的一个化名。

第一同构定理在这里扮演的角色是个翻译机，在两种视角间自由切换：它把"由 $i$ 生成的子环"翻译成"由 $x^2 + 1$ 切出来的商环"。前者是构造性的、操作性的（你拿着 $i$ 去乘一切），后者是公理性的、关系性的（你只记住 $x^2 + 1 = 0$ ）：一边动手算，一边看规则。两边等价是抽象代数里最常用的一种"换坐标"，让你随时选最顺手的那套语言。绝大多数后续的"造一个数域来装某个根"的论证都要用它。

顺便预告一下伽罗瓦理论（Galois theory）的影子：商环造出域后，自同构群就登场了。比如考虑 $\mathbb{Q}(\sqrt{2}, \sqrt{3})$ ，它同构于 $\mathbb{Q}[x,y]/(x^2-2, y^2-3)$ ，双变量商环同时装入两个平方根。它的伽罗瓦群（Galois group） $\text{Gal}(\mathbb{Q}(\sqrt{2},\sqrt{3})/\mathbb{Q})$ 有四个元素：恒等、$\sqrt{2} \mapsto -\sqrt{2}$ 、$\sqrt{3} \mapsto -\sqrt{3}$ 、两者同时变号，每个自同构独立翻转根的正负号。群结构是 $\mathbb{Z}/2 \times \mathbb{Z}/2$ ，直接反映扩域的对称层数。商环负责“建房子”，伽罗瓦群负责“数对称”，两者在后续篇章会彻底握手。

主理想整环与升链条件#

想象一下，主理想整环（PID）是一种具有最简单理想结构的整环：每个理想都能用一个元素说清楚。PIDs 在因式分解理论上特别清晰，单生成元让整除关系变成一条直线，分解定理极好证明。

定义是：在 PID 中，每个理想都是主理想，不存在需要两个以上生成元才能描述的复杂理想。

例子包括：$\mathbb{Z}$ , $F[x]$ 其中 $F$ 是一个域, $\mathbb{Z}[i]$ ，整数、域上多项式、高斯整数全属此类。

PIDs 在具体性和结构之间找到了平衡，既足够丰富能容纳数论，又足够规矩能推出强定理。它们有唯一因式分解（将在第六篇文章中证明），支持最大公约数和贝祖等式的完整工具包，辗转相除法和线性组合在 PID 里全活。并且它们的理想形成一个易于处理的格（生成元的可除性格），理想包含关系等价于生成元整除关系。大多数在初等代数中遇到的“表现良好”的环都是 PIDs。

反例：$\mathbb{Z}[x]$ 。 理想 $(2, x)$ 不是主理想，它需要两个生成元，一个元素搞不定。如果 $(2, x) = (g)$ ，那么 $g \mid 2$ 并且 $g \mid x$ 。从 $g \mid 2$ 可知 $g$ 是常数 $\pm 1$ 或 $\pm 2$ ；从 $g \mid x$ 可知 $g = \pm 2$ 会意味着 $2 \mid x$ ，这是不可能的。所以 $g = \pm 1$ ，但 $(g) = \mathbb{Z}[x]$ 与 $1 \notin (2, x)$ 矛盾，因为 $(2,x)$ 里的多项式常数项全是偶数，根本凑不出 $1$ 。因此 $(2,x)$ 不是主理想，$\mathbb{Z}[x]$ 不是 PID。

升链条件#

如果一个环中的每一个上升理想链 $I_1 \subseteq I_2 \subseteq \cdots$ 最终稳定，则称该环为诺特环（Noetherian ring）：理想不能无限往上套娃，套到某一步就封顶了。

命题： 每个 PID 都是诺特环。

证明： 设 $I_1 \subseteq I_2 \subseteq \cdots$ 是一个上升链。并集 $I = \bigcup I_n$ 是一个理想（对加法和吸收封闭）。因为是 PID，所以 $I = (d)$ 对于某个 $d$ 成立，并集理想也是主理想。那么存在某个 $N$ 使得 $d \in I_N$ ，生成元 $d$ 必定落在链的某一环里。因此对于所有 $n \geq N$ 有 $I_n = (d)$ ：一旦链吞下生成元，后续理想全被锁死，不再增长。证毕。

诺特环是交换代数中的工作马，现代代数几何和数论几乎全在它上面跑。这个条件排除了无限上升链，正是许多存在性证明所需要的，有限性假设让归纳法和极值原理能落地。希尔伯特基定理、初级分解、维数理论全都依赖于它，没有 ACC，整个交换代数大厦会散架。

典型应用： 在诺特环中，每个理想都是有限生成的，你不需要无限多个元素来描述一个理想。假设 $I$ 没有有限生成集，那它必须用无穷多个元素生成。选择 $a_1 \in I$ ，然后 $a_2 \in I \setminus (a_1)$ ，接着 $a_3 \in I \setminus (a_1, a_2)$ ，以此类推，每次挑一个不在已生成理想里的新元素。链 $(a_1) \subsetneq (a_1, a_2) \subsetneq (a_1, a_2, a_3) \subsetneq \cdots$ 严格递增，构造出一条永不稳定的上升链，与诺特条件矛盾。因此 $I$ 是有限生成的。

希尔伯特基定理（Hilbert Basis Theorem）。 如果 $R$ 是诺特环，那么 $R[x]$ 也是诺特环，多项式扩环继承诺特性。通过归纳法，当 $R$ 是诺特环时，$R[x_1, \ldots, x_n]$ 也是诺特环，多加几个变量照样有限生成。$\mathbb{Z}[x_1, \ldots, x_n]$ 或 $k[x_1, \ldots, x_n]$ 中的每个理想都是有限生成的，这对于多个变量来说并不明显，却为真。希尔伯特最初的证明是存在的；戈丹据说说过：“这不是数学，这是神学。”非构造性证明在当时震碎了计算代数学者的三观。

HBT 的证明通过反证法进行：假设 $I \trianglelefteq R[x]$ 不是有限生成的。选择 $f_1$ 作为 $I$ 中最小次数的多项式，然后选择 $f_2$ 作为 $I \setminus (f_1)$ 中最小次数的多项式，以此类推，按次数从小到大逐个挑多项式。这些首项系数形成 $R$ 中的一个上升理想链，根据诺特条件最终会稳定。稳定点与构造矛盾：系数稳定后，高次多项式能被低次组合消去，挑不出新元素了。因此 $I$ 是有限生成的。论证简短，思想却很基础：把多项式问题降维到系数环，是代数里的经典手法。

现代意义： 实践中遇到的大多数环都是诺特环：$\mathbb{Z}$ ，域上的多项式环，有限生成的 $\mathbb{Z}$ -代数，形式幂级数环等，你平时算的环几乎全满足 ACC。非诺特环的例子存在（例如，在可数多个变量中的 $k[x_1, x_2, \ldots]$ ），但在实际中较为罕见，更像病理学标本，日常碰不到。

这串包含关系像俄罗斯套娃，一层比一层宽松。

严格性的见证（反例链）：

• $\mathbb{Z}$ ：欧几里得整环，不是域。整数能做带余除法，但 $2$ 没有逆元。
• $\mathbb{Z}[(1+\sqrt{-19})/2]$ ：主理想整环，不是欧几里得整环。理想全主，但找不到合适的欧几里得函数做除法。
• $\mathbb{Z}[x]$ ：唯一因式分解整环，不是主理想整环。多项式能唯一分解，但 $(2,x)$ 不是主理想。
• $\mathbb{Z}[\sqrt{-5}]$ ：整环，不是唯一因式分解整环（$6 = 2 \cdot 3 = (1+\sqrt{-5})(1-\sqrt{-5})$ ）。无零因子，但元素分解不唯一。

UFD 盒子将在下一篇文章关于多项式环中进一步讨论，唯一分解的完整理论留给多项式篇。要点是：即使在“没有零因子的环”内，因式分解的行为也有丰富的层次结构，整环只是起点，分解性质还能细分出好几档。

数值示例：PIDs 中的除数计数。 在 $\mathbb{Z}$ 中，$n = p_1^{a_1} \cdots p_k^{a_k}$ 的除数个数是 $\prod(a_i + 1)$ ，每个素因子指数加一相乘就是约数总数。在一般的 PID 中，对于具有相应素因子分解的元素，这个公式同样适用，因为 PID 的素分解结构跟整数一模一样。所以在 $\mathbb{Z}[i]$ 中，元素 $5 = (2+i)(2-i)$ 有 4 个除数（忽略单位）：$1, 2+i, 2-i, 5$ ，两个不同素因子各一次幂，$(1+1)(1+1)=4$ 。比较 $5 \in \mathbb{Z}$ ，它只有 2 个除数，因为整数 $5$ 是素数，指数为 $1$ ，约数只有 $1,5$ 。不同的素因子分解导致不同的除数计数，尽管“大小”相同：扩环改变素数命运，直接改写算术统计。

数值示例：$\mathbb{Z}[\sqrt{-5}]$ 中唯一因式分解的失败。 $6 = 2 \cdot 3 = (1 + \sqrt{-5})(1 - \sqrt{-5})$ ，$6$ 有两套完全不同的拆解方案。两个因式分解都涉及不可约元素，但因式分解不同：每块砖都敲不碎，但拼法不唯一。范数 $N(a + b\sqrt{-5}) = a^2 + 5b^2$ ，用它测量元素大小：2 的范数是 4，3 的范数是 9，$1 \pm \sqrt{-5}$ 的范数是 6。这些都不能进一步非平凡地分解，因此都是不可约的，范数限制死了拆解空间。然而 6 有两个本质上不同的因式分解，元素层面的唯一分解彻底破产。戴德金的解决方案：考虑理想而不是元素，换条赛道用理想代替数。理想 $(2), (3), (1 + \sqrt{-5}), (1 - \sqrt{-5})$ 并非都是素理想，元素不可约不代表生成的理想是素的。通过考虑素理想的乘积，唯一因式分解在理想层面恢复了。

数值实例：在 $\mathbb{Z}[\sqrt{-5}]$ 中。 $(2) = \mathfrak{p}^2$ 其中 $\mathfrak{p} = (2, 1 + \sqrt{-5})$ ，$2$ 生成的理想是某个素理想的平方。$(3) = \mathfrak{q}_1 \mathfrak{q}_2$ 其中 $\mathfrak{q}_1 = (3, 1 + \sqrt{-5}), \mathfrak{q}_2 = (3, 1 - \sqrt{-5})$ ，$3$ 分裂成两个不同素理想的乘积。因此 $(6) = \mathfrak{p}^2 \mathfrak{q}_1 \mathfrak{q}_2$ 作为素理想的乘积，$6$ 的理想分解只有一种写法。

深入探讨：环与理想的计算#

理解理想最快的办法，就是亲手算几个商环，看看哪些代数结构能留下来。

计算 A：把 $\mathbb{Z}/n\mathbb{Z}$ 当作观察理想的窗口。 整数环 $\mathbb{Z}$ 的理想全是主理想 $n\mathbb{Z}$ ，其中 $n \geq 0$ 。商环 $\mathbb{Z}/n\mathbb{Z}$ 是个 $n$ 阶环。它到底是域、整环，还是带零因子，全看 $n$ 的取值：

• $n = 0$ ：$\mathbb{Z}/0\mathbb{Z} = \mathbb{Z}$ ，是整环，但不是域。
• $n = 1$ ：平凡环（零环），这里 $0 = 1$ 。学界对“这算不算环”偶有争论，我按惯例把它算作环。
• $n = p$ 素数：$\mathbb{Z}/p\mathbb{Z} = \mathbb{F}_p$ ，这是个含 $p$ 个元素的域。
• $n$ 是合数，比如 $n = ab$ 且 $1 < a, b < n$ ：$\mathbb{Z}/n\mathbb{Z}$ 会出现零因子。具体来说，$\bar a \cdot \bar b = \bar n = \bar 0$ ，但 $\bar a, \bar b \neq \bar 0$ 。

拿 $\mathbb{Z}/12\mathbb{Z}$ 举例。$4 \cdot 3 = 12 = 0$ 。$4$ 和 $3$ 都是非零零因子。单位元恰好是和 $12$ 互素的剩余类：$\{1, 5, 7, 11\}$ ，它们构成群 $(\mathbb{Z}/12)^* \cong \mathbb{Z}/2 \times \mathbb{Z}/2$ 。

计算 B：高斯整数 $\mathbb{Z}[i]$ 的理想。 高斯整数环 $\mathbb{Z}[i]$ 是欧几里得整环（范数取 $N(a+bi) = a^2 + b^2$ ）。它也是主理想整环，所以每个理想都是主理想。它的素理想分四类：$(0)$ ；位于有理素数 $2$ 上方的 $(1+i)$ ；形如 $(p)$ 的素理想，其中 $p \equiv 3 \pmod 4$ ；以及成对出现的 $(\pi), (\bar\pi)$ ，其中 $p \equiv 1 \pmod 4$ ，且在 $\mathbb{Z}[i]$ 里 $p = \pi \bar\pi$ 。看几个具体分解：$5 = (2+i)(2-i)$ ，两边都是素元；$13 = (3+2i)(3-2i)$ ，同样都是素元。但 $7$ 在 $\mathbb{Z}[i]$ 里本身就是素元，因为 $7 \equiv 3 \pmod 4$ 。商环 $\mathbb{Z}[i]/(7)$ 是个 $49$ 元域（也就是 $\mathbb{F}_{49}$ ）。

计算 C：一个非主理想。 在 $R = \mathbb{Z}[\sqrt{-5}]$ 里，理想 $I = (2, 1 + \sqrt{-5})$ 不是 主理想。我来证明这一点。取范数 $N(a + b\sqrt{-5}) = a^2 + 5b^2$ 。假设 $I$ 是主理想，也就是 $I = (\alpha)$ ，其中 $\alpha = a + b\sqrt{-5}$ 。那么 $\alpha$ 必须整除 $2$ ，同时也整除 $1 + \sqrt{-5}$ 。由 $N(\alpha) \mid N(2) = 4$ 和 $N(\alpha) \mid N(1+\sqrt{-5}) = 6$ ，能推出 $N(\alpha) \mid \gcd(4, 6) = 2$ 。可是方程 $a^2 + 5b^2 = 2$ 根本没有整数解（$b = 0 \Rightarrow a^2 = 2$ 不可能；$b \neq 0 \Rightarrow 5b^2 \geq 5$ ）。所以这样的 $\alpha$ 不存在，$I$ 也就不是主理想。$\mathbb{Z}[\sqrt{-5}]$ 里唯一分解失效，典型例子就是 $6 = 2 \cdot 3 = (1+\sqrt{-5})(1-\sqrt{-5})$ 。这种失效现象，恰好被 $I$ 这类非主理想完整刻画出来。一旦我们把视角切换到 理想 层面，分解就恢复了唯一性（Dedekind 定理）。代数数论正是从这里诞生的。

计算 D：$\mathbb{Z}[x]$ 里的素理想与极大理想。 取 $R = \mathbb{Z}[x]$ 。先看理想 $(x)$ ：$R/(x) \cong \mathbb{Z}$ ，这是整环，不是域。所以 $(x)$ 是素理想，但不是极大理想。再看理想 $(2, x)$ ：$R/(2, x) \cong \mathbb{Z}/2\mathbb{Z}$ ，这是个域。所以 $(2, x)$ 是极大理想（自然也是素理想）。理想 $(2)$ ：$R/(2) \cong \mathbb{F}_2[x]$ ，整环非域，素而非极大。理想 $(x^2 + 1)$ ：$R/(x^2+1) \cong \mathbb{Z}[i]$ ，整环，素而非极大。最后看理想 $(p, f(x))$ ，其中 $p$ 是素数，$f$ 模 $p$ 不可约：$R/(p, f) \cong \mathbb{F}_p[x]/(\bar f)$ ，这是个有限域。它既是素理想，也是极大理想。

规律很清晰：在主理想整环里，素理想（除了 $(0)$ ）全都是极大理想。Dedekind 整环也一样。但一旦变量增加到两个或更多，素理想和极大理想就会彻底分开。这种差异正是 $\mathrm{Spec}\, R$ 的代数几何结构：闭点对应极大理想，一般点对应非极大素理想。

计算 E：中国剩余定理的实际演算。 我来算 $\mathbb{Z}/35\mathbb{Z}$ 。因为 $\gcd(5, 7) = 1$ ，理想 $(5)$ 和 $(7)$ 在 $\mathbb{Z}$ 里互素。中国剩余定理直接给出 $\mathbb{Z}/35\mathbb{Z} \cong \mathbb{Z}/5\mathbb{Z} \times \mathbb{Z}/7\mathbb{Z}$ 。这个同构把 $n \pmod{35}$ 映成 $(n \bmod 5, n \bmod 7)$ 。反过来怎么算？假设 $n \equiv 2 \pmod 5$ 且 $n \equiv 4 \pmod 7$ ，求模 $35$ 下的 $n$ 。心算或者用扩展欧几里得算法都能得出 $n = 32$ （验证：$32 = 6 \cdot 5 + 2$ ，且 $32 = 4 \cdot 7 + 4$ ）。通用公式依赖 Bézout 系数。因为 $1 = 3 \cdot 5 - 2 \cdot 7$ ，代入可得 $n \equiv 4 \cdot 3 \cdot 5 + 2 \cdot (-2) \cdot 7 \equiv 60 - 28 \equiv 32 \pmod{35}$ 。

为什么“理想”是恰当的推广#

取商环时，子环并不是我想要的对象。这就像子群未必是正规子群一样。左右乘法吸收条件，才是让商 $R/I$ 继承环结构的关键。具体来说，乘法定义 $(a + I)(b + I) := ab + I$ 要良定，当且仅当对任意 $a' \in a + I$ 和 $b' \in b + I$ ，差值 $a'b' - ab \in I$ 成立。我直接算一遍：令 $a' = a + i_1$ ，$b' = b + i_2$ ，展开后得到 $a'b' - ab = ai_2 + i_1 b + i_1 i_2$ 。要让这个结果对所有的 $i_1, i_2$ 都落在 $I$ 里，就必须满足 $aI \subseteq I$ （左吸收）以及 $Ib \subseteq I$ （右吸收）。双侧理想的定义，正是为了卡住这个条件而写出来的。在非交换环里，左理想和右理想是两码事。只有双侧理想才能给出良定的商环。

我举一个反例，把这件事说清楚。考虑 $2 \times 2$ 实矩阵环 $M_2(\mathbb{R})$ 。集合 $L = \left\{ \begin{pmatrix} a & 0 \\ b & 0 \end{pmatrix} \right\}$ 是一个左理想：左乘任意矩阵后，结果依然留在 $L$ 里。但它不是右理想。右乘 $\begin{pmatrix} 0 & 0 \\ 0 & 1 \end{pmatrix}$ 确实会平凡地得到零矩阵 $\begin{pmatrix} 0 & 0 \\ 0 & 0 \end{pmatrix}$ 。可如果我拿 $\begin{pmatrix} 1 & 0 \\ 0 & 0 \end{pmatrix}$ 右乘 $\begin{pmatrix} 0 & 1 \\ 0 & 0 \end{pmatrix}$ ，结果就是 $\begin{pmatrix} 0 & 1 \\ 0 & 0 \end{pmatrix}$ 。这个矩阵不在 $L$ 里面。所以我没法按 $L$ 去构造商环。$M_2(\mathbb{R})$ 的双侧理想只有 $\{0\}$ 和整个环。这也解释了为什么 $M_2(\mathbb{R})$ 在环论里被称为“单环”——这是 Wedderburn 定理的结论。

初学者常见误区#

我见过初学者最常踩的第 1 个坑是：以为“非零元素一定可逆”。在带零因子的环里，比如 $\mathbb{Z}/12\mathbb{Z}$ ，绝大多数非零元素根本没有逆元。可逆元（单位）才是特例。“域”这个词的本意就是“非零即逆”，而不具备这个性质的环才是常态，例外反而是少数。

第 2 个坑：默认每个理想都是主理想。$\mathbb{Z}[\sqrt{-5}]$ 这个例子直接说明，具体的数环里确实存在非主理想。哪怕在 $k[x, y]$ 这种“漂亮”的环里（这里 $k$ 是个域），理想 $(x, y)$ 也不是主理想。它的生成元除了单位之外，根本找不到其他公因子。

第 3 个坑：把“素元”和“不可约元”混为一谈。在 UFD 里，两者确实重合。但在一般的整环里，素元一定是不可约元，反过来却不一定成立。拿 $\mathbb{Z}[\sqrt{-5}]$ 来说，元素 $2$ 是不可约元，却不是素元。因为 $2 \mid (1+\sqrt{-5})(1-\sqrt{-5}) = 6$ ，但 $2 \nmid 1 \pm \sqrt{-5}$ 。正是这个区别，导致那里的唯一分解性质彻底失效。

它们出现在哪里#

代数数论。我在研究数域 $K$ 时，会把它的整数环 $\mathcal{O}_K$ 视为 Dedekind 整环。这里有个关键性质：每个非零理想都能唯一分解为素理想的乘积。即便环里的元素本身已经丢失了唯一分解律，这个理想层面的分解依然成立。类域论用理想类群来精确度量元素唯一分解性质的缺失程度。这个群对任何数域都是有限的。当且仅当 $\mathcal{O}_K$ 是主理想整环时，它才会退化为平凡群。我拿 $\mathbb{Q}(\sqrt{-5})$ 举例，它的类群阶数就是 $2$ 。换成 $\mathbb{Q}(\sqrt{-1})$ ，类群就变成平凡的了。

代数几何。给定交换环 $R$ ，我把 $\mathrm{Spec}\, R$ 定义为全体素理想构成的集合，并在上面赋予 Zariski 拓扑。这套词典能把环论命题直接转译为几何语言：极大理想 $\leftrightarrow$ 闭点，素理想 $\leftrightarrow$ 不可约闭子集，理想之间的包含关系 $\leftrightarrow$ 零点集之间的包含关系。我在交换代数里学到的每条定理，都能找到对应的几何解释。反过来推导也完全成立。

编码理论。循环码直接对应商环 $\mathbb{F}_q[x]/(x^n - 1)$ 里的理想。生成多项式就是生成这些主理想的那个元素。我在构造 Reed–Solomon 码族和 BCH 码族时，完全依赖这套环与理想的对应关系。分析它们的纠错性能，用的也是同一套代数工具。

我希望你带走的要点#

第六部分讲多项式环。我留给你三个问题：

1. 域上的多项式环何时是唯一分解整环（UFD）？ 答案永远是。高斯引理保证了这一点。UFD 上的多项式环何时是 UFD？答案同样是永远成立。这正是 $\mathbb{Z}[x_1, \ldots, x_n]$ 结构背后的归纳引擎。
2. 我们如何检验一个多项式是否不可约？ 艾森斯坦判别法、模 $p$ 约化、有理根定理，以及基于次数的论证，共同构成了标准工具箱。
3. 商环 $\mathbb{Z}[x] / (f(x))$ 在几何上长什么样？ 若 $f$ 在 $\mathbb{Q}$ 上不可约，它就是某个数域的整数环（暂且忽略 $\mathcal{O}_K$ 取极大理想时的细节）；其中的素理想直接刻画了素数在扩域中的分裂行为。

如果你觉得前面的理想运算已经成了例行公事，说明你准备好了。如果还没那么熟练，就挑一两个具体的 $f$ ，比如 $f(x) = x^2 + 1$ ，亲手推演一遍 $\mathbb{Z}[x]$ 的理想格。你要自己弄明白，为什么 $(p, x^2 + 1)$ 在 $p = 2$ 、$p = 3$ 、$p = 5$ 时的表现各不相同。光是这一个练习，就浓缩了代数数论的一半精髓。

下一步#

我已经走完了从群到环的第一段桥。回顾一下：群只有一个运算，干净却受限；环引入加法和乘法两套结构，立刻能讨论"零因子"“理想"“商环"这些群里没有的概念。$\mathbb{Z}$ 不再只是一个加法群，而是一个完整的算术宇宙。

下一篇会专门聚焦多项式环 $F[x]$ 。它是抽象代数里最具体、最具操作感的环之一：除法带余、最大公因式、不可约多项式、唯一因式分解，全部都能像中学算整数那样亲手算出来。但更深的目标是用商环 $F[x]/(p(x))$ 当工具，从无到有"造"出一个新的域，这是接下来 Galois 理论的入门券。

带着这两个问题继续读下去：当我手里有一个不可约多项式 $f(x)$ ，商环 $F[x]/(f(x))$ 究竟变成了一个怎样的代数对象？以及，为什么"唯一因式分解"在某些环里成立、在某些环里崩塌？这两个问题分别指向第六篇和第七篇。