本册定位。 §2.6 与 §2.7 交给您两条定义：唯一分解环（UFD，每个非零非单位元分解为不可约元之积、且分解唯一）与主理想环（PID，每个理想都由一个元素生成）；§2.8 的欧氏环（ED）在前面已见。三条性质排成一条严格递减的链：欧氏环 ⟹ 主理想环 ⟹ 唯一分解环，且每一步的「⟹」都不可逆。本册的任务有两件：把这条链的证明完整走一遍（它是第二章技术上最精密的两页），以及把两个方向上的反例摆在台面上——ℤ[√−5] 里 6 = 2·3 = (1+√−5)(1−√−5) 的著名崩塌（连 UFD 都不是），与理想 (x, y) ⊆ F[x, y] 的「需要两个生成元」（是 UFD 却不是 PID）。
一什么是「分解唯一」：单位、不可约与素元
先把三个词钉牢。在整环 R 中（以下默认交换含幺无零因子）：
单位：可逆元。ℤ 的单位是 ±1，ℤ[i] 的单位是 ±1、±i，F[x] 的单位是非零常数。单位在分解理论里「不算数」——u·x 与 x 是同一个因子。
不可约元（irreducible）：非零非单位 p，且 p = ab 时 a、b 必有一是单位。直觉：劈不开。
素元（prime）：非零非单位 p，且 p | ab 时 p | a 或 p | b。直觉：欧几里得引理。
这两条直觉不同——「劈不开」与「见整除就传递」——但在唯一分解环里它们等价；等价性恰恰是 UFD 定义的内容而非附赠品。验证：
命题 1.1（素 ⟹ 不可约，任何整环成立）。 设 p 素且 p = ab，则 p | a（或 p | b），于是 p = ac（c ∈ R），比较得 ab = ac，消去（整环！）得 b = c，再代入得 pb = b2，即 a = 1 · a 与 p = ab ⟹ b 是单位。细节略，结论：素元必不可约。
反方向的蕴含需要唯一分解的帮忙（本册第三节证明）。而在 ℤ[√−5] 里，我们将看到不可约而不素的元——那就是分解不唯一的根源。
定义 1.2（UFD）。 整环 R 称为唯一分解环，若 ① 每个非零非单位元可写成不可约元之积；② 若 p1⋯pm = q1⋯qn 是两组不可约分解，则 m = n，且可重新配对使 pi 与 qσ(i) 相伴。
注意 ② 的措辞：配对后相伴，不是相等——6 = 2·3 = (−2)·(−3) 不算违反唯一分解，因为 −2 与 2 相伴。表述必须把单位吸收掉，这正是「相伴」这个概念存在的理由（其一 §8.1）。
二欧氏环 ⟹ 主理想环：贝祖恒等式的理想化身
定义 2.1（主理想）。 设 R 交换含幺，a ∈ R。集合 (a) = {ra : r ∈ R} 是理想（对减法封闭、吸收一切乘法），称为由 a 生成的主理想。R 是主理想环，若每个理想都是主的。
关键直觉：(a) 不是「a 的倍数表」那么简单——它是「含 a 的最小理想」。在 ℤ 中 (6) = {…, −12, −6, 0, 6, 12, …} 恰是 6 的倍数；在 𝔽3[x, y] 中 (x) 是一切含因子 x 的二元多项式。
定理 2.2（ED ⟹ PID）。 欧氏环的每个理想 I 都主。更精确地：取 I 中范数最小的非零元 a，则 I = (a)。
证明. 任取 b ∈ I。带余除法给 b = aq + r 且 φ(r) < φ(a)。但 r = b − aq ∈ I（I 是理想，b、aq 都在 I 里），而 a 已是 I 中范数最小者，故 r = 0，即 b = aq ∈ (a)。反之 (a) ⊆ I 显然。□
这段五行证明是第二章最锋利的一段推理：带余除法的「下降」直接变成了理想的「生成」。它同时解释了为什么 ℤ、F[x]、ℤ[i] 都是 PID（三者都是欧氏环：范数分别取 |·|、deg、N）。
命题 2.3（贝祖恒等式的理想形式）。 在 PID 中，(a, b) = (d)，其中 d 是 a、b 的最大公因子；等价地存在 s, t 使 d = sa + tb。
证明. (a) + (b) 是理想（两理想之和），PID 给 (a)+(b) = (d)。于是 d | a、d | b（d 在 (a)、(b) 里反过来读），且 a、b ∈ (d) 说明 (d) 含于任何同时含 a、b 的理想——d 恰是最大公因子的理想论定义。而 d ∈ (a) + (b) 即 d = sa + tb。□
数值注记（B 组）。 脚本在 ℤ 上对 200 组随机 (a, b) 验证 (a, b) = (gcd(a, b)) 字面成立（贝祖系数 s·a + t·b = g 且 g 整除两者）；其一已在 𝔽5[x] 与 ℤ[i] 上做过同类验证。三个欧氏环上「两生成理想全主」从无例外——这不是抽样巧合，是定理 2.2 在起作用。
三主理想环 ⟹ 唯一分解环：两次归纳
定理 3.1（PID ⟹ UFD）。 主理想环中每个非零非单位元分解为不可约元之积，且分解唯一。
证明分两步。
存在性（ACC 归纳）。设 a 非零非单位。若 a 不可约，完毕。否则 a = a1b1，两者皆真因子；用理想语言：(a) ⊊ (a1) ⊊ ⋯（真因子的理想严格变大：a = a1b1 且 b1 非单位 ⟹ (a) ⊊ (a1)）。若分解永不停止，得到一条严格升链 (a) ⊊ (a1) ⊊ (a2) ⊊ ⋯。关键引理：PID 满足理想升链条件（ACC）——任何升链 I1 ⊆ I2 ⊆ ⋯ 终止。证明：并集 I = ⋃Ii 是理想（PID 论证），故 I = (d)；d 落在某个 IN 里，则链从 IN 起稳定。于是因子链终止，a 的分解存在。
唯一性（素元性）。先证：PID 中不可约元是素元。设 p 不可约且 p | ab。考虑理想 (p, a) = (d)：则 d | p，由 p 不可约，d 是单位或与 p 相伴。若是单位，则 (d) = R，于是 1 = sp + ta，乘 b 得 b = spb + tab = spb + t·(ab)，两项都被 p 整除，故 p | b。若 d 与 p 相伴，则 (p, a) = (p) 给 p | a。两种情形都完成了欧几里得引理——不可约 ⟹ 素。有了素元性，唯一性的归纳与 ℤ 中「p | q1⋯qn ⟹ p 整除其一」逐字相同。□
数值注记（D 组）。 唯一分解的「可还原性」用抽样核对：脚本对 300 个随机整数分解再乘回，全部还原且因子皆素（D1）；在 𝔽2[x] 上对 x3+1、x5+1、x7+1、x9+1、x15+1 做完整分解并复乘还原，因子全部不可约（D2）。这两组抽样是定理 3.1 的「运行时验证」——它对特定对象算出了唯一的分解。
注 3.2（ACC 本身是公理）。 升链条件太有用了，值得单独命名：环 R 叫诺特环，若理想升链都终止（等价地：每个理想有限生成）。PID 自动诺特（每个理想一元生成，更是一元有限生成！）。本系列其五将把「诺特」与「阿廷」（降链条件）作为主角——本定理的证明正是诺特环理论的胚芽。
四反例一：ℤ[√−5] 与 6 的两种分解
定理 4.1（ℤ[√−5] 不是 UFD）。 在 ℤ[√−5] = {a + b√−5 : a, b ∈ ℤ} 中，
6 = 2 · 3 = (1 + √−5)(1 − √−5)
是两组本质不同的不可约分解。
证明（范数法，全部可以手工验）. 范数 N(a + b√−5) = a2 + 5b2，乘性、非负、整值。三个事实：
① 单位只有 ±1：N(u) = 1 ⟺ a2 + 5b2 = 1 ⟺ b = 0, a = ±1（b = ±1 时 a2 = −4 无解）。脚本 A1 穷举确认。
② 范数 2、3 的元不存在：a2 + 5b2 = 2 或 3 逐个检查无解（b = 0 给 a2 ∈ {2,3} 非平方数；b = ±1 给 a2 = −3 或 −2）。脚本 A2 穷举确认。
③ 于是 2、3 不可约：若 2 = zw（z、w 非单位），则 N(z)N(w) = 4，而非单位的范数至少是 4（范数 4 的元只有 ±2，范数 5、6 的元也有），两非单位之积的范数 ≥ 4·4 = 16 > 4，矛盾。3 同理（范数 9 = 4+5 不可能拆成两个 ≥ 4 的积……精确地：N(z)N(w) = 9 且 N(z), N(w) ≥ 4 无解，因 9 = 4+5 不是乘积分解，9 只能 1·9 或 3·3，而范数 3 不存在）。1 ± √−5 同理（N = 6，6 = 2·3 而 2、3 都不是范数）。脚本 A5 用穷举把这一切程序化：对 (2,0)、(3,0)、(1,1)、(1,−1) 枚举全部可能的因子对，无一成立。□
最后一步：2、3、1+√−5、1−√−5 两两不相伴——相伴的元范数相等，而范数 6 的元恰是 ±1 ± √−5 四个（脚本引用数字：范数 4 的元 = ±2；范数 6 的元 = ±1±√−5；范数 9 的元 = ±3, ±2±√−5），1+√−5 与 1−√−5 不相伴（差 2√−5 不是 0，商不是 ±1）。故 6 的两组分解无法配对，ℤ[√−5] 不是 UFD。
这个反例的历史分量。 ℤ[√−5] 里「两个 6」曾是 19 世纪代数数论诞生的直接动力：Kummer 为在分圆整数环 ℤ[ζp] 里抢救唯一分解，发明了「理想数」（ideale Zahlen）——今天「理想」概念的祖先；Dedekind 把它做成理想论。换句话说，理想这个概念就是为了修复唯一分解而生的：在 ℤ[√−5] 中，理想 (2)、(3)、(1+√−5)、(1−√−5) 不再主，但它们作为理想仍然有唯一分解——(6) = (2)(3) = (1+√−5)(1−√−5) 两组「理想分解」本质相同。这是现代代数数论的起点，也是 §2.3「理想」定义的深层动机。
注 4.2（为什么范数救不了 ℤ[√−5]）。 ℤ[√−5] 的格（基 1、√−5）比 ℤ[i] 的正方格疏：最近整点距离更远，带余除法的「N(r) < N(w)」会失手——事实上它能失手（其二 §6 的几何直觉在此兑现）。没有欧氏范数，定理 2.2 的下降论证启动不了，唯一分解随之崩塌。几何疏密与代数崩塌在同一处发生。
五反例二：(x, y) ⊆ F[x, y]——UFD 不必是 PID
定理 5.1。 F[x, y] 是唯一分解环，但理想 (x, y) 不是主理想。
证明（两半）. UFD 部分：F[x, y] = F[x][y] 是 UFD 上的多项式环。归纳地，若 R 是 UFD 则 R[x] 是 UFD（高斯引理是核心：本原多项式之积仍本原，脚本 F1 在 ℤ 上抽 300 组验证 content = 1 成立）。基座 F 是域（显然 UFD），归纳得 F[x, y] 是 UFD。
非主部分：设 (x, y) = (d)，则 d | x 且 d | y。在 F[x, y] 中 deg x = deg y = 1，故 deg d ≤ 1：d = a + bx + cy。d | x 要求 x = d·e，展开比较系数可知只有两种可能：d 是非零常数（单位）或 d 与 x 相伴。d = x 时 d ∤ y（y 没有因子 x）；d 是单位时 (d) = F[x, y] ⊋ (x, y)。矛盾。□
脚本 C 组把这个论证程序化：在 𝔽3[x, y] 中枚举全部 27 个次数 ≤ 1 的候选 d，对每个 d 枚举 27 个候选商 e，检验 d·e = x 且 d·e′ = y——27 个候选里非常数的公共因子恰好 0 个。定理的每一步都被机器走了一遍。
推论 5.2（链条的严格性）。 综合本册与反例：
ED ⟹ PID（定理 2.2，严格：ℤ[x] 不是 PID 但 ℤ[x] 是 UFD）
PID ⟹ UFD（定理 3.1，严格：ℤ[√−5] 的例子反着用——它是 UFD 吗？不是；反向严格性由 (x,y) 的例子给出：F[x,y] 是 UFD 非 PID）
于是三个概念两两不同。课本 §2.7 的「主理想环」与 §2.6 的「唯一分解环」不是同一件事的两个名字，而是链条上相邻的两级台阶。
六链条之外：素理想与「修复的唯一分解」
ℤ[√−5] 的崩塌把一个更深的问题顶到台前：唯一分解到底丢了什么、还能救回多少？
答案藏在 §2.5 的素理想里。理想 P 称为素理想，若 ab ∈ P ⟹ a ∈ P 或 b ∈ P——这正是「素元」的理想化（注意：p 是素元 ⟺ (p) 是素理想且 (p) 真含于 R）。在 ℤ[√−5] 中，元 2 不可约却不素，但理想 (2) 却可以是素的——把「元」升格为「理想」后，素性回来了，唯一分解以「理想分解」的形式恢复：Dedekind 域中每个非零真理想唯一分解为素理想之积。ℤ[√−5] 的 (6) 分解为 (2)·(3) 与 (1+√−5)·(1−√−5) 两组，作为理想分解它们本质相同（两组因子里有两组理想相等：(2) = (2, 1+√−5)2 一类）。
这条思路通向 20 世纪的交换代数：素理想的高度、克鲁尔维数、诺特环的素理想链——其五将沿着这条线走。而本册链条（ED ⟹ PID ⟹ UFD）是这条大河的上游：带余除法的下降 ⟹ 理想的生成 ⟹ 因子的唯一，三级台阶，步步有据。
注 6.1（ℚ 上代数整数环的普遍现象）。 ℤ[√−5] 不是孤例：在二次整环 ℤ[√d]（d < 0 平方自由）中，恰有九个是 UFD（d = −1, −2, −3, −7, −11, −19, −43, −67, −163，Heegner 数）——d = −5 不在其列。这串「幸运的 d」是代数数论最深的定理之一（Baker–Stark 解决类数一问题）的特例，本册的反例恰好在名单之外。
数值注记（E、F 组）。 链条两侧都有机器样本：ℤ 的理想升链就是「因子逐步丢掉素因子」——(n1) ⊆ (n2) 当且仅当 n2 | n1，每真升一步 n 至少丢一个素因子，故链长不超过 n1 的素因子总数；剧本 A1 的 200 条随机升链全部终止。高斯引理（本原多项式之积仍本原）在 300 组随机整系数多项式上逐项验证（F 组）。顺带一个「单位少」的观察：ℤ[x] 的可逆元只有 ±1——若 fg = 1 则 deg f + deg g = 0，故两者都是非零常数。单位少，才能谈「最高次项系数」「本原」这些要挑代表元的概念；高斯引理的整个舞台是它搭的。
注 6.2（修复的唯一分解在 ℤ 里早已用过）。 「非本原的因子不是素元分解的障碍」这个想法，中学因数分解里就有影子：6 = 2 × 3 唯一，但把它放进 ℤ[i] 就出现 6 = (1 + i)(1 − i) × 3 的更多写法——多出来的写法全是单位与共轭在搅局。唯一分解的准确对象从来是「商掉单位的因子链」，其二会把 ℤ[i] 里这个现象算得清清楚楚。
七术语考古、三句话与阅读指引
7.1 名词与历史的来路
- principal ideal（主理想）。 拉丁 princeps「第一、元首」：由一个元生成的理想，像「一个元说了算」的政府。「principal」在数学里的「主要的」一义由此而来。理想（ideal）一词是 Kummer 的「理想数」（ideale Zahl）的直系后代——Dedekind 1871 年把「理想数」正式更名为「理想」（Ideal），理由是这些对象像「数的理想化版本」。
- irreducible / prime（不可约 / 素）。 两个词在 ℤ 里是同义词（素数既劈不开又见整除就传），所以在初等数论里混用无害。但在一般整环里它们分道扬镳——本册 ℤ[√−5] 的 2 是不可约却不素。术语的分裂正是概念分裂的化石：欧拉、拉格朗日时代没人区分，直到 ℤ[√−5] 的反例逼着数学家造两个词。
- unique factorization domain（唯一分解环）。 也叫「factorial ring」（Bourbaki 学派用语）。UFD 的公理化在 20 世纪上半叶定型；高斯 1801 年《Disquisitiones》里的「整数的分解唯一」与高斯引理（本原多项式之积仍本原）是它的原始形态。
- Gaussian lemma（高斯引理）。 Carl Friedrich Gauss 在《Disquisitiones Arithmeticae》（1801）§42 给出：两个本原多项式之积仍本原。它是「ℤ[x] 的分解唯一性可从 ℚ[x] 拉回来」的枢纽，也是「R 是 UFD ⟹ R[x] 是 UFD」的引擎——本册 F 组的 300 组抽样就是它的数值侧写。
- Heegner number（黑格纳数）。 Kurt Heegner（1952）用模函数与椭圆曲线给出 d = −1, −2, −3, −7, −11, −19, −43, −67, −163 的刻划（这些 d 使 ℤ[√d] 是 UFD）；这串数与 eπ√163 几乎是整数（拉马努金常数）的著名巧合相关。本册反例的 d = −5 恰好不在名单里。
7.2 三句话总结
① 链条 ED ⟹ PID ⟹ UFD 的每一步都是同一套「下降论证」的变形：带余除法下降 ⟹ 理想由最小范数元生成（定理 2.2），理想升链终止 ⟹ 因子分解存在（定理 3.1 的 ACC 归纳），贝祖恒等式 ⟹ 不可约元是素元 ⟹ 分解唯一。
② 两个反例各打链条的一端：ℤ[√−5] 里 6 = 2·3 = (1+√−5)(1−√−5)（范数 2、3 的元不存在，四个因子皆不可约两两不相伴）说明「不可约 ⟹ 素」会失效、连 UFD 都保不住；F[x, y] 的理想 (x, y) 需要 x、y 两个生成元（27 个候选公共因子全检非常数 0 个）说明 UFD 未必 PID。
③ 唯一分解丢了不要紧，理想来救：把元升格为理想后素性恢复，Dedekind 域里理想唯一分解成立——「理想」这个概念本身就是为修复唯一分解而发明的。
7.3 阅读指引
- 教材：张英伯、王恺顺《代数学基础（下·第 2 版）》§2.5（素理想）、§2.6（唯一分解环）、§2.7（主理想环）、§2.8（欧氏环）——本册是这四节的合读材料。
- 经典反例的系统处理：I. Kaplansky, Commutative Rings（大学教科书式的薄册，UFD/PID/ED 分离判据齐全）；D. S. Dummit & R. M. Foote, Abstract Algebra, 3rd ed. 第 8、9 章（含 ℤ[√−5] 与 (x,y) 两个例子的完整讨论）。
- 高斯引理与多项式 UFD：S. Lang, Algebra 第 IV、V 章；或 N. Jacobson, Basic Algebra I 第 2 章（含高斯引理的历史注）。
- 理想论的诞生（历史）：H. Edwards, Divisibility and Dedekind's theory of ideals（见其 Essays in Constructive Mathematics）；I. Kleiner, A History of Abstract Algebra（Birkhäuser 2007）论 Kummer–Dedekind 一线。
- 二次整环的分类（Heegner 数）：D. A. Cox, Primes of the Form x2 + ny2, 2nd ed.（Wiley 2013）——本册注 6.1 的完整展开。
《代数学基础（下·第 2 版）》第二章补充读物 · 环论专题读本其三 ｜ 九章格数学 ｜ 第 2 版 · 2026