1983 - 有限單群分類宣告完成（2004 補完）#

案件摘要#

1983 年，Daniel Gorenstein 宣告「有限單群分類」——史上最龐大的數學證明工程——完成。後續發現遺漏了擬薄群（quasithin groups）的證明，直到 2004 年由 Aschbacher 與 Smith 補完。全部證明逾萬頁，橫跨百年、動員百餘位數學家。

前因 -- 為什麼會有這個案子#

定義（單群 simple group）：群 \(G\) 若除平凡子群 \(\{e\}\) 與 \(G\) 本身外沒有其他正規子群，則稱為單群。形式化：

單群是群的「質數」：正如每個整數都能唯一分解為質數的乘積，每個有限群都能透過合成列「拆解」為單群的堆疊。Jordan–Hölder 定理保證這些「質因數」在合成列中不變。

案子本身：既然單群是積木，那麼所有的積木到底有哪幾種？這就是「有限單群分類定理」（CFSG）。Galois 早在 1830 年代就發現 \(A_5\) （60 階）是單群，而完整的清單遲至二十世紀末才塵埃落定。

線索與推理 -- 數學式、程式、理論#

線索一：已知家族的逐步浮現#

數學家像偵探拼湊拼圖，逐一發現單群的無窮族：

例如 \(PSL(2,q)\) 的階為 \(\dfrac{q(q^2-1)}{\gcd(2, q-1)}\) 。

線索二：分類定理的結案陳詞#

有限單群分類定理（CFSG）：每個有限單群恰好屬於以下兩類之一：

1. 18 個無窮族：循環質數群、 \(A_n\) （ \(n \geq 5\) ）、以及 16 個李型群族；
2. 26 個散在群（sporadic groups）：不屬於任何無窮族的「異常分子」，最大的就是 Monster。

線索三：Monster group 與 Moonshine 猜想#

**Monster 群 \(M\) **（Fischer–Griess，1982 構造）的階：

1978 年 McKay 觀察到驚人的巧合：Monster 的不可約表現維數 1, 196883, 21296876, ... 與模函數 \(j(\tau)\) 的 Fourier 展開係數

中出現 \(196883 + 1 = 196884\) 、 \(21296876 + 196883 + 1 = 21493760\) 。Conway 與 Norton 據此提出 Moonshine 猜想：Monster 的表現與模形式之間存在深層聯繫。1992 年 Richard Borcherds 證明此猜想（建立頂點算子代數 \(V^{\natural}\) ），獲 1998 年菲爾茲獎。

Python 演示：用 sympy 檢視小階單群#

from sympy.combinatorics import AlternatingGroup, CyclicGroup, PSL, PermutationGroup
from sympy.combinatorics.homomorphisms import is_isomorphic

# A5：最小的非交换单群，60 階
A5 = AlternatingGroup(5)
print("A5 階數:", A5.order())          # 60
print("A5 是否單群（無非平凡正規子群）: 是")

# 對照：同階的非單群
G = PermutationGroup(Permutation(0, 1, 2, 3, 4))  # C5，也是 60? 不，C5 是 5 階
print("C5 階數:", CyclicGroup(5).order())

# PSL(2,4) ≅ A5（同構！分類定理中「重複登記」的例子）
PSL24 = PSL(2, 4)
print("PSL(2,4) 階數:", PSL24.order())  # q(q^2-1)/gcd(2,q-1) = 4*15/2 = 30? 實為 60
print("PSL(2,4) ≅ A5 :", is_isomorphic(PSL24, A5))

（註： \(PSL(2,4) \cong PSL(2,5) \cong A_5\) ，這些「同構現象」正是分類證明中最棘手、需要逐一排除的例外情況。）

線索四：萬頁證明的世紀工程#

• 證明分散於約 500 篇期刊論文、逾 10000 頁，由百餘位數學家在 1955–2004 年間接力完成。
• 1983 年 Gorenstein 宣告完成，但 1990 年代發現「擬薄群」情況的證明有漏洞。
• 2004 年 Aschbacher 與 Smith 以 1200 頁專著補完最後缺口，分類正式收官。
• Gorenstein、Lyons、Solomon 隨後展開《The Classification of the Finite Simple Groups》修訂重寫計畫，目標是統一、自足的完整證明（至今仍在進行）。

結案 -- 後果與影響#

• CFSG 是數學史上最長的證明，也催生了「大型協作數學」的新範式。
• 每個有限群都能被理解為「單群質因數 + 擴張」——有限群論的地圖至此畫完。
• Monster 與 moonshine 開啟了頂點代數、模形式與表示論的交叉領域，影響及於弦理論與共形場論。
• 新問題浮現：有無「更短」的證明？（如 2000 年代以来的「第二代證明」計畫）。Elkies 曾指出 CFSG 可推導出某些丟番圖方程（如 \(x^3 + y^3 + z^3 = 3\) 的相關問題）的整數解不存在性——分類定理成為計算工具。

關鍵人物與文獻#

文獻： - Gorenstein, D. (1982). Finite Simple Groups: An Introduction to Their Classification. - Aschbacher, M., Smith, S. (2004). The Classification of Quasithin Groups. AMS. - Conway, J., Norton, S. (1979). "Monstrous Moonshine". Bull. LMS.