汤普森 · 二百五十五页

先把「群」说清楚。拿一张正三角形的纸片，允许的动作只有三种：不动、转 120 度、转 240 度。三种动作能接续：转 120 再转 240，等于不动；每个动作都能回头：转 120 的回头是转 240。这样一堆「能接、能回、有不动」的动作，就叫一个群。

群的「大小」叫阶。上面这个群有三个元素，阶是 3。换成正方形：不动、转 90、180、270 加四次翻面，共八个动作，阶是 8。阶就是账本的页数——数一数有几个元素。

账本里还有小账本。只取其中一部分动作，若它们自己也能接、能回、有不动，就叫子群。三角形那三个动作里，「不动」单独就是一个子群；正方形八个动作里，四次旋转是一个四阶子群。子群是群内部的骨架。

再进一步，是「整块拿掉」。有些子群很规矩：拿群里的任意动作去「揉」它，揉完还是它自己，这种叫正规子群。有正规子群，就可以把整块当成一个单位，剩下的部分重新组成一个更小的群，叫商群。

于是有了「原子」。若一个群除了「只有不动」和「整个自己」外没有别的正规子群，就叫单群——不能再整块拆开。有限群都能拆成一串单群，叫合成因子，好比整数拆成素数的乘积。想知道所有群，先得知道所有单群。

正三角形：3 个动作，阶 3，交换群
正方形：8 个动作，阶 8，非交换
五元偶置换：60 个动作，阶 60，单群（不能拆）
素数 p 阶群：必是循环群，必交换，必可解

注意最后一行。阶是素数时，群最简单。麻烦从「阶有好几个素因子」开始：因子越多，能拆的花样越多。而奇阶定理要处理的，正是「奇数、又有好几个素因子」这一大片最难的空地。

最小的「拆不开的非交换群」是哪一个。答案是一个六十阶的群：五个元素的偶置换全体，记作 A₅。五个东西的排列一共 120 种，其中「偶」的占一半，六十种。这六十个动作接起来，不能再整块拆开，也不交换。

六十是怎么分层的。不动 1 个；两个对换的乘积（如 1↔2 同时 3↔4）15 个；三个元素轮换 20 个；五个元素轮换 24 个，分成两类各 12 个。加起来 1＋15＋20＋12＋12＝60，不多不少。

为什么它是最小的。阶比 60 小的群，一个一个查过去，全都能拆：素数阶的必循环；合数阶的或有正规的素数阶子群，或有正规的西罗子群，总能整块拿掉。查到 60，才第一次遇到拆不开的。所以「最小非交换单群是 A₅。

接下来是最关键的一步：对合。一个动作做两次就回到原样，叫对合——比如翻面、转 180 度。柯西定理说：若素数 p 整除群的阶，群里必有 p 阶元素。取 p＝2：凡偶数阶的群必含一个对合。

反过来，奇数阶的群一个对合也没有。这句话正是奇阶定理的入口：所有已知的拆不开的非交换群都含对合；奇阶群不含对合，便不可能拆不开。奇阶定理要证的正是这件事——用二百五十五页，把「不含对合」推到「必然能一层层剥开」。

60＝2²×3×5（含 2，故有对合）
奇阶：不含因子 2 → 无对合 → 无「翻面」这类动作
奇阶定理 ⇔ 非交换单群必为偶数阶 ⇔ 最小非交换单群是 A₅

三种说法是一件事。第一种说「奇阶必可解」；第二种说「拆不开的非交换群必为偶数阶」；第三种说「A₅ 最小」。证出任何一种，另两种自动成立。汤普森与费特选的是第一种路线：假设有一个奇阶的、拆不开的群，把它逼到无路可走。

「可解」这个词，来自方程，不来自群。伽罗瓦研究「方程能不能用根式解」，给每个方程配一个群：方程能用根式解出，当且仅当这个群能一层层剥成交换的薄片。后人把这性质命名为可解群——结构温顺，能拆到底。

剥法写出来是一串包含关系。从「只有不动」起，一层层往上加子群，每层都是下层的正规子群，直到整个群，且每两层之间的商群都交换。这样一串叫可解列——洋葱一层层薄而均匀，剥完剩一个芯。

先拿两个小群试。六阶群（正三角形的全部对称）：可解列为不动 ⊂ 三个轮换 ⊂ 全部六个，两层商皆交换——可解。十五阶群：由三阶与五阶拼成，两半被迫交换，整个群是循环群——可解。

再看六十阶的 A₅。它拆不开，没有「中间层」可放，可解列第一步就卡住——这是非可解群的原型。等价的说法：一个群可解，当且仅当它的合成因子全是素数阶循环群。

于是奇阶定理可以读成一句大白话。元素个数为奇数的群，都是洋葱，都能一层层剥到芯；反过来，若有剥不开的，它的元素个数必是偶数。两种说法之间没有缝，是同一个命题的两种口气。

六阶：1 ⊂ 3 ⊂ 6，商 3 与 2，皆交换 → 可解
十五阶：3 与 5 互不「拧」，群循环 → 可解
六十阶 A₅：无可放之中间层 → 非可解
奇阶定理：奇阶 ⇒ 必有可解列（剥到底）

为什么这句话难。它要从「数量条件」推出「结构结论」：数量只说元素有几个，结构说的是内部怎么套，两者之间没有现成的桥。汤普森与费特要做的，就是用二百五十五页造这座桥——桥的每一段都得自己算。

要证「所有奇阶群都可解」，最省力的路是反证。假设有一个奇阶群不可解，那么在所有这样的群里，取元素个数最少的一个，记作 G。它有两个天生的性质，不必证明，只需注意。

第一个性质：G 是单群。若 G 有非平凡的正规子群 N，那么 N 与商群 G/N 都比 G 小、阶也是奇数，按「G 最小反例」，两者都该可解；两个可解块拼起来仍可解，于是 G 可解，矛盾。所以 G 没有非平凡正规子群——是单群。

第二个性质：G 的每个真子群都可解。真子群的阶更小、仍是奇数，按「最小」二字必可解。它等于说，G 内部每一块都温顺，只有整体是硬的；硬处必藏在「块与块怎么拼」里。

于是问题被改写了。原题是「所有奇阶群可解」，现在变成：不存在这样的单群——阶为奇数，每个真子群可解。这个改写把无穷多个群收成一个：证这一个不存在，全部就不存在。这便是极小反例法的威力。

接下来是「局部」。群论里的局部，指与某个素数相关的子群：西罗子群及它的正规化子、中心化子。局部小、规整、能算，是群身上最容易摸到的部分。汤普森的手法是把整体问题译成局部问题：整体若是硬的，局部必露出异常；把异常列全，就能反推整体。

假设：G 奇阶、不可解、阶最小
⇒ G 单（否则取正规子群与商群，得两个更小的可解块）
⇒ G 的每个真子群可解（阶更小）
⇒ 目标改为：证明这样的单群不存在

这条路有一个隐患。「最小的反例」只保证存在，不告诉人它长什么样；要往下走，得先拿到它的形状——阶被哪些素数整除、西罗子群多大、中心化子什么样。这些全靠第二步：数。

光靠「单群」与「子群可解」还不够。需要一把尺，把群量成一串数。这把尺叫特征标：把每个动作对应成一个矩阵，取它的迹，得到一个数。这样的数套有限，排成一张表，叫特征标表。

表的行与列都有意义。行是不可约特征标，列是共轭类——把能互相揉过去的动作归成一类。表里的数全是代数整数，且满足极强的正交关系；这些关系像一把把卡尺，把群的可能形状卡得很死。

奇阶的好处在这里显出来。阶是奇数时，「取平方」一一对应：任何动作都能唯一开平方。这条性质极硬：共轭类与特征标值同时受约束，许多在别的群上站得住的搭配，在奇阶群里站不住。

举一个能亲手验的结论。在奇阶群里，除单位元外，没有动作与自己的逆共轭。理由很短：若有动作 g 把 x 揉成 x⁻¹，揉两次便揉回 x；于是 g² 与 x 可换。而 g 的阶是奇数，必是某个动作的平方，故 g 也与 x 可换，x 就等于 x⁻¹，只能 x² 等于不动，即 x 是单位元。

这条小结论立刻变成一条大限制。「与自己逆共轭」的类叫实类；取逆后值不变的特征标叫实特征标；实类的个数等于实特征标的个数。奇阶群只有单位元一个实类，故实特征标只有平凡的那个——表中其余特征标取逆时都要变。

奇阶 ⇒ 每个动作有唯一平方根（x ↦ x² 是一一对应）
⇒ 除单位元外，无动作与自己的逆共轭
⇒ 只有一个实类 ⇒ 只有一个实特征标（平凡特征标）
这张表越受限，能塞进去的群越少

这就是「数」的力量。形状看不见，数看得见；把形状译成数，用数的不可能排除形状的不可能。二百五十五页里最重的几段，做的都是这件事。

有了尺，接下来是关门的活。先由「单群」与「每个真子群可解」，把 G 的极大子群一类一类列出来；每一类都给出对元素个数的限制。再由特征标的正交关系与整除性，把每一类逼到矛盾。每关掉一类，G 的可能形状就窄一分。

为什么门会越关越多。因为每关一扇，都会掉出新的信息：某个子群必须正规、某个数必须整除另一个数、某类元素的个数必须为零。这些信息合起来，又排除了更多的形状。像解一道极长的数独：填一格，划掉一片。

到了最后，剩下的情形少而硬。论文把它们分成若干组，一组一组处理：有的是「某类局部子群太大」，与单群冲突；有的是「某类局部子群太小」，与「每个真子群可解」冲突；还有一些最难缠的中间情形，需要把特征标的值算到极细，才能看出矛盾。

这些计算有一个共同的味道：全是整数算术。特征标的次数是群的阶的因子；特征标值满足的方程是整系数的；共轭类的大小又整除阶。把这些整数条件叠在一起，就得到一串必须同时成立的等式与不等式。矛盾不是从「深刻的定理」里冒出来，而是从算术里冒出来。

最后那一步最像收网。当所有情形都被关掉，「最小的反例」就不存在了；反例不存在，命题成立。整篇论文的结尾没有戏剧性，只有一句「故假设不成立」。二百五十五页，收在一句最朴素的话上。

下一页从算术退回来，问一个更根本的问题：这样一篇证明，凭什么让人相信。

群论里的「局部」，跟地图上的局部不一样。它不是「取一块区域」，而是「取一个素数」。给定群 G 与素数 p，把阶里所有 p 的因子凑起来，得到一个最大的 p-子群，叫西罗 p-子群。它是群身上最「p」的那一块。

西罗子群自己还不够用，要连「邻居」一起看。把西罗子群固定住：哪些动作把它整体搬回自己——组成正规化子；哪些动作把它每个元素都不动——组成中心化子。三者合起来，就是群在素数 p 处的局部。

为什么局部好用。因为它小。群的阶可以大到天文数字，局部往往只跟几个素数有关，能写下来、能算、能列表。更要紧的是局部之间会互相牵制：一处太胖，会逼出别处的异常；几处一对，整体的形状就被卡住。

「局部皆可解」现在能说清了。对每个素数 p，取局部；若每个局部都能一层层剥开，就称这个群局部皆可解。注意：局部皆可解不等于整体可解——整体的硬，恰可能藏在「局部怎么拼」上。汤普森要做的，就是把这种拼法穷尽。

拿一个熟悉的例子对照。六十阶的 A₅：素数 2 处的西罗 2-子群只有四个元素，局部规整；3、5 处也一样。可整体不可解。「局部温顺、整体硬」真的会发生——所以局部必须看，但不能只看局部。

阶 60＝2²×3×5　→　三个局部：2 处（4 阶）、3 处（3 阶）、5 处（5 阶）
每个局部都可解 → A₅ 局部皆可解
但 A₅ 整体不可解 → 硬在「拼」上

这就是第三幕的题眼。局部是看得见的部分，拼法是看不见的部分。要看见拼法，只能把所有可能的拼法列出来、一种一种排除——没有捷径，只能一页一页写。

什么叫极小单群。单群不能再整块拆开；若它还满足「每个真子群都可解」，就叫极小单群。它是森林里最低的一层山：往上每一座复杂的山，都得从这里长出去。所以列清单要从这一层列起。

汤普森列出的清单只有五族。第一族：六十阶的 A₅，五元偶置换。第二族：一百六十八阶的射影特殊线性群，来自七个点的一维射影几何。第三族：五百零四阶的同类群，参数是 8。第四族：五千六百一十六阶的三阶射影特殊线性群。第五族：二万九千一百二十阶的铃木群。

五族的形状有一个共同点。除 A₅ 之外，其余都来自「几何」：射影直线上的变换、或与之相近的结构。它们的阶都能写成「素数幂加一」的样子——因为几何里的点数，往往是素数幂加一。这条线索后来长成了李型群那一大类。

清单短，证明却长。要证「只有这五族」，等于证「其他形状都不可能」：给定一个极小单群，先用局部把它逼到只剩几种可能，再一种一种对上号。这一步一步，写满了那几百页。清单的五族是结论；论文的绝大部分，是排除。

这份清单还有一个用处：当尺子用。后来分类别的群时，常要问「这个群里有没有一个极小单群」。若有，就把它当入口，顺着往上看；若没有，就说明这个群的结构更简单，可以另外处理。清单成了整座森林的门牌号。

极小单群五族（阶）
60　168　504　5 616　29 120
除 60 外皆来自射影几何；阶皆可写成素数幂加一型

下一页看这套排除用的工具。汤普森造了两件：一件用来数，一件用来搬。数的那件，能把「一个元素有几个同伴」算成整除关系；搬的那件，能把一大块局部整体挪到方便的位置。

第一件工具用来数。给定一个群与一个元素，能问：它与多少个同伴可换。这个数整除群的阶。汤普森把这类「可换的个数」编成公式，用局部数据算出整体的数——后世叫它汤普森阶公式。

公式的用处很实在。它把「整体」译成「局部之和」：某类元素的个数等于若干局部贡献之和；局部算得清，整体就被钉住。奇阶定理里「某类元素个数必须为零」的矛盾，多半这样逼出来。

第二件工具用来搬。群里有大大小小许多子群，其中有一类特别「大」：它由所有「极大交换」的局部块拼成，取法有讲究。汤普森挑出一种最方便的取法，后人叫它汤普森子群。它像一只可以推动的木块：推到哪里，哪里的结构就露出来。

搬的用处，是把局部挪到「正规」的位置。子群在群里的位置有亲疏：被所有动作搬回自己的，就是正规的；正规子群可整块拿掉，群变小，可以归纳。汤普森的办法是先证在某些条件下那只木块必然正规；一旦正规，整座山塌了一角。

两件工具合起来，是一种工作方式。数，把「不可能」变成「整除关系不成立」；搬，把「复杂情形」变成「已处理过的情形」。十年几百页的排除，反复用的就是这两手。

数：局部数据 → 整体元素个数（整除关系 → 矛盾）
搬：汤普森子群 → 证其正规 → 整块拿掉 → 归纳
两者合起来：情形一类类关掉，山一座座塌

下一页从工具退开，问一个更大的问题。森林里的山，到底有多少座。这个数目是有限的吗；若有限，凭什么能列完。

先看一个最简单的方程。x²−2＝0，两个根：正根号二与负根号二。有没有一种对称，把两个根互换而保持一切加减乘除的关系不变。有，只有一种：互换。这个对称做两次回到原样，所以对应的群是两个元素，阶为 2。

再看三次。x³−2＝0，三个根：一个实根，两个复根。三个根的任何排列（六种）都能由某个「保持运算」的变换实现——对应的群是三个元素的全部置换，阶为 6，正是正三角形的对称群。它可解，所以三次方程有根式解。

「保持运算」要落实。把根看成符号：凡用加减乘除写出的、以这些根为变元的式子，变换后仍取相同的值，这个变换才被允许。允许的变换凑成一群，就是方程的伽罗瓦群。群越大，根之间的对称越多，方程越「难解」。

四次方程的群也能剥开，所以也有根式解。五次开始不行：一般五次方程的群是五元素全置换（阶 120），内藏六十阶的 A₅ 这块硬骨头；而 A₅ 拆不开，整条链断在这里。这就是「五次以上无根式解」的真正理由——不是没人聪明，是群不允许。

这条线把两门学问焊在一起。方程的「可解」与群的「可解」是同一个词，不是巧合：前者由后者定义。奇阶定理换到方程的语言里，说的是一整类方程的对称结构必然温顺——虽然这类方程未必写得出。

x²−2：两个根 → 群阶 2 → 可解（有根式解）
x³−2：三个根 → 群阶 6（三角对称）→ 可解
一般五次：群阶 120，含 A₅ → 不可解（无根式解）

下一页转个方向。正问题是「方程 → 群」，反问题是「群 → 方程」。前者是一条单行道，后者要造桥；造桥的办法，是把「一个群」变成「一族方程」，再用一个老定理把它落到具体的数上。

反问题的问法很短。给定一个有限群，能不能找到一片数域，使它的对称群正好是给定的那个。若群是二十阶的，就问：有没有一片数域，它的对称恰好二十个，不多不少。

造桥的第一招，是把常数换成字母。先不要求在普通有理数上做到，而在「带一个字母的有理函数」上做到：造一个系数含字母 t，使它的群正好是给定的群。这一步通常更容易，因为字母 t 给了很大的活动余地。

第二招是老定理：希尔伯特不可约定理。它说：若一个群能在带字母的有理函数上实现，把字母换成适当的有理数，群不变——只要造出一族，就能挑出一个成员落在普通有理数上。一族方程，胜过千辛万苦找一个。

于是问题变成：怎样为给定的群造出这样一族。标准做法是「三片拼图」：在群里挑三个共轭类，找三个元素，一个取自一类，乘积恰好是不动，且能生成整个群。再把方程写成「三个分支点」的形式——分支点对应共轭类，方程的形状被这三片定死。

还差一步：唯一性。若满足条件的三元组在群的作用下只有一个轨道（称它是刚性的），造出来的族就「干净」：群不会缩小，也不会长歪。刚性是钥匙——它把「找方程」变成「在群里数三元组」，一件可以动手做的事。

第一步：群 → 三个共轭类 C₁、C₂、C₃
第二步：找 x₁x₂x₃＝1，且三者生成整个群
第三步：三元组只有一个轨道（刚性）⇒ 族干净
第四步：希尔伯特不可约定理 ⇒ 落到有理数上

这套办法有一个限制。它要求群里有合适的「三个类」，而大多数群没有。找得到的是少数；可这少数里，恰好有那些最孤立的大家伙。下一页看他把这套办法用在谁身上。

魔群是最大的散在单群。它的阶是 8080 17424 79451 28758 86459 90496 17107 57005 75436 80000 00000，约八后面五十三位。这个数不是随手来的：它是若干素数幂的乘积，每个因子对应一群「局部」的大小。

魔群里挑三个类，是有讲究的。挑阶为 2 的元素里的一类（2B）、阶为 3 的一类（3B）、阶为 29 的一类（29A）。汤普森要数的是：从三类各取一个，乘积为不动、且能生成整个魔群的三元组，有多少个轨道。

数出来的答案很硬。只有一个轨道。三片拼图在魔群里只有一种拼法——刚性成立。于是第四步的定理接上：魔群可在一片阿贝尔数域上实现为伽罗瓦群。1984 年的论文把这一步写成一般判据，魔群是最重要的例子。

为什么用 29 这个数。29 是魔群阶里的素因子，且与 2、3 关系刚好：三类元素阶两两互素，乘积为不动的条件不退化。挑类是这套办法里最像手艺的部分——没有算法，只能算、只能试，试到三个类恰好咬住。

这件事的分量，要放在整个分类工程的背景里看。魔群是「最不像数的东西」：出自散在单群清单，与方程、素数分解毫无关系，竟也能落在数里——成为某片数域的对称。这不是巧合，是刚性逼出来的必然。

三个类：2B（阶 2）、3B（阶 3）、29A（阶 29）
三元组乘积＝1、生成魔群、轨道唯一 ⇒ 刚性
⇒ 魔群在 ℚ(μ_n) 的某扩张上实现为伽罗瓦群

下一页退一步，看这件事对「看见」意味着什么。群论看见了对称，数论看见了素数；两下接上，才看见「对称就长在数里」。

第一步：找骨架。任何长证明都有一个「主归纳」：假定某个反例存在，取最小的一个，然后一路限制它。把这条主线抄成一页：假设什么、推出什么、最后矛盾在哪。抄得出这一页，才算进了门；抄不出，读多少页都是漂着。

第二步：查边界。长证明最容易错的地方不在中间，在两头：最小反例的「最小」用在了哪里，归纳的起点有没有漏，某个子群「真包含」还是「包含」有没有混。这些地方作者写得最快，读者也读得最快。读的时候专门停下来查这几处，比通读十遍有用。

第三步：复算计数。凡是出现「个数」「整除」「指数」的地方，拿笔算一遍。奇阶定理里的矛盾多半是计数矛盾：某类元素应有几个，算出来却是另一个数，或不是整数。复算一次，等于替作者校核一次。

三步之外，还有一个态度。读长证明不是「相信」或「不相信」，是「接管」：把它当成自己的证明重写一遍，只是写得比作者快。写不下去的地方，就是还没读懂的地方。这个标准很硬，可它是唯一可靠的标准。

这套读法可以推广到一切长文。一万页的分类、几十万行的机器证明、上千页的定本，办法都一样：骨架、边界、计数。人会老，纸会黄，这三步不变。数学的传承，传的就是这三步。

第一步 找骨架：假设 → 限制 → 矛盾，抄成一页
第二步 查边界：最小性用在哪、起点有没有漏、包含是否严格
第三步 复算计数：个数、整除、指数，逐一上手

下一页看这张地图本身。一万页的分类，地图上到底画了些什么。

分类定理说的是一句很短的话。每一个有限单群，必属于下面四类之一：素数阶循环群、五个元以上元素的交错群、李型群、二十六个散在单群。四类之外，再无别的。这句话写出来不到两行，证出来一万多页。

前三类都是「族」。循环群按素数排，一族无穷；交错群按元素个数排，一族无穷；李型群按「维数」与「素数幂」两个参数排，分成十几个系列，每个系列无穷。族的好处是参数化：给定参数，群的阶、结构、子群全都有公式。

第四类只有二十六个，个个孤零零。最小的七千九百二十阶，最大的魔群约八后面五十三位。它们不属于任何族，参数写不出来；只能一个一个列，一个一个证其存在、证其唯一。这二十六个，是分类工程里最费劲的部分。

这四类是怎么被认出来的。不是先画地图再填内容，而是先有一座座山，再回头看出规律：李型群是从几何里长出来的（射影空间、典型群的类比），散在群是从「例外」里冒出来的（先猜存在，再造出来，再证唯一）。地图是事后画的，画地图的人拿的是汤普森那套工具。

时间线也值得记。1955 年前后开始有系统的计划，1960 年代攻各类小群，1970 年代李型群与散在群大批落地，1980 年代初宣布「清单完整」，此后是补洞：一直到 2004 年，最后一个「准薄群」的情形才被补上。

一、素数阶循环群（无穷族）
二、交错群，五元以上（无穷族）
三、李型群，十余系列（无穷族，参数为维数与素数幂）
四、散在单群，二十六个（有限个，孤点）

下一页看最后那个洞。「准薄群」是什么，为什么它拖了二十年。

1980 年代初宣布「清单完整」时，其实还留着几个洞。分类的证明按群的结构分头做：这一类归某人，那一类归另一人；坏处是交界处容易两不管——「薄群」与「厚群」之间那一段，正是这样的交界。

「薄」与「厚」，说的是局部的大小。每个素数处的局部都很小的群叫薄；局部普遍很大叫厚。厚的一类好处理——局部一大，整体被卡死；薄的一类难——局部小，整体活动余地大，情形数不清。

最难的是「准薄」：局部不算小，可也不够大，正好落在两套办法的缝里。这一类情形最杂、写得最长：1980 年代有人做过一部分，稿子长到没人能完整校核，后来被认为不完整，需要重做。

重做花了十几年。2004 年，阿施巴赫与史密斯交出一千余页，补全准薄群的情形。此时距「宣布完整」二十一年，距奇阶定理四十一年。分类定理至此才有完整证明——它仍分散在上万页文献里，无人从头到尾读过。

这件事说明「证明」这个词的两种用法。一种是一篇论文里的证明，作者署名，读者可查；一种是社群四十年积累的证明，没有单一作者，没有单一文本——更像一座城市，而不是一篇文章。分类定理属于后一种。

1983 前后：宣布清单完整（准薄群情形待补）
1994 起：定本分卷刊行（规模远超一万页，至今未完）
2004：准薄群情形补全（一千余页）
至今：完整证明散在文献中，无一人通读

下一页问最后一个问题。没有人通读过的证明，凭什么算证明。