有限單群分類

在數學中，有限單群分類是群論中的一大成果，表明了所有有限單群要麼是循環群，要麼是交錯群，要麼屬於一個無限類，稱為李型群，要麼是 26 個或 27 個特別類型之一，稱作散在單群。其證明涵蓋共計上萬頁的由上百位作者撰寫的數百篇期刊文章，這些文章的發表時間跨越了從 1955 年到 2004 年近半個世紀之久。

單群可以被視作所有有限群的 「基本建築單元」，性質上近似素數之於整數的關係。Jordan–Hölder 定理是一個說明有限群本質的更精確的途徑。然而，和整數分解工作的一個重要區別在於，這種 「建築單元」並不一定確定某個唯一的群，因為可能具有許多非同構群具有相同的合成群列，換言之，擴張問題並不存在唯一解。

D. E. Gorenstein (卒於1992年)、R. N. Lyons 和 R. M. Solomon 正在逐步發表簡化以及修訂版的證明。

## 分類定理的陳述

關於有限單群分類研究的最終成果如下：

```
所有[[有限群|有限]][[单群]]都必将会和下列列表之一的群同构：
```

- 素數階循環群。
- 5階及以上階的交錯群。
- 16種Lie 型群。
- 26種散在單群。
- Tits 群，有時也被認為是第27種散在群。

$^2\mathrm{F}_4\left(2^{2n+1}\right)$

$n\ge1$

$n=0$

$^2\mathrm{F}_4\left(2^{2n+1}\right)$

$^2\mathrm{F}_4\left(2^{2n+1}\right)'$

$^2\mathrm{F}_4\left(2^{2n+1}\right)'$

$n\neq0$

$\mathrm{T}:=^2\mathrm{F}_4\left(2\right)'$

<image>

這一分類定理在許多數學分支均有應用，如有限群的（及其於其他數學對象上的作用的）結構問題有時可轉化為有限單群的問題。通過分類定理，這樣的一些問題有時可以僅僅通過檢查所有單群族和所有散在單群來解決。

Daniel Gorenstein 於 1983 年宣稱有限單群業已完成分類，然而這為時過早，他被擬薄群的分類的證明所誤導了。在 Aschbacher 和 Smith 於 2004 年為遺漏的擬薄群情況發表了一篇長達 1221 頁的證明後，有限單群分類工作正式宣告完成。

## 有限單群的列表

下表中，由於交錯群 An 和一種李型單群 An(q)符號衝突了，交錯群 An 會用正體字，李型單群An(q) 用斜體.

下表中的字母用法： n 是正整數, q 是一個質數 p 的正整數次冪，並註明上述限制, 標記 (a,b) 代表 a， b的最大公因數。

類型｜族｜階數｜例外｜重複

循環群｜Zp｜p 是質數

交錯群｜Ann > 4｜$\frac{n!}{2}$｜、A5 ≃ A1(4) ≃ A1(5)、A6 ≃ A1(9)、A8 ≃ A3(2)

典型謝瓦萊群｜An(q)｜$\frac{q^{\frac{1}{2} n(n + 1)}}{(n + 1, q - 1)} \prod_{i=1}^n \left(q^{i+1} - 1\right)$｜A1(2), A1(3)｜、A1(4) ≃ A1(5) ≃ A5、A1(7) ≃ A2(2)、A1(9) ≃ A6、A3(2) ≃ A8

Bn(q)n > 1｜$\frac{q^{n^2}}{(2, q - 1)}\prod_{i=1}^n \left(q^{2i} - 1\right)$｜B2(2)｜、Bn(2m) ≃ Cn(2m)、B2(3) ≃ 2A3(22)

Cn(q)n > 2｜$\frac{q^{n^2}}{(2, q - 1)}\prod_{i=1}^n \left(q^{2i} - 1\right)$｜Cn(2m) ≃ Bn(2m)

Dn(q)n > 3｜$\frac{q^{n(n - 1)}(q^n - 1)}{(4, q^n - 1)}\prod_{i=1}^{n-1} \left(q^{2i} - 1\right)$

例外謝瓦萊群｜E6(q)｜$\frac{q^{36}}{(3, q - 1)}\prod_{i\in\{2, 5, 6, 8, 9, 12\} } \left(q^i - 1\right)$

E7(q)｜$\frac{q^{63}}{(2, q - 1)}\prod_{i\in\{2, 6, 8, 10, 12, 14, 18\} } \left(q^i - 1\right)$

E8(q)｜$q^{120} \prod_{i\in\{2, 8, 12, 14, 18, 20, 24, 30\} } \left(q^i - 1\right)$

F4(q)｜$q^{24} \prod_{i\in\{2, 6, 8, 12\} } \left(q^i - 1\right)$

G2(q)｜$q^6 \prod_{i\in\{2, 6\} } \left(q^i - 1\right)$｜G2(2)

典型斯坦伯格群｜2An(q2)n > 1｜$\frac{q^{\frac{1}{2} n(n + 1)}}{(n + 1, q + 1)}\prod_{i=1}^n \left(q^{i+1} - (-1)^{i+1}\right)$｜2A2(22)｜2A3(22) ≃ B2(3)

2Dn(q2)n > 3｜$\frac{q^{n(n - 1)}}{(4, q^n + 1)}\left(q^n + 1\right)\prod_{i=1}^{n-1} \left(q^{2i} - 1\right)$

例外斯坦伯格群｜2E6(q2)｜$\frac{q^{36}}{(3, q + 1)}\prod_{i\in\{2, 5, 6, 8, 9, 12\} } \left(q^i - (-1)^i\right)$

3D4(q3)｜$q^{12}\left(q^8 + q^4 + 1\right)\left(q^6 - 1\right)\left(q^2 - 1\right)$

鈴木群｜2B2(q)q = 22n+1｜$q^2\left(q^2 + 1\right)\left(q - 1\right)$

李林學群+ Tits 群｜2F4(q)q = 22n+1｜$q^{12}\left(q^6 + 1\right)\left(q^4 - 1\right)\left(q^3 + 1\right)\left(q - 1\right)$

2F4(2)′｜212(26 + 1)(24 − 1)(23 + 1)(2 − 1)/2 = 17971200

2G2(q)q = 32n+1｜$q^3\left(q^3 + 1\right)\left(q - 1\right)$

Mathieu 群｜M11｜7920

M12｜95040

M22｜443520

M23｜10200960

M24｜244823040

Janko 群｜J1｜175560

J2｜604800

J3｜50232960

J4｜86775571046077562880

Conway 群｜Co3｜495766656000

Co2｜42305421312000

Co1｜4157776806543360000

費歇爾群｜Fi22｜64561751654400

Fi23｜4089470473293004800

Fi24′｜1255205709190661721292800

希格曼-西姆斯群｜HS｜44352000

麥克勞林群｜McL｜898128000

赫爾德群｜He｜4030387200

路多里斯群｜Ru｜145926144000

鈴木散在群｜Suz｜448345497600

歐南群｜O'N｜460815505920

原田-Norton 群｜HN｜273030912000000

Lyons 群｜Ly｜51765179004000000

湯普森群 (散在單群)｜Th｜90745943887872000

小魔群｜B｜4154781481226426191177580544000000

魔群｜M｜808017424794512875886459904961710757005754368000000000

## 散在單群

<image>

散在單群中，有五個被 Emile Mathieu 於 19 世紀 60 年代所發現，其餘 21 個則於 1965 年 到 1975 年間陸續被找到。這其中有一部分群在它們構造出來之前就被預言存在了。這些群大部分由首個預測其存在的數學家的名字命名。完整的列表如下，其中用「或」連接的兩個名稱指稱相同對象：

- Mathieu 群 $M_{11}$、$M_{12}$、$M_{22}$、$M_{23}$、$M_{24}$。
- Janko 群 $J_1$、$J_2$ 或 $HJ$、$J_3$ 或 $HJM$、$J_4$。
- Conway 群 $Co_\mathit{1}$、$Co_\mathit{2}$、$Co_\mathit{3}$。
- 費歇爾群 $Fi_{22}$、$Fi_{23}$、$Fi_{24}'$或$F_{3+}$。
- 希格曼-西姆斯群 $HS$。
- 麥克勞林群 $McL$。
- 赫爾德群 $He$ 或 $F_{7+}$ 或 $F_7$。
- 路多里斯群 $Ru$。
- 鈴木散在群 $Suz$ 或 $F_{3-}$。
- 歐南群 $O'N$
- 原田-Norton 群 $HN$ 或 $F_{5+}$ 或 $F_5$。
- Lyons 群 $Ly$。
- 湯普森群 (散在單群) $Th$ 或 $F_{2+}$ 或 $F_2$。
- 小魔群 $B$ 或 $F_{2+}$ 或 $F_2$。
- 魔群 $M$ 或 $F_1$。

除魔群外，所有散在單群於有限體上的矩陣表示業已算得。

所有 26 個散在單群中，有 20 個可看作魔群的（非正規）子群或子群的商，被 Robert Griess 稱作幸福家庭 (Happy Family)。在此之外的 6 個為 $J_1$、$J_3$、$J_4$、$O'N$、$Ru$ 和 $Ly$，被稱作賤民群 (pariahs)。

截至目前，在散在單群的一個可行的統一表述方面，進展較為初步。

## 分類定理證明概覽

Gorenstein 寫過兩卷文章，概述了證明的低秩和奇特徵域的部分，Michael Aschbacher，Richard Lyons 以及 D. Smith等人則寫了第三卷以涵蓋特徵為 2 的情形。這份證明可分為如下幾個主要部分：

### 小的 2-秩群

低階的 2-秩單群，大多數是奇特徵域上的低秩 Lie 型群，此外有 5 個交錯群，7個特徵 2 型群和 9 個散在群。

小 2-秩單群有：

- 2-秩為 0 的群，或者說奇數階群，按 Feit-Thompson 定理均可解。
- 2-秩為 1 的群。Sylow 2-子群要麼是循環群，要麼是廣義四元數群。對於循環的 Sylow 2-子群，很容易利用傳遞映射處理；而對廣義四元數群可以通過 Brauer-鈴木定理 處理：特別地，除 2 階循環群外不存在 2-秩為 1 的單群。
- 2-秩為 2 的群。Alperin 表明，Sylow 子群必須是二面體群、擬二面體群、纏繞群，或者 $U_3(4)$ 的一個 Sylow 2-子群。第一種情況由 Gorenstein-Walter 定理 解決，其表明，僅單群同構於 $A_7$ 或對於 $q$ 奇數的 $L_2(q)$，第二和第三種情況由 Alperin-Brauer-Gorenstein 定理完成，該定理蘊含，僅單群同構於 $M_{11}$ 或對於 $q$ 奇數而言的 $L_3(q)$ 或 $U_3(q)$，而最後一種情況由 Lyons 完成，他證明了唯一可能單的群是 $U_3(4)$。
- 2-秩至多為 4 的群，由 Gorenstein-原田定理完成分類。

小 2-秩群，尤其是 2-秩至多 2 的群的分類工作，大量使用了普通特徵理論和模塊特徵理論，而這一理論幾乎從未直接用於分類工作的他處。

所有不是小 2-秩群的群可歸為兩大類：組件型群或特徵 2 型群。這是因為，對於截面 2-秩至少為 5 的群，MacWilliams 證明了其 Sylow 2-子群連通，且平衡定理蘊含任意具連通 Sylow 2-子群的單群，或為組件型，或為特徵 2 型。

### 組件型群

一群為組件型群，若且唯若對某個對合的中心化子 $C$，$C/O(C)$ 有一個組件，其中 $O(C)$ 為 $C$ 的中心。這些群或多或少都是大秩奇特徵 Lie 型群、交錯群及一些散在群。這些情況下，一個重要的步驟是剔除對合中心的阻礙，這個步驟由 B-定理完成，其指出 $C/O(C)$ 的每個組件都是 $C$ 的組件的像。

其想法是，這些群有一個對合的中心化子，其組件為一個較小的擬單群，不妨假設該群是通過歸納已知的。從而，為了對這些群進行分類，我們需要所有已知有限單群的所有中心擴張，並找到所有單群及其。這提出了相當大量不同的亟待檢查的情形：不只是有 26 個散在單群和 16 類 Lie 型群以及交錯群需要處理，許多低階或基於小域上的群，其行為與一般情形並不相通，須特別對待，同時須說明，偶特徵和奇特徵的 Lie 型群之間也有很大不同。

### 特徵 2 型群

一群為特徵 2 型群，若其每個 2-局部子群 $Y$ 的廣義擬合群 $F^*(Y)$ 均為 2-群。顧名思義，其大致為在特徵 2 域上的 Lie 型群，外加其讓一些交錯群、散在群或是奇特徵群。它們的分類被歸為大秩和小秩兩種情況，其中，秩指的是正規化非平凡 2-子群的奇 Abel 子群的最大秩，當群是特徵 2 Lie 型群時，通常（但不絕對）與 Cartan 子代數的秩等同。

秩 1 的群是薄群，由 Aschbacher 分類；秩 2 的群則是前文提到的擬薄群，由 Aschbacher 與 Smith 一同分類。這些大致對應著特徵 2 域上的秩 1 或 2 的 Lie 型群。

秩至少 3 的群由三分定理進一步地細分為三類，秩 3 的情形由 Aschbacher 完成證明，而秩至少為 4 的情形則由 Gorenstein 和 Lyons 完成。這三種類型分別是

- $\mathrm{GF}(2)$ 型群，主要由 Timmesfeld 分類。
- 對於一些奇素數的 「標準型」群，主要由 基爾曼-格里斯定理和其他一些工作完成分類。
- 唯一性類型群，根據 Aschbacher 的一個結果，其中沒有單群。

總體而言，較高秩情形涵蓋絕大多數秩至少 3 或 4 的特徵 2 域上的 Lie 型群。

### 單群存在唯一性

分類定理的主要部分刻畫了每一個單群的特徵，那麼現在驗證對於每個特徵總唯一存在一個單群就尤為重要了。這拋出了大量獨立的問題，比如說，魔群存在唯一性的原始證明有著約 200 頁，Thompson 和 Bombieri 對 Ree 群的鑑定是分類定理最艱巨的一部分。很多存在性證明和一些散在群的唯一性證明在原始論文裡就援引了電腦輔助證明，其中的大多數現在已被更簡潔的人工證明所替代。

## 證明歷程

### Gorenstein 的程序化證明

在 1972 年，Gorenstein 宣布了一個用於完成有限單群分類定理的程序，涵蓋以下 16 個步驟：

- 低 2-秩群。這本質上已經由 Gorenstein 和原田完成，他們分類了 2-秩至多 4 的部分。大多 2-秩至多 2 的情形在 Gorenstein 宣布其程序時完成。
- 2-層半單群。其問題是證明其單群上的一個對合中心化子的 2-層是半單的。
- 奇特徵標準型。如果一個群有一個對合，其 2-組件是奇特徵 Lie 型群，目標是證明其在 「標準型」中有一個對合中心化子，也就是一個對合中心化子同時擁有一個奇特徵 Lie 型組件和一個 2-秩 1 的中心化子。
- 奇型群的分類。這個問題表明，如果一個群擁有一個在 「標準型」上對合的中心化子，那麼它是一個奇特徵 Lie 型群。這由 Aschbacher 的經典對合定理解決。
- 擬標準型。
- 中心對合。
- 交錯群分類。
- 一些散在群。
- 薄群。僅指薄有限群，那些對奇素數 $p$ 有 2-局部 $p$-秩至多 1 的部分，由 Aschbacher 於1978年分類。
- 對於奇素數 $p$ 有強 $p$-嵌入子群的群。
- 對於奇素數的信號化子函子法。主要的問題在於為不可解信號化子函子證明信號化子函子定理。由 McBride 於1982 年解決。
- 特徵 $p$ 型群。這是那些擁有奇數 $p$ 階強 $p$-嵌入 2-層子群的群的問題，由 Aschbacher 解決。
- 擬薄群。擬薄群是一個這樣的群，其 2-局部子群對所有奇素數 $p$ 有 $p$-秩至多 2.。其問題在於分類出那些特徵 2 型的單群。由 Aschbacher 和 Smith 於 2004 年完成。
- 2-層低 3-秩群。這本質上由 Aschbacher 對於 $e(G)=3$ 的三分定理解決。主要的的挑戰在於，2-層 3-秩被 2-層奇素秩所替代。
- 標準型上的 3-元中心化子。基本上由三分定理完成。
- 特徵 2 型單群的分類。由 Gilman-Griess 定理解決，其中 3-元被奇素元所替代。

### 證明的時間線

下面表格中的大部分條目來源於。所提供的年份通常是作為結果的完整證明的發表時間，有時會遲於結果的證明或首次宣布時間，所以其中一些條目將會以 「錯誤」的順序出現。

年份｜成果

1832｜Galois 引入了正規子群，找到了單群 An (n ≥ 5) 和 PSL2(Fp) (p ≥ 5).

1854｜Cayley 定義了抽象群。

1861｜Mathieu 描述了前兩個 Mathieu 群 M11, M12（這是最開始被發現的單群），並宣告了 M24 的存在。

1870｜Jordan 列出了一些單群：交錯群、射影特殊線性群（Projective Special Linear group)，指出了單群的重要性。

1872｜Sylow 證明了 Sylow定理。

1873｜Mathieu 介紹了另外三個 Mathieu 群 M22，M23 以及 M24.

1892｜Hölder 證明，任意非交換有限單群的階必須是一個至少為 4 個素數的積（可重複），並且提出了有限單群分類問題。

1893｜Cole 對序數至多為 660 的單群進行了分類。

1896｜Frobenius 和 Burnside 開啟有限單群特徵理論的研究。

1899｜Burnside 對單群進行分類，使得每個對合的中心化子均為非平凡的初等交換 2-群。

1901｜Frobenius 證明，弗羅貝尼烏斯群擁有 Frobenius 核，從而特別而言是非單的。

1901｜Dickson 定義了任意有限域上的經典群，以及奇特徵域上的例外 G2 型群。

1901｜Dickson 發現了例外的 E6 型有限單群。

1904｜Burnside 使用特徵理論證明了 Burnside 定理，即任意非交換有限單群的階必至少被三個不同素數整除。

1905｜Dickson 發現了偶特徵域上的 G2 特徵單群。

1911｜Burnside 提出猜想，認為任意非交換有限單群是偶階群。

1928｜Hall 證明了可解群的 Hall 子群的存在性。

1933｜Hall 開始了他關於 p-群的研究。

1935｜Brauer 開始了模特徵的研究。

1936｜Zassenhaus 分類了有限的銳利 3-傳遞置換群。

1938｜Fitting 發現了 Fitting 子群，證明了 Fitting 定理，即對於可解群，其 Fitting 子群包含其中心化子。

1942｜Brauer 描述了一個恰好被某個素數整除的群的模特徵。

1954｜Brauer 將擁有 GL2(Fq) 作為一個對合中心化子的單群進行分類。

1955｜Brauer-Fowler 定理蘊含，擁有對合的給定中心化子的有限單群具有有限個，對使用對合的中心化子進行的分類工作造成打擊。

1955｜Chevalley 發現了 Chevalley 群，特別介紹了例外的 F4，E7 和E8 型單群。

1956｜Hall-Higman 定理對一個 p-可解群的表示法描述了素數冪階元的最小多項式的可能性。

1957｜鈴木通夫證實，所有奇階有限單中心 Abel 化群都是循環群。

1958｜Brauer-鈴木-Wall 定理表徵了秩 1 射影特殊線性群，並且分類了單的中心 Abel 化群。

1959｜Steinberg 發現了 Steinberg 群，給出了一些新的有限單群， 3D4 和 2E6 型（後者由 Tits 獨立地幾乎同時發現）。

1959｜關於廣義四元數群 Sylow 2-子群的Brauer-鈴木 定理特別之處，這些群均不單。

1960｜Thompson 證明，一個具有素數階不動點自由自同構的群是冪零的。

1960｜Feit，Marshall Hall 和 Thompson 證實，所有單的奇數階中心正規化群是循環群。

1960｜鈴木通夫發現了鈴木群，擁有 2B2 型。

1961｜Ree 發現了 Ree 群，擁有2F4 和 2G2 型。

1963｜Feit 和 Thompson 證明了奇數階定理。

1964｜Tits 發現了 Lie 型群的 BN 對，找到了 Tits 群。

1965｜Gorenstein-Walter 定理對具有二面體 Sylow 2-子群的群進行分類。

1966｜Glauberman 證明了 Z、定理。

1966｜Janko 發現了 Janko 群 J1，大概一個世紀之後的第一個新的單群。

1968｜Glauberman 證明了 ZJ 定理。

1968｜Higman 和 Sims 發現了 Higman-Sims 群。

1968｜Conway 發現了 Conway 群。

1969｜Walter 定理對擁有交換 Sylow 2-子群的群進行分類。

1969｜鈴木散在群，Janko 群 J2，Janko 群 J3，McLaughlin 群以及 Held 群的發現。

1969｜Gorenstein 基於 Thompson 的靈感發現信號化子函子。

1970｜MacWilliams 證實，擁有秩 3 非正規交換子群的群，截面 2-秩至多 4。

1970｜Bender 發現廣義 Fitting 子群。

1970｜Alperin-Brauer-Gorenstein 定理對擁有擬二面體或纏繞 Sylow 2-子群的群進行分類，完成了 2-秩至多 2 的單群的分類工作。

1971｜Fischer 發現了所有三個 Fischer 群。

1971｜Thompson 對二次對進行分類。

1971｜Bender 對擁有強嵌入子群的群進行分類。

1972｜Gorenstein 給出一個 16 步的程序，用於分類有限單群；最終的分類定理相當封閉地遵從他給出的大綱。

1972｜Lyons 發現了 Lyons 群。

1973｜Rudvalis 發現了 Rudvalis 群。

1973｜Fischer 發現了小魔群（未發表），這被 Fischer 和 Griess 用於發現魔群，而這又促使 Thompson 發現 Thompson 單群、Norton 發現原田-Norton 群（後者被原田耕一郎以另一種方式發現）。

1974｜Thompson 對 N-群進行分類，所有這些群的局部子群均可解。

1974｜Gorenstein-原田定理對截面 2-秩至多 4 的單群進行分類，將剩餘的有限單群分為組件型群和特徵 2 型群。

1974｜Tits 證實，擁有秩至少 3 的 BN 對的群是 Lie 型群。

1974｜Aschbacher 對具有適當的二元生成核心的群進行分類。

1975｜Gorenstein 和 Walter 證明 L-平衡定理。

1976｜Glauberman 證明可解信號化子函子定理。

1976｜Aschbacher 證明組件定理，大致證實，滿足一些控制條件的奇型群存在標準形式組件。這種擁有標準型式組件的群由許多作者以大量論文進行分類。

1976｜O'Nan 發現了 O'Nan 群。

1976｜Janko 發現了 Janko 群 J4，最後一個被發現的單群。

1977｜Aschbacher 在他的經典對合定理中表徵了偶特徵 Lie 型群。在這個定理之後，人們普遍認為分類定理的終點已然在望。

1978｜Timmesfeld 證明了 O2 頗殊定理，將 GF(2) 型群的分類工作細化為幾個更小的問題。

1978｜Aschbacher 對薄群進行分類，這些群是偶特徵域上的 Lie 型特徵 1 群。

1981｜Bombieri 使用消元理論完成了 Thompson 在 Ree 群特徵的工作，這是分類工作最艱巨的步驟之一。

1982｜McBride 證明了所有有限群的信號化子函子定理。

1982｜Griess 以人力構造出了魔群。

1983｜Gilman-Griess 定理以標準組件對特徵 2 型群和秩至少 4 的群進行分類。

1983｜Aschbacher 證明，沒有有限群能夠滿足三分定理獨立性情況的假設條件。

1983｜Gorenstein 和 Lyons 證明了對特徵 2 型群和秩至少 4 的群的三分定理，同時 Aschbacher完成了秩 3 的情況。該定理將這些群分為三個情形：獨立性情況、GF(2) 型群、擁有標準組件的群。

1983｜Gorenstein 宣布分類定理已經完成，但實際因為擬薄群情況的證明尚未完成而為期尚早。

1985｜Conway，Curtis，Norton，Parker，Wilson 和 Thackeray 發表了有限單群地圖，介紹了約 93 個有限單群的基本資訊。

1994｜Gorenstein，Lyons 和 Solomon 開始著手於修正後的分類定理的證明。

2004｜Aschbacher 和 Smith 發表了他們在擬薄群上的工作，填上當時已知的分類定理的最後一處空缺。

2008｜原田耕一郎和 Solomon 通過描述一個具有標準組件的群填補了分類定理的一個小漏洞，這個標準組件是 Mathieu 群 M22 的一個覆蓋，由於其 Schur 乘數的一處計算紕漏，該案例被從分類定理的證明中意外略去。

2012｜Gonthien 與其同事宣布了使用 Coq 證明助手完成的 Feit-Thompson 定理的一個電腦檢驗版本。

## 第二代分類證明

這個定理於 1985 年左右的證明版本被稱作第一代分類證明，由於它令人瞠目結舌的長度，人們將注意力放在了尋找一個更簡潔的證明上，稱作第二代分類證明。這部分被稱作 「修正主義」的工作最開始由·Daniel Gorenstein 所牽頭進行。

到 2023 年為止，已經有數十卷的第二代證明被發表（Gorenstein，Lyons & Solomon 1994, 1996, 1998, 1999, 2002, 2005, 2018a, 2018b; & Capdeboscq, 2021, 2023）。在 2012 年， Solomon 估計這項工程還需要另外的五卷，但表示進展緩慢。估計上，新的證明將最終寫滿近 5000 張紙。然而，隨著關於 GLS 系列，同時包含 Aschbacher-Smith 組件的第 9 卷的發表，這一估計已經被打破了，而更多的幾卷仍在計劃中。Aschbacher 和 Smith 稍早些寫就的兩卷，因為其對擬薄群的情形有足夠大的貢獻，因為被容納作為第二代證明的一部分。

Gorenstein 和他的同事已經給出幾點原因，用以說明一個更簡潔的證明存在可能。

- 其中最關鍵的一點，現在正確的最終表述是已知的。能夠適用於相關工作的更簡潔的手法已經被證實對於判定這些群是否有限單是足夠的了。相比之下，致力於第一代證明的學者們並不知道具體存在多少散在單群，而且實際上其中一些單群比如 Janko 群甚至是在其他情形的分類定理完成證明之後才被發現的。因而這份證明版本得到許多部分是通過更泛用的工具完成的。
- 由於最終結論並不確定，第一代證明涵蓋了許多獨立存在的完整定理用於處理一些重要的特殊情況。這些大量的證明定理的工作致力於分析數目繁多的特殊情況。如果給出一個更大、更精密的證明，這些氮雜的特殊情況就可以推遲到最有力的假設被證明之後再處理了。而這樣做的代價就是，像第一代證明那樣的一系列簡短證明不復存在，而是會被一個更加周密的分類所涵蓋。
- 第一代證明中的很多定理存在重疊部分，將一些可能的情況以一種效率低下的方式進行分類。因而有限單群的族和子族有時被重複驗證了很多次。修正後的證明將依賴於不同的情形細分以規避這些冗餘。
- 有限群理論研究者現在對於這種練習已經有了更豐富的經驗，並且在處理這些結構時掌握著更先進的工具。

Aschbacher (2004) 將 Ulrich Meierfrankendeld，Bernd Stellmacher，Gernot Stroth以及其它一些人在分類問題上的工作稱作第三代分類問題。其目標之一是使用合併法統一處理所有特徵 2 型群。

除去對特例的簡化，一些新的方法和工具也被應用到簡化上，數學家最近使用計算群論和範疇論的理論方法實現 Aschbacher 在 Fusion Theory提出的簡化計劃，現在的具體方法是通過MAGMA 演算法解決較小階的p群問題。

### 證明的長度

Gorenstein 給出過一些原因，解釋為什麼分類定理可能沒有一個像緊 Lie 群分類工作那樣的簡短的證明。

- 最顯而易見的原因是，單群的種類客觀上本就很複雜：有 26 個散在群，他們在任何證明中都只能被當作許多特殊情況處理。至今還沒有人能夠給出一個清晰的統一表述去像 Dynkin 根系處理緊 Lie 群分類定理一樣參數化地描述這些單群。
- Atiyah 和其他人建議，分類定理應當通過構建一些這些群作用的幾何對象並對其進行分類來簡化。問題在於，還沒有人能夠給出一個簡單的方式以尋找這樣一個聯繫到單群的幾何對象。在某種意義上，分類定理的確依靠尋找幾何對象比如 BN-對而運作。
- 其他一些簡化的建議是讓群表示論發揮更大的作用。這裡的問題則是，表示論似乎要對群的子群進行非常細緻的控制才能很好地起作用。對於小秩的群來說，我們或許能進行這樣的控制使得表示論發揮作用，但對大秩的群來說，還沒有人能成功將其用於簡化分類定理。在分類工作的早期，人們花費了大量精力去嘗試應用表示論，但在較高秩的情況中沒有獲得多少成功。

## 外部連結

- The Periodic Table of Finite Simple Groups