对称与怪兽（五）：三十年，一万页，与一个没人读得完的证明

归谬法（一种证明定理的方法）——欧几里得如此钟爱的那件武器——是数学家最精良的兵器之一。它远比任何棋局里的妙着都更高明：下棋的人至多牺牲一个兵、甚至一个子，而数学家押上的，是

整盘棋

。 —— G. H.

哈代

（G. H. Hardy），《一个数学家的辩白》（

A Mathematician’s Apology

）

[作者的话 — Yeqiu]

这个系列做到这里，老实说我自己的数学基础已经不够了。我自己并非这个领域专业的研究者，仅仅是出于兴趣和对目前的AI与人合作进行一场实验的目的一集一集去做的。在目前非常困难的当下，它也帮助我专注于我所感兴趣的事情，带我暂时脱离了现实的种种烦恼，因此所能做的是尽可能读懂那些数学的部分并且分享给感兴趣的人。这个博客与其说是为别人写的不如说是我公开的树洞，但愿专注于我想做的事能帮助我渡过难关吧。

配套视频已上线（YouTube）

引子 · 一个没人读得完的证明

有这样一个定理。

它的证明长约一万到一万五千页，散在约 500 篇学术论文里，出自约 100 位作者之手，前前后后写了约 30 年。而最让人不安的一句话是——今天这个世界上，没有任何一个人完整地懂这整个证明。

它是人类靠协作、一页一页手写出来的、史上最长的证明，至今没有别的人写的证明超过它——它不是”曾经最长、现在被超了”，它现在仍然是。要排除在外的是计算机辅助证明：四色定理（我们在本系列之外单独讲过一集）、2016 年一个组合染色问题（布尔毕达哥拉斯三元组）那个约 200 TB 的机器证明、开普勒猜想的形式化验证——那些体量更大，但都是机器生成的，不是人一页页手写的。区分点只有一句话：人写的，还是机器生成的。 我们说的是前者。

上一集结尾留下的那个悬念，就这样意外的被推到了一个更尖锐的问题面前。

EP4 我们看着 Lie（李）那套连续对称的数学，被搬回了有限世界，排成一条条规整的家族。可”对称的原子”——有限单群（EP2、EP3 讲过的单群：再也拆不开的群，除了平凡方式，没有正规子群能把它整块缩小；对称世界里再也劈不开的”原子”）——到底有多少种？这一集，约一百位数学家用三十年回答了它，给出了一份完整的清单。但代价是：这份答案，长到没有任何一个人能从头到尾验证一遍。

四色定理曾把同一个问题第一次摆上台面。1976 年那台计算机把一千多种情形逐一算对了，可那个量大到没有人能一页页手工复核完——它的难处是”算得对，却没人纵览得完”。这一集，同一个问题以另一种、也许更根本的方式回来：这一次，每一页人都读得懂，可没有一个人读得完。

一个长到没有任何一个人能从头到尾验证一遍的证明，还算一个证明吗？

这一集，我们顺着三个人、三章故事走完这条线——三章看似各讲各的，其实是同一件事的三步：先把原子造出来，再学会认清它们，最后证明一个都不缺。 先是 Chevalley（谢瓦莱）找到一套方法，把所有规整的对称原子一次造齐（§1）；再是 Tits（蒂茨）换一双眼睛，把这些群看成一座座”建筑”、从而能认出它们（§2）；最后，约一百位数学家花三十年，证明这份清单再没有漏网的原子——以及这件事最出人意料的收场（§3）。

这个故事最戏剧性的地方不在”证不出来”，而是：人类面对这堆没人能独验的证明，做出的回应竟然是——

专门发明一套新工程，花几十年把这个证明重写一遍，只为了让它能被检验。

一个证明，长到促使人类去给”证明”本身造一条新的质检流水线。这个反转，留到 §3 末揭晓。

目录

• §1 · 战后：一套方法，把所有的”原子”一次造齐
• §2 · 来自 Uccle 的人：把群看成一座建筑
• §3 · 大定理：三十年，一万页，一份没人能独自核对的清单
• 尾声 · 二十六个零余数
• 附录 · 站在 EP4 上，把这一集一步步学下来
• 参考来源
• 图像来源

§1 · 战后：一套方法，把所有的”原子”一次造齐

EP4 结尾，我们站在一个半成品面前。Dickson（伦纳德·迪克森，Leonard Dickson，1874–1954）“把李群搬到有限域上”，确实造出了一批有限的对称原子——比如把 $A_1$ 型搬到只有 $p$ 个数的有限域 $\mathbb{F}_p$ 上，得到 $\mathrm{PSL}(2,p)$，里面就藏着 EP3 那颗 $A_5$。但 Dickson 是一族一族、几乎一个一个手工验证的：经典的那几族（对应 EP4 周期表里的 $A、B、C、D$）他能对付，可 EP4 角落里那 5 个戛然封顶的例外——$G_2、F_4、E_6、E_7、E_8$（EP4 只点了名，留给后面几集）——验证起来极其别扭，没有一个统一的造法。换句话说：连续对称的”周期表”，EP4 已经列全了，但把它整张搬回有限世界的那套方法，还没找全。

图 1　伦纳德·迪克森（Leonard Dickson, 1874–1954）。他最早”把李群搬到有限域上”，造出一批有限的对称原子，但只能一族一族、几乎一个一个手工验证。来源：MacTutor 肖像存档。

顺带说一句它们为什么”古怪”：$A$–$D$ 四大族说到底都来自三种结合律成立的”赋范可除代数”——实数 $\mathbb{R}$、复数 $\mathbb{C}$、四元数 $\mathbb{H}$；而这样的代数总共只有四种（Hurwitz 定理），最后一种是八元数 $\mathbb{O}$（octonions：四元数之后那个”最后的”数系，乘法连结合律都丢了）。这 5 个例外，恰恰全都长在这第四种、也最反常的八元数上——“为什么偏偏是 5 个”，根就在这里。最干净的例子是 $G_2$——它恰好就是八元数的对称群 $\mathrm{Aut}(\mathbb{O})$——八元数有七个”虚单位”，它们两两相乘服从一套固定规则（可以摆成一张定向的法诺平面），$G_2$ 就是所有能连续”搅动”这七个虚方向、却让整套乘法规则纹丝不动的对称，一共 $14$ 个自由度（具体构造见附录 J）；剩下的 $F_4、E_6、E_7、E_8$ 顺着弗罗伊登塔尔–蒂茨幻方（Freudenthal–Tits magic square）、沿八元数几何一路长到 $248$ 维的 $E_8$ 就戛然封顶，再往上邓金图的约束不再允许。$E_8$ 后来在弦论（杂化弦的 $E_8\times E_8$）和 $8$ 维最优堆球（Viazovska 2016）里都露过面。它们各自完整的构造要用到八元数上的约当代数、幻方每一格具体怎么填——本集在附录 J 把第一级讲透了（八元数、“为什么恰好这几个例外”、以及 $G_2$ 恰好就是八元数的对称群）；$F_4$–$E_8$ 那套幻方更深，附录里只点名、细节见文末 Baez《The Octonions》。（后面几集讲的是另一片真正的怪东西——散在群，不是这几个例外李型。）

图 2　凯莱–迪克森阶梯：每上一级维数翻倍、交出一条性质——序 → 交换律 → 结合律 → 除法。八元数 $\mathbb{O}$ 是”最后一个”赋范可除代数，那 5 个例外李型全都长在它上面。

战争在这条线上留下了两道刻痕。先是第一次世界大战——它几乎抹掉了法国整整一代数学家：最负盛名的巴黎高师，战时名录里约一半的在校生殁于前线。用亨利·嘉当（Henri Cartan）后来的话说，“我们是战后的第一代，前面是一片空白，一切都得从头做起。“正是在这片空白里，一群年轻人在 1934 年聚到一起，决定用一个共同的笔名写书，把整个现代数学在最严格、最抽象的地基上重写一遍。这个笔名叫 Bourbaki（尼古拉·布尔巴基，Nicolas Bourbaki）——不是一个人，是一个集体的化名。名字的来历本身就是个玩笑：巴黎高师当年有场恶作剧讲座，一名乔装的学生煞有介事地”证明”了一串全是错的定理，最唬人的一条被冠名”布尔巴基定理”（Bourbaki 原是普法战争时一位法国将军的名字）；几个年轻人觉得有趣，就借了这个名字，“尼古拉”这个名则是韦伊（André Weil）的夫人取的。后来第二次世界大战再度打断一切——而 Bourbaki 最年轻的创始成员之一，正是这一节的主角：Chevalley（克劳德·谢瓦莱，Claude Chevalley，1909–1984）。

图 3　年 Bourbaki 的一次聚会（风格化重现）。“布尔巴基”不是一个人，是一群年轻数学家的集体化名；谢瓦莱是九位创始人里最年轻的一个。（风格化重现，非原始合影。）

Chevalley 是个彻底的世界主义者——生在南非约翰内斯堡、长在法国、1949 到 1957 年在纽约哥伦比亚大学任教，再回到巴黎。1934 年底 Bourbaki 第一次聚会时他就在场，是九位创始人里最年轻的那个。Bourbaki 那套”把一切建立在统一、抽象、严格的结构上”的信念，恰恰是他后来那项工作的底色。

图 4　克劳德·谢瓦莱（Claude Chevalley, 1909–1984）。来源：Konrad Jacobs / MFO, CC BY-SA 2.0 de

1955 年，Chevalley 发表了一篇题目朴素到不起眼的论文——《论某些单群》（“Sur certains groupes simples”，发表于日本的《东北数学杂志》Tôhoku Math. J. 第二辑第 7 卷，1955 年，第 14–66 页）。这篇论文做的事，可以一句话概括：他造出了那台机器。

Dickson 一族一族手工算的活，Chevalley 给了一个统一的配方：拿 EP4 那张 Killing–Cartan 周期表上的任何一个类型（4 大族加 5 个例外，一共 9 个），用同一套机械的步骤，就能把对应的群造在任意一个域上——实数、复数，乃至任何一个有限域 $\mathbb{F}_q$（EP4 §4 讲过的那种只有 $q$ 个元素、却照样能加减乘除的数系，$q$ 必是某个素数的幂）。一个配方，吃进去一个李型加一个域，吐出来一个群。EP4 周期表上每一个连续对称，都借这套方法有了它的有限版本——包括那 5 个例外。Chevalley 第一次系统地造出了 $G_2、F_4、E_6、E_7、E_8$ 在有限域上的有限单群，这些群在他之前没人构造过。

谢瓦莱的统一造法：李型群从「实数」搬到「任意有限域」

一个李群（比如所有行列式为 $1$ 的 $2\times2$ 实矩阵 $\mathrm{SL}_2(\mathbb{R})$——就是 EP4 §4 里我们用来造出 $A_5$、$\mathrm{PSL}(2,7)$ 的那类矩阵群）的”骨架”——描述”两个最基本的无穷小转动怎样复合出第三个”的那组数字，叫

结构常数

——其实可以全部写成

整数

。整数在哪个数域里都讲得通。所以 Chevalley 说：别用实数 $\mathbb{R}$ 了，换成只有 $q$ 个元素的有限域 $\mathbb{F}_q$（$q$ 是某个素数的幂），同一套骨架照样搭得起一个群。一个连续的、无穷大的对称群，就这样”像素化”成了一个

有限

群——而且往往是单群。

小例

：把 $\mathbb{R}$ 换成 $\mathbb{F}_q$，$\mathrm{SL}_2$ 变成有限群 $\mathrm{SL}(2,q)$；再除掉中心 $\{\pm I\}$，得到

射影特殊线性群

$\mathrm{PSL}(2,q)$，它的

阶

（即群里元素的个数）有一个干净的公式：

$$|\mathrm{PSL}(2,q)| \;=\; \frac{q\,(q^2-1)}{\gcd(2,\,q-1)}.$$

代 $q=7$：$\frac{7\cdot 48}{2}=168$——这是

第二小的非交换单群

（最小的是 $60$ 阶）。再代 $q=5$：得 $60$，它恰好就是 EP4 出场过的 $A_5$（$\mathrm{PSL}(2,5)\cong A_5$）。同一个 $60$ 阶单群，既是”五个东西的偶置换”，又是”$\mathbb{F}_5$ 上的射影矩阵群”：两条完全不同的路，通向同一个尽头。（阶公式怎么来的，见文末附录 A——是本集少数能一步步证完的小块。）

图 5　把 $\mathrm{GL}$ 一列列”数”出来，再两次”剥皮”（除掉 $\det=1$ 一层、除掉中心 $\pm I$ 一层）到 $\mathrm{PSL}$；代 $q=7$，得到 $168$。

Chevalley 这套方法造出来的，叫 Chevalley 群（谢瓦莱群）——它们是李型有限单群里”没加过”的那 9 族（就是刚说的 4 大族 + 5 例外）。但故事还没完——这套方法还能”改进一下”。

给机器加挡位的三个人：扭群

Chevalley 的配方很规整，但有人注意到：EP4 那些李型的”图”（Dynkin 图，邓金图——可以想成每个李型的指纹简笔画）本身带对称。举个具体的：$A_2$ 型的图就是两个圆点、中间连一条线，$A_n$ 型是 $n$ 个圆点连成一条链——这条链左右对称；$D_4$ 型则是中心一个点伸出三条短枝，带一个三岔的三重对称。既然图自己能翻折，那把 Chevalley 的造法沿着这个翻折扭一下，会不会长出新的群？

图 6　每个李型都有一张 Dynkin 图（指纹简笔画），图本身带对称：沿这个对称翻折、把造法也跟着”扭”一下，就长出新的族——$A_n\to{}^2A_n$、$D_4\to{}^3D_4$。

会。Steinberg（罗伯特·斯坦伯格，Robert Steinberg，1922–2014）——生于今摩尔多瓦、在加拿大长大、在多伦多跟随 Brauer（理查德·布劳尔**——§3 还会回来的那位）读完博士、终身任教于 UCLA——在 1959 年的论文《谢瓦莱主题的变奏》（“Variations on a theme of Chevalley”）里，正是这么干的：用李型图自身的对称去”扭”Chevalley 的构造，又长出 4 族新的有限单群（记号写成左上角带个数字：$^2A_n、^2D_n、^2E_6、^3D_4$）。这些叫 Steinberg 扭群；其中 $^2A_n$ 就是酉群（unitary groups）**那一支（酉群并不算大众熟脸——粗略说，它是把”正交矩阵保持长度”里的转置换成”共轭转置”得到的一类矩阵群；细节见附录 D）。论文题目说是”变奏”，其实是谦虚了，他是给 Chevalley 那套方法加装了一个新挡位。

更意外的来自一个完全不同的方向。Suzuki（铃木通夫，Michio Suzuki，1926–1998）——日本人，长期任教于美国伊利诺伊大学，1960 年在研究一类高度对称的置换群时，撞见了一族谁也没预料到的新单群，记作 $^2B_2(q)$（Suzuki 群，铃木群）。它有两处与众不同：只在特征 $2$ 的域上才存在；而且它的阶不被 $3$ 整除——它是唯一一族阶里没有因子 $3$ 的非交换有限单群（最小的一个有 $29120$ 个元素）。一开始它看上去像个孤零零的例外，后来才被看清：它也是 Chevalley 方法”扭”出来的一种，只是扭法更隐蔽。

Suzuki 这一发现刚出来，李林学**（Rimhak Ree，1922–2005）**很快跟进。李林学出生于今属朝鲜的咸兴，后来在加拿大不列颠哥伦比亚大学任教，是位韩裔加拿大数学家。受 Suzuki 启发，他在 1960–61 年找到了类似机制下的最后两族——$^2G_2(q)$ 和 $^2F_4(q)$，中文叫 里群（Ree groups）。

图 7　给谢瓦莱的机器“加挡位”的三个人（左起）：罗伯特·斯坦伯格（Robert Steinberg, 1922–2014，扭群 $^2A_n$ 等 4 族）、铃木通夫（Michio Suzuki, 1926–1998，铃木群 $^2B_2$）、李林学（Rimhak Ree, 1922–2005，里群 $^2G_2$、$^2F_4$）。来源：Steinberg — David Weisbart / NAS Biographical Memoirs & UCLA Math；Suzuki — MacTutor / AMS Notices；Ree — MacTutor。

⚠️ 一个中文译名上的小提醒（读者请留意）

：李林学造的这些群，中文写作”

里群

“，而

不是”李群”

——“李群”是 EP4 那个主角 Lie group（连续对称群），两者毫不相干。这里用”里”字纯为避开和 Lie 的字面撞车。人名我们用”李林学”，群名一律用”里群”。

先补一句”扭”到底是什么

（直觉，不证）：有限域自带一个天然的”翻面”操作——把每个数都取 $p$ 次方（$x\mapsto x^p$），数学上叫

Frobenius 映射（弗罗贝尼乌斯映射）

。它就像有限域里的”复共轭”：反复做会转回原样，是这个数系自身的一种对称。所谓”扭”，就是把李型图的那个左右对称，通过这个 Frobenius 翻面

编进群的定义里

。最熟悉的产物就是酉群：未扭的 $A_2(q)=\mathrm{PSL}(3,q)$ 扭一下，就成了 $^2A_2(q)=\mathrm{PSU}(3,q)$——多出来的，正是一条用 Frobenius 写成的”共轭转置”约束（具体到一个 $3\times3$ 矩阵，见附录 D）。

至此，把对称”原子”批量生产的那条流水线，零件全了。把 Chevalley（9 族）+ Steinberg（4 族）+ Suzuki（1 族）+ 里（2 族）加起来，正好是 16 族有限单群，统称李型有限单群（finite simple groups of Lie type）。再加上 EP3 的交错群 $A_n$（也是无穷一族）和最朴素的素数阶循环群，有限单群里”有规律、排成无穷家族”的那部分，恰好是 18 个无穷族——其中 16 个是李型。

EP4 那张”连续对称的周期表”，到这里被完整地搬回了有限世界：四条规整家族 + 五个例外，每一个都有了有限版，整整齐齐排成 16 族。

一套方法，似乎已经造出了所有规整的对称原子。可如果继续追问——这 16 族（连同循环群、交错群），真的就是全部吗？会不会有哪颗原子，根本不从这套方法里出来？——要回答这个问题就必须换一个角度，重新审视这些群。第一个换角度的人，把它们看成了几何。我们先看看他是谁。

§2 · 来自 Uccle 的人：把群看成一座建筑

Chevalley、Steinberg 们把这些群算出来用的是矩阵、生成元和域上的方程。但有一个更根本的问题悬着：这些群到底是”什么东西”的对称？ EP1 里正多面体群是某个柏拉图立体的对称、EP4 里 $SO(3)$ 是一个球的对称——每一个这样的群背后，似乎都该站着一个它在”转动”的几何对象。那么这 16 族李型群，它们是什么的转动？

回答这个问题的人，是 Tits（雅克·蒂茨，Jacques Tits，1930–2021）。他 1930 年生于比利时布鲁塞尔南郊的小镇 Uccle（于克勒）——Ronan 给这一章起的标题就是”来自 Uccle 的人”。Tits 是个神童，很小就上了大学；他 1974 年入了法国籍，长期执掌法兰西公学院的代数学讲席。

图 8　雅克·蒂茨（Jacques Tits, 1930–2021），“来自 Uccle 的人”。来源：Harald Hanche-Olsen, CC BY 3.0

Tits 给出的答案，是一个全新的几何概念：building（楼宇，原文 immeuble）。粗略地说，他证明：每一个李型群，都是某座”建筑”的对称群。这座建筑不是砖石的，是一个高维的几何骨架——由许多被称为”公寓（apartments）“的平直片层拼成，每个片层又镶嵌成一格一格的”房间（chambers）“。群作用在这座建筑上、把房间搬来搬去，而建筑的几何形状，就把那个抽象的群完完整整地编码了进去。

图 9　Tits building：apartment（Coxeter 反射铺砌）沿 chamber（房间）粘合，群搬动 chamber、把几何编码成群；rank ≥ 3 时几何唯一决定群；最小的一座 = 法诺平面 = $\mathrm{PSL}(3,2)$ 的 building。

building 是什么（直觉 + 一个小例）

一个 building 是用很多块”平地”拼起来的几何，每块平地叫一间

apartment（公寓）

，都长成同一张规整的镶嵌图案（一个反射群——

Coxeter 群，考克斯特

——的对称图案）。李型群的作用，就是在这些公寓之间来回搬动、把它们贴合起来。妙处在于：当群足够大时，

几何反过来限制了群

——你只要画对了这张楼宇图，群就唯一确定了。Tits 因此能用纯几何去”发现”和”识别”李型群，而不必纯靠代数推演。

小例

：取最小的一个——$\mathbb{F}_2$ 上的射影平面，也就是数学里最小的一种”平面几何”、称为

Fano 平面

：整个平面只有 $7$ 个点、$7$ 条线，每条线上 $3$ 个点、每个点过 $3$ 条线，小到能整个画在一张纸上。把”点”和”线”各画成一类顶点，一个点落在一条线上就连一条边，得到的图（

Heawood 图

）就是 $\mathrm{PSL}(3,2)$（阶 $168$——和 §1 那个 $\mathrm{PSL}(2,7)$ 其实是同一个群，

证见附录 F

）的 building：$14$ 个顶点、$21$ 条边（七条线的明细在附录 E 全部列出）。它的每一间”公寓”就是图里的一个正六边形。

building，就是让群在自己的几何里现形。

图 10　最小的一种平面几何——Fano 平面（$7$ 点、$7$ 线，每线 $3$ 点、每点过 $3$ 线），它的关联图（Heawood 图，$14$ 顶点 $21$ 边）就是 $\mathrm{PSL}(3,2)$ 的 building。

Tits 这一步真正的分量，是给了整个李型群家族一个统一的几何视角：这些群从此有了双重身份——既是各自用矩阵定义的代数对象，也是同一类几何（building）的对称。这是和 §1 那条代数构造线并行的另一条路：一条用配方造群，一条用几何看群。（这条”从群反推几何”的路，其实接续了 19 世纪克莱因（Klein）的埃尔朗根纲领——克莱因说”一门几何就是它的对称群”：几何研究的，是某个变换群作用下保持不变的东西；蒂茨反过来走，给一个李型群、造出一个让它当对称、作用于其上的几何。两人合起来，正是”群 ⟷ 几何”这部词典的两面。）

这条几何路后来分量极重。2008 年，Tits 与下一节的主角 John Thompson（约翰·汤普森**）**一同获得 Abel 奖（阿贝尔奖）——这个奖以 EP3 那位英年早逝的 Niels Abel（阿贝尔–鲁菲尼定理里的那位阿贝尔）命名，被视为数学界的最高荣誉之一。颁奖词表彰他们”在代数领域、尤其是在塑造现代群论方面的深刻成就”。一个用几何重新审视群、一个把整份清单一个个列出来，现代群论的两面，被这一届 Abel 奖一起点了名。

Tits 给了我们审视清这些群的眼睛。可”清单到底全不全”这个问题，光靠看是看不出来的——得有人真的去把它证明。而这，用掉了约一百位数学家整整三十年。

§3 · 大定理：三十年，一万页，一份没人能独自核对的清单

第一步：奇阶定理

要证明”对称原子的清单已经列全”，第一步得先把搜索范围收窄。1955 年——正好是 Chevalley 发表那篇论文的同一年——Brauer（理查德·布劳尔，Richard Brauer，1901–1977）和 K. A. Fowler 证了一条不起眼却重要的定理（《论偶阶群》，Annals of Math. 62, 1955）：固定一个”对合”（即 $2$ 阶元）的中心化子，与它相符的有限单群最多只有有限个（这条”有限性”只靠数对合就能证完，完整证明见文末附录 I）。换成大白话——每个有限单群内部，都有一小块”某个 $2$ 阶元和哪些元素相乘可交换”的结构；一旦这块小结构被固定，符合它的有限单群就只剩有限个。这条定理把”在无穷多个群里大海捞针”，变成了”按一小块特征把候选收窄到有限个”，给整个分类提供了第一个落脚点。举个能上手的例子：$A_5$（$60$ 阶）里取那个 $2$ 阶元 $(1\,2)(3\,4)$，和它相乘可交换的元素只有 $4$ 个，正好组成一个 $4$ 阶小群（后面 §3 会算给你看）。Brauer 定理反过来说：只要规定”和某个 $2$ 阶元可交换的那块结构就是这么个 $4$ 阶小群”，全世界满足这条的有限单群，加起来也只有有限个——$A_5$ 便是其中之一。于是 1955 这一年，两条线同时启动：Chevalley 一条，负责造出规整的原子；Brauer 一条，负责框定该到哪里去找不规整的原子。

真正的转折发生在 1963 年，出自 Feit（沃尔特·费特**，Walter Feit，1930–2004）**和 **Thompson（约翰·汤普森，John Thompson，1932– ）**之手。Feit 的身世本身就是一段战争的注脚：他生于维也纳，1939 年 9 月 1 日被父母送上一列”儿童撤离专列”（Kindertransport）离开——那正是二战爆发的当天；父母原打算两周后跟来，却再没能成行，他此生再没见过他们。那趟车，是驶出维也纳的最后一班。多年后，Ronan 的书里还留着少年 Feit 从美国写给姨妈的那封信。就是这个 Feit，和 Thompson 联手，证明了一条后来被公认为群论史上最有影响的定理：

奇阶定理（Feit–Thompson，1963）。

每一个

奇数阶

的有限群，都是

可解的

。

奇阶定理在说什么，它为何是这场分类的起点（直觉）

“可解”是群里最

温顺

的一类：它能由交换群一层一层搭起来，里头没有任何”非交换单群”这种拆不动的硬积木。反过来说，这条定理等于宣布：

你绝不可能用一堆奇数阶的零件，拼出一个非交换单群

——每一个非交换单群，阶都必然是

偶数

，因而（由

EP3 证过的柯西定理

：素数 $p$ 整除群的阶，群里就必有 $p$ 阶元；这里取 $p=2$）一定含有一个 $2$ 阶元，也就是一个”对合”。这一下，要找的范围就被彻底限定了：每个非交换单群身上都带着对合，于是可以从这个对合入手，去看”和它可交换的那些元素”——这些元素组成的群，就叫它的

对合中心化子

$C_G(t)$。 回扣 EP3/EP4：$60=2^2\cdot 3\cdot 5$、$168=2^3\cdot 3\cdot 7$，都含因子 $2$，正合这条定理。

让当时整个数学界倒吸一口凉气的，是它证明的长度：这篇论文整整 255 页（《Solvability of groups of odd order》，Pacific J. Math. 第 13 卷，1963 年，第 775–1029 页——几乎占满了一整期杂志）。一条定理，255 页。 如果光是”奇阶→可解”这一小步就要 255 页，那么把所有有限单群分类清楚，会是一项多么庞大、甚至看不到尽头的工程？奇阶定理既像一个正式的起点，也像一个不祥的预兆。它用的那套方法——局部分析（local analysis）——成了此后所有人的模板。

图 11　奇阶定理的两位作者：沃尔特·费特（Walter Feit, 1930–2004，左）与约翰·汤普森（John Thompson, 1932–，右）。来源：Feit — Konrad Jacobs / MFO, CC BY-SA 2.0 de；Thompson — © C. J. Mozzochi, Princeton N.J.

local analysis（局部分析）的直觉

与其正面去解决整个庞大的群 $G$，不如只关注它的这些

局部碎片

——对合中心化子、各个素数对应的小子群。每块碎片都不大、看得清；分类工程的整套手艺，就是

从这些局部碎片把整个 $G$ 重新拼起来

。类比：不直接看整栋楼，而是查每一户的户型和邻里关系，拼出整栋楼的图纸。为什么总关注素数 $2$？因为奇阶定理保证了每个非交换单群必含对合（$2$ 阶元），$2$ 就是那个永远打得开的入口。

图 12　年 9 月 1 日的维也纳，一列”儿童撤离专列”驶离——就在这一天，二战爆发。九岁的沃尔特·费特是车上的孩子之一，此后再没见过父母。（风格化重现。）

小例

：还是 $A_5$（阶 $60$，偶数——符合定理）。取它的一个对合 $t=(1\,2)(3\,4)$，和 $t$ 交换的元素恰好是

$$C_{A_5}(t)=\{\,e,\;(1\,2)(3\,4),\;(1\,3)(2\,4),\;(1\,4)(2\,3)\,\}\;\cong\;V_4,$$

克莱因四元群，

阶 $4$

（$A_5$ 里这类对合共 $15$ 个，$60/15=4$）。这么一个 $4$ 阶小群，就是分类工程手里的一片”局部信息”。难以想象——可整套分类，就是靠拼合千千万万片这样的小碎片完成的。

总设计师 Gorenstein：一项他称作”三十年战争”的工程

奇阶定理之后，工作全面铺开。整个 1960、70 年代，先是几位、后是几十位、最终约一百位群论学家，一块一块地把这项分类往前推。这种规模的协作需要一个总指挥——而这个人，是 Gorenstein（丹尼尔·戈伦斯坦，Daniel Gorenstein，1923–1992）。

图 13　丹尼尔·戈伦斯坦（Daniel Gorenstein, 1923–1992），分类工程的”教父”与总设计师。来源：Konrad Jacobs / MFO, CC BY-SA 2.0 de

别人各自证下一个个最难的引理，而 Gorenstein 做的是另一件他们做不了的事：统观全局、运筹帷幄。他被同行私下称作”教父”——能同时统筹上百名研究者，让他们”各干各的、却又能合到一处”。1972 年，他先后在芝加哥、伦敦、以色列的魏茨曼研究所，公开摆出了一份完成整个分类的纲领——一份约十六步的路线图（这份纲领他 1974 年正式发表；“恰好十六步”这个数，是 Gorenstein 本人后来回顾时列的清单，并非第三方的客观清点）。有了这张路线图，原先分散的钻研，就变成了有总图可循的协同推进。

Gorenstein 本人给这项工程起了个名字——“三十年战争”。而最不可思议的是，作为这场”战争”名义上的”元帅”，他还同时管着 Rutgers 大学整个数学系。代价是惊人的体量：到工程接近尾声时，这个证明已经长成这样的规模——约一万到一万五千页，散在约 500 篇论文里，出自约 100 位作者之手，前后写了约 30 年。

分类的最终结构：一张总览

这三十年换来的，是一句话能说完的清单——每一个有限单群，都恰好属于下面四类之一，没有遗漏、没有第五类：

前三类是一套规整的方法——你报一个素数、报一个 $n$、报一个域和家族，它就吐给你一个单群，要多少有多少。真正的怪事在第四类：那 26 个散在群，进不了这套方法，是清点完所有规律家族后剩下的、各自孤立的”零余数”。其中最大的一只，就是阶约 $8\times10^{53}$（写出来 $54$ 位数）的魔群（俗称”怪兽”）——它根本不属于任何模式，却又确凿地存在。

小注（“到底有几类、几个”其实还能再较真）

：李型到底算”$16$ 个家族”，还是连循环、交错一起算”$18$ 个无穷家族”，取决于你怎么数那些边角料——甚至连"$26$"这个数都有人较真：

Tits 群 $^2F_4(2)'$

（Ree 群 $^2F_4(2)$ 的指数-$2$ 换位子群）至今没有统一归类，有人把它当第 $27$ 个散在群、有人算作李型的边角料。连”分类清单到底有几行”都要这样较真，这种较真本身，就是本集的主题。

诚实：还算一个证明吗？

约 1981 年（Gorenstein 宣布；通俗资料也有记 1983，而 Aschbacher 本人的措辞是”大约 1980”——连这个”完成之年”都对不齐），整个群论界宣告：**有限单群，分类完成了。**清单就是上面那四类。这场持续了三十年的工程，似乎终于收尾。

可这个”完成”，从一开始就裹着一层四色定理式的不安——而且比四色定理更让人不安。

四色定理的麻烦是：机器把一千多种情形逐一算对了，可那个量大到没人能一页页手工复核完——难处在体量，人其实看得懂机器每一步在做什么。有限单群分类的麻烦，落在了另一边：这一次要读的活儿全是人手写的，每一页人都看得懂，可没有一个人看得完。约一万页、散在 500 篇论文、100 个人各写一块，这世界上没有任何一个人从头到尾读过、更别说独立验证过整个证明。更严重的是，**Aschbacher（迈克尔·阿施巴赫，Michael Aschbacher，1944– ）**后来诚实地指出：原证明里用到的许多”众所周知”的结果，其实”散落在文献各处，或者更糟——根本就没在文献里出现过”。

然后，最尴尬的事发生了：那个”完成”，宣布早了。

宣布完成十几年后，人们陆续发现原证明里有缺口。多数缺口很快补上，但有一个特别难——所谓”拟薄群（quasithin groups）“那一大类，原来根本没被妥善处理过（那部分手稿一直没真正写完）。这个缺口，由 Aschbacher 和 **Stephen Smith（斯蒂芬·史密斯）**两人埋头干了好些年才补上，又写了约 1221 页（两卷本，2004 年；Vol I 约 $477$ 页 + Vol II 约 $744$ 页）。也就是说：1981 年说”做完了”，真正补完最后那个缺口，已经是 2004 年——晚了二十多年。

这恰恰把本集的核心疑问摆到了眼前：一个长到没人能独验的证明，连”它哪年完成的”都说不准、连”它是不是真完成了”都要再花二十年才敢确认。

那它还算一个证明吗？

反转：为了检查证明，人类发明了一种新工程

故事如果停在这儿，会是一个令人沮丧的结局：“最伟大的定理，原来没人扛得动。“但真实的转折，比这有力得多——也正是这一集真正的高潮。

面对这堆没人能独验的证明，群论界并没有耸耸肩走开。他们做了一件几乎前所未有的事：专门启动一项新工程，把整个证明重写一遍——不为证出新东西，只为让这个证明能被检查。

这项工程叫第二代证明（second-generation proof），由 Gorenstein、Richard Lyons（理查德·莱昂斯）、Ronald Solomon（罗纳德·所罗门）三人领衔，业内按姓氏缩写称 GLS。他们的目标，用 Aschbacher 的话说，是把整个证明”清清楚楚、仔仔细细地写到一个地方”，只依赖几本初等教材，并把原证明里那些”众所周知”、却散落各处甚至从未写下的结果，统统补上证明。这套书从 1994 年起由美国数学会陆续出版，计划约十二卷、五千页，把一万页的原证明压缩、理顺、定本——为的是造出一个真能被一个人沿着读下去、查得动的版本。Ronan 2006 年写书时它出了 5 卷；到 2023 年已出到第 10 卷（从第 9 卷起还添了一位合著者 Capdeboscq（因娜·卡普德博斯克，Inna Capdeboscq）），仍未完结。一个 1981 年就宣布”完成”的定理，把它”写清楚到一个人能查得动”这件事，三十多年、换了一代人，到今天还没写完——第二代证明的进度条，比原证明还慢。

值得停下来想一想这件事的分量：一个证明，长到促使人类去为”证明”本身造一条新的质检流水线。 证明本身没有错。问题只在于它太长、太散——长到”它到底对不对”，都需要一代人专门花几十年、用一套新办法重新确认。所以这里发生的，是一种罕见的自觉：人类在说——“我们要发明新办法，来配得上我们已经证出来的东西。”

四色定理问的是：“机器算出来的，人凭什么信？“——它的要害，是对一个非人类的验证者能不能信任。有限单群分类问的是另一件事：“一万页、没有一个人读得完的证明，还算被证明了吗？“——它的要害，是一个证明一旦超出任何单个人的心力，还算不算数。两个问题指向同一个深处：当一个证明超出了任何单个人类心智能容纳的尺度，“证明”这个词还意味着什么？ 面对这个深处，这一集给出的回答是第二代证明——人类为自己的极限，搭了一副新的脚手架。

机器接手：第一块石头，验讫

但 GLS 是人重写给人读。这 20 年里，还冒出了第二种回答——Ronan 2006 年没赶上写的那一种：让机器来验。

先看一条横跨整整一个世纪的线。奇阶定理并不是 Feit 和 Thompson 凭空开的题——它是 Burnside（伯恩赛德——EP4 出场过的那位）1911 年的一个猜想；他们 1963 年才证成，写了 255 页；而 2012 年 9 月，又过了将近半个世纪，**Gonthier（乔治·冈蒂埃，Georges Gonthier，1962– ，法国计算机科学家）**带一支 15 人团队（微软研究院–法国 Inria），用证明助手 Coq 把这整篇 255 页的奇阶定理，逐行机器验证了一遍——约 17 万行 Coq 代码、四千多条引理，干了整整六年。机器读完了、确认了每一步，而它依赖的，只有 Coq 内核那一小段可信逻辑——小到能被反复审查。人写的最长证明之一，第一次被一个不会累、不会跳步、不会”我觉得这显然”的机器，从头到尾验了一遍。

这一笔，正好把前面那个四色定理的母题接回了原点。四色定理（1976）是第一个必须靠计算机才证出来的大定理，带出的问题是”机器算的，人凭什么信”。2005 年，正是同一个 Gonthier，用 Coq 把整个四色定理也形式化了、机器验到逻辑公理层——把”人凭什么信机器”的答案，变成了”信那个小到可审的验证器就够了”。七年后，就是上一段那次 2012 年的奇阶定理验证：同一个 Gonthier，把同一套办法从四色搬到了有限单群分类的第一块基石上。同一个人，用同一把”机器复核”的钥匙，先后为这两座”人力验不动”的大山各开了一道可核查的门。

到今天，被机器验过的，只有

奇阶定理这”起点上的第一块”

。整个一万页的分类定理、连同 GLS 那十卷，

至今没有一个被任何证明助手完整验证过

。奇阶定理的形式化是一个

原理验证（proof of concept）

——它证明”机器有可能验这种庞然大物”，离”机器验完整个分类”还很远很远。那座没人能独自登顶的山，人类一边靠 GLS 把它重画成一张能读的地图，一边教机器一块一块去复核它——

第一块石头，2012 年，验讫。

今天还在写的一章：当”没人读得完”成了新常态

奇阶定理被机器验讫，是 2012 年的一次性壮举。可”一个证明大到没人能独自扛”——这件在有限单群分类里第一次被逼到眼前的事——今天正从”世纪工程的例外”慢慢变成数学的日常。当下最活跃的数学家之一 陶哲轩（Terence Tao）把它说得很透：形式化真正改变的，不只是”对不对”，还有”多少人能一起证一个定理”。他说，一场传统的数学合作”很少超过五六位合作者——部分正是因为每位作者都得信任并核验其他每一位的工作”；而形式化项目”动辄召集素未谋面的几十号人，恰恰是因为形式化证明助手让项目里的每个子任务都能被精确定义、并独立于其他子任务地被验证”。把这句放回本集：这正是分类那一百位作者的处境——没有一个人懂整张一万页的图。分类定理当年是这条路上一个醒目的先例；形式化给的，是让它不再脆弱的办法——把”信任那一百个人”换成”信任那个小到可审的验证器”。

图 14　陶哲轩（Terence Tao），当下最活跃的数学家之一。他把有限单群分类的处境说得很透：形式化改变的不只是”对不对”，还有”多少人能一起证一个定理”。来源：IPAM, CC BY 4.0

Tao 还点出，形式化对哪一类证明最值钱，几乎像是照着分类定理写的：它”对那些特别冗长、而领域里又缺乏愿意逐行核验的审稿人的证明，尤其有价值。” 一万页、散在 500 篇论文、没有一个人从头到尾审得完——很难再找到比有限单群分类更贴切的注脚。那么”证明”这个词在变吗？从他这几段话望出去，图景并不是科幻里那种”超级智能独自解出一切”；更像是，证明正变成一种工业规模、由机器逐行担保的协作。有限单群分类，恰好卡在旧与新的门槛上：它是旧规矩（一个人扛、一群人逐行审）撑不住的第一个证明，也是新办法要去接住的第一座山。

尾声 · 二十六个零余数

分类”完成”了——1981 年宣布，2004 年才真正补完最后一块。最终清单共四类：素数阶循环群、交错群、$16$ 族李型群，外加 $26$ 个散在群（sporadic groups）。

前三类原子，都有章法可循、排成无穷家族——你给条件、它给群（其中 $16$ 族李型正是 §1 那套方法一次造齐的）；这里面也包括 §1 那 5 个例外李型（$G_2、F_4、E_6、E_7、E_8$）：它们虽名为”例外”，却仍属于家族——背后有八元数那套统一的章法托着，也仍能随 $q$ 一族一族地无穷生成下去。换句话说，那 5 个是”家族里最古怪的成员”。可这 26 个散在群，是更深一层的”例外”：它们哪个家族都不属于，也排不成任何无穷族，不是”家族里的怪成员”，而是根本没有家族的孤儿——是 $18$ 个无穷族之外、孤零零嵌在清单角落里的零余数。这三十年的清点，到头来把整个有限对称的世界扫得干干净净，却在角落里扫出了 $26$ 粒扫不进任何畚箕的尘埃。

图 15　有限单群的完整清单：左边三类（循环、交错、李型）排成 $18$ 条无穷长廊——你给条件、它给群，一直排下去；右边 $26$ 个散在群，哪条长廊都排不进。

而在这 $26$ 个里，蹲着一头最大的、最不讲规矩的——阶约 $8\times10^{53}$，一个 $54$ 位的数（作个对照：地球上所有沙粒加起来，也不过 $20$ 位数上下）。它不是任何方法造得出来的，却确凿地存在。这头魔群，正是《对称与怪兽》从第一集起就指向的地方——它根本不在这套规整的分类机器里。

图 16　魔群的阶约 $8\times10^{53}$——一个 $54$ 位的数；相比之下，地球上所有沙粒加起来也不过 $20$ 位数上下。

下一集，我们打开那只盒子。

附录 · 站在 EP4 上，把这一集一步步学下来

先诚实交代天花板：building、local analysis、分类全貌，都

没有

能塞进附录的短证明（那是一万页的事）。但站在 EP4 的基础上，这一集里「话说透了就真明白」的点，仍有不少能一步步走完。下面十块——前九块

按正文 §1→§2→§3 的顺序排

，末尾加餐 J 回到 §1 的例外：同一组内先给前提、再给用到它的结论，各块（或其复核块）都配一个能亲手算的例子和一次符号核验。难度分三档——【轻】纯中学／大一线性代数就能读；不标的是进阶（深一档）；

（选做）

是可跳过的加餐。想只看直觉的读者整段跳过即可。 记号：$\mathbb{F}_q$ 是只有 $q$ 个元素的

有限域

（$q$ 必是素数的幂），一个能自由加减乘除的数系。置换用

轮换记号

：$(1\,2)(3\,4)$ 指「$1\!\leftrightarrow\!2$、$3\!\leftrightarrow\!4$、其余不动」——具体元素一律用

数字

，字母 $(a\,b)(c\,d)$ 只用来指某一类的

一般形状

。

附录 A–D ｜ 支撑正文 §1「战后：一套方法，把原子一次造齐」

这组四则附录，把 §1 里一笔带过的计算补上：阶公式怎么数出来（A、B）、铃木群为什么不被 $3$ 整除（C）、“扭群”的共轭转置约束长什么样（D）。

附录 A · $\mathrm{PSL}(2,q)$ 的阶公式【轻】

下面一步步往前推，全程只用”数一数”：

1. 一般线性群 $\mathrm{GL}(2,q)$ = $\mathbb{F}_q$ 上可逆的 $2\times2$ 矩阵。第一列得是非零向量：$q^2-1$ 种选法；第二列只要不和第一列共线，再排除 $q$ 个倍数，$q^2-q$ 种。于是

2. 特殊线性群 $\mathrm{SL}(2,q)$ = 行列式为 $1$ 的那些。行列式是一个映满 $\mathbb{F}_q^\times$（$q-1$ 个非零元）的”打分”，每个分数对应的矩阵一样多，所以

3. 射影化：再除掉中心 $\{\pm I\}$。当 $q$ 是奇数，$I\ne -I$，中心有 $2$ 个元；当 $q$ 是偶数（特征 $2$），$+1=-1$，中心只剩 $1$ 个。两种情况统一写成 $\gcd(2,q-1)$。于是

动手算一例： - $q=7$：$\frac{7\cdot 48}{2}=168$。 - $q=5$：$\frac{5\cdot 24}{2}=60=|A_5|$（故 $\mathrm{PSL}(2,5)\cong A_5$）。 - $q=4$：$\frac{4\cdot 15}{1}=60$ 又一次（$\mathrm{PSL}(2,4)\cong A_5$，$q$ 偶、中心平凡）。

诚实小注：$q=2,3$ 代进去得 $6$ 和 $12$，对应的 $\mathrm{PSL}(2,2)\cong S_3$、$\mathrm{PSL}(2,3)\cong A_4$ 都不是单群。$\mathrm{PSL}(2,q)$ 要到 $q\ge 4$ 才开始是单群——公式照常算，但”单”这个性质有个小门槛。

附录 B · 一般阶公式：$\mathrm{GL}(n,q)$、$\mathrm{SL}(n,q)$、$\mathrm{PSL}(n,q)$

附录 A 只算了 $2\times2$ 的 $\mathrm{PSL}(2,q)$。§1 里谢瓦莱(Chevalley) 那套方法造的是任意维的矩阵群，所以我们把 A 那套「数一数」原样推广到 $n\times n$——你会看到 §2 要用的 $\mathrm{PSL}(3,2)$ 阶，正是这台一般公式吐出来的。

图 17　数 $\mathrm{GL}(n,q)$ 的阶：逐列选取（第 $k$ 列有 $q^n-q^{k-1}$ 种），乘起来得 $|\mathrm{GL}|$；再两次”剥皮”——除 $(q-1)$ 到 $\mathrm{SL}$、除 $\gcd(n,q-1)$ 到 $\mathrm{PSL}$。$n=2,q=7$：$2016\to336\to168$。

显式对象。一般线性群 $\mathrm{GL}(n,q)$ = $\mathbb{F}_q$ 上所有可逆的 $n\times n$ 矩阵（在乘法下成群）。一个矩阵可逆，等价于它的 $n$ 个列是 $\mathbb{F}_q^n$ 里一组线性无关的向量。于是「数矩阵」= 「数有序无关向量组」。

一步步（逐列挑，每一步只需排除前面列张成的空间）：

把各列的选法数乘起来：

特殊线性群 $\mathrm{SL}(n,q)$ = 行列式为 $1$ 的那些矩阵。行列式是一个映满 $\mathbb{F}_q^\times$（$q-1$ 个非零元）的群同态 $\det:\mathrm{GL}(n,q)\to\mathbb{F}_q^\times$；每个「分数」对应的矩阵一样多（同态的每个纤维等大），所以除掉 $q-1$：

射影特殊线性群 $\mathrm{PSL}(n,q)$ = 再除掉中心（和所有元素都交换的那些矩阵）。$\mathrm{SL}(n,q)$ 的中心恰是数量矩阵 $\lambda I$ 且 $\lambda^n=1$、$\lambda\in\mathbb{F}_q^\times$。而 $\mathbb{F}_q^\times$ 是 $q-1$ 阶循环群，里面 $n$ 次单位根的个数正好是 $\gcd(n,\,q-1)$。于是

代 $n=2$，这个式子化回附录 A 的 $\dfrac{q(q^2-1)}{\gcd(2,q-1)}$——一般公式和轻版对得上。

动手算一例：$|\mathrm{PSL}(3,2)|=168$（$n=3,\ q=2$，§2 要用）。

$q=2$ 时 $q-1=1$，三个群本质是一个（没有非平凡的行列式、没有 $\pm I$ 之分）：$\mathrm{GL}(3,2)=\mathrm{SL}(3,2)=\mathrm{PSL}(3,2)$，都是 $168$ 阶。记住这个 $168$——到附录 F（正文 §2 也会遇到），它会和一个完全不同来路的 $168$ 撞上。

符号核验

：以上各步已用符号计算独立复核——一般公式对 $q=2..11$ 复现附录 A；$7\cdot6\cdot4=168$；并顺带锁了 $|\mathrm{PSL}(3,4)|=20160$、$|\mathrm{PSL}(4,2)|=20160$（附录 F 唯一性用）。

附录 C · 铃木群的阶不被 $3$ 整除

正文 §1 说铃木(Suzuki) 群 $^2B_2(q)$ 是唯一一族阶里没有因子 $3$ 的非交换有限单群——这句听着神秘，其实一行同余就能看穿。

显式对象。铃木群只在特征 $2$ 的域上存在，参数取 $q=2^{2n+1}$（$2$ 的奇次幂：$q=2,8,32,128,\dots$）。它的阶有闭式

动手算一例：$q=8$。

因数分解里没有 $3$——这就是正文说的「最小的一个铃木单群有 $29120$ 个元素、阶不含 $3$」。

一步步（对所有 $q=2^{2n+1}$ 都成立）。只需证 $3$ 除不尽三个因子中的任何一个。关键是 $2\equiv -1\pmod 3$，所以 $2$ 的幂在模 $3$ 下只在 $1,2$ 之间摆动：

三个因子模 $3$ 分别是 $1,\,2,\,1$，没有一个是 $0$，乘起来 $\equiv 2\pmod 3$。所以

诚实小注：$q=2$ 代进去给 $|{}^2B_2(2)|=4\cdot5\cdot1=20$，这个群可解、不是单群（和「$\mathrm{PSL}(2,q)$ 要 $q\ge4$ 才单」同类的小门槛）。铃木单群从 $q=8$（$29120$ 阶）起。铃木群「不含 $3$」之所以稀奇，是因为别的每一族非交换有限单群，阶里都躲不开 $3$（由更深的结构定理，这里只引用）——$^2B_2$ 是唯一的例外。

符号核验

：$64\cdot65\cdot7=29120$ 与因式 $2^6\cdot5\cdot7\cdot13$ 精确；且对 $q=2^{2n+1}\,(n=0..4)$ 逐个打印三因子模 $3$ 全非零、总阶模 $3$ 恒为 $2$。

附录 D（选做）· 扭一下：酉群 $^2A_2=\mathrm{PSU}(3,q)$ 的「共轭转置」约束

§1 说斯坦伯格(Steinberg) 的「扭群」是给谢瓦莱方法加了一个挡位，最熟悉的一支是酉群 $^2A_2(q)=\mathrm{PSU}(3,q)$，正文那句「多加了一个共轭转置的约束」在这里落到实处——用一个 $3\times3$ 的具体矩阵把「扭」摸得着。

显式对象。未扭的 $A_2(q)=\mathrm{PSL}(3,q)$ 用普通矩阵定义。要「扭」，需要一个像复数共轭那样的对合。有限域自带一个：在 $\mathbb{F}_{q^2}$ 上，弗罗贝尼乌斯映射(Frobenius) $\ \bar{x}:=x^{q}\$ 是一个 $2$ 阶域自同构，且恰好固定住子域 $\mathbb{F}_q$——它就是有限域版的「共轭」。对矩阵 $A$（元素取自 $\mathbb{F}_{q^2}$），定义共轭转置 $A^{*}:=\overline{A}^{\,\mathsf T}$（先把每个元素 $x\mapsto x^q$，再转置）。一般酉群是保持一个**埃尔米特型（Hermitian，埃尔米特）**的矩阵：取最简单的埃尔米特型 $=$ 单位阵，则

「共轭转置约束」$A^{*}A=I$ 就是普通正交条件 $A^{\mathsf T}A=I$ 里把转置换成共轭转置——扭，就扭在这个 $\overline{(\cdot)}=(\cdot)^q$ 上。

动手算一例：$q=2$，在 $\mathbb{F}_4$ 上验一个具体矩阵。$\mathbb{F}_4=\{0,1,\omega,\omega^2\}$，其中 $\omega^2=\omega+1$、$\omega^3=1$。共轭 $\bar x=x^{2}$，于是 $\bar1=1,\ \bar\omega=\omega^2,\ \overline{\omega^2}=\omega^4=\omega$。取对角阵

验约束：

所以 $A$ 是酉的（$A^*A=I$）且行列式 $1$——它是 $\mathrm{SU}(3,2)$ 的一个元素。逐个对角元看，约束落成一句「范数为 $1$」：$\lambda\bar\lambda=\lambda^{\,q+1}=\lambda^{3}=1$。这就是「共轭转置约束」最赤裸的样子。

阶公式与诚实小注。

动手算一例 $q=3$：$\dfrac{27\cdot 28\cdot 8}{\gcd(3,4)}=\dfrac{6048}{1}=6048=2^{5}\cdot3^{3}\cdot7$，这是最小的单酉群 $\mathrm{PSU}(3,3)$。而上面 $q=2$ 的 $\mathrm{PSU}(3,2)$ 阶 $=\dfrac{8\cdot9\cdot3}{3}=72$，可解、不单（又一个「小 $q$ 未过门槛」的例子，同 $\mathrm{PSL}(2,q)$ 的 $q\ge4$、铃木的 $q\ge8$）。我们用 $q=2$ 只为把共轭转置摸清楚，真正的单酉群从 $q=3$ 起。

符号核验

：在 $\mathbb{F}_4$（$\omega^2=\omega+1$）上核 $A^{*}A=I$ 且 $\det A=1$、三个 $\lambda$ 的范数 $\lambda^{q+1}=1$；$|\mathrm{PSU}(3,3)|=27\cdot28\cdot8=6048=2^5\cdot3^3\cdot7$。

附录 E–F ｜ 支撑正文 §2「来自 Uccle 的人：把群看成一座建筑」

这组两则附录，把 §2 里”building”那个比喻落到实处：最小的一座 building——Fano 平面与 Heawood 图（E）——以及那两个都等于 $168$ 的群其实是同一个（F）。

附录 E · Fano 平面与 Heawood 图：$\mathrm{PSL}(3,2)$ 的 building

§2 说每个李型群都是某座 building（楼宇）的对称群。最小的一座就摆得开、画得出——它属于附录 B 里算出的那个 $168$ 阶的 $\mathrm{PSL}(3,2)$。这一节把它显式列出来，让「building」从比喻变成七条能数的线，再一路数到那个 $168$。

显式对象。取 $\mathbb{F}_2^3$（三维、每个坐标非 $0$ 即 $1$，共 $8$ 个向量）。

• 点 = $\mathbb{F}_2^3$ 的 $7$ 个一维子空间。在 $\mathbb{F}_2$ 上一维子空间就是 $\{0,v\}$，可以直接用那个非零向量 $v$ 代表——于是 $7$ 个点 $\longleftrightarrow$ $7$ 个非零向量，按二进制记作 $1,\dots,7$（如 $5=(1,0,1)$）。
• 线 = $\mathbb{F}_2^3$ 的 $7$ 个二维子空间。一个二维子空间含 $4$ 个向量（$0$ 加 $3$ 个非零），所以每条线正好过 $3$ 个点。每个二维子空间都是某个非零线性泛函（一个 $\mathbb{F}_2$-线性映射 $\mathbb{F}_2^3\to\mathbb{F}_2$，写成一个非零行向量 $a$）的核 $\{x: a\!\cdot\!x=0\}$；非零泛函有 $7$ 个，故 $7$ 条线。

一个等价的、更好记的描述：三个点共线 $\iff$ 它们的二进制标号异或为零（$a\oplus b\oplus c=0$）——因为二维子空间里第三个非零向量恰是前两个的和 $a+b=c$。两种描述给出同一组 $7$ 条线。

一步步 / 动手算一例：把 $7$ 条线全列出来。

数一数：$7$ 条线、每条 $3$ 个点，共 $7\times3=21$ 个旗（一次「点落在线上」的关联）。

点线对偶：每个点恰过三条线。反过来，把上表按点重排，逐点数它落在哪几条线上：

每个点恰好过 $3$ 条线（也可由 $21\div7=3$ 一步得到）。于是「$3$ 点每线、$3$ 线每点」左右完全对称——这就是 Fano 平面完美的自对偶：把「点」和「线」的角色对调，整张关联图案纹丝不动。

数出那个 $168$：把标架一个个挑出来。$\mathrm{PSL}(3,2)$（$=\mathrm{GL}(3,2)$，附录 B 已证 $q=2$ 时三群塌成一个）的对称有多少个？不必套阶公式，直接在这张图上数——数它能自由搬动的最小刚性骨架：一个有序标架，即一串有序、不共线的三个点 $(P,Q,R)$（等价地：$\mathbb{F}_2^3$ 的一组有序基）。逐个挑：

而 $\mathrm{PSL}(3,2)$ 作用在这些标架上是单可迁的（simply transitive）：任给两个有序标架，恰有唯一一个线性变换把前者送到后者——「有」是因为一组有序基能任意指定像（线性代数标准事实），「唯一」是因为一个把某组基逐点固定的线性变换只能是恒等。一个作用只要单可迁，群的元素就和被作用对象一一对应，于是

这和附录 B 用一般阶公式 $(2^3{-}1)(2^3{-}2)(2^3{-}4)$ 得到的 $168$ 是同一个数、两条路——一条套公式，一条在 Fano 平面上亲手数标架。（也和附录 F 那个来自 $\mathrm{PSL}(2,7)$ 的 $168$ 撞上，是同一个群。）

从平面到 building：Heawood 图。把「点」和「线」各画成一类顶点（$7+7=14$ 个），一个点落在一条线上就在对应两顶点间连一条边（每条线 $3$ 点、每点 $3$ 线，故 $21$ 旗 $=21$ 条边），得到的二部图就是著名的 Heawood 图：$14$ 顶点、$21$ 边、每个顶点 $3$ 度（$3$-正则，恰是「$3$ 点每线／$3$ 线每点」）、最短圈长 $6$（二部图无奇圈，且平面里「两点定一线、两线交一点」堵死了 $4$-圈）。这张图就是 $\mathrm{PSL}(3,2)$ 的 building：群作用在它上面搬动顶点，而 §2 说的每一间「公寓（apartment）」，正是图里的一个六边形（$6$-圈）——对应平面里一个「三点三线」的最小闭合花样。$\mathrm{PSL}(3,2)$（$168$ 阶）正是这张图保持点、线两类不相混的那部分对称——也就是 Fano 平面的全体保关联变换；而若再允许把「点」和「线」整体对调（正是上文那个完美自对偶给的「翻面」），图的全体自同构还要翻一倍到 $336$。building，到这里就是七条你能亲手连出来的边。

符号核验

（

_verify_appendix_je.py

附录 E 段，54/54 PASS）：$7$ 条线各 $3$ 点、$7$ 点各 $3$ 线、$21$ 旗、Heawood $14$ 顶点 $21$ 边 $3$-正则全部核过；「异或三元组」与「泛函核二维子空间」两种造线法给出

完全相同

的 $7$ 条线；有序标架数 $=7\cdot6\cdot4=168$（逐点 $7\to6\to4$ 也核），且 $=|\mathrm{PSL}(3,2)|$（构造性群，$168=2^3\cdot3\cdot7$）——单可迁作用坐实「$168$ = 标架数」。

附录 F · 两个 $168$：$\mathrm{PSL}(2,7)\cong\mathrm{PSL}(3,2)$

这是缝合 §1（用配方造群）和 §2（用几何看群）的那一针：§1 结尾那个 $\mathrm{PSL}(2,7)$，和 §2 里 Fano 平面背后的 $\mathrm{PSL}(3,2)$，是同一个群。两条完全不同的路，通向同一个 $168$ 阶的群。

显式对象：并排算两个阶。左边用附录 A（$n=2,q=7$），右边用附录 B（$n=3,q=2$）：

阶相等只是必要条件，不是同构。补上第二块事实：

一步步（诚实路线）。单群（正文已释：除了平凡方式再不能被正规子群「商」小的群，对称世界的原子）里有一条并不显然、但可验证的事实——

引用定理（$168$ 阶单群的唯一性）

：在同构意义下，$168$ 阶的非交换单群

只有一个

。

$\mathrm{PSL}(2,7)$ 与 $\mathrm{PSL}(3,2)$ 都是单群（$\mathrm{PSL}(n,q)$ 在越过小门槛后都是单群，正文引用的教科书结论），阶又都是 $168$。既然 $168$ 阶单群独此一个，这两个就只能是同一个：

完整地手写出这个同构（把 $8$ 点上的分式变换一一对到 $7$ 点上的矩阵作用）是可以做的，但相当繁；这一集我们诚实地停在「唯一性 ⟹ 同构」这一步。

这条唯一性有多不理所当然。别以为「同阶单群必同构」是白给的——它只在小范围成立。最小的反例是 $20160$ 阶：那里蹲着两个互不同构的单群，$A_8\cong\mathrm{PSL}(4,2)$ 和 $\mathrm{PSL}(3,4)$（用附录 B 一算，$|\mathrm{PSL}(4,2)|=|\mathrm{PSL}(3,4)|=20160$，同阶）。所以 $168$ 处的唯一性是一条真有内容的小定理，不是废话——正合本集「连清单有几行都要较真」的口味。

符号核验

：两群各自独立构造（$\mathrm{PSL}(2,7)$ 作用在射影直线 $\mathrm{P}^1(\mathbb{F}_7)$ 的 $8$ 点上、$\mathrm{PSL}(3,2)$ 作用在 $\mathbb{F}_2^3$ 的 $7$ 个非零向量上），阶都算得 $168$；并对

每个共轭类代表

验证其正规闭包 $=$ 全群，从而严格判定

两者都单

——于是由唯一性同构。（$20160$ 的两个同阶不同构单群也在附录 B 锁了阶，佐证唯一性非空。）