半群代数引论 · 从结合律到一关系独异点

本书怎么读：一部从结合律走到研究前沿的引论

本书讲一个对象与一条暗线。对象是半群与独异点——只保留结合律的乘法世界；暗线是「自由与约束」：自由独异点是没有法律的词的世界，一条关系就是一条法律，呈现 ⟨A | R⟩ 是立法文书，重写系统是执法机器，而全书终点「一关系独异点」（法律只有一条 w = 1 的世界）是当代组合半群论最活跃的战场。为什么值得花 204 页？因为群是半群中人人可逆的贵族，而真实世界——字符串、变换、自动机、推理链——几乎全住在半群里；也因为通往「一关系独异点」研究的唯一道路，就从这块地基上铺过去。

本书按章组织：绪论立问题与暗线；第一章擦亮语言——集合、映射、等价关系、商与良定义、归纳与字典序，并提前引入「词」；第二章进入对象世界——半群与独异点的定义宇宙、同态与商、Cayley 表示定理、理想与 Rees 商、同余与同态定理；第三章是枢纽——自由独异点 A^* 的泛性质、呈现 ⟨A | R⟩、三大判定问题、一关系独异点的形态分类（special·monadic·正字对·左循环）、border 与 Adian 图；第四章装上算法——终止性与合流性、Newman 引理、临界对与 Knuth–Bendix、单规则系统的无自重叠定理、Markov–Post 不可判定性与 Adian–Oganesian 归约；第五章丈量与群的距离——自由群与 Magnus 引理、逆的三种含义、Grothendieck 群、Ore 条件与 Malcev 障碍、Adian 图嵌入判据、units 与极大子群；第六章展开现代版图——Green 关系与蛋盒图、正则与逆半群、Rees 矩阵定理、自动半群、收敛呈现搜索与开放前沿、P1 问题的完整陈述；综合站用六份术语总表、记号与定理速查、文献指南与研究路线收束全书。

写作的三条约束（本书的自我要求）。① 直觉先行：每个概念都先给一个可以摸到的例子——字符串拼接、变换复合、乘法表——再给严格定义；每条定理先说清「为什么它应当真」，再给证明。② 证明不跳步：本书的核心定理（Cayley 表示、Newman 引理、无自重叠收敛、Adian 图判据、Vagner–Preston）都给完整证明；个别需要重火力的（Rees 矩阵定理、Malcev 条件的完整论证）给出精确陈述、证明思路与文献指引。③ 计算即体验：每章一节实验课，全部实验只需 Python 基础——等价关系枚举、变换半群计算、迷你 Knuth–Bendix、Green 关系程序——代码可复算，让「算法进入代数」成为亲手经验而非口号。

页型节奏。每章以 导引 开篇、地图 收领（本章行军路线）；主体是 讲义 页（节号连续，如 3.6）；每章配 例题课（手把手）、习题课（约 16 题，三档难度，提示与选解紧随）、实验课、误读辨析（每章一个高频误区）、思想卡（方法论一页）、格物札记（一章一思）、小结 与 挑战题。所有编号可跳读：每一页自带上下文，随手翻开也能读下去。

难度标记与读法。讲义页以 ★–★★★★★ 标阅读难度：★ 高中基础即可，★★ 需要第一章的语言熟练，★★★ 需要商与同态的经验（书内自给），★★★★ 涉及重写算法与嵌入定理的技术细节，★★★★★ 为前沿接壤页（6.10–6.14）。若求最快抵达前沿：绪论 → 第二章 2.8 与 2.11–2.12 → 第三章全书 → 第四章 4.1–4.11 → 第六章 6.10–6.14；若求系统补课：按章逐页推进，并把每章习题做完——本书即为系统补课而写。

三条线索贯穿全书：

① 明线——呈现理论：第三章的 ⟨A | R⟩ 在第四章被装上算法，在第五章被与群比较，在第六章长出前沿；它是全书的脊椎。

② 暗线——自由与约束：先有词，后有结构；一条关系如何塑造、扭曲甚至摧毁一个世界，是全书反复演练的同一出戏。

③ 接口——通往三个邻域。与群论（自由群、嵌入问题）、逻辑与可计算性（字问题、不可判定性）、计算机科学（形式语言、自动机、重写）三线相通，第六章与综合站逐条架桥，并直通开放问题册与研究工作台。

写法约定（TEX 标准）：半群运算一律省略圆点记 ab；字母表记 A，其上自由独异点记 A^*；词记小写希腊 u, v, w，词长记 |w|，空词记 ε；呈现记 Mon⟨A | R⟩；Adian 图记 Γ_u,v；Green 关系记 ℒ ℛ ℐ ℋ 𝒟。变量斜体，函数名与专名正体；变换半群记 𝒯_X，对称逆半群记 𝒮𝒥(X)。

绪论 从乘法到结合导引：为什么在学群之前，先学半群

每一个学过乘法的人都做过一件奇怪的事：把三个数相乘时，先乘哪两个都行。(2×3)×4 = 2×(3×4)——这件事如此显然，以至于几乎没有人为它停留过一秒。可是请停下来看它一眼：这条性质叫结合律，而本册要讲的全部故事都从这一秒开始。因为数学家后来发现：有些「乘法」没有交换律（矩阵乘法、函数复合、字的拼接），这些运算丢了交换律照样活得好好的；可是一旦丢了结合律，幂、周期、同态、表示——我们熟悉的那一整套代数机器——就会一件件散架。结合律是代数世界的地基，而半群，就是只保留这一条地基公理的世界。

既然如此，为什么传统课程都从群讲起，而很少讲半群？因为群是半群中「人人可逆」的贵族阶层：每个元素都有逆，于是方程可解、陪集可数、结构定理成套。贵族的故事讲起来漂亮，可是正如本册第五章会看到的：群是例外，半群才是常态。计算机科学里的字符串拼接、形式语言与自动机，逻辑学里的推理链，组合学里的变换——这些真实世界里的「乘法」几乎全是不可逆的半群运算。更重要的私心是：读者若想走到「一关系独异点」这样的研究前沿，唯一的路就是从半群的地基上一步步走过去——群论帮不上多少忙，那里的地图是空白的。

读法建议：本册按九章格讲义体例编排——每章由导引、地图、讲义（概念·定理·证明·一步一图）、例题、习题、实验、误读辨析、思想卡与格物札记组成。若时间有限，至少完整读完第三章与第四章：那里藏着本册的灵魂。

绪论 从乘法到结合乘法的两种命运：可逆与不可逆

从一个再熟悉不过的场景开始：整数乘法。给定 a = 6，问哪个 b 使 a·b = 1？答案没有——整数里只有 ±1 有「倒数」。可是在有理数里，6 的逆是 1/6，人人都有逆（除了 0）。同样是「乘法」，可逆性却命运迥异。再把镜头拉开：函数复合 f ∘ g 是一种乘法，f(x) = x + 1 有逆（减 1），而 f(x) = x²（在 ℝ 上）没有逆。字符串拼接是又一种乘法："ab" 拼上什么能还原成空串？什么都不能——拼接的世界里，几乎没有元素可逆。

这三种命运不是并列的三种趣味，而是包含关系下的三个楼层：群是独异点的特例，独异点是半群的特例。传统课程直接住在顶楼（群），享受着可逆性带来的一切便利；本册却坚持从一楼讲起——因为只有看清「没有可逆性时哪些定理幸存、哪些崩塌」，才能真正理解群论的每一条定理究竟把宝押在了哪里。举一个预告性的例子：在群里，ab = ac 可以消去 a 得 b = c（消去律）；在半群里这条会失效——取 a 为「常值映射」，无论后面接什么，结果都一样。可哪些半群仍保留消去律？它们能嵌入群吗？第五章将证明：这一条线直通 Malcev 的嵌入障碍与 Adian 的图判据。

一句话：可逆性是一种结构，不是理所当然。本册的任务，就是在没有它的世界里重新把代数建起来。

绪论 从乘法到结合一个公理的重量：结合律

把集合 S 上的一个运算 ·（每对元素 (a, b) 对应一个 a·b）称为结合的，若它对一切 a, b, c ∈ S 满足

(a·b)·c = a·(b·c)。

这条公理看起来人畜无害，重量却大得惊人。第一重：它使括号可以省略。abcd 这样的四个元素之积有 5 种加括号方式，结合律保证它们全部相等——没有这条，每一本代数书的第一页就要写满括号。第二重：它使幂有意义。aⁿ（n 个 a 相乘）之所以不依赖加括号的方式，正是结合律的恩赐；由此才有周期、阶、指数律 a^maⁿ = a^m+n 这一整套语言。第三重，也是最深的：它使表示成为可能——Cayley 定理（第二章）将证明每个半群都是某个变换集合在复合运算下的像，而复合运算天然结合；结合律正是抽象运算得以「寄居」在具体变换中的通行证。

还有第四重重量，留作悬念：结合律约束的是「三个元素」的行为，却没有任何关于「两个元素交换」的承诺。整个二十世纪半群理论的曲折（Green 关系、蛋盒图、Rees 矩阵——第六章），本质上都是在回答同一个问题：只靠结合律，能把结构定理推进多远？答案远比想象中精彩——能推进到令人吃惊的深度，但每一寸都比群论多花十倍的力气。

结合律是代数里最便宜的公理，也是最值钱的公理：它只花了一个等式，却买下了幂、表示与整个结构理论。

绪论 从乘法到结合半群简史：从变换到呈现

半群的历史是一部「被轻视的历史」。十九世纪的代数心电图上只有群：伽罗华用它在 1831 年判决了五次方程；变换半群的思想其实就埋在 Cayley 1854 年的论文里（群被实现为变换的集合），可是没有人追问：不要求可逆的变换集合会是什么？第一个把这个问题认真提出来的是苏维埃数学家 O. Ju. Šmidt（1908–1916 年间的讲义），而「半群」作为独立研究对象登上舞台，要到二十世纪三十年代：Suschkewitsch 1928 年给出有限简单半群的第一个结构定理，Rees 四十年代的矩阵构造（第六章的主角之一）把有限半群的结构理论推向成型的边缘。

真正的转折在 1940 年代的两条战线上同时打响。理论侧，A. H. Clifford 与 D. D. Miller 等人开始系统整理半群的结构理论，最终汇成 1961 年的圣经《The Algebraic Theory of Semigroups》两卷本——Green 关系（1951）是其中的脊梁。计算侧，1947 年 Post 与 Markov 在各自独立的工作中证明：半群的字问题（判断两个词在给定呈现下是否相等）可以不可判定——希尔伯特的「机械化判定一切」梦想，在半群这个世界里第一次碎裂。这两个传统（结构理论与判定理论）在本书中恰好对应第六章与第四章。

而本册的终点——一关系独异点——则是这条历史线上最细的一根针。Thue 1914 年提出词问题，Adian 1966 年用无圈判据解决了无自重叠情形（第三章、第四章的主角），Magnus 1932 年在群的侧翼立起自由群引理（第五章的主角）。这条线索沉寂与爆发交替：2019 年后 Gray–Steinberg、Foniqi 等人的工作使它重新升温（第六章 6.10 节）。读者将在本册看到：一根针里，藏着结构、算法、几何与逻辑的全部交汇。

历史不是点缀：半群理论每一次的「难」，背后都站着一位认真对待它的数学家。读史是为了知道地图上哪些空白是真的空白。

绪论 从乘法到结合怎样读一本九章格讲义：页型·例题·札记

本册沿用九章格 K2C 正册的讲义体例，全书 204 页由十二种「页型」组成。认识页型，就掌握了阅读节奏：

三种标记贯穿全书：def 底纹是定义（必须逐字记住的规格）；thm 底纹是定理（编号定理是全书的承重墙，证明或完整或给出骨架并注明出处）；底色稍暗的 say 段是旁白（读法建议与私人提示，可跳过）。数学排版从第四章起会遇到「词」的记号：aUb 表示首字母为 a、末字母为 b 的词，这一套 Adian 记号将在 3.12 节正式介绍。

读到任何一页觉得「证不过去」时，先看页首的章名是否说明本页依赖前面哪几节——讲义的编号就是依赖关系；再不行，回地图页找本页的位置。一本书的结构，就是为「卡住」准备的。

绪论 从乘法到结合记号约定与预备知识自查清单

集合与映射。∈, ⊆, ⊂, ∅, ⋃, ⋂ 按通行用法；f: X → Y 表示映射，x ↦ f(x) 表示元素的像；id_X 是恒等映射。数系。ℕ = {0, 1, 2, …} 含零（本册多处要数「词的长度」，从 0 起更方便），ℤ, ℚ, ℝ, ℂ 通行。逻辑。「⟹」用于推论行内，「⟺」表示等价；「若且仅若」与「⟺」混用。词。小写拉丁字母 a, b, c, … 作生成元，小写希腊 u, v, w 作词；|w| 是词长，ε 是空词；A^* 是字母表 A 上全部词的集合（第三章的正主角）。

斜体与正体。变量斜体（a, n, S 中的字母），运算符、函数名与数字正体——这是全书排版执行的 TeX 标准，读 PDF 时一眼可辨。编号系统。定理按章编号（定理 3.2 = 第三章第 2 条），页码连续全书统一，交叉引用一律给页码。星号。标题带 ★★★ 的段落可跳过而不影响后续；带 ⟡ 的习题是正文证明的「亲手版」——强烈建议至少做一遍。

预备知识自查清单。本册几乎不要求任何超出高中数学的知识，但以下五件事请先自查——都会，则全书无障碍；有生疏，第一章的对应小节会补：

最后一条约定最重要：本册自始至终把「读者是要自己走一遍的人」放在心上。凡证明，不给跳步的表演；凡计算，给出完整的中间行。慢，是为了让人走得远。

记号是服装，概念是身体。若某一页的记号让人不适，翻回本页对照——全部记号约定，全书仅此一页。

绪论 从乘法到结合本册的明线与暗线：结构理论，与「自由与约束」

一本 204 页的书，若只有知识的堆叠，读完就散。九章格的每本正册都立一条暗线——一条贯穿全部章节、读完能带走的思想。本册的明线是半群与独异点的结构理论：从结合律出发，经自由独异点与呈现，到重写算法、嵌入问题，再到 Green 关系的现代版图。而暗线藏在标题的对比里：自由与约束。

请先记住这组对照，它将逐章展开。第三章造出最自由的独异点——自由独异点 A^*：除了「词就是词」，没有任何法律；每个半群都是它的受约束版本。约束是什么？关系。一条关系 u = v 就是给词的世界立一条法律；法律立得越多，世界越小。第二章的商独异点、第三章的呈现、第四章的重写，全是同一场戏的三次换景：先有词，后有结构。而本册的终点「一关系独异点」是这场戏的极限镜头——法律只有一条（w = 1）时，世界成什么形状？这个问题一百一十年前由 Thue 拋出，今天仍有整片地图空白。

暗线还替读者保管着一份「研究的种子」。本册每一章的札记页都埋一句暗线的推进：第一章「语言即世界观」，第二章「可逆性的特权」，第三章「关系即命运」，第四章「把计算当作证明工具」，第五章「群是例外，半群是常态」，第六章「地图先于道路」。它们连缀起来，就是从「学代数」到「做代数」的心路——这也是本册真正想交给读者 的东西：不是 204 页知识，而是一张可以自己往里添空白的地图。

明线交付知识，暗线交付品味。知识会过时，品味不会。

绪论 从乘法到结合全书地形图：六章的行军路线

三条纵贯线值得提前指出。线一（呈现）：第三章的 ⟨A | R⟩ 在第四章被装上算法，在第五章被与群比较，在第六章长出前沿——它是全书脊椎。线二（Cayley 表示）：第二章的变换表示在第六章升级为 Vagner–Preston 定理——「抽象寄居具体」的思想两次兑现。线三（Adian 图）：第三章引入这张小图，第四章用它证收敛，第五章用它判嵌入，第六章用它标前沿——一根针，四处开花。

依赖关系是树状的：第一、二章是根，第三至六章都从它们生长；三、四两章互相依存最深（判定问题与算法一体两面），第五、六章相对独立，可与三、四章并行阅读。每章 30 页的节奏是「导引＋地图 → 讲义 → 例题 → 习题 → 特殊页型收束」，综合站 16 页负责总收。祝行军顺利——从下一页开始，语言课开讲。

这张地图可以折起来随身带：任何一页讲义迷路了，回来看它一眼，就知道自己站在行军路线的哪一格。

第一章 集合·关系·词：代数的语言导引：先把语言擦亮

学一门新数学，最难的不是定理，而是语言。半群理论的语言里有三个词最要紧：映射（把一个集合搬到另一个集合的规则）、等价关系（「视为相同」的严格化）、商（把相同者捆成一捆之后得到的新对象）。第二章以后的一切——同态、商半群、呈现、重写——全部站在这三块基石上。本章的任务，就是把它们擦亮到「闭着眼也能用」的程度。

但本章不只是一般性的语言课。有两样东西是半群理论提前送进本章的。一样是「词」：把字母一个接一个排成一串，如 abba——这个看似平平无奇的对象，是全书真正的主角；自由独异点、呈现、字问题、Adian 图，全都住在词的世界里。另一样是「字典序」：给所有词排一个全序，这不仅是排字典的手艺，更是第四章 Knuth–Bendix 算法的引擎——重写系统要能停下来，靠的就是一条精心挑选的序。

本章还有一个私下的目的：示范「定义为什么长这样」。等价关系为什么恰好是自反、对称、传递三条？商上定义运算为什么必须先验证良定义？这些「为什么」在一般课程里常被一笔带过，而它们恰恰是代数思维的精髓。读者若在本章把「定义的动机」看透，后面六章的每一个新定义都会显得自然而然。

读法建议：1.1–1.3 是热身，熟练者可快读；1.4–1.7（等价关系到良定义）是本章心脏，务必逐字读；1.8–1.9（字典序与归纳）为第四章储备弹药；1.10–1.15 把镜头逐渐转向词与半群，是通往第二章的引桥。

第一章 集合·关系·词：代数的语言本章地图：从集合到商的行军路线

行军要诀有三。其一，商是本章的灵魂：1.4 至 1.7 四节是连续剧——等价关系是「相同」的语法，分划与等价类是它的语义，商集把它变成对象，良定义检验在商上还能不能继续做数学。这四节的逻辑在第二章会原样重演一遍（同余与商半群），在那里只是把「相等」换成了「在同余意义下相等」。其二，复合运算是结合律的证人：1.2 节将证明映射复合天然结合，这个证明（例题课 1.C 完整重做一遍）是全书第一条真正的证明，也是第二章一切讨论的对照物。其三，词是全书的伏笔：1.11 节引入词与拼接，1.12 节已能看见自由独异点的轮廓——「不化简、不合并、原样保留」的词的世界。

与后面各章的接口：1.7 的良定义检验 → 2.11 商半群；1.8 的字典序 → 4.3 重写系统的定向；1.9 的归纳 → 4.4 Newman 引理；1.11 的词 → 3.1 自由独异点。每个接口在讲义正文里都有显式标注「通往第 X 章」，读完本章回头翻一遍这些标注，行军路线就刻在脑子里了。

地图用法：每读完一节，回来看一眼自己走到哪一站。本章共 15 节讲义，平均每天两节的话，一周走完——不快，但每一步都踩实。

第一章 集合·关系·词：代数的语言1.1 集合与映射：单射·满射·双射

集合与映射是现代数学的通用语，这里只做三件事：固定记号、强调要点、点名本书用得最多的品种。

记号。集合用大写字母 A, B, X, Y，元素用小写。空集记 ∅。x ∈ A 表属于。|A| 表元素个数（基数）：有限集就是元素个数，无限集本书只区分「可数」与「不可数」两种粗档。映射 f: X → Y 指对每个 x ∈ X 指定唯一的 f(x) ∈ Y；X 叫定义域，Y 叫陪域。定义域与陪域是映射的一部分——「f(x) = x²」单独一句话不构成映射，必须说清从哪里到哪里。

三个品种。设 f: X → Y。

三者分工不同：单射是「不塌缩」——X 的信息完整保留；满射是「无遗漏」——Y 的每个角落都有来历；双射是「身份互换」——两个集合在结构上无法区分。有限集上有一条常用的计数事实：X 到自身的映射若单则双、若满则双（鸽笼原理）；无限集上这条失效——ℕ → ℕ, n ↦ 2n 是单不满的。通往第二章：Cayley 表示定理把抽象运算变成映射，届时「单、满、双」将翻译成「忠实、生成、同构」三种结构性质。

本书最常用的三类映射，请提前混个脸熟：常值映射 c_y: x ↦ y（把一切压到一点——半群里不可逆的极端标本）；平移 n ↦ n+1（ℕ 上单不满，ℤ 上双射——为绪论的 φ 实验准备的）；置换（有限集到自身的双射——第二章变换半群的贵族阶层）。

检验映射三品种的次序：先问「陪域里有没有人没被打到」（满），再问「打重了没有」（单）。两问都过，双射到手，同时白送一个反映射。

第一章 集合·关系·词：代数的语言1.2 复合运算：一切运算的原型

映射本身也是可以「相乘」的：先做 g 再做 f，合起来是一个新映射。

复合是本章真正的主角——不是因为它难，而是因为它是一切二元运算的原型。请先接受一个预告：集合 X 到自身的全部映射在复合运算下构成一个系统，它结合、有幺元（恒等映射）、但一般不可交换也不可逆。这个系统叫全变换独异点 𝒯_X，是第二章的主角；本节先把它最要紧的一条性质证掉。

这个证明值得咀嚼三遍。第一，它毫无内容——除了按定义展开，什么都没做；结合律在复合世界里不是巧合，而是「依次执行」这一直觉的形式化影子。第二，它示范了「证明两个映射相等」的标准动作：逐点验证。第二章验证半群同态、第四章验证重写不变量，用的都是这一个动作。第三，它解释了绪论的悬念：结合律为什么值得单独一条公理——因为映射复合是天然的乘法，它结合；而抽象世界里人为规定的运算未必结合（1.10 节的乘法表里就有反例），于是必须把「像复合一样结合」立为公理，让抽象运算有资格寄居在映射里（Cayley 定理）。

通往第四章：词的拼接也是复合的影子——「先走 u 再走 v」拼成 uv；词拼接的结合性将在 3.2 节从复合的直觉中独立出来。

一条铁律：映射相等 ⟺ 定义域相同且逐点相等。这条「逐点验证」的套路，全书要用来几十次。

第一章 集合·关系·词：代数的语言1.3 关系与笛卡儿积

比映射更宽松的一种联系叫关系：映射要求每个输入有唯一输出，关系不要求——它可以多对多，甚至可以「挂空」。

这个定义乍看冷冰冰，其实它只是把「联系」这个词算术化了：说「x 与 y 有关系 R」，就是在说有序对 (x, y) 落在子集 R 里。例：「≤」是 ℤ 上的关系，即集合 {(a, b) : a ≤ b}；「同 parity」是 ℤ 上的关系；「A ∩ B ≠ ∅」是集合族上的关系。有限集上的关系可以画表：X = {1, 2, 3} 上的关系就是一张 3×3 的 0–1 表，第 i 行第 j 列填 1 当且仅当 i R j——这张表与第二章的「乘法表」是同一件家具，只是格子里填的东西不同。

映射是关系的特例：f: X → Y 的图像 {(x, f(x))} 是 X × Y 的一个特殊子集——每行恰有一个 1 的 0–1 表。于是有包含链：映射 ⊂ 关系。半群理论里关系的出镜率远高于映射：第三章的呈现本质上是词之间的一个关系（哪些词相等）；第四章的重写系统是「带方向的」关系；第六章的 Green 关系是半群上的五个关系套餐。为什么半群偏爱关系而群偏爱映射？因为可逆性让群能把关系升级为映射（方程 ax = b 有唯一解 x = a⁻¹b），而半群没有这个特权，只能与关系共处。

关系与映射还有一层深刻的对应，先埋个种子：每个关系都可以取其「传递闭包」——最小的包含它的传递关系（1.4 节定义传递性）。第四章将把重写规则的关系取传递闭包加对称化，得到「词的同余」； Knuth–Bendix 算法的全部事业，就是把这个同余关系重新组织成一个可计算的映射（每个词映到它的正规形）。

关系是比映射更原始的材料：映射是「每行恰有一个 1」的关系，运算表是「带标签的」关系。半群理论从关系出发向上建，群论从映射出发向下收——两种口味，同一座山。

第一章 集合·关系·词：代数的语言1.4 等价关系：自反·对称·传递

「相同」在数学里有粗细之分。两个分数 2/3 与 4/6 相同吗？作为有序对不相同，作为分数相同。两个向量 (1, 2) 与 (2, 4) 呢？作为向量不同，作为「方向」相同。等价关系就是把这些不同口径的「相同」统一严格化的工具。

三条各司其职，缺一不可，每条都有直白的日常语义：自反说「每样东西和自己相同」；对称说「相同不分谁先谁后」；传递说「相同可以接力」。验一办十的办法是找反例：只缺自反——ℕ 上关系「a < b 或 a = b+1」之类的人造物（例如「a 比 b 高 3 cm 以内」不满足传递）；更干净的例子：ℝ 上关系 a ~ b ⟺ ab > 0，对称、传递，但 0 不与自己等价——自反破。只缺对称：「≤」传递、自反，但不对称。只缺传递：「差至多 1」自反、对称，但 0~1, 1~2 而 0 与 2 不等价。三条中传递最易被直觉放过，也最要紧——下一节将看到，等价类的「干净分堆」全靠传递撑着。

等价关系的海量来源是映射：任何映射 f: X → Y 都自动生成 X 上的等价关系 x ~ x' ⟺ f(x) = f(x')（「打往同一处即等价」）。自反对称传递逐条验证即得，留作习题 1（一）第 1 题。这个构造看似平凡，实为半群理论的命脉：第三章将证明，半群呈现中的「相等」正是这样一个由映射生成的等价关系——自由独异点到商独异点的自然投影。反方向的深刻事实（本节只需记住陈述）：每个等价关系都是某个映射生成的——取商集与投影即可，见 1.6。

等价关系的记号约定：本书一律用波浪线 ~，需要区分多个时加下标 ~_R。与等价关系相对的另一族是「偏序」（1.8 节）：等价关系分堆，偏序排队——分堆的数学叫商，排队的数学叫序，两条路各有大厦。

验证等价关系时的职业习惯：先扫一眼关系是否「自然地由某个映射产生」——若是，三条几乎免费；若不是，老老实实逐条验，尤其别放过传递。

第一章 集合·关系·词：代数的语言1.5 分划与等价类：一枚硬币的两面

给了等价关系，能把集合分成怎样的形状？答案是一个「干净的分堆」，术语叫分划。

证明里第二段的推理是本章的技巧高峰：两类相交则相等。它成立的全部分量是传递性——若只缺传递，「类」就会互相渗透，分堆塌掉（这正是 0~1~2 例子里的病）。请读者把这段推理抄一遍：第六章 Green 关系 ℋ 类、第三章同余类，用的都是这一个论证。

算例先行。ℤ 上「模 3 同余」（a ~ b ⟺ 3 | (a−b)）把 ℤ 分成三类 [0], [1], [2]；「同 parity」分成两类；恒等关系每类一元；全关系一块全收。四个例子代表四种极端与中间形态：类的个数（术语：指数）可以从 1 到无穷。有限集 |X| = n 时，分划数是一个著名的计数问题——实验课 1 将用程序把 n ≤ 4 的全部分划枚举出来，并与 Bell 数对照。

等价类思维的动作要领：遇到「视为相同」的口径，第一步问自己——类长什么样？有几类？每类的代表元怎么挑最方便？三个问题答完，商集已在门口。

第一章 集合·关系·词：代数的语言1.6 商集：把「相同」变成一个对象

定理 1.8 说等价关系把 X 分成干净的堆。现在做一步决定性的动作：把每一堆当作一个新元素。

商集的要点在于视角切换：在 X 的世界里，[a] 是一堆元素；在 X/~ 的世界里，[a] 是一个元素。模 3 的商集 ℤ/~₃ 只有三个元素 [0], [1], [2]——钟表上只认 12 个「点」，不问从几点转了几圈，正是商集思维的生活版。数学史上好几个深刻概念的第一步都是「把某物视为一个点」：分数 2/3 = 4/6（有理数 = 分数对的商集）、方向 (2,4) ∥ (1,2)（射影空间）、第五乔迁（半群的商，见 2.11）。

随之而来的是一个非形式化不可的问题。在商集里能不能继承原集合上的运算与结构？例如 ℤ 上有加法，那么 [1] + [2] 等于什么？自然的尝试是 [1] + [2] = [1+2] = [3] = [0]。但这里藏着陷阱：等式左边用的是代表元 1 与 2，可 [1] 里还有 4、7、−2……换个代表元 [4] + [2] = [6] = [0]，结果一样；但如果关系不是模 3 呢？万一换个代表元答案就变了，这个「加法」根本不是合法运算。这个合法性检验有专名：良定义。它是下一节的主角，也是全书第一个必须逐字掌握的技术概念。

先把商集的两个直感记牢。其一，商变小：投影把无穷多的 X 压到（通常更小的）X/~；模 3 把无穷 ℤ 压成 3 点。通往第三章：呈现 ⟨A | R⟩ 的商独异点正是把自由独异点的无穷多词压成有限的或更少的类——「关系即压缩」的直觉由此而来。其二，商保结构的前提是良定义：不是所有结构都能活着搬到商上，检验是硬性的，这就是误读辨析页（35 页）要专门纠的坑。

商集一句诀：先分堆，再点数。原来集合里数的是元素，商集里数的是堆。第三章里将出现「这个商独异点恰好有 5 个元素」这样的句子，说的就是堆的个数。

第一章 集合·关系·词：代数的语言1.7 良定义：商上定义运算的合法性

注意这个定义的严格之处：要对一切代表元选择都成立，不是「试了几组都一样」。有限商集可以全部试完（例题课 1.B 现场演示），无限商集必须给出证明。证明的标准动作是「沿映射搬」：设 a ~ a'，从 a ∗ b ~ a' ∗ b 出发推（这一步需要运算对左边变量的某种「逐类」性质），右边同理。哪些运算通过检验？看两个判决。

为什么这件事值得单独一节？因为在半群理论里，一切结构定理本质上都是良定义检验。第二章：想在商半群上做乘法，须验证乘法与同余相容。第三章：想在呈现 ⟨A | R⟩ 的「词的等价类」上做拼接，须验证拼接与由 R 生成的同余相容——这一验证是呈现理论合法性的总开关。第四章：正规形映射 w ↦ w^↓ 的良定义等价于重写系统的合流性。同一张考卷，全书考三次，本章先把它考明白。

一个实用的等价表述：定义 g: X/~ → Y 时（如「[a] ↦ a² mod 3」），良定义 ⟺ a ~ a' ⟹ g₀(a) = g₀(a')，其中 g₀ 是选代表元的原始规则。通往第二章：同态基本定理里，「g₀ 诱导良定义的同态」正是标准的行文——届时检验动作与本节完全相同。

良定义检查是数学的「海关」：凡从旧世界运结构进新世界（商），一律开箱查验。查验的口令只有一句——换代表元，结论不变吗？

第一章 集合·关系·词：代数的语言1.8 序关系与字典序

等价关系分堆，序关系排队。排队也要立规矩：

注意偏序允许「不可比」：集合包含序里，{1} 与 {2} 谁也不含谁——排队可以排成分叉的树。本节真正的主角是一种特殊的全序构造：

这条命题是本章为第四章准备的最重要一颗子弹，请务必消化。重写系统要能终止，就需要一个「每步严格变小、且不能无限变小」的序——字典序自己不合格（下降链存在），但它的修正版可以：短.lex 序（先比长度，同长再比字典序）就是良序。验证：任何严格下降链长度不增，长度是自然数，而自然数的严格下降链必有限——这半句话背后正是 1.9 节的良序原理。两条候选序的名字先记下：len-lex（短.lex）与rec-lex（递归字典序），第四章 4.3 节将正式比较它们并选出重写理论的合格度量。

为什么排序这件小事如此要紧？因为「方向」是重写的全部：词相等是对称的（u = v 与 v = u 一回事），但计算必须选方向（把 u 改写成 v，还是反过来）。序就是给对称的相等关系装上方向的手艺——第三章呈现的 R 是无方向的方程组，第四章把它们定向成规则集 R→，定向的依据就是本节的序。通往第四章的接口再钉一遍：良序 ⟹ 归纳法可用 ⟹ 终止性可证。

一句行话预存：数学里「能排良序的集合上，一切反例都取极小者」。半群理论里许多「取最短反例」的论证，弹药都来自本节。

第一章 集合·关系·词：代数的语言1.9 归纳与良序：数学归纳的三副面孔

数学归纳常被当成「证明 ∀n 命题」的机械手续，本节把它还原为它的本体：良序性。三副面孔，一个灵魂。

灵魂就一句：自然数上「最小反例必存在」与「归纳必胜」是一回事的两面。实战中的职业动作是最小反例法：要证一切 P(n)，反设存在反例，取最小的反例 n₀，则一切更小者已真，从这里挤出矛盾。这个动作比标准归纳灵活得多——归纳步可以用「任意更小的已知真者」，而不只是 n−1。例题课 1.C 与第四章都将实战演练。

第二件要事：归纳可以搬家。良序原理的证明逐字适用于任何良序集——于是「对词归纳」（按长度归纳：对一切更短的词已真时证 w）、「对字典序归纳」、「对结构归纳」（对表达式树归纳）全部合法，只要底下的序是良序。本书第四章的核心工具终止性，定义就是「改写使某良序度量严格下降」；终止一成立，立即获得「对正规形归纳」的权利。通往第四章：Newman 引理（合流性局部判据）的证明就是「对某度量做强归纳」的一次漂亮实战。

第三件要事是反向的警觉：归纳只对良序合法。字典序不是良序（命题 1.14），所以「按字典序归纳」是非法动作——第四四章设计 Knuth–Bendix 时将踩到这个坑并漂亮地绕开（用良序化修正）。数学里「类似的论证」能不能搬，合法性全看底下的序。

归纳三问：我对什么归纳（自然数？词？树？）？底下的序良吗？归纳步允许动用哪些「更小者」？三问答清，归纳就是免费的重机枪。

第一章 集合·关系·词：代数的语言1.10 乘法表：有限运算的画像

一个有限集合上的运算，可以整个画成一张表——这是本章第一次「看见」运算本身。

表的好处是结构看得见。以 X = {0, 1, 2} 上的「模 3 加法」为例（记号 ⊕）：

第④点是本节的深意：乘法表是运算的「照片」，而结合律是运算的「X 光」。照片看得见外观，看不见骨架；要想在商集（1.7）与表示（第二章 Cayley）里搬动运算，靠的是骨架。本书后面将反复利用这张照片与这张 X 光的分工：例题课 1.D 从照片里读结构信息（幺元、可逆元、幂等元、交换性），第二章的理论再把骨架（结合律带来的幂运算与周期）补全。

再看一张反面教材表——X = {0, 1, 2} 上定义 a ∗ b = |a − b| 的差表：它交换（对称），有幺元 0（0 与 x 的差是 x），但每行不是重排（第 0 行 0,1,2 是重排，第 1 行 1,0,1 不是）——0,1 都打不到「打 2 得 1」，消去律破；结合律也破（(1∗1)∗2 = 0∗2 = 2，而 1∗(1∗2) = 1∗1 = 0）。一个表，三宗罪齐活，是后续各章做反例的常备弹药。

看表口诀：一行一列找幺元，重排与否验消去，对角对称看交换，三员结合须另算。

第一章 集合·关系·词：代数的语言1.11 词：一个贯穿全书的概念

现在请出全书主角。它简单到令人失望：把字母排成一串。

必须立刻澄清两件事。其一，词不是乘积：abba 在这里只是四个字母的排队，没有任何「运算已经执行」的含义；它是语法对象——一串墨迹，一行数据。其二，拼接不是化简：ab·ba = abba，就到此为止，没有任何合并或消去。这两条「什么都没做」的约束，恰恰是「自由」二字的直觉内核（1.12 节正式化）。先体会词世界的日常：取 A = {a, b}，则 A^* 含 ε, a, b, aa, ab, ba, bb, aaa, …——可数无穷多（长度 k 的恰有 2^k 个）；aabb ≠ abab（次序即身份）；uε = εu = u（空词是拼接的幺元）。

词上有一套贯穿全书的微型词汇，先备齐：前缀（p 是 w 的前缀，若 w = pq；真前缀要求 q ≠ ε）；后缀对称定义；子词（中间挖出的连续段）；循环置换（abba 的循环置换有 bbaa, baab, aabb——注意 aabb 与原词不同但同为循环置换，第三章 Adian 图会用到）；逆词 w^rev（倒序重排，abba 的逆是自己，abab 的逆是 baba）；首末字母（第四章 aUi = aVb 式记法的原料——词 w 首字母记 w_→、末字母记 w_← 的变体会到时再定）。

还有一个关键操作：给词「取平方」。w² = ww，wⁿ = ww⋯w（n 个）——这是词世界里「幂」的雏形，且由于拼接天然结合（3.2 节证），幂无歧义。词 w 称本原的，若它不是任何更短词的幂（abab = (ab)² 非本原，abba 本原）。本原词与循环置换的纠缠（Fine–Wilf 定理的世界）是形式语言理论的珍馐，本书点到为止。

词的精髓在「没有意义」：它不做任何计算，只是原样站着。这份「无为」，正是它日后能承载任意「意义」（任何半群的元素）的原因——无为，故无不为。

第一章 集合·关系·词：代数的语言1.12 自由的雏形：从生成元出发的构造

词的世界里有一条铁律：不同的串就是不同的对象。ab 与 ba 不同，aa 与 a²（作为一个词）也无所谓相同——后者只是前者的记号。这条铁律有个名字：自由。本节把「自由」的直觉说透，为第三章的定义铺路。

考察一个对比实验。在整数乘法的世界里问：2³ 与 2 × 2 × 2 相等吗？相等——因为它们都等于 8。这是「运算已执行」的世界：表达式只是计算过程的痕迹，真相是那个数。在词的世界里问：aaa 与 a·a·a 相等吗？问法本身就错了——它们不是两个词，是同一个词（都是 aaa）；而 aaa 与 a 呢？不同——没有任何规则说三个 a 会缩成一个 a。词的世界「运算永不执行」，于是表达式的形态即事物的身份。

「自由」的对立面是约束——这正是本书暗线的两极。往词的世界里加一条规则，如「ab = ba」（交换律），世界立刻塌缩：abba 与 baab 不得已成了同物。加「a² = ε」，则 a 有了周期 2。加「ab = ε」呢？第三章将证明这一条会把 A = {a,b} 的世界压成……一个出人意料的世界（单规则独异点的第一惊悚）。每条规则都是一条法律，法律如何重塑世界——这是三至六章的全部剧情，本章只负责把「没有法律时世界长什么样」看清楚。

「自由」的严格面目（泛性质）要到第三章 3.5 节才正式给出，但它的味道可以先尝：自由结构的基本能力是「随意指派」——指定字母 a 去哪儿、b 去哪儿，则整个词世界就被唯一地拖走了（w = x₁⋯x_k 逐字母跟着走）。譬如指定 a ↦ (1, 2), b ↦ (2, 3)（某集合上的变换），则词 abba 必须去 (1,2)∘(2,3)∘(2,3)∘(1,2) 的落点。这个「指定生成元即指定一切」的性质，是一切表示定理（第二章 Cayley、第三章泛性质、第六章 Vagner–Preston）的发动机；它之所以成立，靠的正是「词无内在规则」——有规则的世界里，指派必须先通过合法性检验（1.7 的良定义！）。

自由与约束是本书的阴阳：自由世界是白纸，约束规则是笔画；学半群，就是学每一笔画把白纸折成什么形状。

第一章 集合·关系·词：代数的语言1.13 半群的三张脸：集合·表·公理

下一章的主角马上登场，先给它办个见面会。同一个「半群」，可以有三张面孔——三张脸说的是同一件事，但用法不同。

第一张脸：公理（X 光）。「(S, ·) 满足结合律」——这是法律条文式的一面，用于推理：凡从结合律推出的定理（幂无歧义、周期、Cayley 表示……）对一切半群有效。第三章以后的重头戏（呈现理论）就住在这张脸上：呈现 ⟨A | R⟩ 是「生成公理＋关系公理」的紧凑法典。

第二张脸：表（照片）。有限半群可以画成乘法表（1.10）。计算用这张脸：验证半群性、算幂、找幺元、做实验课，都对着表操作。通往第六章：Green 关系的原始定义虽是公理式，但蛋盒图上它就是表的分区结构——照片与 X 光在第六章合流。

第三张脸：变换（化身）。半群可以「变身」为某个集合上的映射集合：给每个 s ∈ S 指派变换 ρ_s: x ↦ x·s（右平移）。结合律保证 ρ_s ∘ ρ_t = ρ_st——运算变成了复合。这张脸是第二章 Cayley 定理的内容，此处只验证一句关键的：把抽象的 st 具体成「先 ρ_s 后 ρ_t」，合法性正是命题 1.3 的结合律。化身有什么用？把「抽象世界的问题」翻译成「映射的问题」，而映射问题有 1.1–1.2 节的全套工具（单满双、逐点验证）。全书两次动用这个发动机：第二章 Cayley、第六章 Vagner–Preston（逆半群的化身定理）。

三张脸的关系像乐谱、演奏与录音：公理是乐谱（普遍有效），表是录音（个例全息），变换是演奏（让抽象发声）。读后续各章时，遇到任何新对象，先问一句：它的三张脸各是什么？——这是本书训练读者的第一个职业习惯。

三张脸口诀：公理管推理，表格管计算，变换管翻译。三脸齐备，对象才算真正认识。

第一章 集合·关系·词：代数的语言1.14 有限与无限：词的长短与枚举

有限与无限的分野，在半群理论里有一个特别具体的化身：词的长短。本节把这条分野摸清楚，因为它决定第三章至第四章几乎所有算法的能与不能。

有限的方面。固定字母表 A（设 |A| = r ≥ 2）与长度上限 n，则长 ≤ n 的词只有 1 + r + ⋯ + rⁿ = (rⁿ+1−1)/(r−1) 个——有限。一切「可枚举、可搜索、可判定」的正面结果都从这里出发：第三章将证明，若某呈现的商独异点有限（这样的呈现称有限秩的），则字问题平凡可判定（列表全对一遍）。习题 1（一）第 8 题请实际算一算 r = 2, n = 4 的词数，获得体感：31 个——枚举可行。

无限的方面。但 A^* 本身可数无穷，且更微妙的是：商之后可能仍无限。最典型的对比：给词世界加规则「ab = ba」后，每个词都等价于一个「a 全在前、b 全在后」的整理词 aⁱb^j——商仍有可数无穷类（(i, j) 的选择自由）。而加规则「a³ = ε, ab = ba」后，类只剩 3 × 3 = 9 个（i, j ∈ {0,1,2}）——商有限。「商有限还是无限」不是呈现的表面属性，而是深刻的不变量：判定一个呈现的商是否有限（术语：有限独异点问题），本身就是一个重要的可判定性课题（第六章 6.11）。

无限的利器：鸽笼原理的词版。有限商集里走长路必绕圈：若商独异点恰有 N 个元素，则任何词 w 的幂序列 ε, w, w², …, w^N 必有两项同类（N+1 个对象进 N 个类），于是存在 0 ≤ s < t ≤ N 使 w^s = w^t——幂进入周期。这一条在群论里对应「有限群元素有有限阶」，在半群里条件更弱（不需可逆）而结论同型，是第三章构造有限商、第六章研究幂等元谱的第一工具。注意方向性：w^s = w^t 在群世界可消去而得 w^t−s = ε，在半群世界不能消去——周期性以「幂等化」而非「回到幺元」的方式呈现（第六章：幂等元恒存在）。

有限与无限的分界线上站着两个词：枚举（有限侧的万能钥匙）与鸽笼（无限侧的圈套制造机）。本书反复使用的正是这两个。

第一章 集合·关系·词：代数的语言1.15 预告：结合律将带来什么

本章一直在为「结合律」铺垫，最后一节把账算明白：下一章拿到这条公理后，第一批红利是什么？读者可以带着这份清单进入第二章，验收每一条的证明。

五条红利对应五个方向，但它们共享同一个证明引擎：结合律使「中间过程」隐形。凡结论只依赖起点、终点与「以某种次序执行」而不依赖加括号方式的地方，结合律都在暗中工作。反过来说，一切「半群比群难」的地方，病因都是另一条公理缺席——可逆性：幂不能回头、方程未必解、理想不如正规子群听话。第六章 Green 关系体系的宏伟大厦，说到底是一台「在不可逆世界里模拟可逆性」的精密仪器；到那时读者会回头承认：第一章擦亮的语言（等价、商、良定义）正是这台仪器的全部零件。

本章正文到此收束。后面的例题课（27–30）把四个技术动作练熟：验等价关系、验良定义、证结合律、读乘法表；习题课 16 题分三档，实验课用程序枚举等价关系并验证乘法表；误读辨析、思想卡与札记收拢世界观。开始吧——第一站，等价关系（例题课 1.A）。

行至此页，语言课武装完毕：映射三品种、等价三分律、商与良定义、字典序、归纳三面孔、词与自由——六件武器全部入库。第二章起，用它们攻城。

第一章 集合·关系·词：代数的语言例题课 1.A：等价关系的验证与类计算

例 A.1。在 ℤ 上定义 a ~ b ⟺ a − b 是偶数。验证它是等价关系，并求全部等价类。
思路。验三条，各用一句算术；分类用「除以 2 的余数」盘查。
解。自反：a − a = 0 偶。对称：b − a = −(a − b)，负偶数仍是偶数。传递：a − c = (a − b) + (b − c)，偶加偶为偶。三类验证完毕，是等价关系。分类：任一整数或余 0 或余 1（除以 2），故 [0] = {…, −2, 0, 2, 4, …}（偶数），[1] = {…, −1, 1, 3, …}（奇数）；两个类，ℤ/~ = {[0], [1]}。变式：把「偶数」改成「3 的倍数」，类变成三个；改成「k 的倍数」，就得到模 k 等价关系，k 个类（习题 1（一）第 2 题）。

例 A.2（映射生成的等价关系）。设 f: ℝ → ℝ, f(x) = x²，令 x ~ y ⟺ f(x) = f(y)。验证等价性并分类。
思路。1.4 节说过映射生成的等价关系自动合格——但要亲手验一遍才踏实；分类的关键是解方程。
解。自反、对称显然；传递：f(x) = f(y), f(y) = f(z) ⟹ f(x) = f(z)（等号可传）。类：x² = y² ⟺ y = ±x，故 [2] = {2, −2}，[0] = {0}，一般 [x] = {x, −x}（x ≠ 0）。商集是「数对 ±x 打包」的世界，与 [0, +∞) 双射（取 |x| 当代表）。变式：f(x) = cos x 的类是什么形状？（[x] = {±x + 2kπ}，习题 1（一）第 3 题。）

例 A.3（挑剔的判决）。判断下列 ℤ 上关系哪些是等价关系：① a ~ b ⟺ a ≤ b；② a ~ b ⟺ ab > 0；③ a ~ b ⟺ |a − b| ≤ 1。
思路。逐条扫描三性质，找反例优先于找证明——一个反例足够否决。
解。① 非对称（1 ≤ 2 而 2 ≰ 1）——这是偏序不是等价。② 对称、传递（同为正或同为负，乘积传递保持），但 0 自反破（0·0 = 0 不 > 0）——差一点！③ 自反对称，传递破：0~1, 1~2 但 |0−2| = 2。三题全灭，无人过关——「看起来像等价」与「是等价」之间，隔着逐条验证的距离。变式：③ 改成 |a − b| ≤ 1 的传递闭包是什么？（一切整数互等价，全关系——想想为什么。）

例题课用法：先遮住解，自己走一遍；卡住不超过五分钟再回看思路行。三个「变式」是正式的习题 1（一）预告。

第一章 集合·关系·词：代数的语言例题课 1.B：商集与良定义的辨析

例 B.1（合法的继承）。在 ℤ/~₃（模 3 三类）上定义乘法 [a]·[b] = [ab]。验证良定义，并算 [2]·[2]。
思路。1.7 的标准动作：设 a' ≡ a，验 a'b ≡ ab。
解。a'b − ab = (a' − a)b，左因子差为 3 的倍数，乘任何整数仍是 3 的倍数；右变量同理。对一切代表元选择成立，良定义。[2]·[2] = [4] = [1]。顺手把表画出来：[0] 行全 0；[1] 行 [0][1][2]；[2] 行 [0][2][1]——三阶乘法表，拉丁方性质成立（这是 ℤ/3ℤ 的乘法群，第二章回头再看它）。

例 B.2（非法的「运算」）。在同一个 ℤ/~₃ 上定义 [a] ⊛ [b] = [a^b]（b ≥ 0）。判决合法性。
思路。找一组代表元，两种选择给出不同类——一个反例定案。
解。取 [1] = [4]（都是 3 的倍数余 1 类），底数换元：[1] ⊛ [2] = [1²] = [1]，而 [4] ⊛ [2] = [4²] = [16] = [1]（16 ≡ 1 mod 3）——居然相同？再试指数换元：[2] = [5]，[2] ⊛ [2] = [8] = [2]，[2] ⊛ [5] = [32] = [2]（32 ≡ 2 mod 3）——也相同？莫急，换模：模 2 下 [1] = [3]，而 1² = 1, 3² = 9，模 3 比较 [1] ≠ [0]——反例到手。判决：非法（在不同的模组合下挑反例是本题的教学点：良定义检验是对「关系」的，不是对某一次计算的）。∎

例 B.3（映射的良定义）。定义 g: ℤ/~₃ → ℤ/~₃，规则「[a] ↦ [a² + a]」。判定 g 是否良定义；若是，求 g([2])。
思路。1.7 末段的等价表述：检验 a ≡ a'（mod 3）⟹ a²+a ≡ a'²+a'。
解。差 (a²+a) − (a'²+a') = (a−a')(a+a'+1)；第一因子是 3 的倍数，整体自然也是。良定义 ✓。g([2]) = [2²+2] = [6] = [0]。变式：[a] ↦ [a² + b]（b 是另一个输入）为什么必须作为二元运算验两边？原因在于投影把 (a, b) 一对都压扁了，两个坐标各需一次合法性（习题 1（一）第 6 题）。

良定义三问：换左代表元变吗？换右代表元变吗？两边同时换变吗？三问全「不变」，海关放行。

第一章 集合·关系·词：代数的语言例题课 1.C：映射复合的结合性证明

例 C.1（完整重证命题 1.3）。设 f: Y → Z，g: X → Y，h: W → X。证明 (f ∘ g) ∘ h = f ∘ (g ∘ h)。
思路。映射相等的定义（逐点）＋复合的定义（代入）。证明分两步：先确认两边定义域陪域一致，再逐点展开。
证明。左边：(f ∘ g) ∘ h 的定义域为 W（h 收 W 出 X，f∘g 收 X 出 Z），陪域 Z；右边同型。对任意 w ∈ W：左边 ((f∘g)∘h)(w) = (f∘g)(h(w)) = f(g(h(w)))；右边 (f∘(g∘h))(w) = f((g∘h)(w)) = f(g(h(w)))。逐点相等，故两映射相等。∎

例 C.2（最小反例法首演）。证明：对一切 n ≥ 1，映射复合的幂 fⁿ ∘ f = f ∘ fⁿ（幂与自身交换）。
思路。对 n 归纳；归纳步用 1.9 的强归纳格式——允许动用一切更小者。
证明。基础 n = 1：f∘f = f∘f 平凡。归纳步：设结论对一切 1 ≤ m ≤ n 成立，则 fⁿ+1∘f = (fⁿ∘f)∘f = (f∘fⁿ)∘f = f∘(fⁿ∘f) = f∘(f∘fⁿ) = f∘fⁿ+1，四个等号依次用了：幂的定义（把 fⁿ+1 写成 fⁿ∘f）、归纳假设、命题 1.3 的结合律（两次重括号）。∎
点评。注意证明里结合律被使用了两次：一次「合并」、一次「拆开」。结合律在实战中的形态就是「重括号」——这是它区别于其他公理的辨识特征。

例 C.3（不可交换的实证）。取 X = {1, 2, 3}，σ = (1 2)（交换 1、2），τ = (2 3)（交换 2、3）。计算 σ∘τ 与 τ∘σ，验证不等。
解。(σ∘τ)(1) = σ(τ(1)) = σ(1) = 2；(τ∘σ)(1) = τ(σ(1)) = τ(2) = 3。第一点已不同，故 σ∘τ ≠ τ∘σ。∎
点评。这是全书第一个「非交换」的实物标本：三阶世界已装不下交换律。通往第二章：这三个变换将住进 6 阶乘法表，那张表（对称群 S₃）是群论一切的起点，也是「变换集 + 复合」模式的第一次显形。

本课三个证明动作请入库：逐点验等、强归纳（含两次重括号）、反例定案。全书大半证明由这三件套组装。

第一章 集合·关系·词：代数的语言例题课 1.D：从乘法表读出结构信息

本课拿两张真表做「读片训练」——看表诊断，是半群实验的基本功。

例 D.1（读模 3 加法表）。1.10 的 ⊕ 表：读出幺元、每个元素的逆、交换性、周期。
思路。1.10 口诀逐条走。
解。首行首列原样 ⟹ 幺元 0。找逆：在 1 的行里找 0——落在第 2 列，故 1 的逆是 2；2 的逆是 1；0 自逆。对称表 ⟹ 交换。周期：0 阶 1；1 的幂 1, 2, 0, 1, … 周期 3；同 2。每行重排（拉丁方）⟹ 消去律成立。结论：这是一个 3 阶交换群（第三章将知它由一个元素生成——循环群 C₃）。∎

例 D.2（读差表并判死刑）。a ∗ b = |a − b| 在 {0,1,2} 上：诊断所有结构病。
思路。仍按口诀，但预期是「全病」。
解。幺元 0（首行首列原样）。行 1 是 1, 0, 1——非重排，消去律破（1∗0 = 1∗2 而 0 ≠ 2）。对称表 ⟹ 交换。逆：1 打 0 找不到（行 1 无 0？有，第 2 列——1∗1 = 0，1 自逆）；2 打 0：2∗2 = 0 自逆——但这不救它，结合律已破（1.10 的算例：(1∗1)∗2 = 2 ≠ 0 = 1∗(1∗2)），连半群都不是。诊断结论：交换、有幺元、部分可逆，但结合性死亡——本案教育点：幺元与可逆性是「装饰」，结合律才是「承重墙」；承重墙塌，房子不是群也不是半群，什么都不是。∎

例 D.3（从表读幂等元）。取 {0,1,2} 上的「取最大」运算 a ⊔ b = max(a, b) 的表，读出幂等元个数与幺元。
解。表：对角线上 0,1,2；对角线上方填列标、下方填行标。每个元素 x ⊔ x = x——全体幂等（3 个）。幺元：须 0 ⊔ x = x，即 0 打谁都输——0 是幺元 ✓（最小元当幺元，取最大运算的常态）。结合：max 链与括号无关 ✓。诊断：交换幂等独异点（术语：半格，第六章主角之一）。∎
点评。三张表三种命运：循环群（优雅）、病态差表（非半群）、半格（另一种优雅）。结构的多样性从第一张表就开始了。

读片进阶：看完幺元与逆，下一个必查项是对角线——幂等元的位置。全幂等（半格）、部分幂等（一般半群）、仅幺元幂等（群的世界），对角线一眼分晓。

第一章 集合·关系·词：代数的语言习题课 1（一）：关系与商

1.1（★）设 f: X → Y 是映射，定义 x ~ x' ⟺ f(x) = f(x')。证明 ~ 是等价关系。

1.2（★）在 ℤ 上定义 a ~_k b ⟺ k | (a − b)（模 k 同余，k ≥ 1）。验证等价性，数出等价类个数，并给出 k = 5 时每类的代表元最简形式。

1.3（★）在 ℝ 上令 x ~ y ⟺ cos x = cos y。描述全部等价类，并构造商集与 [0, π] 的一个双射。

1.4（★）ℤ 上关系「a ~ b ⟺ ab ≥ 0」与「a ~ b ⟺ ab > 0 或 a = b = 0」分别缺哪条性质？（对照例 A.3②：第二条把自反补上了，但传递仍破——请在 1, −1 附近找反例。）

1.5（★★）设 ~ 与 ≈ 都是 X 上的等价关系。证明 ∼∩≈（同时满足两者）是等价关系；举例说明 ∼∪≈ 不必是。

1.6（★★）设 ~ 与 ∗ 相容（1.7）。证明：若 ∗ 交换，则商运算 ⊛ 交换；若 ∗ 有幺元 e，则 [e] 是 ⊛ 的幺元。（这两个「结构继承」引理是 2.11 商半群定理的一半。）

1.7（★★）ℤ/~₄ 上定义 [a] ⊙ [b] = [a² + b²]。良定义吗？若是，写出 ⊙ 的完整乘法表；若否，给出最小反例。

1.8（★）计算长 ≤ 4 的二字母词总数（1.14 公式代入），并列出其中所有长度恰为 3 的词。再问：三字母词 aba 的全部循环置换与逆词各是什么？

本组主题：关系的验法（1.1–1.4）、关系的运算（1.5）、良定义与结构继承（1.6–1.7）、词的初步计数（1.8）。每题先想「用什么动作」：反例定案、逐条验证、沿映射搬——三选一。

第一章 集合·关系·词：代数的语言习题课 1（二）：映射与词

1.9（★）A = {a, b}。列出 A^* 中长 ≤ 2 的全部词（含空词），并计算 (ab)(ba)、(aba)(ε)(bb)、ε(ab)。

1.10（★）设 |w| = 7。问：w 有多少个前缀（含空前缀与自身）？多少个真前缀？若 A = {a, b}，长 ≤ 7 的词中，有多少是 ab 打头的？

1.11（★）证明：拼接满足 |uv| = |u| + |v|，且 (uv)^rev = v^revu^rev（「倒序反转次序」——穿脱原理的词版）。

1.12（★★）词 w 满足 w^rev = w 时称回文。问：长为 4 的二字母回文有几个？长为 5 的呢？证明：对任何 n，长 n 的二字母回文数公式，并指出它与「n 的奇偶」的关系。

1.13（★★）在 A^* 上定义 u ~ v ⟺ |u| = |v|（同长即等价）。验证等价性；描述等价类；这个商有多少类？由此构造一个从 A^*/~ 到 ℕ 的双射。

1.14（★★★）定义「首字母映射」：h(w) = w 的首字母（h(ε) 无定义）。把 h 扩充成 A^* → A^* 上的良定义映射（令 h(ε) = ε，h(w) = w 的首字母构成的单字母词）。证明：h(uv) = h(u) 当 u ≠ ε；问 h 与拼接还有什么关系式？它在什么等价关系下是「良定义的商映射」？

1.15（★★★）设 X 是 n 元集。证明：X 上关系总数为 2^n²；由此说明「穷举一切关系、逐个检验三性质」在 n = 4 时已需检验 2¹⁶ = 65536 个候选——实验课 1 将改用「直接生成分划」的聪明办法绕开这个爆炸。

1.16（★★★，通往第四章）在 {a, b}^* 上定义：词 w 的整理是把全部 a 移到全部 b 之前，如 abba ↦ aabb。证明：整理映射满足 T(uv) = T(T(u)T(v))（整理可吸收但需再整理）；问「整理一次即封口」的词长条件是什么？这个例子是第四章「正规形」概念的直觉原型——正规形＝每个类里被选中当代表的那件行李。

本组主题：词的计算（1.9–1.12）、商的实例（1.13）、映射的良定义（1.14）、组合爆炸的第一课（1.15）、正规形原型（1.16）。1.15 与 1.16 是通往第四章的暗桩，读第四章时请回访。

第一章 集合·关系·词：代数的语言习题课 1：提示与选解

1.2 提示。传递性一行：a − c = (a − b) + (b − c)，两加数皆 k 倍数。类个数 k；k = 5 时 [r]（r = 0,1,2,3,4）。

1.4 选解。第二关系：自反 ✓（自己乘自己非负或同为 0）；对称 ✓；传递破——反例 1·(−1) = −1 < 0：取 a = 1, b = 0, c = −1，则 a~b（1·0 = 0，两种定义下都允许 0 参与）且 b~c，但 a·c = −1 既不 ≥ 0 也不满足第二条——传递死。教训：补自反常用「特判零」，但特判零恰恰最易伤传递（0 是万物之桥）。

1.5 选解。交：三性质对交封闭（各自逐条验）。并的反例：X = {1,2,3}，~ 分 {1,2} | {3}，≈ 分 {1} | {2,3}；并关系把 2~3、1~2 拉进来却无 1~3——传递破。行话：等价关系对交封闭、对并不封闭（并需取「传递闭包」——1.3 末段埋的种子在此发芽）。

1.7 选解。差 (a²+b²) − (a'²+b'²) = (a−a')(a+a') + (b−b')(b+b')，两括号各含 4 的倍数因子，整体是 4 的倍数——良定义 ✓。表：⊙ 值域只有 [0], [1], [2]（平方和模 4 只能 0,1,2——两平方数模 4 各只取 0 或 1）；完整表 4×4 共 16 格，建议读者自填并检查「[3] 列从不出现在值里」这一奇特现象（平方和模 4 不余 3——数论小惊悚）。

1.12 选解。长 4 回文形如 x₁x₂x₂x₁，由前半 x₁x₂ 自由决定，共 2² = 4 个；长 5 形如 x₁x₂x₃x₂x₁，共 2³ = 8 个。一般：长 n 回文数 2^⌈n/2⌉——只看前半（含中点），奇偶只影响中点算不算「前半」。

1.16 选解。封口条件：u, v 中至少一个已整理且「a 段与 b 段不交错」，精确定理：T(uv) = T(u)T(v) 当且仅当 u 无 b 在 a 后（u 已整理）。一般情形必须二次整理。对照第四章：正规形映射的定义性等式 NF(uv) = NF(NF(u)NF(v)) 恒真，而「NF 即同态」需合流性——此题是这条深水定理的浅水预习。

未选解的题（1.1、1.3、1.6、1.8–1.11、1.13–1.15）与例题课的对应动作完全同型，卡住时回例题课找「最近的亲戚」。三档难度只是门面，动作只有那三件：验证、反例、构造。

第一章 集合·关系·词：代数的语言实验课 1：用程序枚举三个元素集上的等价关系

本章唯一必做实验，两个任务：① 数清 3 元集上到底有多少个等价关系；② 检验 1.10 差表的结合律——体验「程序验算」与「手算反例」的分工。

任务一：分划枚举（聪明路线）。由定理 1.8，等价关系 ↔ 分划，所以枚举分划即可。3 元集 {1,2,3} 的分划手数得出来：1+3（单块）、1+1+1（全拆）、1|2 形三块（挑 2 与 1、3 与 1、2 与 1 各一种）——共 5 个。程序验证：

任务二：结合律批量验证。把 1.10 的差表与 max 表各写成 6×6 与 3×3 嵌套列表，然后：

思考题（实验报告用）。① 分划递归里「first 并入已有块」与「自立门户」两个分支为什么不重不漏？（提示：任何分划中 first 所在块要么含后继元素要么不含。）② 结合律验证为何是 n³ 不是 n²？若要验「k 元运算的结合性」复杂度如何？③ Bell 数 52 与关系数 2²⁵ 的对比说明枚举策略的什么原则？（答案的关键词：先生成结构，再检验性质——这条原则第四章将以「生成正规形而非生成全部等价词」的形态再演。）

本实验的元教训：程序不是用来「验证已知」的，是用来找结构的。第五章的变换半群实验、第四章的迷你 Knuth–Bendix，都是这台「先生成、再检验」机器的升级版。

第一章 集合·关系·词：代数的语言误读辨析：「等价」不等于「相等」——商不是删除

初学者最顽固的误区只有一个：把商集当成「把重复的删掉」。本页把这个坑挖开看看底下埋着什么。

误区现场。问：ℤ/~₃ 的元素是什么？常见回答：「就是把整数里重复的去掉，剩 0、1、2 三个。」——错。0, 1, 2 不是「剩下的整数」，而是三个新对象：它们是集合 {…,−3,0,3,…}、{…,−2,1,4,…}、{…,−1,2,5,…}。商不是删除（在原集合里扔掉一些元素），而是打包（把原集合重新分组，每组变成一个新元素）。删除发生在旧世界里，打包造出新世界。

误区为什么危险？因为它会让良定义检验显得多余：「既然重复的删掉了，直接拿剩下的算不就行了？」——这个推理的病根在于：代表元的选取不是数据，而是裁决。商集里 [1] 和 [4] 是同一个对象；任何想在它上面定义的运算，必须对「同一对象的两种记法」给出同一答案。1.7 例 B.2 的非法运算恰恰死在这里：[1] ⊛ [2] 按记法 1 算是一种答案，按记法 4 算是另一种——同一个输入、两个输出，这在数学里叫不合法。删除视角永远看不见这道暗礁，因为它以为 4 已经「删掉了」。

三副矫正眼镜。① 等号的两面：[1] = [4] 读作「1 与 4 在此口径下视为相同」，不是「1 与 4 相等后剩一个」。② 商集的元素是集合：写下 ℤ/~₃ 时，每个元素的户口本上写着它是哪个子集——写作 [1] 是用代表元叫它，它的本体是那整个类。③ 良定义是税：从旧世界搬结构进新世界，一律交税（检验）；逃税的结构（例 B.2）必在新世界引发纠纷。这三副眼镜请在后续每一处商出现时主动戴上：2.11 商半群、3.4 商独异点、4.8 正规形、6.3 Green 类——全书四分之一的定理都在为「打包不是删除」还债。

一个甄别练习。「把词 abba 与它的循环置换 baab 视为相同」——这是一个等价关系吗？商集长什么样？（是；类＝循环置换轨道，如 {abba, baab, aabb, bbaa} 是一个类。第三章 Adian 图把词分「循环置换类」正是这个商。）再看：「把 ab 化简为 a（删 b）」——这是映射还是关系？是良定义的运算吗？（是映射 A^* → A^*，但「删任意一个 b」是多值的关系，取哪个 b 删，结果不同——多值即危险，正是商要治的病。）

一句话钉死本页：商是新对象的诞生，不是旧对象的死亡。分堆打包、逐类验算——等价与良定义这对搭档的全部工作，就这一句话。

第一章 集合·关系·词：代数的语言思想卡：抽象的第一课——忘掉对象，记住关系

本章从头到尾没有引入任何「新数」：没有分数、没有负数、没有无穷小。引入的只有看待旧对象的新方式——等价、类、商、良定义。这是现代数学最核心的一次范式转移，值得单独一页把它说透。

十九世纪的这个问题开启了它。「2/3 是什么？」若答「一对整数 (2,3)」，则 2/3 ≠ 4/6，分数运算法则崩溃；若答「一个数」，则必须说清 2/3 与 4/6 何以是同一个。十九世纪的回答是天才的一步：分数不是对，是「对」的等价类——2/3 = [(2,3)]，而 (2,3) ~ (4,6) 因为 2·6 = 3·4。对象不再是「物」，而是「关系下的类」。今天 called 商构造的这个动作，当年叫「定义的算术化」；它在数学里此后到处开花：整数是自然数对的类（差）、有理数是整数对的类（比）、实数是有理数列的类（柯西）、群是呈现的类（词）——现代数学的每一层楼都是一次商。

抽象的交换律：丢掉细节，换来普遍。为什么值得这么绕？因为类的世界里证明一次，处处有效：证明了「模 k 加法良定义且结合」，就同时拥有了钟表算术、星期算术、密码学里的模运算——不必逐个重证。代价是必须先做两件反直觉的事：承认 [1] = [4]（与自己多年的直觉作对），并接受良定义税（每搬一个结构验一次）。第一章的赌注就是：这两件事练熟之后，第二章起的一切抽象对读者将不再是「玄」，而是技术。

与本书主线的接头。半群呈现理论是这套思想最壮观的现场：自由独异点是「词的白纸世界」，关系 R 是一批「视为相同」的指令，商独异点是打包结果，良定义检验（同余相容性）是总闸门，而字问题问的是「打包之后，两个词还能不能分清」。第四章将证明：打包这个动作本身可能不可判定——「分堆」这件看起来人畜无害的事，在足够复杂的世界里会失去算法。届时读者将看见：第一章这套温和的语言，藏着二十世纪逻辑学最深的裂缝。

思想卡一句话：数学的进步常常不是发现新对象，而是发明新的「相同」。选好等价关系，等于选好了要住进哪个宇宙。

第一章 集合·关系·词：代数的语言札记一：语言即世界观——从「关系」看数学

九章格的每册都有格物札记——在技术推进的间隙停下来，问一句「我们刚才做的事，到底意味着什么」。第一章的答案是关于语言的。

先把一个观察摆在桌面上：本章没有一个定理在传统意义上「难」，可它决定了读者能否读懂本书后面的一切。原因不难找：1.4–1.7 四节教的不是某个事实，而是说话的方式——「视为相同」「分堆打包」「换代表元不变」。语言方式一旦切换，困难自动消失：读者将发现第二章的同态、第三章的同余、第四章的正规形，说的全是同一句话；而没能切换的读者，会在每个新章里把同一个概念重新「学」一遍，越学越重。这不是智力问题，是装备问题——等价关系的语言就是那副夜视镜。

再深一层。数学的许多「进展」其实是「改述」。分数的加法在没有等价类语言时是一场灾难（为什么 2/3 + 1/4 不等于 3/7？必须诉诸pizza直觉），有了等价类语言后它成为一条定义（[(a,b)] + [(c,d)] = [(ad+bc, bd)]）加一次良定义检验——灾难变成了技术。同样地，本书第三章将把「两个词在什么意义上相等」从模糊的困惑变成精确的关系生成问题。数学史的许多关口，赢的不是「更强的计算」，而是更好的说清方式；而「说清」的载体，正是本章这样的基础语言。

最后把镜头对准本书的暗线。「自由与约束」这对阴阳，第一章已各亮了一面：自由的一面是词的世界（1.11–1.12，没有规则的串），约束的一面是等价与商（1.4–1.7，把视为相同立为法律）。表面上这两节各不相干，实则它们是同一个故事的上下集：约束规则的合法性靠良定义检验，而检验的舞台正是自由世界。第六章末尾将看到这个结构的全貌：半群理论的全部力量，来自它同时握住两端——既能站在自由的浪尖上生成一切，又能在约束的河道里测量一切。

札记一句：学数学的第一桶金不是定理，是语言；语言到位，定理是利息。下一章开始，利息滚起来了。

第一章 集合·关系·词：代数的语言第一章小结与速查

自测五问（每问 30 秒，过不了回对应节）：① 为什么映射相等必须逐点验，而「验一个反例」能否决一条性质？② 等价类的「两类相交则相等」用到了三条性质中的哪条？③ 商上定义运算的合法性检验，标准的证明动作是什么？④ 字典序为什么不能当重写系统的终止度量？差一点的修正方案叫什么？⑤ 长度 ≤ 4 的二字母词有多少个？其中回文几个？

本章 30 页的全部内容，压缩后就是一句话：先把「视为相同」说清楚，才能开始做代数。下一页是一道挑战题——用它检验这三十页的成色。

第一章 集合·关系·词：代数的语言挑战题：十六个元素上的运算全景

题面。设 X = {0, 1, 2, 3}，考虑 X 上由「模 4 加法」与「模 4 乘法」诱导的三个对象：(甲) (X, +₄)；(乙) (X, ×₄)；(丙) 商集 ℤ/~₂ 上的模 2 乘法 ×₂。完成以下五问（总字数预期不超过两页，但每一问都要求写出判据而不只是答案）。

(1) 对甲、乙各自画出 4×4 乘法表，并读出：幺元、每个元素的可逆性（有逆者给出逆）、幂等元集合、交换性、消去律成立与否。

(2) 判定甲、乙何者为群、何者为（非群的）独异点、何者连半群都不是。对「非群」的那一个，指出它「差在哪里」——用一句话说出它最像群的那部分结构（提示：找出其中可逆元素构成的子集，并验证该子集对运算封闭）。

(3) 证明：乙的可逆元素集合 {1, 3} 在模 4 乘法下构成群。这一问是第二章「单位群」概念的完整预演——「独异点内部藏着群」是半群理论的第一个结构定理雏形。

(4) 在 ℤ 上定义 a ~ b ⟺ a ≡ b (mod 2)。证明模 2 乘法良定义（1.7 的标准动作，一步不省），据此把 (丙) 的 2×2 表写出，并判断 (丙) 与乙的某子结构之间的自然对应——「乙的哪些元素被打成了丙的哪个元素」？这个对应保运算吗？

(5，通往第三章) 在 {0,1,2,3}^*（数字词）上定义 u ~ v ⟺ u, v 作为整数的和模 4 相等（空词和为 0）。验证这是等价关系；证明它与词拼接不相容——找一个反例；再定义「取词的数字和模 4」作为从词到甲的映射，证明它与拼接相容（即 S(uv) = S(u) +₄ S(v)）。五问连起来看：同一批对象，用「加法」打包得到好商，用「乘法」打包得到坏商——等价关系的选取决定了世界的命运。这句话是第三章呈现理论的全部灵魂，此处先睹为快。

参考答案要点（先自己走完五问再看）：甲是 4 阶循环群（幺 0，1 与 3 互逆，2 自逆，2² = 0 幂等——注意群里幺元是唯一幂等元，2 是幺元吗？不是：2·2 = 0 ≠ 2，核对 (1) 的答案！）；乙幺元 1，可逆者 {1, 3}，幂等者 {0, 1}，2·2 = 0 且 2 零化一切——乙是交换独异点非群；丙={e, x}，x·x = x 幂等半格；(4) 的对应把 {0,2} 打给 e、{1,3} 打给 x，且保乘法（2·2 = 0 ↔ e·e = e）——这就是「商映射是同态」的第一个实物标本；(5) 反例："2" ~ "6"（和 mod 4 同余 2）但拼接 "2"·"0" 与 "6"·"0" 和为 2 与 6，mod 4 不同余——不相容；而数字和映射相容的证明正是归纳法（对词长强归纳，1.9 实战）。

挑战题的评分标准不是对错，是判据：每个结论后面跟着的那句「因为……」才是本题真正要训练的肌肉。做完这题，第一章毕业。

第二章 半群与独异点：结合律的世界导引：结合律的世界

第一章备齐了语言，本章正式进入对象世界。路线是教科书式的——先立定义（2.1–2.3），再造例子（2.4–2.9），最后搭出两台机器：表示机器（2.8 的 Cayley 定理）与商机器（2.10–2.12 的理想、同余与同态定理）。这两台机器就是半群理论的双手：左手把抽象搬到具体（表示），右手把复杂压成简单（商）。全书后面六章，用的都是这两只手。

与群论教材的同名章节相比，本章有两处刻意的不同，值得先说明。其一，反例与正例平起平坐：群论课的例题几乎全是群（因为概念一开始就收窄了），本章的「动物园」（2.9）里一半是非群的半群——不是猎奇，而是因为半群世界的「病理样本」正是理解「群的特权」的唯一途径；第五章将把这份病理学整理成嵌入障碍的精确理论。其二，商构造提前并加重：在同态定理之前，先用一整节（2.11）讲同余——因为第三章的呈现理论，本质上就是「同余的生成语法」；把同余讲成主角而非脚注，第三章的一切将不再突兀。

读完本章，读者应当能做三件事：拿到一个具体运算，五分钟内判定它是否半群/独异点/群，并说出它的可逆元集与幂等元集；拿到一个映射，判定是否同态，并顺手算出同余类；给定任何抽象半群，写出它的变换表示。这三件事是第三章的入场券。

读法建议：2.1–2.8 是主干，顺序读；2.9 动物园可先浏览后精读（例子越往后越重要）；2.10–2.12 的商机器是本章心脏，慢读；2.13–2.15 收束与搭桥。四节例题课对应四项入场技能。

第二章 半群与独异点：结合律的世界本章地图：从定义到商的骨架

行军要诀三则。其一，单位群是本章的「小群论」：2.3 证明独异点的可逆元构成群——群论的全部技巧在这个子世界里照常运转；于是「独异点问题」常常分两步：先解单位群（用群论），再处理外面的大海（用半群论）。其二，同态定理是全书考三次的良定义卷的第二次：2.12 的核心证明动作与 1.7、与未来的 3.4 完全同型，本章务必练到手熟。其三，Cayley 定理是「表示」思想的样板间：它的证明模式（右平移变换＋逐点验证）在第六章将被原样升级为 Vagner–Preston 定理；看懂一次样板间，装修的事后面再说。

与前后的接口：2.6 的幂与周期 → 6.2 幂等元谱；2.9 的字符串例子 → 3.1 自由独异点；2.10 Rees 商 → 6.4 Rees 矩阵定理；2.11 同余 → 3.4 由关系生成同余；2.15 的桥 → 3.2 呈现的定义。每根暗桩在正文里照例标黑。

本章是全书唯一一节「标准教材」浓度最高的章——因为它服务的是地基。从第三章起，路线图上不再有现成的路，每一节都是往地图空白处走的一步。

第二章 半群与独异点：结合律的世界2.1 半群：定义与第一批例子

定义只有两句话，重量全在「非空」与「封闭」里：运算是从 S × S 到 S 的映射，乘完不许跑出集合——这条封闭性是隐含的第一公理。第一批例子按「血统纯度」排开。

例 2.2（第一批例子）。① (ℕ₊, +)：正整数加法。结合 ✓，无幺元——纯半群。② (ℕ, +)（含 0）：加法半群加幺元 0——独异点，非群（1 无逆）。③ (ℤ, +)：群（人人有负）。④ (ℕ₊, ×)：乘法独异点（幺元 1），非群（2 无逆）。⑤ ({1}, ×)：一元群——最小的群。⑥ 左零半群：任取集合 S，定义 ab = a（乘积永远等于左因子）。结合：(ab)c = a，a(bc) = a ✓。极端标本：交换、人人幂等、消去律崩坏（a·1 = a·2 恒真而 1 ≠ 2）。右零半群对称定义 ab = b。⑦ 常值半群：ab = c₀（固定常数）。结合 ✓；是左零的退化堂亲。

七个例子各有使命。①②③ 展示「同一运算、三种命运」——只差一个 0，半群升独异点再升群，可见幺元与可逆性是台阶而非装饰。⑥⑦ 是「病理科标本」：此后任何想验证「在一切半群里不真」的命题，先来这两间病房找病人（例：非群半群里幂等元可以人人都是——左零；幺元可以不存在——①；乘积可以只由左因子决定——⑥）。④ 是最常见的「半路半群」：乘法世界天然从 ℕ₊ 出发，单位 1 是后来追封的。

还有一个「隐形半群」必须现在点名，它是第三章的主角：词的拼接。(A^*, 拼接)——1.11 已认识词，拼接显然封闭，结合律将在 3.2 节严格验证；幺元是空词 ε——所以它其实是个独异点，且是「最自由」的独异点。通往第三章：自由独异点不是众多例子中的一个，而是所有例子共同的语法表面——第三章将证明任何独异点都是它的商像。

识别半群的三步检查：封闭（乘完还在家吗）→ 结合（三员测试）→ 有无幺元（定楼层）。第二步对具体表是 n³ 次乘法（实验课 2 程序代劳），对公式运算是找「重括号」论证。

第二章 半群与独异点：结合律的世界2.2 独异点：幺元与唯一性

证明两行，却示范了一个重要的角色切换技术：同一个元素，在不同公理面前扮演不同角色。这条技术在第五章判定「units 构成群」时还要再用一次。注意唯一性依赖结合律：非结合的运算可以有多个「双侧幺元」（习题 2（一）第 4 题构造）——又一条「公理变现」的例子。

接下来处理一个实践性问题：半群「补装」幺元。给定真半群 S（如 ℕ₊），想把它升级为独异点，标准做法是 S¹ 构造：

这个不起眼的构造在半群论文里的出镜率极高——高到成为行话：文献里「不失一般性设 M 为独异点」的合法性全靠它。两个使用纪律：①「新符号」必须真的新——若 S 已有元素扮演幺元却没被承认，S¹ 会造出两个幺元，违反命题 2.4（所以定义里才有那个分支）；② 幺化改变结构性质——S 的理想在 S¹ 里不再是理想（1 跑出去了），2.10 讲理想时会看到这条尾巴。

例 2.6。① (ℕ₊, +)¹ 同构于 (ℕ, +)——给正整数补 0。② 左零半群的幺化：ab = a 的世界里加 1，新表只在 1 行 1 列有新花样。通往第三章：呈现理论约定独异点呈现 Mon⟨A | R⟩ 自动含幺元——词世界的空词 ε 就是天生的 1；而半群呈现 Sgp⟨A | R⟩ 则不带——两种呈现的差别正是幺化的有无，第三章 3.6 将把这层窗户纸捅破。

幺元是「 不动点」：乘法风暴里静止的那个点。找幺元的动手版：乘法表里找「首行首列等于表头」的那行那列——例题课 2.A 实操。

第二章 半群与独异点：结合律的世界2.3 可逆元与单位群

两条批注。其一，逆的定义要求双侧（ab = ba = 1）；在半群理论里有单侧弱化版（左逆、右逆可不同，甚至有无穷多「逆」——正则半群的世界，第六章），双侧版是独异点里最贴近群的一段。其二，命题 2.8 是本章第一条「结构定理」：它说每个独异点内部都住着一个群——群不是半群的对立面，而是半群的核心器官。「独异点问题」的通用战术由此形成：先把 U(M) 搞清楚（群论武器全数可用），再研究外面的「非可逆大海」。

例 2.9。① U(ℤ, ×) = {±1}——绪论的三层楼在整数的答案。② U(ℤ/nℤ, ×)：与 n 互素的剩余类，是数论的入口（n 为素数时是循环群——第三章习题）。③ U(词拼接独异点) = {ε}：除了空词，谁也回不去——「覆水难收」的严格化。④ U(𝒯_X)＝X 上全体双射＝对称群 S_X（2.8 详述）。⑤ 左零半群幺化后：ab = a 里谁能可逆？需 ab = b 同时成立即 a = b = 1——单位群平凡。五个例子从数到词到变换，单位群或大或小，但「内部有群」无一例外。

从今天起养成拆解反射：见到独异点，第一问「units 是谁」；第二问「外面的大海长什么样」。第一问是群论，第二问才是半群论——全书就是围着这一内一外转的。

第二章 半群与独异点：结合律的世界2.4 子半群与生成：闭包的世界

封闭性是本章最宽松的结构要求（一条公理都不到——结合律是白继承的），因此子半群的海量存在不足为奇：{1}、{2, 4, 8, …}（乘法）、任何单点 {s}（s² 落回自身？未必！{s} 封闭 ⟺ s² = s，即 s 幂等——单点子半群与幂等元一一对应，这是 2.14 相册的第一张照片）。

「交」的定义优雅（无选取争议），「乘积」的定义实用（可直接计算），两者等价——等价性正是第一章「闭包」直觉的形式化：乘积集合封闭、含 A、且被任何含 A 的子半群包含（因为后者须收下一切乘积）。这个「最小封闭扩张」的模式将出现三次：子半群（本节）、子独异点（加 1）、以及第三章最重要的同余闭包（把生成关系扩成同余）——三次都是同一个论证骨架。

例 2.12（循环半群完全分类）。单生成元 ⟨s⟩ = {s, s², s³, …}。两种命运：① 全体两两不同——循环半群同构于 (ℕ₊, +)（无限型）；② 存在 i < j 使 sⁱ = s^j——取最小这样的对，则 ⟨s⟩ = {s, …, s^j−1} 共 j−1 个元素，且内部形状是「尾巴＋圈」（索引 i−1 节尾巴接 j−i 节周期圈）；特别地，圈上必藏幂等元（取圈内第 m 个：使 m ≡ 0 mod 圈长 的那一个，验证 (s^m)² = s^m）。这是 1.14 鸽笼原理的第一次正式收获，也是第六章「有限半群必有幂等元」定理的循环版原型。∎（完整证明作为例题课 2.C 的压轴。）

生成是把子集变成结构的动作：从 {a} 出发，乘法像滚雪球。滚出的形状只有「直线」与「尾巴加圈」两种——单生成元的贫瘠，恰是它可控的富饶。

第二章 半群与独异点：结合律的世界2.5 同态与同构：保结构的映射

同态是「结构搬运工」：先乘再搬＝先搬再乘。这一条等式是全部内容，验证它的动作（逐对检验）与第一章验证等价关系同源。注意独异点同态的附加条款 φ(1) = 1 不是自动的：φ(a) = 常值 c（c 幂等）是合法的半群同态，但除非 c = 1，它不是独异点同态——半群同态比独异点同态多，窗口更宽；本书处理呈现时默认独异点口径（第三章），故附加条款默认在用。

同态的三个层次与第一章三品种的对应：同态（保运算，对应任意映射）→ 满同态（对应满射，商理论的原料）→ 同构（对应双射，「同一个结构的不同马甲」）。同构是分类学的等价关系：说「这两个半群相同」，指存在同构。第一分类事实顺手可得：2 阶半群在同构意义下只有两个——二阶循环群 C₂ 与左零半群 L₂（例题课 2.A 完整枚举；3 阶就有五个，4 阶跃升到二十多个——分类学随阶数指数爆炸，这正是「结构定理」而非「枚举」成为半群论主战场的原因）。

同态的两个基本量在此定义，全书通用：

注意本书的术语纪律：半群理论里「核」不取「打到幺元的原像」（那是群论的 φ⁻¹(1)），而是取整个等价关系。为什么换口径？因为半群里 φ⁻¹(1) 信息量不足——它丢掉了「哪些元素同余」这份数据（群论靠可逆性把等价关系压回一个子集：陪集 g·ker，这是群的特权）。同余是半群版的「正规子群」——2.11 节把这个平行关系摆上台面。

同态两句话：定义一句话（先乘再搬＝先搬再乘），验证一个动作（逐对检验）。但它的两件产品——像与同余核——将承包第二章后半的全部剧情。

第二章 半群与独异点：结合律的世界2.6 幂与周期：结合律的直接红利

第一章 1.15 预告的五条红利，本节兑现第一条。设 S 半群，a ∈ S。

证明只有一行重括号，但请看清它的身份：这是「结合律 ⟹ 幂合法」的完整论证。没有结合律，aⁿ 有 C_n−1 种读法各不相同（差表的教训）；有了它，幂成为无歧义的全书通用货币。独异点里补定义 a⁰ = 1，指数律扩展到 m, n ≥ 0；可逆元的负幂 a⁻ⁿ = (a⁻¹)ⁿ 只对 units 有定义。

幂的行为立刻分岔（与 2.12 的循环分类呼应）：无限型 {aⁿ} 两两不同；有限型出现 aⁱ = a^j（i < j）。有限型里最有分量的一条：

这条小定理是半群理论的第一根「自己的柱子」——群论没有它的对应物（群里幂等元只有 1）。它的分量要到第六章才完全显形：有限半群必有幂等元；一切不可逆性最终沉淀为幂等元。第六章将把幂等元集研究成半格（2.14 相册、6.2 谱）。

幂等元是「能量耗尽的终点」：任何有限动力（连乘）最终静止在某个 e² = e 上。群的世界静止点唯一（幺元），半群的世界处处可以躺平——丰富与混乱同源。

第二章 半群与独异点：结合律的世界2.7 交换半群与可换化

交换性是第二公理候选，但它与结合律的「合租」出奇地和谐：交换半群里 a₁a₂⋯a_k 不仅括号随意，次序也随意——任何重排同值（对 k 归纳＋相邻交换）。由此交换半群长出群论里没有的花：多重集语言（乘积由「各元素次数」决定）、加法记号（交换半群惯用 +，幺元写 0，逆写 −——本书在 Grothendieck 群一节 5.5 会切换到加法记号）。

例 2.18。① (ℕ, +)、(ℕ₊, ×)、幂集 (𝒫(X), ∪) 与 (𝒫(X), ∩)、max 半群、min 半群——交换家族的全家福。② 有限交换独异点的结构：(ℤ/nℤ, +) 是原型；加法循环群 C_n 与「乘法幂等型」如 ({0,1}, ×) 是两个极端，中间有混合型（例题课 2.C 的挑战）。③ 反例仓库：左零半群交换但病重；𝒯_X（|X| ≥ 3）不交换——2.8 的主角。

可换化（交换化）构造。任何半群 S 都能「免费」变成交换的：在自由独异点层面先交换化再取商，即 交换独异点 Comm(S)——把 S 的生成元宣布两两交换后得到的最普遍交换像。严格定义要等第三章的呈现语言（Comm(A) = Mon⟨A | ab = ba 对一切 a, b ∈ A⟩），此处先记直觉：交换化=只记次数、不记次序。词 abba 的交换像是「2 个 a 加 2 个 b」——一个向量 (2,2)。由此看见一座大桥：交换独异点 ≈ 带加法的多重集世界，而多重集是线性代数与组合计数的地基。第六章将用「交换化」给 growth 分类定第一刀（多项式增长 vs 指数增长——6.9）。

交换性在结构定理中的真实身份，值得提前交底：它是「分界线」而非「催化剂」。群论里交换群（Abel 群）自成一套漂亮分类（有限生成交换群定理）；半群论里交换半群同样自成一套（子直积分解，2.13 初感），但非交换才是半群的主战场——Green 关系（第六章）的全部深度都在非交换处兑现。本书的策略：交换情形当作「已解决的参照系」，每遇新概念先在交换世界试刀，再进非交换丛林。

交换性一句话：它把「次序」从记账科目里划掉。划掉次序的账本只能记总数——所以交换半群的本质都是「计数」，而非交换半群的本质是「排列」：两门不同的学问。

第二章 半群与独异点：结合律的世界2.8 变换半群与 Cayley 表示定理

变换半群是「看得见摸得着」的半群：元素是具体映射，运算是具体执行。Cayley 定理说：这份具体性不损失任何一般性——

证明三步——构造、保复合、单射——的模式请原样收存：第六章 Vagner–Preston 定理是同一个模式在逆半群上的重演（那里 ρ_s 换成对称集上的部分双射，单射检验同样落在幺元处）。几个批注。① 「表示」的语义：抽象元素 s 从此有了化身 ρ_s，抽象乘法 st 有了化身 ρ_s∘ρ_t；研究 S 的问题可以合法地改研究变换的问题——只要问题本身是「同态不变量」（乘法结构能翻译过去的性质）。② 正则表示：本证明用的 ρ 称正则表示；它未必是最经济的表示（例：C₃ 无需 4 个点，3 个点即可表示），但它是万无一失的默认表示。③ 群的 Cayley 的对照：群版把 X 取作 G 自身且得出「子群」——因为可逆元素的平移是双射；半群版被迫幺化且只能保证「子半群」——两处差异的病根都是可逆性缺席。这又一次示范：半群定理常常是「同型但打折」的群定理。

Cayley 定理一句话：结合律使每个半群有资格住进变换世界。抽象从未自由——它永远寄居在具体之中；表示定理就是这份寄居的房产证。

第二章 半群与独异点：结合律的世界2.9 例子的动物园：矩阵·字符串·序数

本节快速放养一批例子，各有用途；读者按「三个动作」逐一过检（封闭→结合→幺元），并把每个例子登记入「反例库」。

① 矩阵半群。域上 n × n 矩阵在乘法下是独异点（幺元 I；结合律来自映射复合——矩阵即线性映射）。子例：上三角矩阵、0–1 布尔矩阵（乘法换成 ∨∧——关系复合的矩阵化身，第六章 Green 关系的计算载体）、非负矩阵（Perron–Frobenius 的地盘）。单位群＝可逆矩阵群 GL_n。用途：非交换独异点的标准来源；幂等矩阵（投影）是幂等元的连续统标本。

② 字符串与形式语言。固定字母表 Σ：Σ^*（含空串）是自由独异点（第三章主角）；Σ⁺ = Σ^*∖{ε} 是其子半群（真半群——没有幺元的版本）。语言的乘法：语言 L ⊆ Σ^* 之间定义 L₁L₂ = {uv : u ∈ L₁, v ∈ L₂}——全体语言在乘法下成独异点（幺元 {ε}）！这个「二层楼」结构（词的世界里住着语言的世界）是自动机理论的基座：第六章将证明「正则语言 ⇔ 有限独异点识别」——语言层与半群层在此对接。

③ 序数与 max-plus。自然数的 max 半群、更一般的全序集的 min/max；「max-plus 代数」(ℝ ∪ {−∞}, max, +)——把「加」当乘、「max」当加的怪世界，运筹学与调度理论的语言（关键路径＝矩阵乘法！）。用途：幂等性无处不在（max(max(a,b),c) = max(a,b,c)），是「热带半群」的入门标本。

④ 同余类与计数独异点。(ℤ/nℤ, +)、(ℤ/nℤ, ×)——第二章反复使用的沙盘。用途：一切「有限商」直觉的第一试验田；n 素与合的对比预习「域 vs 环」。

⑤ 变换的特种种群。全变换 𝒯_X 的经典子群谱系：对称群 S_X（双射）、独点缺失变换（像缺一点的单射——对称逆半群的前身，第六章）、常值映射（像只一点）、递增映射（链上的保序映射——序半群）。用途：第六章 Vagner–Preston 与蛋盒图的原材料；每一族都对应一类抽象半群。

⑥ 逻辑与计算的三个代言。命题真值 {T, F} 在 ∧ 下（幺元 T，幂等——半格）；布尔独异点 ({0,1}, ∧)；图灵机的格局迁移：一台图灵机的一切「输入到输出」对应一个变换——计算即变换半群的元素（这句话在 4.10 不可判定性一节将获得精确含义）。

动物园参观守则：每见一个新例子，登记三项——units 是谁？幂等元有哪些？交换吗？三问答完，标本入库。日后每条新定理，先来库里找「它管不管用、在哪里失效」。

第二章 半群与独异点：结合律的世界2.10 理想与 Rees 商

群论里「正规子群」是造商的唯一合法原料；半群论里接替这个职位的是理想——但它造的商是一种「单向压缩」，与 2.11 的同余商分工不同。

理想的语义是「单向吸积」：掉进去就出不来（i ∈ I, s ∈ S ⟹ is, si ∈ I）。与正规子群的深刻差别：理想是子集级的（不必是子半群！i, j ∈ I 时 ij 当然 ∈ I（因 Ii ⊆ I）——等等，其实双侧理想自动是子半群），不必含幺、不必可逆、甚至不必「看起来像缩小的 S」。例：ℕ₊ 乘法半群里，{n : n ≥ 5} 是理想（乘任何数仍 ≥ 5）；独异点里含幺元的理想只有整个 M（1 ∈ I ⟹ 一切 i = 1·i ∈ I）——真理想与幺元互斥，这是「幺化要小心」的又一处兑现。

Rees 商的合法性无需良定义检验——它不是「商上继承运算」，而是重新定义运算（0 是新建的吸收态）。这是它与 2.12 同态商的本质分工：Rees 商回答「理想外部的世界被压扁后长什么样」，同态商回答「等价类之间的运算如何继承」。验证 Rees 商的结合性需逐情形核对（六种情形，每种一行——习题 2（二）第 3 题），是「结合律逐点验证」的一次完整健身。

例 2.23。① ℕ₊ 乘法、理想 {≥ 5}：Rees 商把 1–4 原样保留、其余归 0——一个 5 元独异点（带零元）。② 零半群（ab = 0 恒真）视为任何半群对「大理想」的 Rees 商。③ 用途预告：Rees 商是第六章 Rees 矩阵定理（有限简单半群的全分类）的基砖——「拆开」与「装回」都靠它。

理想=沼泽（进去出不来），Rees 商=把沼泽填成一个湖（0）。地图上少了一大片，多了一个点——「压缩信息」在半群世界里最粗暴而有效的方式。

第二章 半群与独异点：结合律的世界2.11 同余：半群版的「商运算」

定义读作「替换在乘法下保持」：两个数视为相同，则它们「接上同一个尾巴」后仍视为相同。这正是 1.7 良定义的代数化——良定义 ⟺ 相容：在商集上 [a][b] = [ab] 合法，当且仅当 ~ 与乘法双侧相容（左变量换元用左相容，右变量换元用右相容；两侧同时换元把两步串起来）。第一章的海关检验，在代数语言里有了名字。

例 2.25。① 恒等关系与全关系：最小与最大的同余（一切半群都有）。② 模 k 同余是 (ℤ, +)、(ℤ, ×) 的同余（1.7 例 B.1 验过加法侧；乘法侧同法）。③ 非同余的等价关系：ℤ 上「同 parity」对加法相容（奇±奇=偶…），对乘法也相容；但 ℤ/~_{「|a−b|≤1」}（例 A.3③ 那个传递已坏的）根本不是等价关系——找等价但不同余的：ℤ 上分类 {0,1} | 2 | 3 | ⋯ | 负数全并 之类的人造物，检验 0 ~ 1 而 0+1=1, 1+1=2 不同类——左相容破（习题 2（二）第 5 题系统化）。④ 映射的同余核（2.14）：若 φ 是同态，则其核自动是同余：φ(a) = φ(b) ⟹ φ(ac) = φ(a)φ(c) = φ(b)φ(c) = φ(bc)——同态天生携带同余。反方向（每个同余都来自某个同态）就是下节的商定理。

同余的生成。与子半群一样，同余对交封闭——于是「由数据生成的最小同余」存在：给定 S 上任意关系对 R ⊆ S × S，包含 R 的所有同余之交是同余，称 ⟨R⟩ 生成的同余。通往第三章：这一句话就是呈现理论的种子——呈现 ⟨A | R⟩ 定义的独异点，正是「自由独异点对生成关系取同余商」；所谓「两个词在呈现下相等」，就是它们落在由 R 生成的同余的同一类里。第三章的全部技术（4.x 的 Knuth–Bendix），都是在回答一个问题：这个生成的同余，类里到底装了哪些词？

同余是「可以放心做乘法的等价」；生成的同余是「强加规则后的必然后果」。半群理论的多数深水区——呈现、字问题、重写——都是这一句的两面。

第二章 半群与独异点：结合律的世界2.12 商独异点与同态定理

定理的分量不在结论（「继承」的直觉人人都有）而在证明动作：这是 1.7 良定义检验的第一次完整服役，请读者把「换左元—换右元—同时换」三步在纸上走一遍——第三章 3.4 验证呈现的合法性时，同一张考卷再考一次，届时不再讲评。

分解定理值得画成图：M →（压扁）→ M/ker →（改标签）→ im φ →（放入）→ N。任何结构搬运＝压缩＋重贴标签＋嵌入——这架三节车厢在第三章将拖挂第四节：呈现＝从自由独异点到任意独异点的「满同态」车厢票（3.4 泛性质）。群论的同态定理靠正规子群与陪集，半群版靠同余与类——「正规子群是同余的群论压缩形态」这层翻译，第五章 5.6 讲 Adian 图嵌入时会再用。

同态定理一句话：同态的视野由它的核决定；知道「谁与谁相同」，就知道像世界的全部。压缩是信息的唯一去向，类是压缩的集装箱。

第二章 半群与独异点：结合律的世界2.13 直积与子直积初感

直积是「从旧造新」的第四种标准构造（子半群、生成、Rees 商之外），语义是并行运行：两台机器各转各的，状态打包。例：ℤ/6ℤ ≅ ℤ/2ℤ × ℤ/3ℤ（中国剩余定理的半群表述——加法乘法都对接）；C₄ ≇ C₂ × C₂（6 能拆成互素因子积、4 不能——有限循环群的直积分解判据，习题 2（二）第 7 题把它推广为「循环独异点」版本）。

直积的逆问题是分类学的发动机：哪些半群能拆成直积？拆不动的叫什么？「拆不动」的严格化是「不可直分解」（任何同构到直积的分解中必有平凡因子）。群论在这里给出有限交换群的优美定理（素数幂循环群的直积，唯一）；半群论的对应图景远为混沌——不可直分解的有限半群多如牛毛，于是分类学改换战略：子直积。

初感只需记住两点与一条定理的陈述。两点：① 子直积是「共享坐标的并行」——直积是自由并行，子直积是有契约的并行（如 {(0,0), (1,1)} ⊆ C₂ × C₂：两台机器被迫同步）；② 子直积分解比直积分解普遍得多——混沌世界里的「拆解」新范式。一条定理（Birkhoff 型，陈述留给第六章 6.7）：每个交换独异点都子直嵌入「子直积不可约交换独异点」的直积——交换世界的分类学由此落地（非交换世界，第六章会说明为何此路不通）。本节的价值在战略：当直积拆不动时，放宽到子直积；当子直积也拆不动时，改用第六章的 Green 关系切蛋盒——分类学的三级火箭，今天点火第一级。

直积是各过各的日子，子直积是联姻——成员各自完整，但状态受契约约束。「拆解一个结构」的数学史，就是不断放宽「合法婚姻」定义的历史。

第二章 半群与独异点：结合律的世界2.14 零元·幂等元·群部分：特殊元素的相册

本章定义的零件已经够多，本节把「特殊元素」们集中拍照，登记各自的代数身份——这本相册是第六章结构理论的图例。

相册的使用方法：拿到任何半群，按序登记——零元？幺元？E(S) 有几个？units 是谁？局部群在哪？五问答完，结构轮廓已现。用ℤ/4ℤ 乘法独异点示范：无零元？2 乘谁都降级（2·2 = 0）但 0 不吸收一切（2·1 = 2 ≠ 0）——无零元；幺元 1；幂等 {0, 1}；units {1, 3}（群部分＝{1,3}≅C₂）；局部群另一个：⟨2⟩ = {1, 2, 0}，圈内幂等 0，{0, 2} 是「相对 0 的群」？验：0 当幺则 2·2 = 0 ✓、2·0 = 0 ✓——{0, 2} 构成以 0 为幺的群！这是一个群 whose 幺元不是 1 的活标本——群不需要住在幺元上，任何一个幂等元都能当群心。第六章 ℋ 类理论把这个现象工业化。

相册口诀：先找两个「一」（幺与零），再数「躺平者」（幂等），最后圈出「贵族圈」（群部分）。五问画完，蛋盒图的草稿已在纸上。

第二章 半群与独异点：结合律的世界2.15 通往第三章的桥：为什么需要呈现

本章结束时，请把已建成的家当清点一遍，然后看它们为什么还不够——这道「不够」的裂缝，正是第三章的大门。

已建成的。定义宇宙（半群·独异点·单位群）＋四种构造（子·生成·Rees·直积）＋两台机器（Cayley 表示、同态商）＋同余的语言。理论上，任何有限半群都已可以完整描述：把乘法表抄下来。有限世界，表格是万能的描述。

裂缝一：无限对象怎么办？𝒯_ℕ、矩阵、词世界——表格写不下。需要一个有限描述无限的工具：给几个生成元、几条规则，让其余一切「自动生成」。数学里这种工具的通用名字叫呈现——群的呈现（〈生成元 | 关系〉）十九世纪已大获成功；独异点的呈现理论却在二十世纪遭遇了群论没有的暗礁（字问题不可判定）。第三章正是为铺设这条独木桥而写。

裂缝二：有限也可以需要呈现。即使半群有限，乘法表也未必是好描述——50 元的半群表 2500 格，查一次「ab 等于谁」要在表里爬；而呈现「⟨a, b | ab = ba, a³ = 1⟩」三行写完，结构一目了然（这是 C₃×C₂ 型？读者可猜）。描述的经济性本身就是研究价值——第四章将证明这种经济性有代价（有些呈现的后果永远算不完）。

裂缝三：本书的私心——一关系独异点。呈现语言里最纤细的一族：只有一条关系的独异点 Mon⟨A | w = 1⟩。它的诱惑与危险（绪论预告过）：Adian 1966 的无圈判据解决了一大片（第四章），而 1987 年 Adian–Oganesian 之后，剩余地带（aUb = aVa 与 aUb = a 两形）至今是开放战场。研究者的第一课就从读懂这条桥开始——本册第六章 6.14 将把 P1 问题完整陈述在读者面前。

过桥须知：第二章教的是「已有结构如何相处」，第三章教的是「结构如何从虚无中被规则召唤出来」。从描述到召唤——视角的颠倒，是全书最深的一次换挡。

第二章 半群与独异点：结合律的世界例题课 2.A：判定与构造半群·独异点

例 A.1（二阶半群完全分类）。证明：2 元集上的半群在同构意义下恰有 5 个（作为独异点视角看是 4 个）。
思路。设 S = {e, x}，按幺元分情况；每情况用「x² 落点」收网。
解。情形一：有幺元，设 e。表由 x² 决定：① x² = e 得 C₂（群）；② x² = x 得幂等独异点（{1, 0} 乘法型，即二元半格）。情形二：无幺元。③ x² = x：取任一元当「虚拟幺」逐对验证结合——左零半群 ab = a 与右零 ab = b（两张表）；④ x² = 另一元：即常值半群（ab = x 恒真——注意这里 x² = x 自动幂等，归入③？不：常值型「乘积恒为固定元」包含 x² = x 但也含 (xx)x = x, x(xx) = x 结合 ✓——与左零不同表）。穷举 2⁴ = 16 张表逐验结合（实验课 2 的程序 5 行搞定），幸存者恰 5 张：C₂、二元半格、左零、右零、常值。∎
点评。穷举＋验结合是「小阶分类」的标准流水线；阶数一高立即爆炸（4 阶表 65536 张）——「枚举不可行处，结构定理登场」，这个转折读者将在第六章亲眼看到。

例 A.2（构造一个指定性质的独异点）。构造一个独异点 M，使其幂等元恰有 3 个、units 恰有 2 个，且交换。
思路。用直积拼装：幂等元与可逆元在直积下逐坐标叠加。
解。取 M = C₂ × B，其中 C₂ = {1, −1}（乘法群），B = ({0,1}, ×)（幺元 1，幂等全体 {0,1}）。直积 4 元：units = C₂ × {1} 共 2 个 ✓；幂等元 = {1} × {0,1} 共 2 个——不够 3 个！改配：M = C₂ × B′，B′ = ({0,1,2}, max)（幂等 3 个、幺元 0）。units = C₂ × {0} 两个 ✓；幂等 = {1} × {0,1,2} 三个 ✓；交换 ✓（两因子皆交换）。∎
点评。「直积拼装」是造例子的万能乐高：想要什么性质，找有该性质的因子拼。反方向的「拆解」才是真本事（2.13）。

例 A.3（结合律的判定实战）。在 ℝ₊ 上定义 a ∗ b = a^{log b}。是半群吗？
思路。交换律先看一眼（b^{log a} = a^{log b}？两边取 log：log b·log a = log a·log b ✓ 交换）。结合律硬算。
解。(a ∗ b) ∗ c = (a^{log b})^{log c} = a^{log b·log c}；a ∗ (b ∗ c) = a^{log(clog b)} = a^{log b·log c}。相等 ✓。幺元：a ∗ 10 = a^{log 10} = a ✓（10 当幺）。是交换独异点（且与 (ℝ, +) 经 log 同构——发现同构是判定的高阶收获）。∎
点评。本题示范「同构移植」：怪运算常常是熟悉运算的马甲；log 是本例的「解码器」。识别马甲的通用线索——运算满足的恒等式群。

本课三招：穷举收网（小阶）、直积拼装（造例）、同构解码（识别马甲）。三招在习题 2（一）轮番上岗。

第二章 半群与独异点：结合律的世界例题课 2.B：同态与商独异点

例 B.1（同态判定）。φ: (ℤ, ×) → (ℤ/5ℤ, ×)，φ(n) = [n mod 5]。是（独异点）同态吗？核的类长什么样？
思路。先验幺元（[1] ✓），再逐对验乘法——但无限集逐对不可能，须用「数论推理」代替穷举。
解。φ(mn) = [mn] = [m][n]（模乘良定义，1.7 例 B.1 同型推理）——同态 ✓。核（2.14 的同余口径）＝「φ(m) = φ(m′)」的对子全体，这里即 m ≡ m′ (mod 5)：模 5 的五个剩余类 [0], [1], [2], [3], [4] 个个都是核的类。若改按群的习惯取「打到幺元 [1] 的原像」，得到的是 {n : n ≡ 1 mod 5}——它不含 0（0 mod 5 = 0 ≠ 1）：两种「核」的口径在此分道。∎
点评。半群口径下核是「同余核」（2.14 纪律），不是「打到幺元的原像」——本例的两口径恰好不同：同余核的分类是 5 个模类，原像口径只剩 1 的剩余类。术语再钉一次：ker φ = 同余关系 ≡，不是 φ⁻¹(1)。

例 B.2（商独异点实操）。在独异点 M = (ℕ, +)（幺元 0）上定义 a ~ b ⟺ a ≡ b (mod 7)。验证同余，画出商 M/~ 的加法表，识别它的身份。
解。相容：a ≡ a' 时 a+c ≡ a'+c（模加），双侧 ✓——同余。商即 ℤ/7ℤ 的加法循环群 C₇（7 素，全元可逆——注意 ℕ 商完居然成了群！幺元 [0]，每个类有逆：[r] 的逆 [7−r]）。∎
点评。惊喜点：半群 (ℕ,+) 本身非群，商后成群——商可以「逆袭」。原因：模 7 的类里 ℕ 只装下了「非负代表」，但加法封闭性在类之间依然自洽。通往第五章：这个「把无限半群商成群」的把戏是 Grothendieck 群（5.5）的序曲，但那里用的是逆运算构造而非取模——方法不同，「商出逆来」的梦想相同。

例 B.3（同态分解实战）。φ: (ℤ, ×) → ({0, 1, −1}, ×)，φ(n) = sign(n)，即正 ↦ 1、负 ↦ −1、零 ↦ 0。验证同态并写出分解定理的三节车厢。
解。φ(mn) = φ(m)φ(n)：符号相乘、零吸收——逐情形核对（正×正、正×负、负×负、含零四类）✓ 同态。核（同余）的分类：正数全一类、负数全一类、{0} 一类——三分类。分解：ℤ ↠（压成三类）→ {ℤ₊, ℤ₋, {0}} ≅（贴标签）→ {1, −1, 0} ↪（嵌入）→ 目标。∎
点评。乘法半群 ℤ 的「符号三分类」是最小的非平凡商之一；「绝对值映射」φ(n) = |n| 到 ℕ 呢？φ(mn) = |m||n| ✓ 同态——但它的核把 n 与 −n 打包，是另一种切法。同一个半群可有多种商——同余的谱系就是半群的「透视系」。

本课要点：无限集验同态靠推理不靠穷举；商可以逆袭成群；同态分解的车厢票随手可开。

第二章 半群与独异点：结合律的世界例题课 2.C：可逆元与单位群的计算

例 C.1（模 n 单位群）。求 U(ℤ/12ℤ, ×)，并画它的乘法表。
思路。可逆判据：与 12 互素。
解。{1, 5, 7, 11}（与 12 互素的剩余类）。表：5² = 25 ≡ 1，7² = 49 ≡ 1，11² = 121 ≡ 1；5·7 = 35 ≡ 11，5·11 = 55 ≡ 7，7·11 = 77 ≡ 5——每个非幺元的平方都是 1：这是 Klein 四元群 C₂ × C₂（不是循环 C₄！对照 12 的素因子 2²·3）。∎
点评。U(ℤ/n) 的结构由 n 的素分解决定（数论的桥）；「循环还是 Klein」的判据在 5、8、10、12 的对比里（习题 2（一）第 9 题）。

例 C.2（循环半群的完全分类——命题证明主菜）。完整证明 2.12 例②：设 ⟨s⟩ 中 sⁱ = s^j（i < j）取最小对，则 ⟨s⟩ 恰有 j−1 个元素，呈「尾巴 i−1 节 + 圈 d = j−i 节」，且圈内含幂等元。
证明。(a) 元素恰 j−1 个：先证 s, …, s^j−1 互不相同——若 s^p = s^q（p < q ≤ j−1）则 (p,q) 是更小的对，违反最小性。再证一切高次幂落回：s^j = sⁱ，归纳可证对一切 n ≥ i 有 s^n+d = sⁿ（两边同乘 s^d 逐次推进，结合律授权）——高幂全部周期回落。(b) 圈内幂等元：取圈内位置 m 使 m ≡ 0 (mod d) 且 i ≤ m ≤ i+d−1（这样的 m 存在：i 到 i+d−1 恰含 d 个连续整数，跨过一个 d 的倍数）。则 (s^m)² = s^2m，而 2m ≥ i 且 2m ≡ m (mod d)（因 d | m），故 s^2m = s^m——幂等。∎
点评。尾巴+圈的形状图（s → s² → ⋯ → sⁱ → ⋯ → s^j−1 ↺ 回 sⁱ）是半群动力学的第一张图，请读者亲手画一次：有限世界里一切「演化」的终局都是圈，圈心必躺平——「宿命结构」第一次显形。

例 C.3（相对群）。在例 C.2 中证明：圈内部分 {sⁱ, …, s^j−1}（正确地说是「从 s^m 出发回到自身的那段」）以幂等元 e = s^m 为幺元构成群。
证明骨架。圈内元素形如 s^k（i ≤ k < j）。以 e 为幺：s^k·s^m = s^k+m = s^k（k ≥ i 且 m ≡ 0 mod d）✓ 对称 ✓。逆：s^k 的逆是 s^{(d−(k−m) mod d)+m}——圈内必存在（模 d 的剩余类完整）。结合继承。∎
点评。「群不必须以全局幺元为幺」——2.14 相册的现象在此严格化。这个「局部群」将在第六章拿到正式户口：ℋ 类。

本课主菜是例 C.2/3 的「尾巴+圈」全套：它是最小的「半群≠群」结构标本，也是第六章 Green 理论的第一颗细胞。

第二章 半群与独异点：结合律的世界例题课 2.D：Cayley 表示实操

例 D.1（三元素集上的表示）。取半群 M = C₃（模 3 加法，写成 {0,1,2}）。构造正则表示 ρ: M → 𝒯_M，验证它是同态，并指出像里有几个不同变换。
解。幺化 M¹ = M（已有幺）。ρ(k): x ↦ x+k (mod 3)——三个平移：ρ(0) = id，ρ(1) = 轮换 (0→1→2→0)，ρ(2) = 反向轮换。保复合：ρ(1)∘ρ(2)(0) = ρ(2)(1) = 0 = ρ(0)(0)——逐点验证（读者完成全部点）。像有 3 个不同变换（单射检验在幺元 0：ρ(k)(0) = k 区分一切）。∎
点评。C₃ 是 3 元集上的轮换群——Cayley 在群情形「不打折」的版本：表示尺寸恰好等于群自身。打折案例马上看。

例 D.2（打折的表示）。对左零半群 L = {p, q}（ab = a）做正则表示。像里有几个变换？
解。幺化 L¹ = {1, p, q}。ρ(p): x ↦ xp = x 对 x ∈ L，而 1·p = p——ρ(p): 1↦p, p↦p, q↦q。ρ(q): 1↦q, p↦p, q↦q。保复合：ρ(p)∘ρ(q) 等于什么？（ρ(q) 先做：1→q, p→p, q→q；ρ(p) 再做：p→p, p→p, q→q——复合是 1→p, p→p, q→q = ρ(p)）= ρ(pq) = ρ(p) ✓。像 = {ρ(p), ρ(q)} 两个变换，单射成立（1 处取值区分）。表示成功，但注意像里两个变换都「把 L 内部冻住、只动 1」——表示尺寸 3，压缩率可见。∎

例 D.3（表示的威力首演）。用 Cayley 表示证明：有限半群中若每个元素都可消去（左消去：ax = ay ⟹ x = y），则它是群。
思路。把元素换成它们的平移 ρ_a，在变换世界里用鸽笼。
证明。消去律 ⟹ ρ_a 单射（ρ_a(x) = ρ_a(y) 即 xa = ya ⟹ x = y——注意这是右乘平移，用的恰好是右消去；左消去对应左平移 λ_a，两者对称，设双侧消去则都单）。有限集上单 ⟹ 双（1.1 鸽笼），故 ρ_a 是满射：存在 x 使 xa = a（打到 a 自身）。则 xa² = (xa)a = a²，右消去给 xa = a 即 x 是「左凑幺」……完整收尾（每元素可逆的构造）作为习题 2（一）第 10 题，提示已足够。∎
点评。这是 1.15 红利二「可消去＋有限 ⟹ 群」的正式兑现；证明的心脏是表示＋鸽笼——抽象性质（消去）翻译成映射性质（单射）后，有限性自动补上双射。表示定理的威力第一次开火。

实操三步：幺化取点集、右平移造变换、幺元处验单射。三步走完，任何抽象半群都有了具体的「化身」。

第二章 半群与独异点：结合律的世界习题课 2（一）：基本概念

2.1（★）判定下列哪些是半群/独异点/群：① (ℤ, −)；② (ℕ, max)；③ ({1, 2, 3}, |a−b|)；④ (ℚ₊, ×)；⑤ 矩阵乘法下的 2×2 上三角非负整数矩阵。

2.2（★）在 (ℕ, ×) 中求：幂等元全集、units、⟨{6}⟩ 与 ⟨{2, 3}⟩（作为子半群，列前 8 个元素）。

2.3（★）证明：独异点中若 ab = 1 且 ca = 1，则 b = c。（结合律两次重括号——命题 2.8 证明的变体。）

2.4（★★）在 {0, 1} 上定义 a ∗ b = 1 − ab（NAND）。验证它不结合，且它有两个「双侧幺元候选」吗？请借本题说明「幺元唯一性依赖结合律」。

2.5（★★）证明：半群 S 的两个子半群之交是子半群；但两个理想之交是理想（ stronger），两个左理想之交是左理想。并问：两个子半群之并呢？（举反例。）

2.6（★★）求循环半群 ⟨s⟩ 在下列情况下的形状（尾巴长度与圈长，圈内幂等元是第几个幂）：① s⁴ = s⁹；② s² = s⁵；③ s³ = s³（这题什么意思？它说明什么退化为恒等情形）。

2.7（★★）证明：交换独异点中，幂等元之集 E 对乘法封闭（2.14 用过的两行推理，请独立完整写出）。

2.8（★★）构造一个 6 元交换独异点，使其恰有 4 个幂等元、units 恰 1 个。（提示：直积拼装——2 的循环群化、max 化、布尔化各出一个因子池。）

2.9（★★）U(ℤ/nℤ) 在 n = 5, 8, 10 时分别同构于什么群？（逐个列表判定循环/Klein；总结「循环还是 Klein」与 n 素分解的关系猜想。）

2.10（★★★）完成例题课 2.D 例 3 的收尾：双侧消去的有限半群中，用「ρ_a 是双射」构造每个元素的左右逆，并验证它们相等，从而证得群。（这是「有限消去半群是群」定理的完整证明——半群理论自己的第一个结构定理。）

本组 8 题（2.1–2.8 基础＋2.9–2.10 进阶）覆盖定义宇宙全部判定动作。2.6 的「尾巴+圈」计算是第三章 Adian 图的算术预习。

第二章 半群与独异点：结合律的世界习题课 2（二）：同态·理想·表示

2.11（★）φ: (ℕ, +) → (ℕ, +)，φ(n) = 2n。是同态吗？像与同余核各是什么？核有几个类？

2.12（★）在同余意义下求 φ: (ℤ, ×) → ({0,1}, ×)，φ(n) = [是否存在某非平凡分解] 的同态性——先给出精确化（题目本身就是一次「数学化改写」训练：把含糊的话改写成可判定的命题）。

2.13（★）列出 (ℤ/6ℤ, +) 的全部理想，并说明「独异点无真理想」的论证在此例如何体现。

2.14（★★）在 (ℕ₊, ×) 中，求 ⟨{2, 3}⟩ 生成的理想；证明它等于 {合数} ∪ {2 的幂} ∪ {3 的幂} ∪ …，并给出该理想的简洁刻画（提示：非 1 且非素数？验证边界情形）。

2.15（★★）Rees 商的结合性完整验证（2.10 留下的健身题）：设 I 是 S 的理想，对 (S/I)³ 的六种情形（每变量 ∈ I 或 ∉ I）逐情形验证 (ab)c = a(bc)。

2.16（★★★）证明：φ: M → N 同态时，典范映射 [a] ↦ φ(a) 是 M/ker φ → im φ 的同构——三连验证（良定义·单·满·保乘，一条不省）。（同态基本定理的完整证明，2.12 留给读者的主菜。）

本组主题：同态的像与核（2.11–2.12）、理想的计算（2.13–2.14）、Rees 商（2.15）、基本定理（2.16）。2.16 是本章技术含金量最高的一题——第三章 3.4 的证明几乎逐字复用它。

第二章 半群与独异点：结合律的世界习题课 2：提示与选解

2.1 选解。① 减法不结合（(5−3)−1 ≠ 5−(3−1)）——连半群都不是；② max 半群（幺元：max(n, e) = n 对一切 n 要求 e ≤ 一切 n——若 ℕ 含 0 则 0 当幺；无 0 则无幺）——ℕ 的两种约定各自给结论；③ 差表病态（1.10 已判死）；④ 正有理数乘法群；⑤ 上三角非负矩阵独异点（幺 I；2×2 单位 [[1,1],[0,1]] 无逆——行列式 1 但逆含负数）。

2.4 选解。NAND 表：0∗0 = 1, 0∗1 = 1, 1∗0 = 1, 1∗1 = 0。结合：(0∗0)∗0 = 1∗0 = 1，0∗(0∗0) = 0∗1 = 1 ✓；(1∗1)∗1 = 0∗1 = 1，1∗(1∗1) = 1∗0 = 1 ✓；(0∗1)∗0 = 1∗0 = 1，0∗(1∗0) = 0∗1 = 1 ✓；(1∗0)∗0 = 1∗0 = 1，1∗(0∗0) = 1∗1 = 0 ✗——不结合。幺元候选：要 a ∗ e = a，查列——无（列 0 = 1,1；列 1 = 1,0）；要 e ∗ a = a 查行同理无——NAND 连幺元都没有，本题后半改问「双侧零元候选」同样无。结论修订：本题示范「非结合运算可以看似处处像独异点」——判定必须先过结合关。（幺元唯一性对非结合运算的反例另见提示：三值表可造两个双侧幺，此处从略，动手构造作为附加分。）

2.6 选解。① i = 4, j = 9（最小对即给出者），d = 5：尾巴 3 节（s, s², s³），圈 5 节（s⁴…s⁸）；幂等元：圈内 m ≡ 0 mod 5 且 m ≥ 4——m = 5，即 s⁵。② i = 2, j = 5，d = 3：尾巴 1 节，圈 3 节；幂等 m ≡ 0 mod 3 且 m ≥ 2——m = 3，s³。③ s³ = s³ 恒真——最小对 (3,3) 违反 i < j 的格式，说明「等式对」须取 i < j；本题真正考的是：当且仅当幂序列出现重复（存在 i < j）时循环半群有限——恒等式给不出重复，半群可能无限型（如 (ℕ₊, +) 的 ⟨1⟩）。

2.10 选解骨架。ρ_a 双射 ⟹ 存在 x: xa = a；于是 xa² = a² 右消去 ⟹ xa = a 已知……收尾路径：对任意 b，ρ_a 满 ⟹ 存在 r 使 ra = b；对任意 c，c = c·1？没有幺元！正确路径：先用「ρ_a 双射 ⟹ 方程 xa = b 有解」得：任取 a₀，解 xa₀ = a₀ 得「左局部幺」e₁；证 e₁ 对一切 b 有 e₁b = b（把 b 写成 ra₀ 后左乘）；同理右侧得 e₂；e₁ = e₁e₂ = e₂ 是双侧幺；再由方程可解性逐元配逆。∎（完整版答案的关键就是「挑一个元当支点」，请把每一步的合法性标注出来。）

未选解的题与例题课同型：2.1/2.2 对例 2.A，2.3 对命题 2.8，2.5/2.7 对 2.14，2.8 对例 2.A②，2.9 对例 2.C①，2.11–2.13 对例 2.B，2.14–2.15 对 2.10，2.16 对定理 2.27。卡住先回对应的「最近的亲戚」。

第二章 半群与独异点：结合律的世界实验课 2：变换半群的程序计算

本章实验把 𝒯_X（X = {0,1,2,3}）整个搬进程序，三件事：枚举子半群样本、验证 Cayley 表示、算循环半群的尾巴+圈。

任务一：变换的表示与复合。用元组表变换（第 i 位是 i 的像）：

任务二：Cayley 表示的机器验证。把 2.4 的循环半群 ⟨s⟩ 按规则 s⁴ = s⁹（习题 2.6① 的答案：尾巴 3 圈 5）用变换实现：S = 8 元独异点的正则表示（用 comp 与字典），验证 ρ(s⁴)∘ρ(s⁵) = ρ(s⁹) = ρ(s⁴)——「圈内幂回落」在变换世界里显形。

任务三：从生成元滚出整个半群。给两个变换 a = (1,0,3,2)、b = (1,2,3,0)，程序求 ⟨a, b⟩：

思考题。① closure 算法的输出与生成元的排列次序有关吗？（无关——为什么？）② 若去掉 limit，算法在什么情况下永不终止？（⟨a,b⟩ 无限——对应第四章「终止性」问题。）③ 用任务一数据验证 units 封闭且成群（程序算 24 个置换的逆）。

本实验的元教训：变换半群是「代数结构的沙盒」——任何抽象命题（命题 2.8、循环分类、Cayley）都能在沙盒里先跑一遍。第五章的 KB 机器不过是本实验的智能升级。

第二章 半群与独异点：结合律的世界误读辨析：幺元与零元——两个「一」的混淆

本章最多初学者掉进去的坑：把幺元与零元混为一谈，或者以为「有幺元的半群必有零元」。本页把两者彻底切割。

定义对照。幺元 e：e·x = x·e = x（透明人——乘它等于没乘）；零元 0：0·x = x·0 = 0（黑洞——乘它归零）。形式上两者都是「与一切元素乘」的特殊元素，差别只在乘完剩下谁：剩下对方（幺）还是剩下自己（零）。记忆锚：加法的 0 是「加法幺元」（0 + x = x），乘法的 1 是「乘法幺元」；而「乘法零元」是另一个世界的生物——整数乘法里没有零元（0·x = 0 吸收成立但 x·0 = 0 也成立——等等，0 恰是乘法零元！它不幺）。同一符号「0」在加法世界当幺、在乘法世界当零——符号穿越了角色，这正是混淆的根源。

三条切割线。① 存在性独立：左零半群无幺也无零（|S| ≥ 2 时）；(ℕ, +) 有幺无零；(𝒫(X), ∪) 有幺（∅）无零（X 全集是 ∪-零？x ∪ X = X ✓ 吸收！——有，X 是零元）——两元皆有。② 唯一性同型不同因：两者唯一性证明都是「角色切换」，但幺元唯一性依赖结合律，零元唯一性不依赖（0 = 0x = 0'y 与 0'x = 0' 用的是吸收律自身——请读者写一遍，发现连结合都不需要）。③ 商的命运相反：幺化的补丁（2.5）只给幺元——半群缺幺可以补，缺零也可以补（加新 0 并把原乘积吸进 0？不——那会破坏已有乘积！零化的补丁不存在），「缺零无补」是两者的另一条不对称。

实战陷阱三连。① 「ℕ₊ 乘法半群幺化后零元是谁？」——没有零元（1 是幺，任何元素 x 与 y 的乘积可能回到小数）；若改成 ℕ 含 0，则 0 是零元、1 是幺——同一运算因含不含 0 而换世界。② 「𝒯(X) 的零元是常值映射吗？」——𝒯(X) 无零元当 |X| ≥ 2（两常值映射互不相同，找不到同时吸收一切的单一映射）；|X| = 1 时唯一的常值映射既是幺又是零——一点世界里「一」与「零」重合。③ 「Rees 商必带零元，那原半群的幺呢？」——Rees 商的幺（若有）是原幺元素被保留后的身份；但若原幺 ∈ I，它被压进 0，商无幺——2.10「真理想与幺元互斥」的回声。

一句话钉死：幺元是「乘法的休止符」，零元是「乘法的终止符」；休止之后乐章继续，终止之后归于寂灭。同是特殊符号，使命天差地别。

第二章 半群与独异点：结合律的世界思想卡：表示——把抽象装进具体

Cayley 定理值得超过一页的地位：它不只证明「半群可以表示为变换」，它示范了现代数学一种根本的行事方式——当无法直接研究一个抽象结构时，为它找一个忠实的具体化身。本页把这个思想放回它的历史与哲学坐标。

历史的三次「寄居」。第一次：笛卡尔把几何装进代数（坐标——曲线变成方程，几何问题获得代数机器）。第二次：Cayley 1854 把群装进变换（抽象群获得映射机器——后来只有结合律的半群在 20 世纪被重新装进去一次，条款更苛刻：要幺化、只保子半群）。第三次：图灵把「计算」装进自然数（编码——定理、机器、证明全部变成数，于是「计算能否停」变成「某数是否属于某集合」）。三次寄居共享同一句台词：抽象世界的问题，在有具体工具的邻居家往往好答——前提是寄居不损坏结构（同态保乘=结构无损的契约）。

表示的代价表。寄居不是免费的，Cayley 证明的三个细节各自是一张价签：① 幺化（用 S¹ 当点集）——为「单射检验员」付出的尺寸代价；② 子半群而非子群——可逆性缺席的打折；③ 正则表示未必最经济——通用性换效率。研究者的功课常常是「更聪明的寄居」：第六章 Vagner–Preston 把点集换成对称集（逆半群理论），自动机理论把语言寄居进有限独异点（识别器），本书第四章把「词的相等」寄居进重写系统（正规形）——每一次都是同一枚思想硬币的新花色。

反向的警觉。表示也有失效的时候：不是所有性质都在寄居中幸存。Cayley 表示保乘法结构，但「表示里两个平移的像点是否相交」这类问题在抽象侧没有对应物——表示的世界比抽象世界「多东西」（多出点集、多出像点）。第四章将看到这一现象的深刻版本：同一个独异点的两个呈现可以语法迥异而商同构——呈现是「寄居」，不是「本体」；把语法当本体的错误，正是初学者在呈现理论里迷航的头号原因。

思想卡一句话：表示是合同，不是本体——它把抽象问题快递到具体世界，签收时须核对结构无损；至于包裹里多出来的填充物，用完即弃。

第二章 半群与独异点：结合律的世界札记二：可逆性的特权——群为何发达，半群为何难

把本章与任何一本群论教材的前两章并排摆放，会看到一个诡异的现象：几乎是同一些概念——运算、幺元、逆、同态、商——在群论里推进得行云流水，在半群论里却步步设防、处处打折。本章的每一处「打折」（Cayley 要幺化、核要改成同余、商定理没有正规子群只有同余）都是同一笔账的利息。本札记把这笔账算清楚。

可逆性是一种「信息守恒」。群运算的每个动作都可撤销：从 xa = b 永远能解出 x = ba⁻¹——方程永远恰有一解。这意味着群运算是一台无损压缩机：任何信息（哪个元素动了手）都能从结果中完整恢复。半群运算则常常是有损压缩：左零半群把一切信息压进左因子，常值半群干脆把信息清零。整章定义的反复改写，全是这台有损机器逼出来的：核不能是「打到 1 的原像」（有损压缩丢失了「谁与谁相撞」的记录，必须整个同余关系上场）；商定理的原料不能是子集（正规子群）而必须是关系（同余）——群论用子集说话，因为可逆性替它把关系压成了子集。

有损世界的补偿技术。半群论面对丢失的信息，发展出三种补偿，本章各见雏形：其一，记关系而非记子集（同余替代正规子群——2.11）；其二，分层记账（units 先算、局部群再算、大海最后算——2.3 与 2.14 的相册）；其三，局部化（第六章 Green 关系的哲学预演：既然全局不可逆，就在每个幂等元周围建立局部坐标系——2.14 的「相对群」是第一个局部坐标）。三种补偿技术在第六章合流成 Green 体系时，读者会认出：那不是新发明，是本章直觉的工业化。

为什么这份「难」值得。一个诚实的反问：既然半群这么难，为什么不用群论解决一切？答案在绪论已埋：真实世界的乘法——字符串、变换、计算、推理——本质有损。数据加密要的就是不可逆（可逆=泄密），编译器的多趟变换大多不可逆（优化丢信息），程序的状态机是半群（回不去的状态比比皆是）。有损不是数学的缺陷，是世界的默认设置；群论研究的是被人类刻意维护的少数无损系统。本册把镜头对准默认设置，不是逆流，而是回家。

札记一句：可逆性是特权，不是常态；看清特权从何处开始失效，才看清世界的本来面目。下一章，我们学习给这个有损的世界立法律。

第二章 半群与独异点：结合律的世界第二章小结与速查

自测五问：① 为什么半群同态的核取同余关系而非打到 1 的原像？② 循环半群的两种命运与圈内幂等元的定位公式？③ Cayley 证明为何用 S¹ 当点集？④ 同余的「双侧相容」在良定义检验里对应哪两步？⑤ 有限消去半群是群的证明中，表示与鸽笼各干了什么？

本章一句话总账：结合律的世界里，可逆性是特权、同余是货币、表示是护照。下一章，用这三样东西去无中生有——从空白词的世界里，召唤出任何想要的独异点。

第二章 半群与独异点：结合律的世界挑战题：构造一个「名不副实」的独异点

题面。构造一个有限交换独异点 M，满足以下五条性质，并证明每一条（构造分 30%，证明分 70%）：① 幺元唯一且记 1；② 恰有两个幂等元：1 与 e（e ≠ 1）；③ e 在 M 的乘法下「吸收」一切非可逆元（即非可逆元全体 N = {x : ex = x 还是 ex = e？请先分析哪种吸收才与②相容，再构造）；④ units 恰有 3 个；⑤ |M| = 6。

分析底稿（防走偏的脚手架，正式答案不应包含）。⑤⑥ 元素总数 6，units 3 个，非可逆 3 个；幂等 2 个且 1 幂等，故另一幂等 e ∈ 非可逆集。非可逆集 {e, x, y}（三个）。③ 的两种「吸收」中：ex = e 型（e 像「局部零」）与 ex = x 型（e 像非可逆部分的幺元——回忆 2.14 的相对群！）。若取后者，则 {e, x, y} 以 e 为幺构成子群（若封闭），群阶 3，循环——于是非可逆部分是 C₃、units 是 C₃（阶 3 群只有循环 C₃）……试试直积拼装：C₃ × ？想要幂等恰好 {1} × 幂等集，units 恰 3 个。若第二因子取 B = ({0, 1, e'}, max)？max 半群幂等 3 个，超了。取 B = ({0,1}, max)？幂等 2 个 ✓，units(B) = {1}？max 的幺是 0——「乘法」是 max，可逆性需 e′使 max(a,b′) = a 对一切——0 是幺；「逆」要求 max(b′, b) = 0——只有 b = b′ = 0。units(B) = {0}，平凡。那么 units(C₃ × B) = C₃ × {0}，3 个 ✓。幂等 = {1} × {0,1}，2 个 ✓（max 幂等：0²=0, 1²=1 ✓）。|M| = 6 ✓。e = (1, 1)：检查 e 的吸收行为——e·(1, 0) = (1, max(1,0)) = (1,1) = e ✓；e·(g, 1)（g ≠ 1 可逆元）= (g, 1) ≠ e！——即 e 不吸收可逆元（当然，否则可逆元被吸收就矛盾了），非可逆元集是 {(1,0)} 单点？|N| 应为 3——e·(1,0) = e 意味着 (1,0) 被吸进 e？「吸收」的精确定义须自查。唉，③ 的措辞在诱导读者先发现「两种吸收只差一个定义」——这正是本题的真正考点。

真正要交的答案。把题面 ③ 精确化为：非可逆元集合 N 满足「N 对乘法封闭且 N 中任何两个元素之积落在 N」+「e 是 N 的（相对）幺元或（相对）零元——两版各构造一例」。然后给出两套构造：版本 A（e 为相对幺）：M = C₃ × ({0,1}, max)，验证五条（此时 N = {1}×{0,1} 封闭，e = (1,1) 是 N 的相对幺？(1,1)·(1,0) = (1,1) ≠ (1,0)！不幺——是相对零：e·x = e？(1,1)·(1,0) = (1,1) = e ✓——版本 A 是「相对零」版）；版本 B（e 为相对幺）：请读者自拼（提示：第二因子换 ({0,1}, ×)——布尔乘法，其幺是 1、零是 0；M = C₃ × B₂，units = C₃×{1} ✓ 3 个，幂等 = ？布尔乘法全体幂等！2 个幂等 ✓，e = (1, 0)，N = {1}×{0} 单点——|N| = 1 ≠ 3，破坏⑤——改第一因子？C₃ 的 3 元素全可逆，N 从第二因子来只有 1 个——直积拼不出版本 B！需要更自由的构造：直接写 6×6 乘法表（构造自由度在「非直积」地带）或证明版本 B 不存在（|M| = 6、units 3、幂等 2 的矛盾论证？）——两种答案都收，但须自证）。

参考答案要点。版本 A 完整验证五条成立（上述直积即可，注意 e 的吸收是「相对零」型）；版本 B 实际上不存在：N 封闭且以 e 为相对幺、|N| = 3 ⟹ N 是 3 阶群（相对幺＋封闭+有限 ⟹ 群——习题 2.10 定理的相对版！）⟹ N ≅ C₃；而 C₃ 的非幺元素无一是幂等——与 e 幂等矛盾？e 是 N 的幺，N 的幺幂等（相对意义）……精细的矛盾链请读者亲手闭合——这正是本题 70% 分数所在。本题的元训练：把一道措辞含混的题面改写成精确命题（③ 的两种读法）、用构造工具试错（直积拼装的边界）、用已证定理收网（相对版消去定理）——三步都是研究日常。

挑战题做完，第二章真正毕业：至此已会用拼装、会验结构、会发现「构造不出来」本身也是定理。下一章，词的世界见——那里，一切独异点都将从白纸上被规则召唤出来。

第三章 自由独异点与呈现：词的语法导引：词的语法

本章是全书的枢纽。前两章备好了对象（半群·独异点）与工具（同余·商·表示），本章回答一个更根本的问题：独异点从哪里来？答案是一个动作：取词的自由世界，宣判一些词等同。自由独异点 A^* 是白纸，关系 R 是墨迹，呈现 ⟨A | R⟩ 是一张「立法文书」——而每一个独异点，都是某张文书的产物。这一章把「从词到独异点」的通道一寸寸修通，然后全章压轴：走近通道终点最纤细的那族结构——一关系独异点 Mon⟨A | w = 1⟩。

为什么单拿「一条关系」出来说事？两个理由。技术上，它是「约束」的最小非平凡单位——一条规则的后果已经复杂到让二十世纪的数学家们鏖战至今（Adian 1966 的无圈判据、1978/1987 的 Adian–Oganesian 归约、2019 年后的 Gray–Steinberg 复兴），一条规则尚且如此，多条规则的海洋可想而知——这正是「以简驭繁」的研究策略样板。战略上，它是本册承诺过的目的地：第六章 6.14 的 P1 问题（无自重叠 special 独异点的子独异点成员可判定性）将用本章的全部语言来陈述。

本章有一条隐蔽的对称结构，先点破：3.1–3.4 讲「自由」（没有法律的世界），3.5–3.8 讲「约束」（法律如何生效），3.9 讲「法律的极限」（不可判定性的地平线），3.10–3.15 讲「一条法律的世界」（一关系独异点的地形、几何与历史）。自由与约束的对立在每一节里都有戏份——暗线「自由与约束：词的世界里，关系即命运」在本章达到全书最紧的张力。

读法建议：3.1–3.6 是主干（自由独异点、泛性质、同余生成、呈现的定义），务必逐字；3.7–3.8 是两个存在性/等价性定理，理解陈述与证明思路即可；3.9 是全书第一次面对「不可判定」——慢读；3.10 起进入一关系地带，那是真正的目的地。

第三章 自由独异点与呈现：词的语法本章地图：从自由到呈现

行军要诀三则。其一，泛性质是本章的「总闸」：3.3–3.4 的自由对象定理说「指定生成元的像，全词世界被唯一拖走」——这个「唯一性」在 3.6 节兑现为呈现的存在性，在 3.7 兑现为「每个独异点都有呈现」，在第六章的 Vagner–Preston 处最后一次合流。其二，「同余生成」是全章的技术心脏：从关系 R 到生成的同余 ≡_R，定义只有一行（包含 R 的最小同余），但「两个词是否同余」的判定立刻成为问题——第四章的 Knuth–Bendix 机器就是为它造的。其三，Adian 图是本章的「眼」：一篇文章一条关系 w = 1，画出它首尾字母的迁徙图（3.14），几何的「无圈」判据将决定代数的命运——先看图再做题（例题课 3.D 手把手）。

与前后的接口：3.5 生成的同余 → 4.2 重写系统的语义；3.8 Tietze → 4.9 完备化的等价性；3.9 三大判定 → 4.10 Markov–Post 不可判定性；3.12 border → 4.5 无自重叠定理；3.14 Adian 图 → 5.6 嵌入判据。暗桩照例标黑。

本章 30 页是全书的「宪法章」：后三章的一切术语（收敛、合流、嵌入、Green）都以本章定义为准。读慢一点，后面全快。

第三章 自由独异点与呈现：词的语法3.1 自由独异点 A*：词的宇宙

这个证明「空」到令人不安，但它的空正是要点：拼接的结合性来自词的定义本身——词就是序列，序列连写天然无括号。对照第二章：一般半群的结合律是公理（需要偿还的贷款），自由独异点的结合律是天性（生来自带）。这使 A^* 成为一切独异点的「语法表面」——2.9 的预告在此兑现。

词宇宙的几何志。粒度：长度 k 的词恰有 r^k 个（r = |A|），全宇宙可数无穷——「无穷但可枚举」，这是它能被计算机处理的前提。树形：把 ε 放根、每个词 w 下挂 wa（a ∈ A），得 r 叉树——词宇宙的全部几何就是这棵树的枝杈；第四章的「重写」就是把词从一根枝挪到另一根枝。前后缀结构：每个词有 |w|+1 个前缀（含 ε 与自身）；前缀偏序（p ⊑ w ⟺ p 是 w 的前缀）是树形的偏序——它与 1.8 字典序的关系（两个不同的序、各自的用途）是本章初学最常见的迷雾，例题课 3.A 澄清。

通往 3.5。此刻的 A^* 完全自由：ab 与 ba 井水不犯河水，aaa 与 a 相隔天堑。接下来的一切故事，都是往这张白纸上写字——写字的工具叫「关系」。

自由独异点一句诀：词是「没有做过乘法的乘法表达式」——表达式即对象，语法即全部。这一「无为」，是它日后能承载一切「有为」的资格。

第三章 自由独异点与呈现：词的语法3.2 拼接与空词：最朴素的独异点

本节把 (A^*, 拼接, ε) 的独异点身份办齐证件，并盘点它的「最」与「唯一」。

证件一：它确实是独异点。封闭（拼接出的还是词）、结合（命题 3.2）、幺元 ε——三章证件齐全。证件二：它是「最朴素」的。朴素到什么程度？三个可量化的「最」。① 生成元最少的信息量：A^* = ⟨A⟩——生成集就是字母表本身，且没有任何一个字母可省（每个字母都是「独立的」：a 不在任何不含它的子半群中）。② 消去律幸存：uv = uw ⟹ v = w（长度与逐位比较）——左右消去都成立，A^* 是「可消去独异点」；但它不是群（a 无逆：任何词拼接只会变长）。消去而非可逆——这种「半吊子可逆性」正是 5.2 节嵌入问题（可消去独异点何时嵌入群）的原型病例。③ 幂 freely 增长：aⁿ 两两不同——无限型循环子半群；增长的「速度」（按长度）是最快的可能。

证件三：它在同态下是「万能模板」。任何「从字母表出发的赋值」都自动延拓为同态——这是 3.3 泛性质的内容，此处只做热身运算：给定字母表到任意独异点 M 的映射（如 A = {a, b} 到 𝒯_{1,2,3}，a ↦ σ, b ↦ τ），词 abba 「应当」映到 στσ⁻¹……不，独异点无逆，映到 σττ——把词逐字母换成像然后按序复合。「逐字母替换」这个动作为什么总是合法（良定义）？因为词的表达式与词对象合一，不存在「换个表达式写法」的歧义——自由性的又一次变现。

盘点「唯一性」。自由独异点在同构意义下由字母表基数唯一决定（|A| = |B| ⟹ A* ≅ B*，把字母按双射搬运）；而 |A| 不同则不同构（生成集的最小尺寸是同构不变量——由「独立生成元」的个数决定）。于是自由独异点的分类平凡：一列基数 1, 2, 3, …。平凡的分类反而醒目：一切复杂性都将在「取商」的一步涌入——自由是简单的，约束才有故事。

两个操作性的补充。① Σ⁺：A⁺ = A^* ∖ {ε}，真半群（无幺）；任何半群是「幺化词世界」的商——3.7 存在定理的术语预备。② 词的排序复习：len-lex（先长后典）与 lex（纯字典）在 A^* 上的表现——lex 无最小元问题（ε 最小，但下降链存在），len-lex 是良序（第四章 terminating 序的候选）。两序对照表请读者在例题 3.A 里亲手填。

本节的全部内容可以印在邮票上：A* 是可消去、非群、生成元独立的独异点，一切独异点的语法母体。母体朴素，子孙万千——从下一节开始认亲。

第三章 自由独异点与呈现：词的语法3.3 泛性质：「自由」的确切含义

「自由」至今是直觉（1.12：没有强加的规则）。本节给出严格定义——不从「没有规则」正面定义，而从「指派能力」侧面定义。这种「说它能干什么，而不是它是什么」的定义方式叫泛性质，是现代数学定义艺术的巅峰；本节以自由独异点为标本学它。

逐词解读。「存在」：f 总能延拓成同态——指派生成元，全结构跟着走（词 x₁⋯x_k 映到 f(x₁)⋯f(x_k)）；「唯一」：延拓没有选择余地——同态值被生成元值完全决定（归纳于词长）。「自由」的精确语义就此落地：自由结构是对生成元的任何指派都「照单全收」的结构；约束结构则要挑食（指派须满足关系才延拓得动——3.6 节呈现的泛性质只差一个「与 R 相容」的条件）。

泛性质的用法示范（三条速战）。① 唯一性武器：两个同态若在生成元上相等则处处相等——「同态由生成元决定」从此是定理不是直觉。② 同构武器：设 (F, ι) 与 (F', ι') 都自由，则互延出 φ: F → F' 与 ψ: F' → F，且 φψ 与 ψφ 都是「在生成元上等于恒等」的同态，由唯一性 φψ = id、ψφ = id——自由对象自动同构，泛性质连分类学都包办了。③ 具体化：(A^*, ι)（ι 把字母映为单字母词）满足定义 3.3——延拓就是「逐字母替换」，存在唯一都易验。于是「A 上的自由独异点」存在，且任何两个同构——定义合格。

泛性质的方法论一课。注意定义 3.3 没有说 F 长什么样——没有词、没有拼接、没有任何内部构造。它只说 F 与外界的关系（接受指派）。这种「外向型定义」的力量：证明关于 F 的定理时，往往只用泛性质、不碰内部构造（上面三例全是）；内部构造只在「存在性」一处用一次。往后本册还有两次泛性质登场（5.5 Grothendieck 群、6.4 Rees 矩阵的泛刻画），读者将见到同一套打法：外向定义 → 唯一性武器 → 同构武器 → 收工。

泛性质一句诀：不说它是什么，只说它对一切指派如何反应——「自由」不是没有法律，而是对任何立法提案都不设门槛。

第三章 自由独异点与呈现：词的语法3.4 存在与唯一：自由对象定理

证明的分工值得再咀嚼：「存在」用内部构造（词），「唯一」用泛性质——此后凡遇泛性质对象，此分工照搬。另有两笔技术账。① ι 为什么必须写进定义？没有 ι，「F 的生成元」无从谈起——泛性质定义的是「结构＋生成元的打包」；同一结构可带不同生成元映射（如 {a,b}* 里 ⟨a⟩ 也是一个自由独异点——单字母表！），打包不同，对象不同。② 为什么要求 A 非空？空表使 A* = {ε} 一元独异点——它其实也满足泛性质（唯一映射到任何 M）！定义 3.3 若允许空 A，一元独异点将成为「空表上的自由独异点」，体系更完整；本书沿用「非空」约定纯为叙述经济（习题 3（一）第 4 题让读者把空表情形补全）。

自由对象的家谱（一瞥）。自由独异点是一族「自由对象」中最老的一位：自由半群 A⁺（去掉 ε 的泛性质版——指派延拓为半群同态）、自由群（词＋形式逆，第五章 5.2 的主角）、自由格、自由交换独异点（3.2 的 Comm(A)——多重集世界）……每个代数类别都有自己的「自由祖宗」，构造法雷同（表达式＋无约束）。通往第四章：重写系统的舞台就是自由独异点——第四章的全部事业，可以一句话概括为「在自由祖宗的子孙（商）身上，恢复某种祖宗才有的可计算性」。

自由对象定理的哲学浓缩：「生成元的一切可能命运」构成一个结构；这个结构对一切命运照单全收。存在性靠造，唯一性靠性质——造一次，用一世。

第三章 自由独异点与呈现：词的语法3.5 从自由到商：由关系生成的同余

白纸备好，现在写字。给定字母表 A 与「关系对」集合 R ⊆ A^* × A^*（把 (u, v) 写成 u = v），要造「服从这些法律的最普遍独异点」。法律生效的机制是一个同余——2.11「生成的同余」在此正式上岗。

「交」的定义干净但不可计算；本节给它一个可操作的刻画——这是全书技术含量最高的一页之一，请慢读。初等变换：称 w ↦ w' 是一次 R-初等变换，若 w = puq, w' = pvq（或对调 u、v），其中 (u, v) ∈ R、p, q 是任意（可为空的）词——在词的任意位置，把关系的一侧换成另一侧。

命题 3.6 把「同余」这个抽象关系翻译成「可达性」这个计算问题：两个词等价 ⟺ 一张词图上可达（顶点＝全体的词，边＝初等变换）。图是可数无限的，可达性判定因此成为真正的算法挑战——3.9 与第四章的全部戏剧都源于此。立刻做一个（完整版在例题课 3.B）：R = {ab = ba}，词 abba 与 baab 等价吗？链条：abba → baab？一步：p·ab·q 形？abba = a·bb·a，无 ab 子词于可换位置……直接找：abba = ab·ba，把 ab 换成 ba 得 baba →（ba·ba？）→ ba·ba 换首 ba 为 ab？p = ε, u = ba, v = ab：baba → abba 打转。试另路：abba →（a·bb·a，但 bb → bb 不是 R 里的规则，此路不通）……答案是等价（两步：abba → aabb——abba 的子词含 ab（位置 1–2）、bb、ba（位置 3–4）；a·bb·a 中 bb 不在 R。位置 3–4 的 ba 换 ab：abba → abab →（ab·ab 换 ba？p = a：a·ba·b → a·ab·b = aabb）→ aabb →（aa·bb？bb 不在 R……）。三步可到：abba →（p=ε, u=abba？R 无）——老老实实 BFS：例题课见。此处只留悬念：可达性 chains 的长度可以远超直觉——这正是判定问题困难的第一口体感。

本页是全书的「桥墩」：同余＝初等变换链＝图可达性。三种语言（代数的、语法的、几何的）说的是同一个东西——往后遇到困难，换一种语言再看。

第三章 自由独异点与呈现：词的语法3.6 呈现 ⟨A | R⟩：半群的语法

呈现的读法：⟨a, b | ab = ba, a³ = ε⟩ 读作「两个生成元 a、b；法律：ab 与 ba 视为相同，a³ 与空词视为相同」。它不是那个独异点本身，而是独异点的出生证明——同一独异点可以有许多张不同的出生证明（99 页挑战题的主题），正如同一几何体可用不同坐标描述。呈现里「能做」的三件事：① 写元素（词）；② 乘（拼接）；③ 用法律改写（初等变换）。不能默认做的事：判定两个词是否同一元素——这正是 3.9 的词问题！初学者最大的误区就是把呈现当成「一个可以查表的计算模型」——它只是语法合同；查表能力要靠第四章的算法建设。

命题 3.8 是「3.3 自由＋3.5 约束」的合成体：指派先自由，再过法律安检（相容性），幸存者唯一。它的实战价值立刻可见——证明「商独异点 ≅ 某具体独异点」的标准流水线：构造指派（正方向）＋构造逆方向的指派＋两方向用唯一性武器证互逆。例题课 3.B 与挑战题全程使用这条流水线，此处先在最小的例子上试机：Mon⟨a | a³ = ε⟩ → 考虑指派 a ↦ C₃ 的生成元 g，相容性只需验 a³ = ε 的像 g³ = 1 ✓；反过来 g ↦ [a]；两方向复合由唯一性为 id——于是 Mon⟨a | a³ = ε⟩ ≅ C₃。三行证明完成一个同构——这就是泛性质的效率。

呈现一句诀：语法（词＋关系）在前，语义（独异点）在后；泛性质是语法通往语义的唯一合法桥梁。桥梁的通行规则——相容性——就是第一章良定义的第三世化身。

第三章 自由独异点与呈现：词的语法3.7 每个独异点都有呈现

证明中途的「修正」是真实研究里最常见的转折——同态的方向搞反了就当场修；请读者把这段证明重写一遍、确认每一步的合法域。定理的意义是「存在性兜底」：呈现语言完全覆盖独异点的宇宙——没有一个独异点逃在语法之外。但定理也诚实地暴露了呈现语言的特点：它给出的呈现（生成元 |M| 个、关系 |M|² 条）极度冗余——好比把「7」解释成「七减二再减五」。呈现理论的真正事业不是存在，而是经济：找一个尽量小、尽量可读的呈现。两个量化指标由此诞生：① 秩（rank）：最小生成元个数；② 亏格（deficiency）：|A| − |R|（生成元多而关系少的呈现「更自由」）。本章主角一关系独异点取亏格 ≥ |A| − 1 的极端：一条关系撑起整个世界。

最小性的第一课。秩并不好算：Mon⟨a, b | ab = ba, a = b²⟩ 里 a 是冗余的（a = b² 消掉）⟹ 秩 1；但「某个生成元能否被表达」在一般独异点里恰恰是成员问题（3.9）——连「这个呈现经济不经济」都可以不可判定。这句话的完整展开在 4.10；此刻只请读者记住方向：呈现语言的每一个「显然应该可算」的量（秩、元素个数、两个词是否相等），在一般呈现下都可能失去算法——这是语法合同的本质代价：合同管「合法」，不管「可算」。

通往 3.8。既然同一独异点有多张证明，自然要问：两张证明如何互认？答案是一组初等变形——Tietze 变换（群论 1908 年的老将，独异点版稍后）。它是下一节的主角，也是第四章「完备化等价性」的伏笔。

存在定理一句话：万法皆可立；呈现理论的事业是把万法读成一部好书——最小、可读、可计算。

第三章 自由独异点与呈现：词的语法3.8 Tietze 变换：呈现的等价变形

Tietze 变换是呈现世界的「同义改写规则」——四种动作，张张保义。实战用途一：简化文书。例：⟨a, b | ab = ba, a = b²⟩ →（T4 删 a，替换）⟨b | b³ = ε⟩？验证：a = b² 蕴含 ab = b³ = ε 与 a = b²，而 a = b² 与交换律给出 a³ = b⁶ = ε ✓ 一致——删成 ⟨b | b³ = ε⟩ ≅ C₃：原三行文书是 C₃ 的臃肿马甲。实战用途二：互通文书（挑战题 99 的正式工具）。实战用途三（方法论）：Tietze 完备性把「定义同一独异点」变成「Tietze 可达」——同构问题获得一个语法的刻画。但这刻画是双刃的：Tietze 序列的搜索是又一个不可判定高危区（第四章 4.10 的 Markov 后果之一：不存在算法判断两呈现是否 Tietze 可达）。

与第四章的接口（钉死）。T1 加关系在第四章将以「完备化」的形式返场：Knuth–Bendix 算法发现两条改写路径到不了同一终点时，它添加一条新关系（临界对的解）——那是 T1 的算法化。T3 加生成元在第六章的自动半群理论中返场（引入「状态字母」）。通往第四章：Tietze 是「呈现层的等价」，重写是「词层的算法」——第四章架桥于两者之间。

Tietze 一句诀：文书是表象，独异点是本体；四种变形是表象间的合法换装。换装自由，但「两件衣服是否同一人」的判定——又是那个老问题。

第三章 自由独异点与呈现：词的语法3.9 三大判定问题：词·整除·成员

呈现语言立起来了，它的账单也到了。对呈现 Mon⟨A | R⟩，三个最基本的「能不能算」问题：

三者强弱不同：字问题可判定 ⟹ 整除与成员（对该子独异点的生成元）未必可判定——整除与成员都是字问题的「带参数量化版」（存在 x 使……），量词使难度跳档。反之，成员可判定未必给字问题。三者是「同一家族的三层楼」：字问题是地基，成员问题是阁楼；本书的主角 P1（6.14）正是阁楼问题——special 一关系独异点的子独异点成员问题。

「可判定」的精确含义。问题可判定＝存在一个总停机的算法，对每个输入给出对错。这里埋着两个陷阱：① 「算法对某些输入停、对某些输入转不停」不算判定——半判定（半可解）不算数；② 判定算法的存在性是数学事实，与「我们找没找到」无关——找到算法证明「是」，找到不可判定性证明证明「否」，两者都是定理。4.10 节将完整陈述 Markov–Post 定理：存在具体呈现使其字问题不可判定——不是「我们不会算」，是「逻辑上不存在算法」。本节先接受这个地平线的存在，把它当作呈现理论的地形特征：三大判定问题在每个具体呈现上有三种可能命运——可判定、半可判定、不可判定——同一位作者的下一张呈现就可能换一种命运。

地形的粗略地图（细节陆续展开）。有限独异点：三大问题全可判定（乘法表在手）。自由独异点：全可判定（逐字比较）。一关系独异点：字问题——Adian 1966 解决无自重叠情形（special 型），1987 Adian–Oganesian 归约到两形，一般情形至今开放（本册 4.5–4.7 与 6.10 详述）；成员问题——Foniqi–Gray–Nyberg-Brodda 2025 证明一般 monadic 一关系独异点的子独异点成员不可判定，但 special 无自重叠情形（P1）开放——这就是本书终点前的最后一块未知地图。

三大问题一句话：相等（字）、因子（整除）、入伙（成员）；难度递增，不可判定的阴影随量词加深。请读者此刻就养成提问的习惯——见到任何呈现，先问三个判定问题各自的命运。

第三章 自由独异点与呈现：词的语法3.10 一关系独异点：定义登场

为什么「一条关系」值得整章半册？先算一笔对比账。自由独异点（零关系）：一切可判定、结构平凡——太简单。两条以上关系：4.10 将证明字问题可以不可判定——一般太黑。一条关系：恰好在「证明机可入、直觉可依、但远未穷尽」的黄金地带——自 Thue 1914 年提出问题以来一百余年，它的地图仍是当代论文的活跃工地（Gray–Steinberg 2024、Foniqi 等 2025 都在此耕作）。研究的方法论样板也在这里：对一条关系 w = 1，人们研究它的形态（w 长什么样？有没有自重叠？首尾字母是什么？）如何决定独异点的命运（字问题可判定吗？能嵌入群吗？有限吗？）——「形态决定命运」是组合代数的灵魂方法论，一关系独异点是它最纯粹的实验室。

最小战场的规模感。生成元个数与词长的维度感：一关系 Mon⟨a | aⁿ = ε⟩（单字母）= 循环群 C_n（命题级习题）——单字母无故事；两字母 ⟨a, b | w = ε⟩ 才是主战场：w 的取法已是无穷家族。词长 2 的四个基本型先尝鲜：ab = ε（⟨a,b | ab = ε⟩——例题 3.C 将算出它「出人意料」）；aa = ε（a 自逆，b 自由——独异点 ≅ ℤ 拼接自由独异点？读者猜）；ab = ba 是两关系，不属本章。词长 3+ 的家族在 3.11 分类表里排队。

与群论的对照（为什么半群版更难）。群的一关系表现（one-relator group）是组合群论的百年重镇：Magnus 1932 的 Freiheitssatz 与消解定理给出强大的结构武器（5.2 详述）。半群版难在三层：① 无逆可用——群论把关系「双侧化」的招数（w = ε ⟹ 字母可交换着消）全部失效；② 幺元两侧不对称——special（w = ε）与非 special（u = v）行为迥异，而群里两者可互化（u = v ⟺ uv⁻¹ = ε——半群没有 v⁻¹！）；③ 几何工具更少——群的 one-relator 有 Cayley 复形的二复形理论，半群只有 3.14 的 Adian 图这一件轻武器。三层困难合起来解释了：为什么 one-relator monoid 的问题链比群的慢半个世纪还在燃烧。

定义即宣言：Mon⟨A | w = ε⟩——一条法律，一个世界。这个世界有多深？从下一节的分类表开始下潜。

第三章 自由独异点与呈现：词的语法3.11 形态分类：special·monadic·正字对·左循环

一关系呈现 ⟨A | u = v⟩ 按关系对的形态分类——这张分类表是本册后半（四、五、六章）的行军地图，每行都将在后文拥有自己的定理。

分类表的读法。① 分类不是互斥的排行榜，而是「形态 → 已知技术 → 已知命运」的对照表：拿到关系 w = v，先看它属于哪行（或可经 Tietze 变换挪到哪行），再查该行的武器库。② 分类以「空词、单字母、非空词、首尾同字母」四种边界形态为轴——为什么是这四种？因为一关系理论的核心机制（Adian 图、消去、编码）全都挂在「词的首尾字母与空词的距离」上：special 有「回幺事件」，monadic 有「字母定义事件」，左循环有「首尾咬合事件」——机制的弹药决定了分类的切法。③ 表中「命运」栏的每一格都是活的研究：读者此刻已在地图的边缘。

一关系独异点地形速写（预告 3.13）。special 型的地形由 w 的两个量决定：border（自重叠：w 是否与自己重叠——3.12）与字母分布。无自重叠（cycle-free）：Adian 图无圈 ⟹ 字问题可判定 ⟹ 一大片代数性质（4.6 的清单）。有自重叠：Adian 图有圈 ⟹ 技术失效 ⟹ 地图空白。这一「图形几何决定代数命运」的剧本，是本册最具戏剧性的主线。

分类表一句话：关系的形态是独异点的基因——空词给回幺，单字母给奴役，首尾咬合给死结。读基因，算命运。

第三章 自由独异点与呈现：词的语法3.12 border：词的自重叠

定义的「重叠」直觉：把 w 写两遍并排滑动，若某滑动位置上重叠部分两侧一致，就有 border。算例先行：aba——真前缀 {a, ab}，真后缀 {a, ba}，交集 {a} 非空 ⟹ 有 border（a 与 a 咬合）。abab——前缀 {a, ab, aba}，后缀 {b, ab, bab}，交集 {ab} ⟹ 有 border（ab 拷贝咬合——整词的周期 2）。abba——前缀 {a, ab, abb}，后缀 {a, ba, bba}，交集 {a} ⟹ 有 border！「回文总是咬自己的尾巴」——本册反复出现的 abba 原来自带圈。aab——前缀 {a, aa}，后缀 {b, ab}，交集空 ⟹ cycle-free。abccba——前缀 {a, ab, abc, abcc, abccb}，后缀 {a, ba, cba, ccba, bccba}，交集 {a} ⟹ 有 border。规律初显：首字母 = 末字母 ⟹ 必有 border（长度 ≥ 2 时，单字母前后缀就咬合）——这是判断的第一捷径；无 border ⟹ 首尾字母必不同。

border 的统计学一瞥（体会「无圈」是多数还是少数）：两字母表上长 n 的词中，cycle-free 的比例随 n 递减但始终可观（精确计数是组合难题，实验课 3 让读者算 n ≤ 10 的实数）。重要的不是比例而是结构：cycle-free 词构成 Adian 理论的「良性区」，良性区里的定理（4.5–4.6）成套；border 词是「恶性区」，恶性区里连「 aba = 1 之类简单关系的行为」都要个案分析。通往第四章：border ⟺ 临界对存在 ⟺ 单规则系统可能不合流——本章的语法概念将在那里获得算法身份。

border 一句诀：词咬住自己的尾巴，是它命运的分水岭。首尾不同字母是无圈的最快检验——一秒钟的查看，决定一章的定理管不管用。

第三章 自由独异点与呈现：词的语法3.13 special 独异点 ⟨A | w=1⟩ 的地形

special 型 Mon⟨A | w = ε⟩ 是一关系地带的心脏。本节勘察它的地形——三个地标。

地标一：极小性难题与「零化」现象。w = ε 的字面读法是「w 这个乘积等于不动」。立即的后果：w 的每个字母不能都是「自由的」——至少一个字母要付出代价。最简单的例子 ⟨a, b | ab = ε⟩：ab 回零 ⟹ b 是 a 的「右逆」？独异点语义下 [a][b] = [ε]——b 是 a 的右逆！但注意也要求 [b] 是 [a] 的……ab = ε 只说了一个方向（左侧拼接）。⟹ 在这个独异点里 [a] 有右逆 [b]，而 [b] 有左逆 [a]；两者可逆吗？需 ba = ε——没有这条关系！于是出现「半可逆」奇观：可右不可左。例题课 3.C 将证明这个独异点其实是……（悬念保留）。「单向回零」造成的不对称性，正是 special 型一切深刻现象的种子。

地标二：幺元是唯一幂等元吗？群的世界里幺元独占幂等；special 世界呢？⟨a | a² = ε⟩：[a]² = [ε] 但 [a] ≠ [ε]——[a] 非幂等；独异点 {ε, [a], [a]², …}？[a]² = ε，所以元素就 {ε, [a]}——是 C₂！再看 ⟨a, b | a²b² = ε⟩：[a]²[b]² = ε——没有单元素回零，幂等元谱如何？答案依赖 w 的 border 状态：无自重叠时，Adian 理论保证 units 恰好是「w 内部可逆化的字母子集」（4.6 的精确版），幺元是唯一幂等元；有自重叠时，幂等元可以成群出现——「躺平者」的多寡再次由基因（border）决定。命题 2.16（有限半群必有幂等元）在此的呼应：special 独异点一般无限，幂等元非必存在——无限世界可以永不停机。

地标三：极大子群——special 世界的「贵族区」。每个独异点的 units 是群（2.8）；special 独异点的 units 有精确刻画吗？⟨a, b | ab = ε⟩ 的 units：[a][b] = ε 但 [b][a] ≠ ε ⟹ 谁也不可逆，units = {ε}！⟨a, b | a²b² = ε⟩ 同型——4.6 将证明 units = {ε} 依然（无自重叠时 units 平凡，除非 w 是单字母幂）。「一条关系制造不出贵族」——units 平凡性是无自重叠 special 独异点的普遍现象；有自重叠时 units 可以非平凡（border 提供咬合所需的「配合」）。这条规律是 Adian 图判据（3.14）的代数投影，也是第五章嵌入问题的起点：连 units 都平凡，离「嵌入群」的距离有多远？5.6 的答案：Adian 图又说了算。

地形总评。special 独异点的三大地标（单向回零的不对称、幂等元谱、units 平凡性）全都由同一个几何对象控制——Adian 图。下一节就把这张图画出来。

地形口诀：w 回幺，字母买单；买单方式看 border；units 有无，图上见分晓。三句背熟，3.14 只是「把口诀翻译成图形」。

第三章 自由独异点与呈现：词的语法3.14 Adian 图：一关系的几何画像

本册最重要的一个图形工具：把一条关系画成一张小图，让「词的语法」变成「点的迁徙」。

先画最小的几个（例题课 3.D 手把手，此处看成品）。w = aba：左 a₁ b a₂，右 a₁′ b′ a₂′；连边 a₁–a₁′, a₁–a₂′（左 a₁ 连右侧两个 a）、b–b′、a₂–a₁′, a₂–a₂′——图有一个 4-边大圈（a₁→a₁′→b…）有圈。w = aab：左 a₁ a₂ b，右 a₁′ a₂′ b′；边 a₁–a₁′, a₁–a₂′, a₂–a₁′, a₂–a₂′, b–b′——左侧两 a 与右侧两 a 全连成 K_2,2，b 有单边——K₂,₂ 是圈！等等，aab 是 cycle-free（3.12），为何有圈？澄清：Γ_w 的「圈」与 border 的「自重叠」不是同一个概念！Adian 理论中 special 型用的图不是 Γ_w 而是左右分离图：关系 w = ε 在 Adian 机制里被拆成 w = xy = yx 型旋转的「同首尾检查」——精确版本是：关系对 (u, v) 的图 Γ_u,v 无圈 ⟺ 重写系统「局部合流」（第四章 4.6 定理 4.12 的核心）。对 special 型，实际检验的关系对来自 w 的旋转族（w 的每个循环置换对）。正确读法：⟨A | w = ε⟩ 良性 ⟺ w 的所有非平凡旋转对 (α, β)（w = αβ = βα′ 的旋转）的图 Γ_α,β 全部无圈。w = aab：旋转族 {aab, aba, baa}（循环置换）；对 (aab, aab) 的图有 K₂,₂ 圈 ⟹ ⟨a, b | aab = ε⟩ 不在 Adian 良性区？可 3.12 明明说 aab 无 border！这正是本章最精微的转弯：border（词的自重叠）与 Adian 圈（关系对图）是两个不同层级的检验——前者管「单规则系统的临界对」（4.5），后者管「旋转对的合流」（4.6）；无 border 的 w 仍可能因字母重复而在旋转图上出圈。两者的精确关系与完整判据是第四章 4.5–4.6 的内容，本节只要求：会画 Γ_u,v、会数它的圈。

为什么要这张图。因为它把「关系的后果」变成了「图的结构」：无圈 ⟹ 一切旋转对的替换互不干扰 ⟹ 改写可合并 ⟹ 字问题可判定（Adian 1966 的伟大路线图）。几何决定代数——本册的招牌戏，图是主角。

Adian 图一句诀：关系画成连线，圈是命运的纹路。会画会数圈，此刻已站在 Adian 1966 年论文的门口。

第三章 自由独异点与呈现：词的语法3.15 历史注记：Thue–Markov–Post 的问题链

本章的语言是百余年历史的沉积。末节把时间线立起来——不是为了怀古，而是因为今天地图上的每一块空白，都是当年某个人留下的路标；读问题链，就是读地图的层理。

1914 · Thue。挪威数学家 Axel Thue 发表《关于无穷符号序列的问题》——第一次提出：给定字母替换规则，两个词能否经有限替换互达，是否有算法？这是「字问题」的出生证，也是「可判定性」概念早于图灵机二十年的先声。Thue 本人解决了若干特例（含一关系的一些情形），但一般问题他留下了。

1932 · Magnus。Wilhelm Magnus 在群的侧翼立下 one-relator group 的两根柱子（Freiheitssatz 与消解定理）——群版一关系理论从此起飞。半群版眼巴巴看着：没有逆，Magnus 武器失效——问题链在半群侧冻结了十五年。

1947 · Markov 与 Post。两人在同一年各自独立证明：存在具体呈现使字问题（乃至 Thue 问题的每个自然变体）不可判定。这是图灵机（1936）落地之后的第一个「具体数学对象不可判定」定理——希尔伯特「判定一切」的梦想碎裂的现场。从此呈现理论分成两个半球：可判定带（找算法）与不可判定带（找归约）；一关系地带恰好横跨两者的边界。

1966 · Adian。 Sergei Adian 证明：无自重叠（cycle-free）关系 w = ε 的 special 独异点，字问题可判定——用 3.14 的图：无圈 ⟹ 合流 ⟹ 可判定。这是半群侧第一根大柱。_adian66 的图方法此后统治这个领域四十年。

1978/1987 · Adian–Oganesian。两人把整除问题的战场从 special 型收缩到两个形态（aUb = aVa 与 aUb = a——3.11 分类表的④行）；1987 年 Oganesian 声明解决了后者的可判定性——但其中关键引理引用的 Sarkisjan 1981 结果被发现存在缺口（Adian 本人 90 年代发现；缺口至今无人补上）——地图上出现一块「声明已解决但悬案未决」的迷雾区。学术史的教训：引文要亲手验（6.10 详述这桩公案）。

2019– · 复兴。Gray、Steinberg、Nyberg-Brodda、Foniqi 等人重启战场：special 一关系的同调刻画（Doc. Math. 2024）、monadic 子独异点成员的不可判定族（Canad. J. Math. 2025）、Magnus 子独异点的新进展（2025）。本册终点 P1 问题（无自重叠 special 型的成员问题）正处在这波复兴的浪尖——读者手里的基础文稿与工作台，就是为在这片浪里下水准备的。

问题链一句话：1914 提问，1947 定界，1966 破局，1987 收缩并留缺口，2019 复兴。每一格都是一个人的执着。下一章，我们拿起 Adian 的武器，走进算法。

第三章 自由独异点与呈现：词的语法例题课 3.A：自由独异点中的词运算

例 A.1（前缀序 vs 字典序）。在 {a, b}* 上（a < b）：① 列出词 ab 的全部前缀；② 比较 ab, ba, aba, b 四词在字典序下的次序；③ 在前缀偏序 ⊑ 下的次序。
解。① 前缀：ε, a, ab（|w|+1 = 3 个）。② 字典序（先比首异位，短者小）：比较 ab 与 aba——ab 是 aba 的真前缀，短者小：ab < aba；ab vs ba：首字母 a < b，ab < ba；b vs ba：b 是 ba 真前缀，b < ba。全序：ab < aba < b < ba。③ 前缀偏序：ε ⊑ a ⊑ ab ⊑ aba（一条链）；b 与 a、ab、aba 不可比（b 不是它们的前缀，它们也不是 b 的前缀）——偏序分叉，全序排队，两序在 ab 与 aba 处一致、在 b 处分道。∎
点评。第四章重写系统用 len-lex（长度优先）而非纯字典序，理由正是命题 1.14 的下降链——本题的两序对照是那次选择的实物预演。

例 A.2（旋转与 border 对账）。w = abab：列出全部循环置换，判 border，找出周期。
解。旋转：abab, baba, abab, baba——只有两个不同的（周期 2！）。border：真前缀 {a, ab, aba} ∩ 真后缀 {b, ab, bab} = {ab} ⟹ 有 border，且是最强情形——整词拷贝咬合（w = (ab)²）。对照 abba（3.12）：单字母咬合。两者都是 border，但 abab 的圈「大而整」，abba 的圈「小而碎」——第四章将看到 border 的「大小」影响临界对的数量。∎

例 A.3（字母表上的首尾统计）。{a, b} 上长 3 的词共 8 个：aaa, aab, aba, abb, baa, bab, bba, bbb。哪些 cycle-free？
解。捷径（3.12）：首 ≠ 尾 ⟹ 可能无 border，再查中段。aaa, bbb：首=尾，有 border。aba, bab：首=尾，有。aab, abb, baa, bba：首≠尾——查内部：aab 前缀 {a, aa} 后缀 {b, ab} 交集空 ✓；abb {a, ab} × {b, bb} 空 ✓；同理 baa, bba ✓。四个 cycle-free：aab, abb, baa, bba——全是「一头一尾不同的双同连块」形态。∎
点评。长 3 的 8 词里 4 个良性——比例 ½；实验课 3 将算长 10 的比例（读者猜升还是降？）。

三例覆盖词运算的三个基本功：两序对照、旋转与 border 对账、首尾检验。口算过关再进 3.B 的同余链条。

第三章 自由独异点与呈现：词的语法例题课 3.B：由关系生成同余并判定等价

例 B.1（交换律的链条）。呈现 ⟨a, b | ab = ba⟩。证明 abba ≡ baab，并写出最短初等变换链。
解。abba →（位置 3–4 的 ba 换 ab）abab →（位置 1–2 的 ab 换 ba）baab。两步，完赛。∎
点评。交换律世界每词唯一正规形「a 全前、b 全后」（1.16 的整理）——任何词都可整理，链条长度＝逆序对数。abba 的逆序对：位置 2 的 b 领先两个 a + 位置 3 的 b 领先一个 a……直接数整理路径长即知下界。正规形思想第一次显灵：判定等价＝各自整理后比较。

例 B.2（special 关系的判决）。呈现 ⟨a, b | aab = ε⟩（aab 无 border，良性候选）。问：b ≡ ε 吗？[b] 可逆吗？
解。初等变换只能「把 aab 换成 ε 或反向在任意位置插入 aab」。b 里插不出 aab（长度不够——插入使长度 +3，b 太短）；b 的子词含 aab？b 长 1，无。故 b 与 ε 之间无链条（任何含 b 的词长 ≥ 1，而链条上长度 mod 3 保守：aab = ε 使长度 −3 或 +3，长度 mod 3 是链条不变量！b 长 1，ε 长 0，1 ≢ 0 mod 3 ⟹ 不等价）。[b] 可逆？需 b·x = ε：x 须使 bx 与 ε 长度 mod 3 同余——bx 长 1+|x| ≡ 0 mod 3 可行，但内容上 bx 必须能全消成 ε：每次消去需 aab 形——b 后面接的必须形成 aab 之链……严格论证（4.6 的 Adian 定理会兜底）：良性区里 [b] 不可逆（b 不在 w 中被「全包围」）。本例用不变量已足够：⟨b⟩ 部分的完整分析留给习题 3（二）。∎
点评。长度 mod 3 不变量——每个 special 关系 w = ε 送出一个不变量「|u| − |v| mod |w|」（若 w 全长 L，每次替换长度差是 |w| 或…——精确版：替换 aab↔ε 改变长度 ±3，故长度 mod 3 不变）。找不变量是判定「不等价」的万能起手式——3.C 与习题反复演练。

例 B.3（非等价的完整证明）。呈现 ⟨a, b | ab = ba, a² = ε⟩。判定 aba 与 b 是否等价，给出完整证明。
解。ab = ba 允许任意重排（次数不变量：a 的个数、b 的个数各自守恒）；a² = ε 允许 a 的个数 mod 2 再折叠。aba 整理为 aab →a²消→ b；b 不动 ⟹ aba ≡ b。完整链条：aba →（位置 2–3 的 ba 换 ab）aab →（aa 换 ε）b。∎
点评。两条关系接力：交换律管「排序」，a² = ε 管「奇偶」——多重关系的呈现里，正规形＝排序（交换）＋折叠（幂关系）的复合。第四章的 Knuth–Bendix 就是为这种复合建立通用机器。

本课三式：整理比较（交换类）、不变量否决（长度 mod）、链条构造（等价证明）。三式合用，多数小型呈现的词问题当场可解——解不了的，第四章见。

第三章 自由独异点与呈现：词的语法例题课 3.C：形态分类实战

例 C.1（对号入座）。把下列一关系呈现归入 3.11 分类表的行，并说一句「该行已知命运」：① ⟨a, b | abab = ε⟩；② ⟨a, b | a = ba⟩；③ ⟨a, b | aab = baa⟩；④ ⟨a, b | abba = ε⟩。
解。① special 型（右端 ε）；词 abab 有 border（(ab)² 咬合）⟹ 恶性区候选——字问题无现成判定（Adian 良性区外）。② monadic 型（左侧单字母 a；且 a = ba 展开自指！a = ba = bba = ⋯——a 被 b 无限奴役，该独异点的 [a] 处于「无限退化链」——monadic 的病理标本，FGN 2025 不可判定带的家常）。③ 正字对型（aab = baa，两侧非空非单字母）——中转站角色。④ special 型，词 abba 有 border（尾 a 咬首 a）⟹ 恶性区。∎
点评。四例恰好四行；每行的「命运」栏是活的文献索引——读者已在用论文地图。

例 C.2（良性判定全程）。⟨a, b | aab = ε⟩：走完「良性三查」。
解。查一：词 aab 的 border——前缀 {a, aa} × 后缀 {b, ab}，空 ⟹ cycle-free ✓。查二：字母重复度——a 出现两次（重复！），Adian 旋转图（3.14）需逐旋转对验圈：旋转族 {aab, aba, baa}；对 (aab, aab)：图 K₂,₂ 有圈！⟹ 该旋转对不合流？且慢——这是本章最精微处：special 型的 Adian 判据的正确用法（4.6 将完整陈述）是「对重写方向 {aab → ε} 验临界对」而非「对旋转对验图」——单规则 {aab → ε} 的临界对＝aab 与自身的重叠＝aab 无 border ⟹ 无临界对 ⟹ 单规则收敛 ⟹ 良性 ✓。查三（代数后果）：units = {ε}（4.6 定理），字问题可判定（逐步消 aab）。∎
点评。例 2 提到 3.14 末段的「旋转图 K₂,₂ 有圈」与本页「无临界对」的表面矛盾，在此解除：3.14 末段的图检验是给「关系对 u = v」的（两侧都非空的对），special 型的 w = ε 没有非空对侧，正确工具是临界对分析（单规则系统的合流性）——两种「圈」分属两个机制，读者若在此处绕晕，回看例题 3.D 的图解。

例 C.3（从呈现读结构）。Mon⟨a | a³ = ε⟩ 有几个元素？units？幂等元？
解。唯一生成元 a，关系 a³ = ε 折叠幂序列：{ε, a, a²}（a³ 回 ε，a⁴ = a 等）——3 元。units：[a]·[a²] = [a³] = ε 且 [a²][a] = ε ⟹ a 与 a² 互逆，units = {ε, a, a²} 全体 ⟹ 是群 C₃。幂等元：群中只有幺元 ε。∎
点评。单字母 special 一关系独异点＝循环群——一关系地带的「零号标本」：最简单、且是群。从这里出发，每加一个字母、每加一个词长，命运都开始分岔。

分类实战三步：认行（形态）→ 查圈（border/临界对）→ 报命运（文献地图）。三步走熟，第四章的定理表将自动归档到这张地图上。

第三章 自由独异点与呈现：词的语法例题课 3.D：画一张 Adian 图

例 D.1（关系对的图）。画关系 aab = baa 的 Adian 图 Γ_u,v，数圈。
解。左顶点（u = aab）：a₁, a₂, b；右顶点（v = baa）：b′, a₁′, a₂′。连边：b–b′；a₁–a₁′, a₁–a₂′；a₂–a₁′, a₂–a₂′。图形状：K₂,₂（a 侧）＋单边（b）——K₂,₂ 是 4-圈。有圈。∎
点评。aab = baa 的两侧同词根（aab 的旋转）⟹ 图必然出圈（同字母重复导致 K₂,₂）——这类「旋转型正字对」是 Adian 恶性区的常客。

例 D.2（无圈的图）。画 aab = ab 的图。
解。左 a₁ a₂ b，右 a₁′ b′。边：a₁–a₁′；a₂ 无边（右侧只有一个 a）；b–b′。图：两条独立单边 + 一个孤立点。无圈。∎
点评。无圈 ⟹ （Adian 理论）替换机制互不干扰 ⟹ 良性。aab = ab 是 monadic 型的「良性样本」（左 aab 右单 b？不对——右侧 ab 非单字母——这是正字对型！长度不等（3 vs 2）的正字对——归约后是 monadic？Tietze：aab = ab ⟹ a·ab = ab ⟹ … 留给习题。此处只练画图数圈）。

例 D.3（special 型的正确画法——临界对图）。对 ⟨a, b | aab = ε⟩，画「单规则 {aab → ε}」的重叠图：把 aab 写两遍，滑窗找重合。
解。aab 滑动对 aab：后缀×前缀重合检查——aab 的非平凡后缀 {ab, b}，非平凡前缀 {a, aa}，无公共串 ⟹ 无重叠 ⟹ 无临界对（图上就是「两份 aab 无法部分咬合」）。对照 aba：后缀 {ba, a} × 前缀 {a, ab}：公共 {a}——重叠 1 格，临界对出现（aba 的尾巴 a 接 aba 的头 a，两次消去争夺中间的 a）。∎
点评。本课三个图三个层次：关系对图（3.14 定义）、无圈判例、special 型的滑动重叠图（4.5 临界对的画法）——「圈」在三张图里的身份各不相同：第 1、2 张的圈是 Adian 机制（关系对合流），第 3 张的重叠是 border 机制（单规则临界对）。读者应能把两机制彻底分开——这是读懂第四章的第一道门槛。

画图口诀：两侧排字母，同字母连连线，圈数定命运。special 型改画滑动重叠图（border 机制）。两图两制，勿混。

第三章 自由独异点与呈现：词的语法习题课 3（一）：自由与呈现

3.1（★）{a, b} 上长 ≤ 4 的词共多少个？其中 cycle-free 几个？（先按「首≠尾」缩小候选，再逐个查前后缀交集。）

3.2（★）证明：词 w 有 border ⟺ w 的最长真前缀中最长者等于某真后缀（叙述层面），并给出「最长 border 长度」的计算算法（伪代码即可，复杂度 |w|² 内）。

3.3（★）在 ⟨a, b | ab = ba⟩ 中：把 bab、abba、aabbb 各整理成正规形（a 全前 b 全后），并写出各自的初等变换链。

3.4（★）补全 3.4 的空表情形：验证一元独异点 ({1}) 是空字母表上的自由独异点（泛性质：唯一映射存在唯一）。

3.5（★★）证明：Mon⟨a, b | a = b²⟩ 同构于 Mon⟨b⟩ = ℕ（生成元删除的 Tietze 实战）。

3.6（★★）证明 Mon⟨a, b | ab = ba, b² = ε⟩ 的每个元素有唯一正规形 aⁱbʲ（i ≥ 0, j ∈ {0,1}），并判断：这个独异点有限还是无限？是群吗？units 是谁？

3.7（★★）构造 Mon⟨a, b | ab = ba, a³ = ε⟩ 到 ℤ/3ℤ × ℕ 的同构（泛性质流水线：双向指派＋相容性＋唯一性）。

3.8（★★）在 ⟨a, b | aab = ε⟩ 中证明：长度 mod 3 是同余不变量；由此证明 [b] 不等价于 [a²]（1 ≢ 2 mod 3）。

3.9（★★★）证明：⟨a, b | aab = ε⟩ 中 [b] 不可逆。（提示：若 bx ≡ ε，则 bx 能被消成 ε——追踪「消去 aab」过程中 b 的位置，论证 b 永远无法被完全消化。严格版即 4.6 的 Adian 论证单规则预热。）

3.10（★★★）Tietze 完备性的单向使用：把 ⟨a, b | ab = ba, a² = ε⟩ 化简到 ⟨b, c | c² = ε⟩ 形（或更简），逐步列出所用变换并验证保义。（挑战题 99 的热身。）

本组覆盖：词运算（3.1–3.2）、交换化正规形（3.3）、泛性质（3.4）、Tietze（3.5, 3.10）、商结构计算（3.6–3.7）、special 型初战（3.8–3.9）。3.9 是第四章 Adian 定理的热身——先自己挣扎五分钟。

第三章 自由独异点与呈现：词的语法习题课 3（二）：一关系独异点

3.11（★）对下列词，判 border 并列全部循环置换：aba, aabb, ababa, aabba。

3.12（★）证明：⟨a | aⁿ = ε⟩ ≅ C_n（循环群——3.4 泛性质流水线的单字母复训）。

3.13（★★）在 ⟨a, b | ab = ε⟩ 中：证明 [a] 有右逆 [b]；证明 [b][a] ≠ ε（长度 mod 2 不变量：ab→ε 改变长度 ±2，ba 与 ε 长度差 2——呃，2 ≡ 0 mod 2，不变量失效！换招：追字母序或用例题 3.C 的完整论证。本题教的是：不变量会失效，失效处正是技术的边界）。

3.14（★★）一关系呈现 ⟨a, b | aba = ε⟩：判 border；单规则 {aba → ε} 的临界对是什么？由此预言该独异点在 Adian 良性区的内外。

3.15（★★）分类对号（3.11 表）＋一步命运判断：⟨a, b, c | abc = ε⟩；⟨a, b | a = bab⟩；⟨a, b | abab = ba⟩；⟨a, b | aab = aba⟩。

3.16（★★★，通往 P1）证明：在 ⟨a, b | aab = ε⟩（良性 special 型）中，子独异点 ⟨[a]⟩ = {ε, a, a², …} 不含 [b]。再问：⟨[ab]⟩ 里有哪些元素？后一问的完整回答就是「成员问题」的实弹：第四、六章将证明这类问题在良性区内可判定（Gray–Steinberg 2024 的成果），而一般 monadic 型不可判定（FGN 2025）——同一道题，基因不同，命运两重天。

本组是通往研究前沿的直通车：3.14–3.16 正是 P1 问题的地形 Sampling。做完 3.16 的读者已经摸到了 Gray–Steinberg 2024 论文第一章的门口。

第三章 自由独异点与呈现：词的语法习题课 3：提示与选解

3.1 选解。总数 1 + 2 + 4 + 8 + 16 = 31。cycle-free：长 2 有 2 个（ab, ba——首尾不同且无中段）；长 3 有 4 个（3.A 例 3）；长 4：首≠尾的 8 个中，逐查——aabb（前缀 {a,aa,aab} 后缀 {b,bb,abb} 交空 ✓）、abba（交 {a} ✗）、abab（交 {ab} ✗）、baab（{b} ✗）、baba（{ba} ✗）、bbaa（✓）、babb？首 b 尾 b——首=尾 ✗（babb：首 b 尾 b）——重列长 4 首≠尾者：abba✗，abaa（尾 a 首 a）✗……系统列：首 a 尾 b：aabb✓, abab✗, abbb（前缀 {a,ab,abb} 后缀 {b,bb,bbb} 交空 ✓）；首 b 尾 a：baab✗, baaa（✓）, bbaa（✓）。共 6 个。累计 2+4+6 = 12。序列 2, 4, 6 提示：长 n 的 cycle-free 数可能是 n(n−1)；长 5 的检验是实验课任务。

3.6 选解。正规形：交换律把 a 全部提前、b 全部提前，得 aⁱbʲ；b² = ε 折叠 j mod 2。元素 {aⁱbʲ : i ≥ 0, j ∈ {0,1}}——可数无限。非群（a 无逆）。units：b 可逆（b·b = ε）——units = {ε, b} ≅ C₂。注意 b 的逆是自身；a 永不回头——「部分可逆」独异点的标准标本（5.2 嵌入问题的常客：它能嵌入群——答案是能：⟨a, b | ab = ba, b² = ε⟩ 嵌入 ℤ × C₂，第五章将反复用到）。

3.8 选解。同余不变量：长度差 mod 3 在每次初等变换下不变（aab ↔ ε 改变长度 ±3 或 0）——形式化：定义 δ(w) = |w| mod 3；对链条归纳 δ 守恒；u ≡ v ⟹ δ(u) = δ(v)。b 与 a²：δ = 1 vs 2，不等价。∎
方法论批注：不变量证明「不等价」的成本极低（一算一比），而「等价」须构造链条——不等价是默认，等价要举证——这个不对称贯穿一切判定问题。

3.9 提示（不给全解）。反设 bx ≡ ε。链条 bx = w₀ → w₁ → ⋯ → w_k = ε。关键观察：每步初等变换是「插入或删除 aab」；定义「位置不变量」ν(w) = b 在词中的位置特征（b 前面的 a 的个数 mod 3）——插入 aab 使该量 +0（aab 里 b 前有 2 个 a？插入位置不同贡献不同……精细版：ν = (b 之前的 a 数) mod 3 在「删除含 b 的 aab」时如何变化？分情形。若卡住：这正是 4.6 Adian 定理要自动化的事——承认卡点也是收获，标记位置，第四章回访。

3.13 选解。mod 2 不变量失效（|ab| = 2 偶——替换不改奇偶，ba 与 ε 同奇偶）。有效招：字母计数不变量——ab → ε 同时减一个 a 一个 b；⟹（#a − #b）mod 任意 全程守恒；ba 与 ε 的差：ba 有 #a = #b = 1，ε 有 0,0——差 (1,1)，替换只能 (±1, ±1) 同向——⟨⟨(1,1)⟩⟩ 生成的格 ℤ(1,1)：(1,1) 在其中！计数不变量也不拒。真正判决：⟨a, b | ab = ε⟩ 的 [b][a]——例题 3.C/4.6 的 Adian 分析证明 ≠ ε（此独异点非群、units = {ε}）。本题的教学点已达成：两个「显然」的不变量都失效——技术边界处才是研究。

提示只给到「下一步」为止——习题的价值在于卡住后自己长出来的那部分。真正的全解在 4.6 的定理里等着。

第三章 自由独异点与呈现：词的语法实验课 3：词与同余的计算探索

三个任务：① cycle-free 词的比例曲线；② 同余链条的 BFS 判定器；③ border 滑动图的可视化。全部代码在研究工作台 D:/BNU/Research/code/ 可复算。

任务一：cycle-free 计数。枚举 {a,b} 上长 n ≤ 12 的全部 2ⁿ 个词，逐个查 border（3.12 的前后缀交集法），输出比例曲线：

任务二：同余 BFS 判定器。对给定呈现 R 与两词 u, v：双向 BFS（从 u 只用「插入」、从 v 只用「删除」；单向 BFS 亦可，上限深度 d 内找链）：

任务三：border 滑动可视化。对 w = aba 与 w = aab 分别打印「自滑动对照表」（两行 w，逐位移），标记最大重合段——临界对的存在与否一眼可见。把 w = aabba（有 border：abba？前缀 {a,aa,aab,aabb} 后缀 {a,ba,bba,abba} 交 {a}——单格咬合）的滑动图也打出来。

思考题。① 任务二中 depth 上限拉到多大才算「尽力」？这问题的哲学答案在 4.10（不存在足够大的 depth——不可判定）。② cycle-free 词的生成能否不枚举而直接构造？（递归：在 cycle-free 词尾接字母并查新 border——效率对比。）③ 任务一的比例序列 OEIS 检索一下——实验发现的数列可能已是文献中的已知数列（查证习惯第一课）。

本实验的元教训：计算能给「是」，给不了「否」——BFS 找到链条即证明等价，找不到什么也证明不了。第四章的 Knuth–Bendix 将补上「否」的半个身子（正规形不等 ⟹ 不等价——合流性换来的判决权）。

第三章 自由独异点与呈现：词的语法误读辨析：关系不是改写规则——呈现的常见误读

呈现 ⟨A | R⟩ 里的关系 u = v 是「双向的相等声明」，但初学者几乎总是把它读成单向的改写规则「u 必须改成 v」。本页辨析这个默认误读——它无害于入门，却致命于第四章。

误读现场。见到 ⟨a, b | ab = ba⟩，读者心里立刻立起规则「遇到 ab 就改成 ba」——然后问：那 ba 要不要改回 ab？「改成 ba 之后 ba 就是正规形了」？凭什么是 ba？没有任何理由：ab = ba 是对称声明，两个方向都合法，选「ba 当正规形」是额外的、需要论证的决定。正确的图景：关系生成的是同余（词的打包），打包内部所有词「平权」；每个类里没有天然的「冠军」——正规形是我们派驻的代表（第三章的 [w] 写谁的名字都行），不是类里自生的王。

为什么这个误读在第四章致命？因为第四章的全部事业就是把对称关系定向成单向规则（u → v），并证明定向后的机器「可靠且完备」：可靠（soundness）＝机器改写只在同余类内部移动（不越类）；完备（completeness/合流）＝类内任何两个词都能改写到同一个终点。定向的选取是技术活：定向错误 ⟹ 机器狂奔不停（如把 ba → ab 定向，遇到 abbb 便改出 abab，再改出 aabb——无休止的来回搬运）或者机器失明（两条路径到不同终点——不合流）。误读者跳过「定向是决定」这一步，直接把机器当呈现的默认属性——于是在 4.3 节（终止性序的选取）与 4.4（合流性检验）处全面迷航。

三副矫正眼镜。① 语义优先：呈现定义的是商独异点（类系统）；规则（定向）是后来架设的计算装置——先有国，后有邮路。② 双向读法练习：每见一条关系，强迫自己说「u 与 v 等价，两个方向都是初等变换」——例题 3.B 的链条全是双向混用（abba 的整理链条里插入与删除交替）。③ 问「正规形是谁」的纪律：任何「我找到了正规形」的念头，必须补问：它在类内唯一吗？（合流性）它可到达吗？（每类可达）它的定义不循环吗？（终止性）——三问齐过，念头才升级为定理（4.4 的收敛三件套）。

一个甄别练习。呈现 ⟨a, b | aab = ε⟩：把「aab → ε」当规则用：babb → b（babb 含 aab 于位置 2–4：b·aab → b·ε = b ✓）。反向用规则（ε → aab）：b → baab → 继续膨胀——两个方向都合法（同余意义），但「用哪个方向计算」就是第四章的定向学。再看 ⟨a, b | aba = ε⟩：规则 aba → ε 的双向混用会在 abaab 上分岔吗？（aba·ab → ab 与 a·baa → b——两条路到不同终点，而 ab 与 b 不等价——分歧实锤，临界对 aba|aba 的恶果，3.D 例 3 的滑动图重合 1 格）。分歧即「机器不可靠」——第四章 4.5 的临界对理论就是为此而生。

一句话钉死本页：关系是法律（双向），规则是执法单向卷；法律不自动生成执法，执法要另行建设并验收。第四章是执法学院的全部课程。

第三章 自由独异点与呈现：词的语法思想卡：语法与语义——呈现是独异点的基因

本章最深的观念只有一对词：语法（syntax）与语义（semantics）。词与关系是语法（纸上的符号运作），商独异点是语义（被语法定义的对象世界）。这对词不新——数理逻辑的根基、编译原理的命脉——但它在呈现理论里的化身值得单独一页。

基因与生物。呈现之于独异点，如同基因之于生物：一维的符号串决定三维的结构。基因的三个特征呈现全部具备：① 冗余——同一独异点有无穷多呈现（同一生物可克隆）；② 表达——呈现「展开」成独异点的过程（取同余商）如基因表达，展开产物比基因本身复杂得多（一个三字母关系 aab = ε 展开出的独异点里藏着无穷的词的世界）；③ 突变——Tietze 变换是同义突变（生物不变），改一个关系就是移码突变（独异点剧变：⟨a,b | ab = ε⟩ 与 ⟨a,b | ab = ba⟩ 一词之差，命运两重天）。读基因算命运——3.11 分类表就是一张基因检测报告。