本册定位（系列收官）。 九册叙事到这里合拢：其一「集合装运算」造出半群与群，其二以格林关系解剖半群，其三到其八依次把群放到变换、方程组、自同构、群作用、导群、刚性结构之上反复端详——每一册都在追问「一个数学对象与它的保持映射」。最后一册把镜头拉到最高处：忘掉运算只看底层集合，得到遗忘函子 U : Grp → Set；它的左伴随 F : Set → Grp 把每个集合 S 送回「自由群」F(S)——由 S 生成、除群公理外不添任何关系的群。范畴论意义上，「自由对象」不是形容词而是一个精确定义：万有性质 Hom_Grp(F(S), G) ≅ Set(S, U(G))（每个「生成元像的随便一放」都唯一扩张成一个同态）。
一遗忘与自由：一对反向的「装卸」
第一章开篇说：群 = 集合 + 满足三条公理的运算。这句话同时定义了两个方向：把集合 X 配上运算（装）是「加结构」；把一个群 G 的运算剥掉、只留底层集合（拆）是「忘结构」。
遗忘函子 U。 每个群 G 都有一个底层集合 U(G)（群论书常写成 G 本身，集合记号只在需要时露出）；每个同态 φ : G → H 都只是一个「保持运算的映射」，剥掉运算后它仍是集合间的映射 U(φ) : U(G) → U(H)。于是「剥结构」本身是函子 U : Grp → Set——它把群范畴整个映到集合范畴。 左伴随 F（自由群）。 反过来，给定集合 S（当作「生成元字母表」），造一个群 F(S)：元素是 S 上的约化词（有限字母串，相邻的 x 与 x−1 必须消去），乘法是「拼接后约化」，单位是空词。F(S) 只受群公理约束：a b 与 b a 不必相等、任何非平凡词永不为空——没有任何额外关系。这叫 S 上的自由群，S 叫它的自由生成集。
定义 1.1（自由群）。 集合 S 上的自由群 F(S) 是由 S 生成、且除群公理外不含任何关系的群。单生成元的自由群 F({a}) 的元素恰是 a 的整数幂，映射 m ↦ a^m 是同构：F1 ≅ ℤ（A2 数值：词 am·an 约化后恰为 am+n，乘法 ↔ 加法）。双生成元自由群 F2 = F({a, b}) 是「最简非交换无限群」：ab ≠ ba、(ab)2 ≠ a2b2（A3），且无挠——8 个非平凡词的 1 至 8 次幂无一等于 e（A4），因为约化词的长度只增不减、永远缩不回到空。
[A 组] 自由群玩具 F1 ≅ ℤ：m ↦ a^m，约化词乘法 ↔ 整数加法（m, n ∈ [-7,7] 全验） F2 长 n 约化词 = 2k(2k-1)^(n-1)：1, 4, 12, 36, 108, … ← 指数增长、永不循环 无挠样本：a, b, ab, aba, a2b, abab, … 的 1–8 次幂皆 ≠ e 换位子 [a,b] = a b a−1b−1 是长 4 的约化词（非平凡）
词计数 1, 4, 12, 36, …（A5）给出自由群的「无限」直觉：每个位置有 2k 个字母可选、只禁前一个字母的逆，于是长 n 的词有 2k(2k−1)n−1 个——指数增长意味着自由群像一棵分叉的树，永远走不回头。这与有限群「乘法表循环往复」的气质截然相反。
二万有性质：随便一放，唯一扩张
自由群为什么叫「自由」？范畴论的回答不是「元素自由」，而是一条万有性质——它精确到可以上机验证：
Hom_Grp(F(S), G) ≅ Set(S, U(G)) （同态 φ 由它在 S 上的像唯一决定）
数值验证（B1/B2/B5）。 把 S 的每个生成元送到 G 的任意元素——「随便一放」；断言：这种放置恰好唯一扩张成一个同态。 ① 单生成元：Hom(ℤ, G) = |G|——C2→2、C3→3、V4→4、S3→6、Q8→8、D4→8，每个像 y 给出同态 n ↦ yn（B1 对 6 群、指数 −4..4 全验乘法性）； ② 双生成元：Hom(F2, S3) = 36 = 62——36 个像对 (x, y)，把 53 个短词两两相乘逐对验证 φ(uv) = φ(u)φ(v)，零违例（B2）；Hom(F2, V4) = 16 = 42 同法（B3）； ③ 一一对应：36 个同态限制回生成元集得到 36 个不同映射，无两个同态同源（B5）——扩张既存在又唯一。
定义 2.1（自由对象）。 设 C 是某类结构（群、Abel 群、G-set…）的范畴，U : C → Set 是遗忘函子。称 C 的对象 F 在集合 S 上自由，若「把 S 的每个元素 x 送到 F 的生成元 x」这一放置满足万有性质：对任意 C 对象 X 与任意集合映射 f : S → U(X)，恰有一个 C-态射 φ : F → X 使 U(φ) 在 S 上等于 f。「自由」=「没有关系」：正因为 F(S) 无关系，f 的放置才永远不会撞上必须遵守的约束。其六的 12 面旗 ≅ 正则作用 Hom(G_reg, X) ≅ X 正是「G-set 范畴的自由对象」——同一句话换了一个范畴。
值得强调：万有性质给的是双射（一一对应），不是「数字最大」。自由群 F(S) 的 Hom 数 = |G|^|S| 精确等于生成元像的自由选择数——不多不少，每一个集合映射都恰好被实现一次。下一节看「有关系的群」会怎样。
三有约束的世界：关系如何卡住同态
把自由群除以关系就得到约束群：Cn = F({a})/⟨an⟩、Dn = F({r,s})/⟨rn, s2, srsr⟩。关系是「同态必须遵守的律令」，于是同态不再由生成元像自由决定：
定义域 | ℤ = F1 | C1 | C2 | C3 | C4 | C5 | C6 | C7 | C8 | D3 |
|---|---|---|---|---|---|---|---|---|---|---|
到 S3 的同态数 | 6 | 1 | 4 | 3 | 4 | 1 | 6 | 1 | 4 | 10 |
三句读表（C1–C3 数值）。 ① 自由 = 无约束：Hom(ℤ, S3) = 6，生成元 1 的像六个元素随意放，全数实现； ② 循环约束 = 阶整除：Hom(Cn, S3) 数的是「阶整除 n」的元素——C5 只有 e（S3 无 5 阶元）→ 1；C2、C3、C4、C8 → 4, 3, 4, 4（对换/轮换凑数）； ③ 小心巧合：Hom(C6, S3) = 6 与 Hom(ℤ, S3) = 6 同数，纯因 S3 的元素阶 {1, 2, 3} 全整除 6。数字相等 ≠ 自由：ℤ 的 6 个同态来自 6 个像的无约束扩张，C6 的 6 个同态来自「关系 a6 = e 恰好没有杀死任何像」——换个目标群（如 C7）立刻分晓（1 ≠ 7）。自由对象不靠数字取胜，靠「每一放都成、且只成一回」。
注 3.1（End(V4) = 16 = |Mat2(𝔽2)|，C3）。 自同态复核给出漂亮的代数对应：End(C3) = 3、End(C4) = 4、End(S3) = 10 = 1 + 3 + 6（核 = S3 / A3 / {e} 三类，C2 对 Hom(D3, S3) 同样给出 10），而 End(V4) = 16——V4 的群同态恰是 𝔽2-线性映射，16 个 2×2 矩阵全数实现，其中可逆的 6 个 = GL(2,2) = S3（其五 B3 的老朋友）。关系群 End(S3) = 10 > 6 = Hom(ℤ, S3)：约束群的同态「少而密」，自由群的同态「多而疏」。
四商与表现：每个群都是自由群的商
自由群是「原汤」，有限群是「加了配料的汤」。给 F2 的生成元 a, b 指定像 a ↦ (12)、b ↦ (123)，就得到一个同态 φ : F2 → S3（B2 保证它自动是同态）。数值上立刻看到关系词落入核中（B4）：
φ(a2) = e、φ(b3) = e、φ((ab)2) = e、φ(ab) ≠ e → S3 ≅ F2/⟨a2, b3, (ab)2⟩
生成元—关系的处方（B4 数值侧写）。 同态 φ : F2 → S3 的核是正规子群（同态核自动正规），而 φ 满（像集 6 元，|φ(F2)| = 6），第一同构定理给出 S3 ≅ F2/ker φ。上面三个关系词 a2、b3、(ab)2 都躺在核里——它们正是「表现」的原料：S3 = ⟨a, b ｜ a2 = b3 = (ab)2 = e⟩。读法：先取自由群 F2（无关系），再除以这三个关系生成的正规闭包，剩下的商恰好是六元素对称群。每个有限生成群都是某个自由群的商：取它的生成元集 S，自由放置 S ↪ G 自动给满同态 F(S) ↠ G，核 = G 的全部关系。自由群因此是群论大厦的「万能砖」——这也是其八 Frucht 定理精神的群论版：先有自由的原料，才有万千结构。
注 4.1（字问题）。 表现 ⟨S ｜ R⟩ 漂亮但危险：给定两个词，怎么知道它们在商群里相等？这是 Dehn 1911 的字问题，一般群上不可判定（Novikov 1955）。自由群本身是字问题最容易的情形——约化词唯一，比较即约化（本册 A 组引擎做的事）。「自由」再一次意味着「没有障碍」。
五伴随对 F ⊣ U：万有性质的现代说法
万有性质不是孤立的怪癖，而是伴随函子的展开式。把第二节的对应写成「从两个方向数都一样的集合」：
Set(S, U(G)) ≅ Grp(F(S), G) （在 S 与 G 中自然）
单位、余单位与往返恒等（D1–D3 数值）。 取 S = {a, b}、G = S3： ① 双射基数：|Set(S, U(S3))| = 62 = 36 = |Grp(F2, S3)|（D1）； ② 单位 η : S → U(F(S))：把每个字母送进自由群当生成元——a、b、a−1 两两不同、皆非空词，η 单射（D2），自由生成集在自由群里「线性无关」； ③ 往返恒等：任一放置 f ↦ 扩张 φ_f ↦ 取回 φ_f|_S，恰好还原 f；反过来任一 φ ↦ φ|_S ↦ 再扩张也还原 φ（D3 对 36 个全验）——η 与余单位 ε 互为逆的「约化版」，正是伴随的单位-余单位律。
定义 5.1（伴随）。 一对函子 F : Set → Grp 与 U : Grp → Set 称为伴随（F 左、U 右，记 F ⊣ U），若对所有 S ∈ Set、G ∈ Grp 有上式的自然双射。此时 F(S) 就是「S 上的自由群」：自由对象 = 遗忘函子的左伴随在单点对象上的取值。这句话把自由群、自由 Abel 群、自由 G-set（其六的正则作用）、乃至多项式环（忘掉乘法的函子的左伴随 = 添自由变量）统一成同一个机器。伴随由 Daniel Kan 在 1958 年正式命名，是 Saunders Mac Lane「范畴论为数学统一语言」论点的核心证据。
注意第二节的万有性质 不需要先有范畴语言：它在群论内部就完全可陈述、可验证（本册剧本正是这么做的）。范畴论的价值是把散落各处的「最一般构造」识别成同一个模式——一旦认出 F ⊣ U，无数性质（自由群同态由生成元像决定、自由 Abel 群的线性映射由基像决定…）都来自同一条定理。
六Abel 化：Grp 到 Ab 的「自由化」
Abel 群范畴 Ab 是 Grp 的子范畴。从 Grp 到 Ab 也有一个「遗忘-自由」对，只是遗忘方向变成了忘记非交换性的含入 Ab ↪ Grp，其左伴随正是其七的 Abel 化：
G → G/G′ 是「尽可能交换」的万有商（E1/E2 数值）。 导群 G′ = ⟨[x,y]⟩ 是其七的主角；商 G/G′ 是 Abel 的，且是最Abel 的——任何把 G 映到 Abel 群 A 的同态都必须先穿过它：
Hom(G, A) ≅ Hom(G/G′, A) （A Abel；同态计数逐群全等）剧本 E2 对 6 个群 × 3 个 Abel 靶（C2、C3、V4）共 18 组同态数全等验证：Hom(A4, C3) = Hom(C3, C3) = 3、Hom(Q8, V4) = Hom(V4, V4) = 16。这就是 Abel 化的万有性质：它是「把群送进 Abel 世界」的自由化，与第二节自由群的万有性质是同一个定义在 Ab-遗忘对上的翻版。
注 6.1（商型账本，E1）。 导群吃掉不可交换的部分后剩下的商都很小：S3、S4 → C2；A4 → C3；Q8、D4（8 阶）、D6（12 阶）→ C2×C2。其七说过 Dn′ = ⟨r2⟩；如今看到「旋转平方子群被模掉后，反射类恰好留下一个 C2×C2」——Abel 化是群论里最常用的「粗看」：它丢掉非交换细节，只留阶的骨架。
G | |G| | |G′| | G/G′ ≅ | 生成元视角 |
|---|---|---|---|---|
S3 | 6 | 3 | C2 | 符号 sgn 是唯一非平凡 Abel 像 |
S4 | 24 | 12 | C2 | 仍由 sgn 生成 |
A4 | 12 | 4 | C3 | V4 被模掉，剩三阶轮换类 |
Q8 | 8 | 2 | C2×C2 | {±1} 被模掉， i, j, k 类两两独立 |
D4 （ 8 阶） | 8 | 2 | C2×C2 | r2 被模掉，旋转 / 反射各留一维 |
D6 （ 12 阶） | 12 | 3 | C2×C2 | r2 被模掉同上 |
七自由 Abel 群与格：Smith 不变量
在 Abel 世界里，「自由」的对象是 ℤ 的直和：自由 Abel 群 ℤ^S（基 = S）。F2 的 Abel 化 = ℤ2：把「ab ≠ ba」的关系模掉后，a、b 变成 ℤ2 的两个基向量——换一个范畴，自由对象从 F2（非交换树）变成 ℤ2（平面格）。有限 Abel 群全部藏在这个格的世界里：
有限 Abel 群 = ℤ2 / Λ （Λ = 子群 = 满秩整数格）
Smith 不变量分类（F1–F3 数值）。 格 Λ 用行基矩阵 M 表示（如 2ℤ2 即 diag(2,2)）；Z2/Λ 的同构型由 Smith 正规形的不变量 (d1, d2) 读出：d1 = M 全部元素的 gcd、d1d2 = |det M|，且 d1 整除 d2。剧本六个样例格全数命中： diag(2,2) → (2,2) ≅ C2×C2（正是 Q8 的 Abel 化——同一群两条路线：导群商掉、或 ℤ2 除以 2ℤ2）； diag(2,3) → (1,6) ≅ C6（CRT：C2×C3 合成一圈）； 「狡猾格」Λ = span(2e1+e2, 2e2) → (1,4) ≅ C4——斜基藏起了 4 阶元（gcd = 1 立刻揭穿它不可能是 C2×C2）； span(4e1+2e2, 2e2) → (2,4) ≅ C2×C4；5ℤ×ℤ → (1,5) ≅ C5。
注 7.1（主线回收：线性方程组）。 其四用群论眼光看线性方程组：解空间是核/商。这里看到更深一层：Abel 群 = ℤ-模，「整数矩阵的像与核」即子群与商——有限生成 Abel 群分类定理就是 Smith 标准形（Henry Smith 1861），它是「主理想整环上有限生成模的结构定理」在 ℤ 上的实例，其四的消元思想原封不动地搬来对角化格基。九册读毕回望：其四的矩阵、其五的自同构、其七的导群、其八的刚性、本册的格——同一个消元法贯穿始终。
格 Λ ⊂ ℤ2 | 行基 M | Smith 不变量 | ℤ2/Λ ≅ |
|---|---|---|---|
2ℤ2 | diag(2,2) | (2,2) | C2×C2 = V4 |
span(2e1+e2, 2e2) | [[2,1],[0,2]] | (1,4) | C4 （ gcd = 1 揭穿非 V4 ） |
2ℤ × 3ℤ | diag(2,3) | (1,6) | C6 （ CRT ） |
span(4e1+2e2, 2e2) | [[4,2],[0,2]] | (2,4) | C2×C4 |
ℤ2 | diag(1,1) | (1,1) | 平凡群 |
5ℤ × ℤ | diag(5,1) | (1,5) | C5 |
八术语考古、三句话与收官回望
8.1 名词与历史的来路
- free group / free object（自由群 / 自由对象）。 拉丁 liber「自由」：自由群「没有关系束缚」。Jacques Tits 讲过一则轶事：van der Waerden 问为什么叫「自由」，答「因为它不受关系约束」——不满足任何额外方程，因而同态可以任意放置。词（word）与约化词的处理归于 Jakob Nielsen（1921，自由群子群定理）与 Walther von Dyck（1882，生成元-关系表现的开创者）；「自由对象」作为范畴概念随 Mac Lane–Birkhoff 与 Bourbaki 学派的「万有性质」语言流行（1950 年代）。
- universal property（万有性质）。 从「普遍、遍及」取意：一个构造「万有」地支配所有同类构造——任何到 X 的放置都唯一穿过 F(S)。Pierre Samuel 1948 年在 Bourbaki 讨论班给出「万有映射问题」的表述，把「最一般的解」从各分支的直觉提炼成定义；本册第二节的框式即其现代形式（经同态/自然变换翻译）。
- forgetful functor（遗忘函子）。 把结构剥掉的函子：Grp → Set（忘运算）、Ab → Grp（忘交换性）、Ring → Ab（忘乘法）。「遗忘」一词日常而精确——它说明函子可以是「减结构」的；1950 年代 Mac Lane 与学生提出后成为范畴论标准词汇。
- adjoint functors（伴随函子）。 Daniel Kan 1958 年在论文《Adjoint functors》中命名：F ⊣ U 指「F 的箭头出来 = U 的箭头进去」的自然双射。Kan 师从 Samuel Eilenberg；伴随后来被 Mac Lane 称为「范畴论里到处出现、值得升级为公理的概念」——自由群（F ⊣ U）、自由 Abel 群、张量积（Hom 的伴随 ⊗ ⊣ Hom）、多项式环全是它的特例。
- abelianization（Abel 化）。 群论里把 G 送到「最大的 Abel 商」G/G′ 的函子；它是含入 Ab ↪ Grp 的左伴随。术语来自 Abel（Niels Henrik Abel，1802–1829，五次方程不可解与交换群研究的先驱）——「Abel 群」即交换群，Abel 化 = 「把群 Abel 化」的机器。其七已见导群 G′ 是「最小使商 Abel 的正规子群」，本册补上它的万有性质面向。
- Smith normal form（Smith 标准形）。 Henry John Stephen Smith（1826–1883，爱尔兰数学家，曾任牛津 Savilian 几何教授）1861 年证明整数矩阵可经初等行列变换化为对角形且不变量 (d1 ｜ d2 ｜ …) 唯一。它同时是有限生成 Abel 群分类定理与「PID 上模结构定理」在 ℤ 上的算法核心——本册第七节只用 2×2 特例（d1 = 全元 gcd、d1d2 = |det|）就认出全部样例格。
- presentation / word problem（生成元与关系 / 字问题）。 von Dyck 1882 首创 ⟨S ｜ R⟩ 记号（自由群商掉关系）；Max Dehn 1911 提出字问题：给定表现，判断两词是否相等。自由群的字问题平凡（约化唯一），一般群不可判定（Pyotr Novikov 1955；独立地 William Boone）——「自由」在此再次意为「无障碍」。
8.2 三句话总结
① 遗忘函子 U : Grp → Set 的左伴随 F 把集合 S 送到自由群 F(S)——由 S 生成、除群公理外无任何关系；万有性质 Hom(F(S), G) ≅ Set(S, U(G)) 说「生成元像随便一放、恰好唯一扩张成一个同态」（Hom(ℤ,G)=|G|、Hom(F2,S3)=36=62 逐对验证零违例）。 ② 有关系的群同态被关系卡住：Hom(C5,S3)=1 而 Hom(C6,S3)=6 纯属阶整除的巧合——自由对象不靠 Hom 数大取胜，靠「无约束的一一对应」；每个有限生成群都是自由群的商（S3 = F2/⟨a2,b3,(ab)2⟩）。 ③ Abel 化 G→G/G′ 是 Grp 到 Ab 的自由化（Hom(G,A)=Hom(G/G′,A)，A Abel），Abel 世界的自由对象是 ℤ^S，有限 Abel 群 = ℤ2 商格由 Smith 不变量分类（diag(2,2)→C2×C2 = Q8 的 Abel 化；(2,1;0,2)→(1,4)→C4）——九册至此闭环：从「集合装运算」出发，到「遗忘与自由」这对装卸回望集合。
8.3 阅读指引
- 自由群与表现的标准教材处理（万有性质式语言）：D. S. Dummit & R. M. Foote, Abstract Algebra, 3rd ed.（Wiley）——「Free Groups」一节从约化词构造自由群并用万有性质证明同态扩张定理，另有字问题与表现讨论。
- 自由群理论专深入口（Nielsen–Schreier、图论方法）：J. J. Rotman, An Introduction to the Theory of Groups, 4th ed.（Springer GTM 148）——自由群、子群自由定理与表现；或 W. Magnus–A. Karrass–D. Solitar, Combinatorial Group Theory（经典字问题参考）。
- 范畴论与伴随（本册第五节的现代语言）：S. Mac Lane, Categories for the Working Mathematician, 2nd ed.（Springer GTM 5）——「Adjoints」一章；入门向可选 P. Aluffi, Algebra: Chapter 0（AMS GSM 104），全书以伴随与万有性质串讲代数，与本册口径最合。
- Abel 化与导群（连接其七）：J. J. Rotman 前引书或 I. M. Isaacs, Algebra: A Graduate Course——Abel 化的万有性质与导群、下中心列的衔接；Abel 群分类见 N. Jacobson, Basic Algebra I（Smith 标准形与 ℤ-模）。
- Smith 标准形与格（第七节主线）：H. J. S. Smith 原始论文 1861 年《On systems of linear indeterminate equations and congruences》；现代处理见 Jacobson 前引书或任何「整数矩阵」章节（其四线性方程组的自然续篇）。
- 历史注记：I. Kleiner, A History of Abstract Algebra（Birkhäuser, 2007）论 von Dyck 的表现与自由群起源；Mac Lane 的回忆录与 Kan 1958 论文提供伴随概念的来龙去脉。
《代数学基础（下·第 2 版）》第一章补充读物 群论专题读本·其九（系列收官） ｜ 九章格数学 ｜ 2026