对称与怪兽（七）·先有体检报告，后有怪兽

[作者的话 — Yeqiu]

当我们追问 AI 的证明是否可靠时，背后其实藏着一个更大的问题，一个未经自己验证的证明，为什么是可靠的？我们通常的答案，大概是同行评议、可验证性之类的东西。可当我们拿同样的标准去衡量 AI 的证明，却遇上了一个绕不开的问题：AI 是不是同行？或者说，AI 有没有资格成为同行？

而”资格”这个词，也许比它看上去更重。同行不只是能力够，同行是会出错、并且要为自己的错误担责的人：赌上名声，赌上职业。反观 AI 没有什么可以失去的东西。这一连串问题，至今恐怕连领域内最顶尖的科学家也很难回答。但它并不遥远，它是我们当下这个时代正在面临的问题，它也与我们究竟怎么使用 AI，息息相关。

我没有答案。可正是这个没有答案的问题，把我推向另一个向内求索的追问：在这样一个时代，人该怎么自处？

我在前几期的作者的话里提到过，AI 时代，读书反而会变得更重要。因为在这个时代，读书是一种个人的体验，也是一个人形成自己思想的基石。而个人的体验，会变得越来越重要，因为 AI 正在飞快地改变这个时代，如果我们还用旧的标准去衡量人和 AI，比如写了多少代码、有多少知识储备、完成任务的效率高不高，那人必然处于下风。

可人真正独一无二、无法被替代的地方，恰恰源于我们的个人体验，源于由体验所形成的经验，思想和情感，如果它们让另一个人受益或者感同身受，那一刻，便是幸福的。

系列第七集。上一集我们打开了那只装着 26 个散在单群的盒子，看它们隔着几十年、一个接一个地登场，并说到：所有这些散在群，最后都隐隐指向同一个大得没有道理的怪兽。这一集，我们就正面去看这只怪兽——它有一个正式的名字，叫魔群（Monster）——是怎么先被”算出来”、再被一个人徒手”造出来”的。它住在 196883 维里。而 196884（正好比 196883 多 1）为什么会在一个看似毫不相干的数论角落几乎原样出现？那道缝，留到最后一集。

“317 是素数，不是因为我们这么认为，也不是因为我们的心智恰好是这个形状而不是别的形状，而是因为它就是如此——因为数学的实在就是这么造的。”

—— G. H. 哈代（G. H. Hardy，1877–1947），《一个数学家的辩白》§24

配套视频（YouTube）

引子 · 先有体检报告，后有本体

数学史上有一件罕见的事，恰好发生在这一集的主角身上：在任何人见到这只怪兽之前，数学家已经把它的体检报告写好了——它有多大、它的”指纹表”长什么样、它最少要住在多少维的空间里，全都算了出来。然后又过了好几年，才有人真正把它造出来，验明正身，与那份先写好的报告一一对上。

一个对象的体检报告先于它本身存在——这在别的领域几乎不可想象。你很难先量出一头动物的身高体重，再回过头去发现这头动物。可魔群就是这样登场的：先有数，后有物。这一集讲的，就是这份报告怎么被算出来（§1、§2），那个把怪兽真正盖起来的人怎么徒手完成了它（§3），以及最后我们清点一遍：盒子里到底还有没有别的东西（§4）。

§1 · 菲舍尔的镜子

故事的一头，在 1960 年代的德国。伯恩德·菲舍尔（Bernd Fischer，1936–2020）——后来在比勒费尔德大学（Bielefeld）主持数学的一位群论学家——问了一个看起来朴素得不像会通向怪兽的问题。

伯恩德·菲舍尔（Bernd Fischer，1936–2020）——他那条”镜子只许成 $90^\circ$ 或 $60^\circ$“的朴素问题，最后通向了魔群。（Katrin Breithaupt 摄于 2008 年，Oberwolfach 数学研究所照片集，CC BY-SA 2.0 de。）

要讲清这个问题，得先讲讲把他领上这条路的人。菲舍尔中学时遇到过一位极好的数学老师——二战前在达姆施塔特做过三年助教、算火箭弹道（那正是德国在火箭上领先的年代，V2 出自二战后期），用的是真刀真枪的微分方程。不过这位老师并不是火箭专家，他是个数学家；真正打动菲舍尔的也不是火箭，而是他用数学去处理物理问题的那种方式。 好到什么程度？他上大学以后，微分方程课一节都不用听。受这位老师影响，他进大学时的打算是先读一个物理硕士、再读数学博士——换句话说，他本来是要去做应用数学的。

莱因霍尔德·贝尔（Reinhold Baer，1902–1979）——把菲舍尔从”准应用数学家”领成纯数学家的那位老师；他讲分析课会故意出错，等学生把他纠正过来。（Konrad Jacobs 摄，Oberwolfach 数学研究所照片集，CC BY-SA 2.0 de。）

但是引他走向另一条路的是莱因霍尔德·贝尔（Reinhold Baer），一位刚从美国回到德国的教授。让菲舍尔着迷的不是某一门课的内容，而是贝尔做数学的方式，以及他跟这些年轻学生说话的方式。菲舍尔举的例子是：贝尔讲分析课会故意出错，等学生把他纠正过来——一个把”你有资格质疑我”变成日常的动作。他佩服贝尔的还有两点：一是广，什么方向都想放进讨论班；二是自由——“你想做什么都行”，这在当时的德国大学很不寻常。这几样合起来，才把一个准应用数学家变成了纯数学家。贝尔的讨论班也几乎把这个领域里的人都吸引到法兰克福来：蒂茨（Jacques Tits，1930–2021）常来，汤普森（John Thompson，1932–）来，扬科（Zvonimir Janko，1932–2022）也来。

而菲舍尔自己回忆，学生时代钻进图书馆读到的东西之一，是一种叫”分配拟群”的结构，他当时就觉得，那背后分明藏着一个群——这后来正是他博士论文的题目，也正是把他引向”由镜面般的操作生成的群”这条路的起点。

菲舍尔的问题。设想一批操作，每一个都像一面镜子：照一次，左右翻转；照两次，回到原样（这种”自乘一次就复原”的元素，数学里叫对合，我们在 EP5 已经和它打过交道）。菲舍尔要研究的，是由一整类这样的”镜子”生成的群；但他加了一条很紧的限制：任取两面镜子，把它们接连照一遍，这个合成操作的阶只允许是 1、2 或 3——不许更大。

这条限制翻成几何，是一句很干净的话。两面镜子接连照，合成出来的是一个旋转，转角恰好是两面镜子夹角的两倍。于是”合成操作的阶最多是 3”就等于说：任意两面镜子，要么重合，要么互成 90°，要么互成 60°，别的角度一概不许。整个群于是成了一张巨大的镜网络，而菲舍尔问的是：这样的网络，一共能有几种？

答案短得反常。菲舍尔在 1970 年前后证明：满足这套规矩的”对称原子”（可以理解成不可再分的单群），恰好只有六类。其中五类是早已熟悉的面孔：全体重排 $S_n$；在 $\mathbb{F}_2$（只有 $0$ 和 $1$ 两个元素的那个最小的域）上的三族经典群——辛群 $\mathrm{Sp}_{2n}(2)$、酉群 $\mathrm{PSU}_n(2)$、正交群 $\mathrm{O}^{\pm}_{2n}(2)$（这三族都长在 EP4 那张 Killing–Cartan 周期表上，EP5 §1 讲的谢瓦莱配方就是把它们从实数搬到有限域的那套：辛群是表上的 $C$ 族，EP4 就是这么叫的；正交群是 $B$/$D$ 族，EP4 在实数那头把它写作 $SO(k)$；酉群是 $A$ 族扭出来的一支，EP5 附录 D 还显式造过）；再加上 $\mathbb{F}_3$ 上的一族正交型群。而第六类，是三个此前谁也没见过的全新散在群，今天记作 $\mathrm{Fi}_{22}$、$\mathrm{Fi}_{23}$、$\mathrm{Fi}_{24}'$。（这套分类的结构，以及一个动手可算的例子——$S_n$ 本身就是一张镜网络——见附录 A。）

这里要敲一记警钟，一记 EP6 结尾就埋下的警钟：菲舍尔的 $\mathrm{Fi}$，和上一集马蒂厄的 $M$，是两家人。菲舍尔当年图省事，把这三个群写成 $M(22)$、$M(23)$、$M(24)$，特意呼应马蒂厄；直到 1985 年那部大图册出版，才统一改成 $\mathrm{Fi}$（取 Fischer 的头两个字母），免得和马蒂厄群撞名。同样的下标，完全不同的群，大小差着十万八千里：马蒂厄的 $M_{22}$ 阶是 443,520，而菲舍尔的 $\mathrm{Fi}_{22}$ 约是 $6.5\times10^{13}$——大了约一亿五千万倍。

把镜子的规矩放宽一档，就走上了通往魔群的路。菲舍尔卸下院长职务、重回研究后，把限制从”夹角只许 90°/60°“放宽到也允许 45°（对应合成操作的阶可以到 4）。为什么是 4、不是更大？这里没有一条数学给出的界限——那是菲舍尔当时迈的那一步，而它成功了。同一套镜网络的思路继续往前推，1973 年夏天，他逮到了其中最大的一个群，后来康威（John Conway，1937–2020）给它起名叫婴儿魔群（Baby Monster）。它有多大？阶是

$|B| = 4{,}154{,}781{,}481{,}226{,}426{,}191{,}177{,}580{,}544{,}000{,}000 \approx 4.15\times10^{33}.$

关于这个数，有一段真实的小插曲：菲舍尔访问剑桥，康威想用一台老式机械计算器帮他算最后一步，却怎么也找不到缺的零件，最后菲舍尔和妻子干脆用手算完了它。菲舍尔说他心里有个底——“我知道答案必须能被 31 整除，所以算式自带一道校验”。那年 8 月，在奥伯沃尔法赫（Oberwolfach）的会议上，他第一次公开讲了这个新群。

这场会的讲演登记册还留着：奥伯沃尔法赫研究所 Vortragsbuch 第 25 册第 58 页，手写着会期 5. 8. 73 – 10. 8. 73、题目 {3,4}-Transpositions in finite groups，下面是菲舍尔本人的签名。而他写下的报告摘要，本身是一个问句：

Is there a finite simple group $G$ satisfying …

后面跟着的，就是上面那个 33 位数的素因子分解。这一页把”预言”这个词坐实了——那一刻，这个群确实还只是一个带着精确阶的问题。

而就在算出婴儿魔群前后，菲舍尔和另一个人几乎同时意识到：这个庞然大物，很可能只是某个更大的群里的一块横截面。那个”更大的群”，就是魔群——它在这一刻，第一次被预言了出来。

§2 · 图册与那份先写好的报告

预言的时刻。1973 年年底，菲舍尔注意到他那个庞大的群可能嵌在一个更大的群里；几乎同时，美国密歇根的**罗伯特·格里斯（Robert Griess，1945–）**独立得到了同样的想法。两人都确信：应该存在一个更大的单群，把婴儿魔群装在里面。至于它到底多大——没人知道。这就是魔群被”预言”出来的时刻：人们先确信它该存在、该有多大，却还没有任何人见过它。

接下来的几年，数学家做的事，就是给这个还没现身的怪兽做体检。而这件事之所以做得成，靠的是一部正在编纂的大书，和几条关于”群的指纹”的铁律。

那部大书叫《有限群图册》（ATLAS of Finite Groups）。它的念头起于 1970 年前后的剑桥：康威在 1969 年发现了一个巨大的新群（源自一种叫利奇格的结构，EP6 讲过），随后花了一年多才摸清它的性质、算出它的指纹表；由此他动了一个念头——干脆编一本手册，把所有有趣的群的所有有趣性质都列进去。这本书最终由五个人编成：康威、柯蒂斯（Robert Curtis）、诺顿（Simon Norton）、帕克（Richard Parker）、威尔逊（Robert Wilson），1985 年由牛津大学出版社出版，前后花了约十五年。（一个只有群论学家会心一笑的彩蛋：这五个姓氏，恰好都是六个字母。）

约翰·汤普森（John Thompson，1932–）——他的”阶公式”能从一个对合的邻居圈反推出整个群的阶，是魔群体重被称出来的关键工具。（Renate Schmid 摄于 2007 年，Oberwolfach 数学研究所照片集，CC BY-SA 2.0 de。）

魔群的阶被算了出来。给这样一个还没造出来的群称体重，用的是一件精巧的工具——汤普森阶公式（由 EP5、EP6 那位群论学家汤普森发明）：它能从一个对合的”中心化子”（跟它交换的全部元素）反推出整个群的阶。

这一笔值得停一下。看清楚它吃进去什么、吐出来什么：吃进去的只是对合的”邻居圈”——跟它相乘可交换的那些元素凑成的子群；吐出来的是整个群的阶，一个确切的整数。它要的前提只有一条：这个群的对合恰好分两类；而魔群正好是两类。所以要吃进去的，是这两类各自的邻居圈，此外不再需要别的输入。

魔群这一头的数字能把落差说清楚。它的对合分两类，第二类（记作 2B）的邻居圈正是 $2^{1+24}.\mathrm{Co}_1$——上一集那个康威群又回来了。把 EP6 已经算出的 $|\mathrm{Co}_0|=8{,}315{,}553{,}613{,}086{,}720{,}000$ 拿来（$\mathrm{Co}_1$ 是它商掉 $\{\pm I\}$ 后的一半），再乘上外壳的 $2^{25}$，这个邻居圈的大小是

$|C_M(2\mathrm{B})|=2^{25}\cdot\frac{|\mathrm{Co}_0|}{2}=139{,}511{,}839{,}126{,}336{,}328{,}171{,}520{,}000,$

一个 27 位数。而魔群本身是个 54 位数——位数正好是它的两倍。也就是说，这个邻居圈的规模与整个魔群的平方根同一个数量级（实际约是平方根的六分之一）；两者相比，小了约 $5.8\times10^{27}$ 倍。就是这么两小块局部，把那个 54 位数一位不差地定了下来。

这条路为什么走得通，直觉在于对合是成对用的。任取两个对合，它们生成的一定是一个二面体群——某个正多边形的对称群，边数就是两者乘积的阶（附录 A 的引理证了这件事，且对任何群都成立）。于是”整个群有多大”就能改写成”这样的对合能配出多少对、每一对落进哪个二面体块”。汤普森的公式把这笔账数完；数完之后，两个邻居圈的大小一乘一加，剩下的正好是 $|G|$。（公式的形状见附录 B 末尾；完整证明见附录 D —— 它是全文最便宜的一个证明。）

放回 EP5 §3 那条 local analysis 的主线看：布劳尔–福勒 1955（EP5 附录 I 全证）说的是”固定一个对合的邻居圈，符合它的有限单群只有有限个”——把无穷收成有限；汤普森把这句话再收一档——不是有限个，而是一个确切的数。同一把刀，又利了一分。

约翰·康威（John Conway，1937–2020）——他给菲舍尔那个新群起名”婴儿魔群”，又通宵算出了魔群的阶，天亮时写信告诉菲舍尔。（Thane Plambeck 摄于 2005 年 Banff 会议，CC BY 2.0。）

回到 1973 年那头。菲舍尔先用两块横截面卡出上界，康威再用一台可编程的老式计算器通宵跑了一夜，天亮时得出一个具体的数，一试，对上了。他立刻写信给菲舍尔：“亲爱的伯恩德，魔群的阶是……不过我想你已经知道了。“1974 年 1 月，在奥伯沃尔法赫，魔群的阶第一次被写了下来——而它那时还没有名字：

$|M| = 2^{46}\cdot3^{20}\cdot5^{9}\cdot7^{6}\cdot11^{2}\cdot13^{3}\cdot17\cdot19\cdot23\cdot29\cdot31\cdot41\cdot47\cdot59\cdot71 \approx 8\times10^{53}.$

（这个数有 54 位。要留意 $11$ 是平方、$13$ 是立方，不是普通的一次方——这一点后面还会回来。）

接下来是那张指纹表。每个有限群都有一张特征标表（character table）：把群的元素按”同型”归成若干类，再把群所有”拆不动的表示”逐个列出，每一格填一个数，就成了一张方阵——它是这个群最浓缩的身份证。魔群的这张表有 194 行 194 列，而算出它的，是菲舍尔和唐纳德·利文斯通（Donald Livingstone），程序由迈克尔·索恩（Michael Thorne）编写——时间是 1970 年代：菲舍尔约 1974 年起在伯明翰长期计算，到 1979 年定稿（三源年份略有出入）。请记住这个时间：无论取哪个年份，此时魔群都仍然没有被证明存在。（特征标是什么、这张表怎么读、以及”没见过群却能算它的表”凭什么可能，见附录 B——那里用一张 $3\times3$ 的小表，把每一条都算给你看。）

这里要把一件事的功劳分清楚，因为它很容易被混在一起：阶是汤普森的公式，加上康威、原田（Harada）、汤普森等人合力定的；特征标表是菲舍尔、利文斯通、索恩算的；至于这只怪兽的唯一性证明，以及它最终的存在性证明，又是另外几拨人的事（唯一性由汤普森 1979 年归约、后由格里斯等人补全；存在性——就是把它造出来——是下一节格里斯的工作）。这些环节各归各位，不是一个人包办的。

报告里最要紧的一个数：196883。看那张特征标表的第一列（它列出每个”拆不动的表示”的维数）：最上面永远是 $1$，接下来第二小的那个维数，对魔群来说，是 196883。它的意思是：魔群能施展拳脚的最小空间（在复数域上），是 196883 维——再少一维，就装不下它了。更值得一提的是，

$196883 = 47\times59\times71,$

正好是魔群阶里最大的三个质因子相乘。先说”最大的三个”是怎么认定的：回看 §2 开头 $|M|$ 的那个分解式，素因子从小到大排到尽头，正是 $\cdots 31\cdot 41\cdot 47\cdot 59\cdot 71$——末尾这三个就是它最大的质因子，$71$ 是其中最大的。

至于魔群的质因子为什么偏偏是这一组、到 $71$ 就打住、再没有更大的——那是个比这深得多的问题，答案藏在魔群与另一片数学之间一座隐秘的桥里。我们留到这个系列的最后一集，再去看那道门后面是什么。

一个 $8\times10^{53}$ 那么大的东西，它所居住的最小的地方，是一个 196883 维的空间。

图 · $8\times10^{53}$ 那么大的魔群，能施展拳脚的最小空间只有 196883 维（$=47\times59\times71$）——庞然之物，恰好塞进它最小的房间。（本频道制作）

到这里，体检报告齐了：大小、指纹表、最小居所——全部写好，而怪兽本身还没露面。下一节，有人要把它真的造出来。

§3 · 徒手造怪兽

到 1970 年代末，局面有点特别：魔群的一切技术资料——阶、194×194 的特征标表、196883、乃至下面要出场的 196884——都已备齐，可没有人证明过它真的存在。康威后来回忆当时的心情，说他把造出魔群这件事看作”一个实际的不可能，或者一个不实际的可能”。

罗伯特·格里斯（Robert Griess，1945–）——1980 年，他不用一台计算机、徒手把魔群造了出来。（Renate Schmid 摄于 2005 年，Oberwolfach 数学研究所照片集，CC BY-SA 2.0 de。）

打破这个僵局的，是罗伯特·格里斯。他是最早（约 1973 年）拿出魔群存在证据的人之一。而他手里多了一条别人递来的线索：诺顿从那张特征标表推出，魔群必然保持一个 196884 维的代数结构——也就是说，那个 196884 维的空间上有一套”乘法”，而魔群恰好是不打乱这套乘法的全部对称。

这条路听起来比原来那条还难：要造的东西更大。可它恰恰更容易——那个群有 $8\times10^{53}$ 个元素，你没法一个个把它写下来；而代数不用一个个写，给出一条乘法规则就够了。于是路线清楚了：先把这个 196884 维的代数造出来，再证明”保持它的全部对称”恰好是一个新的单群，正是那只被预言、体检报告已经写好的怪兽。1980 年 1 月 14 日，格里斯在安娜堡（Ann Arbor）宣布：他做到了。两年后，完整的论文（题为《友好的巨人》，Invent. Math. 69）印了出来，一百零二页。

这件事最了不起的地方，在于他是徒手做的，一台计算机都没用。作为对照：当年也有人算过一笔账，光是做一次这样的矩阵乘法，就要占掉机器十七八天——矩阵有近二十万行、二十万列，按最朴素的算法要做 $8\times10^{15}$ 次乘法，就算一秒五十亿次，也得算上十七八天。一次乘法，十七八天。 而格里斯用纸笔完成了整件事。蒂茨后来说：“我把格里斯的构造略作简化，但他做的是伟大的工作。它是不用计算机完成的，这是了不起的壮举。“格里斯自己回忆，1979 年 6 月结婚，10 月起昼夜连轴地算，“感恩节只休了半天，圣诞只休了一天”。

这里要把一个记号讲清楚，否则容易被内行挑错：196883 和 196884，只差一个 $1$，指的却是两件事。

• 196883 是魔群表示的维数——它施展拳脚的最小空间。
• 196884 是那个代数的维数。今天通行的说法把这个代数叫格里斯代数（Griess algebra），它比表示空间多出的那一维，是代数的恒等元（乘谁都不变的那个"$1$"）方向：$196884 = 196883 + 1$。

（一点历史精确性：格里斯 1982 年原论文里造的代数其实是 196883 维、不含恒等元；“补上一维恒等元、凑成 196884”是后来更干净的重述。所以不能说”格里斯原文造了 196884 维代数”。这一集我们用的是现代通行的 196884 说法，它既对，也躲开了这个坑。代数内部怎么分块、乘法从哪来，见附录 C。）

而魔群与这个代数的关系，可以用一个等号收束。这里的 $\mathrm{Aut}$（automorphism group，自同构群）是”某个对象的全体对称”的缩写：把这个对象的结构原样保住、一点不乱的所有变换，凑起来就是一个群。它和 EP6 那一串等号完全平行：

$M_{24}=\mathrm{Aut}\,S(5,8,24),\qquad \mathrm{Co}_0=\mathrm{Aut}(\Lambda_{24}),\qquad M=\mathrm{Aut}(\text{格里斯代数}).$

括号里三个对象，都是前面亲眼见过的：$S(5,8,24)$ 是 EP6 那张 Steiner 设计（$24$ 个点、每块 $8$ 个点，任意 $5$ 个点恰好落在唯一一块里），$M_{24}$ 是把它的区块结构原样保住的全体重排；$\Lambda_{24}$ 是 EP6 那张利奇格（$24$ 维、接吻数 $196560$ 的最密堆积），$\mathrm{Co}_0$ 是保持它的全体正交变换；而格里斯代数就是本集 §3 刚徒手造出的那套 $196884$ 维乘法，$M$ 是不打乱这套乘法的全体对称。

散在群一路走来，个个都是”某个异常精巧的对象的全体对称”。魔群，是这条线上最大的那一个。

盒子里最大的那只，至此现了身。可它身上多出来的那个"$1$"（$196884 = 196883 + 1$），此刻看着无关紧要——它要到最后一集才显出分量。

§4 · 二十六，与一份读不完的证明

造出了魔群，一个很自然的问题冒出来：盒子倒空了吗？散在群到此为止了吗？

数目其实早就收住了。魔群和它牵出的几个新子群，把散在群的总数推到 25；1975 年，扬科找到了第 26 个（记作 $J_4$）的证据，此后这个数字再没变过：一共 26 个散在单群。上一集我们说过它们的分家：26 个里，有 20 个是魔群的子群或商群，剩下 6 个连魔群都收不进肚子。而给这两拨命名的，正是那个徒手把魔群造出来的人——格里斯在《友好的巨人》里，一句话同时定下两个名字：进得去的那 20 个，叫”快乐家族”；进不去的，上一集我们已经给过它们名字：化外群（pariahs）。他的原话是：

“The sporadic groups which are involved in the Friendly Giant constitute the Happy Family and those which are not are called the Pariahs.” ——Griess, The Friendly Giant, Invent. Math. 69 (1982), p. 3

不过有个细节值得停一下：格里斯 1982 年只点得出五个化外群——$\mathrm{Ly}$、$J_3$、$J_4$、$\mathrm{O'N}$、$\mathrm{Ru}$——第六个 $J_1$，他当时给不出答案。同一页上他写：“The membership of every sporadic group in one of those two categories is settled, except for $J_1$“，还补了一句很有画面感的话：$J_1$ 的阶”只有”175,560，“人们不难想象一个 $J_1$ 的副本像一粒微尘那样飘在 $F_1$ 里面”。

换句话说：**那个徒手把魔群造出来的人，说不准自己造的东西里有没有藏着一个十七万阶的小群。**这个悬念要到 1986 年才由威尔逊（Robert Wilson）结掉——论文题目本身就是那个问题：《$J_1$ 是魔群的子群吗？》（Is $J_1$ a Subgroup of the Monster?，Bull. London Math. Soc. 18(4): 349–350, 1986，doi:10.1112/blms/18.4.349）。答案是否定的，于是化外群才凑齐 6 个，成了我们今天写的那个数。¹

那么，“有限单群的分类彻底完成了吗”？这个问题的答案，牵出这个系列反复出现的一个主题——一份长到没人能独自读完的证明。

1983 年，戈伦斯坦（Daniel Gorenstein，1923–1992）宣布：有限单群的分类已经全部完成。但这个宣布下早了——他被一处证明误导，以为其中一类叫”拟薄群（quasithin groups）“的情形已经封口，其实那里留着一个缺口。真正把这个缺口补上的，是迈克尔·阿施巴赫（Michael Aschbacher）和斯蒂芬·史密斯（Stephen Smith），时间已是 2004 年——两大卷、合计约 1221 页的证明。到这一年，有限单群的分类才被公认真正完成。

从 1972 年戈伦斯坦提出计划，到 2004 年补上最后一块，这场被他自己称为”三十年战争”的分类工程，前后正好跨了三十来年——这正是 EP5 那一集的主题。魔群的现身（1980）落在这场战争的中段：它是这份读不完的清单里，最大、也最令人生畏的一项。

尾声 · 盒子还留着一道缝

魔群现身了。它庞大到超出直觉——$8\times10^{53}$——却是一个有限、具体、能被一双手真正造出来的对象。它住在 196883 维里，它的数据被一遍遍验算过——而验算它的人自己说，可靠性的问题并没有走开（见 §2）。看上去，故事到这里可以收束了。

可有一个数字不肯安分。魔群最小表示的维数是 196883，那个代数的维数是 196884。而在一个与群论、与对称看似毫不相干的角落——数论里一个叫 $j$-函数的经典对象——它展开式的第一个有意思的系数，偏偏就是 196884。

一个描述怪兽最省空间的数，怎么会一字不差地出现在一百多年前就写下的一条数论公式里？是巧合，还是盒子最深处还藏着一样东西？

盒子还留着最后一道缝。最后一集，我们去看那道缝后面是什么。

附录 A（直觉+结构）· 3-对换群与镜网络

图 A · 两面镜子接连照，合成的是一个旋转，转角是夹角的两倍——所以”积的阶最多是 3”就等于”夹角只许重合、$90^\circ$、$60^\circ$”，$45^\circ$ 出局。中间是 $S_4$ 的六个对换组成的镜网络：三条实线是仅有的三对不相交对换（积阶 2），其余十二对都共享一个点（积阶 3）。右边是菲舍尔定理收束出的三个新散在群。角上那块牌子是记号铁律：菲舍尔的 $\mathrm{Fi}$ 不是马蒂厄的 $M$。（本频道制作 · 数学信息图）

这一节要干什么。正文 §1 说菲舍尔（Bernd Fischer）用”由对换生成的群”这个看似朴素的问题，挖出了三个全新的散在群。这里把”3-对换群”说精确，用你最熟的 $S_n$ 当实例，把”两面镜子合成一个旋转”这条一直当直觉用的话证出来，再给 Fischer 定理的陈述与直觉——本集天花板在此生效：给结构与例子，完整分类证明引用不重造。

概念在此释义：什么是 3-对换群。一个群 $G$，由某个共轭类 $D$ 生成（“共轭类”＝同型元素凑成的一整类，EP4 附录一 §二 给过定义：$g$ 的共轭类＝全体 $hgh^{-1}$），$D$ 里全是对合（involution：自乘一次回到单位元，$d^2=e$——EP5 §3 从奇阶定理引出的那把入口钥匙），并且任取 $d,e\in D$，乘积 $de$ 的阶只允许是 $1$、$2$ 或 $3$。这样的 $(G,D)$ 叫 3-对换群（3-transposition group）。三个数各管一种情形：阶 $1\iff d=e$；阶 $2\iff$ 两个对合交换；阶 $3\iff$ 它俩合起来生出一个三角形般的小对称（马上在 $S_n$ 里亲眼看）。

镜子直觉。对合像一面镜子：照两次＝没照。两面镜子连续照，合成一个旋转，转角＝两镜夹角的两倍；于是”$rs$ 的阶是 $n$“翻译成几何就是”夹角＝$180^\circ/n$”。“积阶 $\le 3$“因此是一条摆镜规矩：任意两面镜子，要么重合，要么互成 $90^\circ$，要么互成 $60^\circ$——不许有别的角度。整个群成了一张巨大的镜网络；菲舍尔问的是：这样的网络，总共能有几种？

下面把这段直觉的两根支柱逐一立稳：先证”两个对合永远生成一个二面体群”（纯群论，不需要镜子），再证”两镜合成＝转角加倍”（纯平面几何），最后合起来看那条摆镜规矩为什么恰好只剩三个角度。

支柱一：任意两个对合，生成的一定是二面体群（全证）。

引理. 群 $G$ 中任取两个对合 $d,e$（即 $d^2=e^2=1$）。记 $\rho=de$、$m=\mathrm{ord}(\rho)$。则 $d\rho d^{-1}=\rho^{-1}$，且 $\langle d,e\rangle$ 是 $2m$ 阶的二面体群 $D_m$（正 $m$ 边形的对称群）。

证. 因 $d^{-1}=d$、$e^{-1}=e$，先算逆元：$\rho^{-1}=(de)^{-1}=e^{-1}d^{-1}=ed$。再算共轭： $d\rho d^{-1}=d(de)d=(dd)(ed)=ed=\rho^{-1},$ 即 $d$ 把 $\rho$ 翻成它的逆。又 $d\rho=d(de)=(dd)e=e$，所以 $e$ 由 $d,\rho$ 生成，$\langle d,e\rangle=\langle d,\rho\rangle$。循环子群 $\langle\rho\rangle$（阶 $m$）被 $d$ 正规化（上式），故 $\langle d,\rho\rangle=\langle\rho\rangle\cup d\langle\rho\rangle$，阶至多 $2m$。当 $m\ge3$：若 $d\in\langle\rho\rangle$，则 $\langle\rho\rangle$ 交换，上式给出 $\rho=\rho^{-1}$、$m\le2$，矛盾；故 $d\notin\langle\rho\rangle$，阶恰 $2m$。而 $d^2=\rho^m=1$、$d\rho d^{-1}=\rho^{-1}$ 正是二面体群 $D_m$ 的定义关系。$\blacksquare$

（$m=1$：$d=e$，$\langle d\rangle$ 阶 $2$；$m=2$：$d,e$ 交换，得克莱因四元群——EP5 §3 里 $A_5$ 那个 $4$ 阶对合中心化子就是它。两个退化情形与 $D_1,D_2$ 的通行约定一致。）

这条引理是全称的：”$de$ 的阶是 $m$“和”$d,e$ 生成正 $m$ 边形的对称群”是同一句话。所以”镜子”不是打的比方——两个对合张出的那块结构，本来就是正多边形的对称群。

支柱二：两镜合成＝旋转，转角＝夹角的两倍（全证）。

平面上过原点、与 $x$ 轴成 $\theta$ 角的直线，对它作反射的矩阵是

$R_\theta=\begin{pmatrix}\cos2\theta&\sin2\theta\\ \sin2\theta&-\cos2\theta\end{pmatrix}.$

（来历：与 $x$ 轴成 $\varphi$ 角的单位向量 $(\cos\varphi,\sin\varphi)$，关于该直线的镜像与 $x$ 轴成 $2\theta-\varphi$ 角；把 $\cos(2\theta-\varphi)=\cos2\theta\cos\varphi+\sin2\theta\sin\varphi$、$\sin(2\theta-\varphi)=\sin2\theta\cos\varphi-\cos2\theta\sin\varphi$ 读成矩阵作用即得。可即时验算：$\theta=0$ 给 $\mathrm{diag}(1,-1)$，正是关于 $x$ 轴翻折；$\theta=45^\circ$ 给 $\left(\begin{smallmatrix}0&1\\1&0\end{smallmatrix}\right)$，正是沿 $y=x$ 对调两坐标。）

取两面镜 $R_\alpha$、$R_\beta$，两条镜线夹角 $\phi=\beta-\alpha$。直接乘：

四个格子逐一是和角公式：左上 $\cos2\beta\cos2\alpha+\sin2\beta\sin2\alpha=\cos2(\beta-\alpha)$；右上 $\cos2\beta\sin2\alpha-\sin2\beta\cos2\alpha=-\sin2(\beta-\alpha)$；左下 $\sin2\beta\cos2\alpha-\cos2\beta\sin2\alpha=\sin2(\beta-\alpha)$；右下 $\sin2\beta\sin2\alpha+\cos2\beta\cos2\alpha=\cos2(\beta-\alpha)$。右端正是转角 $2\phi$ 的旋转矩阵。$\blacksquare$

推论：那条摆镜规矩，只剩三个角度。 转角 $2\phi$ 的旋转，阶为 $n$ 当且仅当 $2\phi$ 是 $360^\circ$ 的 $1/n$（取最简形），即镜线夹角 $\phi=180^\circ/n$。逐个代：

反例（$45^\circ$）。两面成 $45^\circ$ 的镜子，合成的是 $90^\circ$ 旋转，阶 $4$——超出 $\{1,2,3\}$。由支柱一的引理，这两个对合生成的是 $D_4$，$8$ 阶，正方形的对称群。所以：正方形的对称网络整个进不了菲舍尔的名单；能进的最大的正多边形，是正三角形（$D_3\cong S_3$，$60^\circ$）。摆镜规矩”只许重合／$90^\circ$／$60^\circ$“，到这里不再是一条约定，而是 $180^\circ/n$ 在 $n\le3$ 时的全部取值。

诚实边界（要紧的一点）。上面两根支柱强度不同：引理是全称的——任何群里任何两个对合，都生成 $D_m$，无一例外。两镜定理是平面几何——它说的是 $D_m$ 的那个几何实现。一般的 3-对换群里，$D$ 是一个对合共轭类，未必真是某个平面上的镜子（比如 $\mathbb{F}_2$ 上那几族经典群，“镜”要在有限域的几何里理解，引用不重造）。$S_n$ 这一头则是字面成立的：对换 $(i\;j)$ 作用在 $\mathbb{R}^n$ 上就是关于超平面 $x_i=x_j$ 的正交反射（它固定该超平面、把 $e_i-e_j$ 反号）——下面那个实例里，两种算法会对上同一个答案。

实例：$S_n$ 本身就是 3-对换群。取 $D=$ 全体对换 $(i\;j)$（交换两个点、其余不动——轮换记号 EP6 附录 B 刚学过）。任取两个对换，穷尽只有三种位置关系：

• 相等：$(1\;2)(1\;2)=e$，阶 $1$。
• 不相交：$(1\;2)(3\;4)$——各搬各的、互不干扰，交换，积的阶 $2$。
• 共享一个点：$(1\;2)(1\;3)=(1\;3\;2)$，一个 $3$-轮换，阶 $3$。

没有第四种情形，所以积阶永远 $\in\{1,2,3\}$：$S_n$ 是 3-对换群（在 $S_6$ 的全部 $15$ 个对换上逐对枚举核过，$15\times15$ 无一例外）。

两条路对上了。把上面三行用镜子重算一遍：对换 $(i\;j)$ 的镜面是超平面 $x_i=x_j$，其法向量（“根”）是 $e_i-e_j$；两面镜的夹角＝两根的夹角。不相交的 $(1\;2),(3\;4)$，根 $e_1-e_2$ 与 $e_3-e_4$ 正交，夹角 $90^\circ$ → 转角 $180^\circ$ → 阶 $2$。共点的 $(1\;2),(1\;3)$，根 $e_1-e_2$ 与 $e_1-e_3$ 的夹角由 $\cos\vartheta=\frac{(e_1-e_2)\cdot(e_1-e_3)}{|e_1-e_2|\,|e_1-e_3|}=\frac{1}{\sqrt2\cdot\sqrt2}=\frac12$ 给出 $\vartheta=60^\circ$ → 转角 $120^\circ$ → 阶 $3$。与直接数轮换得到的阶逐条相符（两种算法都入核验）。$S_3$ 就是最小的非平凡镜网络：三面镜子两两成 $60^\circ$。

Fischer 定理（1971，陈述级引用）。在”没有非平凡可解正规子群”一类技术性前提下，有限 3-对换群的清单短得异常：对称群 $S_n$；$\mathbb{F}_2$ 上的三族经典群（辛群 $\mathrm{Sp}_{2n}(2)$、酉群 $\mathrm{PSU}_n(2)$、正交群 $\mathrm{O}^{\pm}_{2n}(2)$——同属 EP5 §1 那张”李型家族”名单，其中酉群 EP5 附录 D 显式造过）；$\mathbb{F}_3$ 上一族正交型群；以及——恰好三个此前没人见过的新群：$\mathrm{Fi}_{22}$、$\mathrm{Fi}_{23}$、$\mathrm{Fi}_{24}$。记号铁律再敲一遍（EP6 尾声埋过的雷）：Fischer 的 $\mathrm{Fi}$ 和 Mathieu 的 $M$ 是两家人——$|\mathrm{Fi}_{22}|=2^{17}\cdot3^{9}\cdot5^{2}\cdot7\cdot11\cdot13=64{,}561{,}751{,}654{,}400\approx6.5\times10^{13}$，比 $|M_{22}|=443{,}520$ 大约一亿五千万倍。$|\mathrm{Fi}_{23}|=2^{18}\cdot3^{13}\cdot5^{2}\cdot7\cdot11\cdot13\cdot17\cdot23=4{,}089{,}470{,}473{,}293{,}004{,}800$。$\mathrm{Fi}_{24}$ 本身不是单群：它含一个恰占一半的正规子群（EP2 群论小课④ 拉格朗日定理的账——指数 $2$），那一半才是散在单群，记作 $\mathrm{Fi}_{24}'$（撇号就是”取那一半”的标记），$|\mathrm{Fi}_{24}'|=2^{21}\cdot3^{16}\cdot5^{2}\cdot7^{3}\cdot11\cdot13\cdot17\cdot23\cdot29=1{,}255{,}205{,}709{,}190{,}661{,}721{,}292{,}800$。三个阶均对 ATLAS（乘积已核算）。定理的完整证明属菲舍尔原文《Finite groups generated by 3-transpositions. I》（Invent. Math. 13 (1971) 232–246），引用不重造。

从 $3$ 到 $\{3,4\}$：通往魔群的坡道（史线细节归正文 §1–§2）。把摆镜规矩放宽一档——积阶允许到 $4$（所谓 $\{3,4\}$-对换群，按上表，这正是把 $45^\circ$ 放进来），同一套镜网络哲学继续往前推：菲舍尔沿这条坡道先触到婴儿魔群 $B$；而魔群 $M$ 的预言（1973 年前后，菲舍尔与格里斯(Robert Griess)独立提出），正是”存在一个单群，它的某个对合的中心化子含 $B$ 的二重覆盖”（“二重覆盖”＝恰比原群大一倍、商掉中心 $\{\pm\}$ 就还原的加壳版——EP6 里 $\mathrm{Co}_0$ 之于 $\mathrm{Co}_1$ 正是这关系）。对合中心化子——EP5 §3 那把 local analysis 的刀——第三次出鞘。

符号核验：$S_6$ 全部 $15$ 个对换逐对枚举（$225$ 对），积阶恒 $\in\{1,2,3\}$ 且”相等$\to1$ / 不相交$\to2$ / 共点$\to3$”逐对成立；同 $225$ 对上 $|\langle d,e\rangle|=2\,\mathrm{ord}(de)$ 逐对成立（二面体引理）；$(1\;2)(1\;3)=(1\;3\;2)$ 阶 $3$；两镜定理以符号恒等式全证（$R_\beta R_\alpha$ 与转角 $2(\beta-\alpha)$ 的旋转矩阵逐格相等，非数值近似），且 $R_\theta^2=I$、$\det R_\theta=-1$；镜像实现交叉核——根夹角 $90^\circ/60^\circ$ 与置换积阶 $2/3$ 逐条相符；$45^\circ$ 两镜之积阶 $=4$、生成 $D_4$（$8$ 阶）；三个 Fischer 群阶的素因子乘积与十进制整数逐位相符（对 ATLAS）；$|\mathrm{Fi}_{22}|/|M_{22}|=145{,}567{,}477.5\ldots\approx1.5\times10^{8}$。Fischer 定理清单本身＝引用（1971 原文），不入核验。

附录 B（直觉+结构）· 特征标表与 196883

图 B · 魔群的特征标表：不可约复表示的个数＝共轭类的个数，所以这张表必须是方的——横竖各 194。第一列列出各表示的维数，最上面是 $1$，紧接着的第二个就是 $196883=47\cdot59\cdot71$（魔群阶里最大的三个质因子）。左下角用 $S_3$ 的 $3\times3$ 小表，把同样这两条规矩摆出来算：行正交 EP4 附录一已经证过，列正交是本集补上的那一条，而 $1^2+1^2+2^2=6$ 只是它在第一列上的特例。顶上的时间轴是本集的题眼——1973 预言、1979 表算完、1980 才有人把它造出来。（本频道制作 · 数学信息图）

这一节要干什么。正文 §2 说魔群的”体检报告”先于它本身存在：$194\times194$ 的特征标表到 1979 年已经算完，而群要到 1980 年才被造出来。这里讲清：特征标是什么（EP4 埋的四个词在此转正）、这张表怎么读、$196883$ 站在表的哪一格、以及”没见过群却能算它的表”凭什么可能。这一节是本集核心主张的发动机，所以它比别处硬一档：那条让整件事成立的定理——表必须是方的——连同列正交关系，在此证到底（EP4 附录一 只证了行的那一半）。魔群的表本身引 ATLAS 不重算。

概念在此释义（回扣 EP4）。这四个词，EP4 附录一（「表示论基础：完全可约、特征标、Schur 正交」）已连定义带证明给全，这里唤醒复用：表示（representation：把群元忠实翻译成矩阵，$g\mapsto\rho(g)$，乘法结构保持）、维数（矩阵的尺寸 $n$）、不可约（irreducible：拆不动的最小块——任何表示都能碎成不可约块的拼盘，EP4 附录一 §一 的完全可约性）、特征标（character：$\chi(g)=\operatorname{tr}\rho(g)$，矩阵对角线元素之和，一个表示的”指纹”）。关键便利：迹在换基下不动，所以同一共轭类里的元素指纹相同——特征标只需每类记一个数（这样的函数叫类函数，class function：在每个共轭类上取常值的函数）。

把它们排成方阵就是特征标表：行＝不可约表示，列＝共轭类，第 $(i,j)$ 格＝第 $i$ 个不可约表示在第 $j$ 类上的迹。第一列（单位元那一列）就是各表示的维数，因为 $\chi(e)=\operatorname{tr}I_n=n$。

而”行数＝列数”——不可约复表示的个数恰等于共轭类的个数——不是记号上的巧合，是一条定理。（“复”这个字不能省：在实数域上或特征 $p$ 整除 $|G|$ 时，这条等式就不成立了。下文与图中从简处，一律指复表示。）它是本集”没见过群却能算它的表”这句话的地基，下面证它。

唤醒：EP4 附录一 §三 那张 $S_3$ 表。$S_3$（EP2 整堂群论小课解剖的那个正三角形对称群）有 $3$ 个共轭类：$\{e\}$、三个对换、两个三循环，大小各 $1,3,2$；它恰有 $3$ 个不可约表示，特征标记作 $\chi_1$（平凡）、$\chi_{\mathrm{sgn}}$（符号）、$\chi_{\mathrm{std}}$（标准二维）。整张表连同行正交的逐项验算，EP4 附录一 §三 已经做完，此处不重推，只把三行数值取来当下面的原料：

$\chi_1=(1,\;1,\;1),\qquad \chi_{\mathrm{sgn}}=(1,\;-1,\;1),\qquad \chi_{\mathrm{std}}=(2,\;0,\;-1),$

（三列依次对应类 $\{e\}$、对换、三循环，类大小 $1,3,2$。）EP4 在这张表上验的是行与行的正交；本节要证的是列与列也正交——同一张表，横过来再用一次。

定理一：表必须是方的（全证）。

定理. 有限群 $G$ 的不可约复表示个数（同构意义下）$r$，恰等于 $G$ 的共轭类个数 $k$。

证. 记 $\mathcal{C}$ ＝ $G$ 上全体类函数构成的复向量空间，内积沿用 EP4 附录一 §三 的 $\langle\alpha,\beta\rangle=\frac{1}{|G|}\sum_{g}\alpha(g)\overline{\beta(g)}$。分三步。

第一步：$\dim\mathcal{C}=k$. 一个类函数在每个共轭类上取一个常值，且这些常值可以任意指定；所以把各类的示性函数 $1_{K_1},\dots,1_{K_k}$（在 $K_j$ 上取 $1$、别处取 $0$）拿来，它们显然线性无关、又张满 $\mathcal{C}$。故 $\dim\mathcal{C}=k$。

第二步：$r\le k$. EP4 附录一 §三 已证第一正交关系 $\langle\chi_i,\chi_j\rangle=\delta_{ij}$：不可约特征标是 $\mathcal{C}$ 里的一组标准正交向量，因而线性无关。$k$ 维空间里的正交组不超过 $k$ 个，故 $r\le k$。

第三步：它们还张满 $\mathcal{C}$，所以 $r=k$. 只需证：若 $\alpha\in\mathcal{C}$ 与每个 $\chi_i$ 都正交，则 $\alpha=0$（正交补为零 $\iff$ 张满）。设 $\langle\alpha,\chi_i\rangle=0$ 对一切 $i$。对每个不可约表示 $(\rho_i,V_i)$，造算子

$T_i=\sum_{g\in G}\overline{\alpha(g)}\,\rho_i(g).$

它是交结算子：对任意 $h\in G$，

中间那步换元是 $G$ 到自身的双射，末步正是用上 $\alpha$ 是类函数（$\alpha(h^{-1}g'h)=\alpha(g')$）。于是 $\rho_i(h)T_i=T_i\rho_i(h)$。

由 Schur 引理 (b)（EP4 附录一 §三 已证），$T_i=\lambda_i\,\mathrm{Id}$。取迹定 $\lambda_i$： $n_i\lambda_i=\operatorname{tr}T_i=\sum_g\overline{\alpha(g)}\,\chi_i(g)=|G|\cdot\frac{1}{|G|}\sum_g\chi_i(g)\overline{\alpha(g)}=|G|\,\langle\chi_i,\alpha\rangle=0,$ 故 $\lambda_i=0$，即 $T_i=0$——对每一个不可约表示都成立。

再由完全可约性（EP4 附录一 §一 已证）：任何表示都是不可约表示的直和，而 $T$ 的造法对直和是逐块进行的，所以对任意表示 $\rho$ 都有 $\sum_g\overline{\alpha(g)}\rho(g)=0$。特别地取正则表示（EP4 附录一 §三 末尾数重数时用过的那个：以群元为基 $\{e_x\}_{x\in G}$，$\rho_{\mathrm{reg}}(g)e_x=e_{gx}$），把这个零算子作用在基向量 $e_1$ 上：

$0=\sum_g\overline{\alpha(g)}\,\rho_{\mathrm{reg}}(g)\,e_1=\sum_g\overline{\alpha(g)}\,e_g.$

而 $\{e_g\}_{g\in G}$ 是一组基，系数必须逐个为零：$\overline{\alpha(g)}=0$ 对一切 $g$，即 $\alpha=0$。$\blacksquare$

于是不可约特征标是 $\mathcal{C}$ 的一组标准正交基，$r=\dim\mathcal{C}=k$。特征标表是方阵——共轭类有几个，不可约表示就有几个，一个不多一个不少。

定理二：列正交关系（全证）。

定理（第二正交关系）. 对 $g,h\in G$， $\sum_{i=1}^{k}\chi_i(g)\,\overline{\chi_i(h)}=\begin{cases}|C_G(g)|,&g\sim h\ (\text{同一共轭类}),\\ 0,&\text{否则}.\end{cases}$ 其中 $C_G(g)$ ＝ 与 $g$ 可交换的全部群元组成的子群（中心化子）。

证. 由定理一，不可约表示与共轭类都是 $k$ 个，可以把整张表装进一个 $k\times k$ 方阵 $A$：

$A_{ij}=\sqrt{\frac{|K_j|}{|G|}}\;\chi_i(g_j)\qquad(g_j\in K_j\ \text{任取一个代表}).$

先看 $AA^*$（$A^*$＝共轭转置）： $(AA^*)_{ii'}=\sum_{j}A_{ij}\overline{A_{i'j}}=\sum_j\frac{|K_j|}{|G|}\chi_i(g_j)\overline{\chi_{i'}(g_j)}=\frac{1}{|G|}\sum_{g\in G}\chi_i(g)\overline{\chi_{i'}(g)}=\langle\chi_i,\chi_{i'}\rangle=\delta_{ii'}$ （中间把”按类求和、乘类大小”还原成”按群元求和”，因为特征标在每类上取常值）。这一步用的就是 EP4 附录一 §三 的行正交。所以

$AA^*=I_k.$

关键的一步在这里：$A$ 是方阵，所以 $AA^*=I$ 就意味着 $A^*=A^{-1}$，因而另一侧也成立： $A^*A=I_k.$ 把它写开： $\delta_{jj'}=(A^*A)_{jj'}=\sum_i\overline{A_{ij}}\,A_{ij'}=\frac{\sqrt{|K_j|\,|K_{j'}|}}{|G|}\sum_{i}\overline{\chi_i(g_j)}\,\chi_i(g_{j'}).$

分两种情形读：

• $j\ne j'$（不同类）：右端 $=0$，而前面的系数非零，故 $\sum_i\overline{\chi_i(g_j)}\chi_i(g_{j'})=0$。
• $j=j'$（同类）：$\frac{|K_j|}{|G|}\sum_i|\chi_i(g_j)|^2=1$，即 $\sum_i|\chi_i(g_j)|^2=\dfrac{|G|}{|K_j|}$。而由轨道–稳定子定理（EP5 附录 H 为算 $A_5$ 的 $60/15=4$ 显式走过一遍），把 $G$ 用共轭作用在自己身上：$g_j$ 的轨道就是它的共轭类 $K_j$、稳定子就是它的中心化子 $C_G(g_j)$，故 $|G|/|K_j|=|C_G(g_j)|$。$\blacksquare$

方阵这一步为什么不能跳过。“行正交推出列正交”完全靠 $A$ 是方阵——非方阵时 $AA^*=I$ 推不出 $A^*A=I$。一个 $1\times2$ 的例子就够看：取 $A=\begin{pmatrix}\tfrac{1}{\sqrt2}&\tfrac{1}{\sqrt2}\end{pmatrix}$，则 $AA^*=\tfrac12+\tfrac12=1=I_1$（“行”是标准正交的），可是 $A^*A=\begin{pmatrix}\tfrac12&\tfrac12\\\tfrac12&\tfrac12\end{pmatrix}\neq I_2.$ 所以定理一（表是方的）不是给定理二做铺垫的客套话，它就是定理二的承台。这也正是”$194$ 个共轭类 $\Rightarrow$ 表是 $194\times194$“这句话真正的分量所在。

在 $S_3$ 上把列正交验出来（唤醒来的那三行数值，横着用）。中心化子先算好：$C_{S_3}(e)=S_3$ 阶 $6$；$C_{S_3}((1\,2))=\{e,(1\,2)\}$ 阶 $2$；$C_{S_3}((1\,2\,3))=A_3$ 阶 $3$。（也可直接用 $|G|/|K|$：$6/1,\,6/3,\,6/2$，对上。）

• 同列（该列平方和 $=$ 该类的中心化子阶）： $$\underbrace{1^2+1^2+2^2}_{e\ \text{列}}=6=|C(e)|,\qquad \underbrace{1^2+(-1)^2+0^2}_{\text{对换列}}=2=|C((1\,2))|,\qquad \underbrace{1^2+1^2+(-1)^2}_{\text{三循环列}}=3=|C((1\,2\,3))|.$$
• 异列（两两为零）： $$\underbrace{1\!\cdot\!1+1\!\cdot\!(-1)+2\!\cdot\!0}_{e\,/\,\text{对换}}=0,\qquad \underbrace{1\!\cdot\!1+1\!\cdot\!1+2\!\cdot\!(-1)}_{e\,/\,\text{三循环}}=0,\qquad \underbrace{1\!\cdot\!1+(-1)\!\cdot\!1+0\!\cdot\!(-1)}_{\text{对换}\,/\,\text{三循环}}=0.$$

顺带收下一条以前只是照抄的铁律。看上面第一个式子：$e$ 那一列的平方和 $=1^2+1^2+2^2=6=|S_3|$。这不是巧合——把列正交用在单位元那一列（$g=h=e$）：$\chi_i(e)=n_i$，而 $C_G(e)=G$，于是

$\boxed{\;\sum_{i=1}^{k}n_i^2=|C_G(e)|=|G|.\;}$

“维数平方和＝群阶”就是列正交在第一列的特例。它在别处常被当成一条要背的公式，在这里是证出来的。

魔群的表：先于群本身的”体检报告”。附录 A 结尾那条坡道通到 1973 年前后的预言之后，数学家手里有的只是假设：假设 $M$ 存在、假设它两类对合的中心化子长那样（一类连着婴儿魔群的二重覆盖，另一类 $=2^{1+24}.\mathrm{Co}_1$——EP6 的 $\mathrm{Co}_1$ 在此重新登场，$2^{1+24}$ 读作”顶着 $1+24$ 层二进制外壳”，它正是绕着 Leech 格长的）。仅凭这些假设加上特征标论的铁律，阶就被反推确定：

$|M| = 2^{46}\cdot3^{20}\cdot5^{9}\cdot7^{6}\cdot11^{2}\cdot13^{3}\cdot17\cdot19\cdot23\cdot29\cdot31\cdot41\cdot47\cdot59\cdot71 \approx 8\times10^{53}$

（十进制 $54$ 位：$808{,}017{,}424{,}794{,}512{,}875{,}886{,}459{,}904{,}961{,}710{,}757{,}005{,}754{,}368{,}000{,}000{,}000$，乘积已核算）。1970 年代（到 1979 年定稿，年份的三源出入见 §2），菲舍尔与利文斯通（Donald Livingstone）借助索恩（Michael Thorne）编写的程序，把整张 $194\times194$ 特征标表算完——此时魔群仍未被证明存在。 还差一条：维数整除群阶（短，用代数整数工具箱）。上面三条约束之外，反推特征标表时还反复用到一条：每个不可约表示的维数 $n_i$ 整除 $|G|$。它顺手可得——EP4 附录五 §1 已证中心特征标 $\omega_i(K_j)=\dfrac{|K_j|\chi_i(g_j)}{n_i}$ 是代数整数，而由行正交 $\sum_{g}\chi_i(g)\overline{\chi_i(g)}=|G|$，按类归并再除以 $n_i$：

$\frac{|G|}{n_i}=\sum_{j}\frac{|K_j|\,\chi_i(g_j)}{n_i}\,\overline{\chi_i(g_j)}=\sum_j\omega_i(K_j)\,\overline{\chi_i(g_j)}.$

右端是代数整数（$\omega_i$ 与 $\chi_i$ 都是代数整数，代数整数成环）；左端是有理数。而 $\mathbb{Q}$ 中的代数整数就是 $\mathbb{Z}$，故 $|G|/n_i$ 是整数，即 $n_i\mid|G|$。$\blacksquare$（这里”代数整数成环""$\mathbb{Q}$ 中的代数整数 $=\mathbb{Z}$“是数论背景，EP4 附录五 §0 借来、本系列一直引用不重造——重证它们属于代数数论，不在本集天花板内。）

凭什么可能。现在可以正面回答正文 §2 那句”体检报告先于本体”了。手里只有几条关于对合中心化子的假设，却足以把一张 $194\times194$ 的表逼到几乎唯一，靠的是刚证过的这几条互相咬住的约束：

1. 表是方的（定理一）——$194$ 个共轭类，就必须有 $194$ 个不可约表示，格子数一分不多；
2. 行与行标准正交（EP4 附录一 §三）；
3. 列与列正交，且每列的平方和 $=$ 该类的中心化子阶（定理二）——中心化子的阶正是那些假设直接给出的量，于是假设直接变成对表的数值约束；
4. $\sum n_i^2=|G|$（定理二在第一列的特例）与 $n_i\mid|G|$——把维数序列卡在很窄的范围里。

这些条件紧到什么程度：它们不是”有助于”确定这张表，而是几乎把它锁定。1979 年那台机器做的，就是在这些约束下把 $194\times194$ 个格子一一填出来——填的是一只当时谁也没见过、甚至还没证明存在的怪兽的体检报告。

还有一台机器：把阶直接算出来。上面四条约束把表逼到很窄；而 $|M|$ 这个数本身是另一件工具给的——汤普森阶公式（正文 §2 讲过它吃什么、吐什么，这里给形状）：设 $G$ 恰有两类对合、代表元 $t$、$z$，则

$|G|=|C_G(z)|\cdot a(t)+|C_G(t)|\cdot a(z),$

其中 $a(x)$ 数的是对合配对 $(u,v)$（$u$ 与 $t$ 共轭、$v$ 与 $z$ 共轭）中 $x$ 落在 $\langle uv\rangle$ 里的那些。按附录 A 的二面体引理，$\langle u,v\rangle$ 是二面体群、$\langle uv\rangle$ 恰是它旋转的那一半——所以 $a(x)$ 数的就是：“哪些二面体块的旋转部分里能看见 $x$“。魔群恰好是”两类对合”（2A、2B），前提正好对上。于是整条链闭合了：假设 ⟹ 两个邻居圈 ⟹ 阶 ⟹ 配上正交关系 ⟹ 整张 $194\times194$——全程没有见过那个群。（公式的完整证明见附录 D —— 它比本附录任何一段都便宜：只要附录 A 那条二面体引理，加一次双计数，不碰特征标。）

$196883$ 在哪。看表的第一列（各不可约表示的维数）：最上面永远是 $1$（平凡表示）；对魔群，第二小的维数就是 $196883$——它是 $M$ 最小的忠实复表示维数（“忠实”＝不同群元对应不同矩阵，EP6 附录 D 释过；平凡表示把谁都映成 $1$，最不忠实）。而且

$196883 = 47\cdot59\cdot71$

——恰是 $|M|$ 素因子清单里最大的三个相乘（已核算）。一个 $8\times10^{53}$ 的庞然大物，最俭省的矩阵住所也要 $196883$ 维。（口径说明：这是复数域 $\mathbb{C}$ 上的答案，ATLAS 口径；域一换数字会动——如 $\mathbb{F}_2$ 上最小忠实维是 $196882$，点到为止。）

一小片真表。整张 $194\times194$ 印不进来（在 ATLAS 里它占好几页，格子里是代数整数）。但第一列——各不可约表示的维数——可以看一眼。开头十项，按 ATLAS 的顺序：

$1,\quad 196883,\quad 21296876,\quad 842609326,\quad 18538750076,\quad 19360062527,$ $293553734298,\quad 3879214937598,\quad 36173193327999,\quad 125510727015275,\quad\dots$

三件事值得就着这十个数说清楚。

一、$194$ 个维数，不是 $194$ 个”不同的”维数。上面证过”不可约个数＝共轭类个数”，所以这一列不多不少恰好 $194$ 项；但其中只有 $170$ 项互不相同——有些维数被两个不同的不可约表示共用（上面第 $16$、$17$ 项就都是 $8{,}980{,}616{,}927{,}734{,}375$），还有一处是三个共用。维数相同不等于表示相同：它们在别的列上分得开。这也正是特征标表要有 $194$ 列的原因——只看第一列不够。

二、每个维数都整除 $|M|$。上面那条 $n_i\mid|G|$ 在这里可以逐项验：这十项（乃至全部 $194$ 项）无一例外。这不是巧合，是那条定理的直接后果；当年反推这张表时，它正是用来筛掉候选维数的筛子之一。（提醒一句分寸：整除只是必要条件，筛得掉错的，筛不出对的——它能证伪，不能背书。）

三、头四项能和 j-函数独立对上。j-函数的系数由 $j=E_4^3/\Delta$ 定义，跟魔群没有半点关系，可以完全独立地算出来：$196884$、$21493760$、$864299970$。拿它们和上面的维数对：

$196884=1+196883,$ $21493760=1+196883+21296876,$ $864299970=2\cdot 1+2\cdot 196883+21296876+842609326.$

三行严丝合缝。这意味着上面头四个维数不是”抄来的”：它们被一组来路完全无关的数独立验过一遍。至于 j 的系数为什么”恰好”是这些维数的和——这里只把算术摆出来，那个”为什么”是最后一集的事。（这条独立佐证只到第四项；第五项起没有这把手，只能引 ATLAS。）

四、这张表在 2024 年被重新算了一遍。先交代一件容易被跳过的事：那次原始计算，从来没有公开发表过它的推导——威尔逊本人回忆，那些计算”过于冗长复杂，以至于什么都没有发表”。也就是说，这张四十多年来被反复引用的表，它的底稿一直不在公开记录里。

作为”重算 ATLAS 全部特征标表”计划的一部分，

布罗伊尔（Thomas Breuer）、马加德（Kay Magaard）与威尔逊（Robert Wilson）重做了魔群这一张（arXiv:2412.12182）。他们的出发点值得一提：在魔群的唯一性假设、加上”存在一个 $196883$ 维忠实表示”的前提下，定出全部共轭类与中心化子的阶——和 $1979$ 年那次是同一台机器（正是上面证的列正交：每一列的平方和恰好等于该类中心化子的阶）。四十五年过去，同一组约束再走一遍，仍然走得通。而他们在文章开头写的是：

“The table was checked in various ways before publication in the ATLAS in 1985, and its incorporation into GAP. Nevertheless, the problem of reliability and reproducibility of this table remains.”

写这话的人里，威尔逊是 ATLAS 五位编者之一，布罗伊尔是 GAP 特征标表库的作者——也就是这张表今天存放的那个库。当年编它的人，和如今保管它的人，四十五年后一起回头重验它，并说可重现性的问题依然存在。 这正是 EP5 那个母题的另一副面孔：有些东西大到无法用一双手验完。

（维数出处：OEIS A001379「Degrees of irreducible representations of Monster group M」——数据由 GAP 的 CharacterTable("M") 生成、源头是 ATLAS，完整 $194$ 项见该条目的 b-file；$194$ 项／$170$ 个不同、以及第 $16$–$17$ 项重复，同出该条目注记。上面三条月光恒等式的算术、以及”每项整除 $|M|$“，本集已逐项核算。）

为什么盯着它（去 EP8 的钩子）。正文尾声说 j-函数的系数是 $196884=196883+1$——就差一个 $1$。那个 $1$ 是什么？附录 C 马上给它一个具体的身份。

符号核验：$S_3$ 表——第一列＝维数、$\sum n_i^2=1+1+4=6=|S_3|$、全部行对加权正交（含范数 $=6$）、全部列对正交且同列平方和逐列等于该类中心化子阶 $6/2/3$（并对 $|G|/|K|$ 独立核）、$r=k=3$；方阵性反例（$1\times2$ 的 $A$ 满足 $AA^*=I_1$ 而 $A^*A\ne I_2$，逐格核）；$|M|$ 素因子乘积与 $54$ 位十进制逐位相符（对 ATLAS）；$47\cdot59\cdot71=196883$；$|M|$ 的素因子集合中最大三个恰为 $\{47,59,71\}$；$196884=196883+1$。定理一/定理二/$n_i\mid|G|$ 的证明是文字证明（$S_3$ 为其实例核）。 那一小片真表：j-函数的 $q$-展开由 $j=E_4^3/\Delta$ 从零算出（精确整数级数）得 $196884$、$21493760$、$864299970$；维数引 OEIS A001379（其 $\%o$ 由 GAP CharacterTable("M") 生成、$\%D$ 指 ATLAS 1985）；三条月光恒等式把算出的 j-系数与引来的维数对撞，全部相等 ⟹ 头四项独立佐证（仅头四项，第五项起 cite-only）。前 $18$ 项逐项整除 $|M|$——必要非充分，不作背书。重复项 $8{,}980{,}616{,}927{,}734{,}375=5^9\cdot7^6\cdot11^2\cdot17\cdot19$ 在前 $18$ 项中出现两次（对 $\%C$ 注记的 $194$ 项／$170$ 不同）。 汤普森阶公式那一笔：$|C_M(2\mathrm{B})|=2^{25}\cdot|\mathrm{Co}_0|/2=139{,}511{,}839{,}126{,}336{,}328{,}171{,}520{,}000$（$|\mathrm{Co}_0|$ 取自 EP6，系列内已核）；它整除 $|M|$（拉格朗日，真检验）；位数 $27$ vs $|M|$ 的 $54$ 恰为一半，与 $\sqrt{|M|}$ 同量级。公式本体、$a(x)$ 的定义、$194$ 类与 2A/2B 的中心化子结构、维数序列、$\mathbb{F}_2$ 之 $196882$＝引（汤普森原始工作 / ATLAS / Breuer–Magaard–Wilson），不入核验。