在數學中，有限單群分類是群論中的一大成果，表明了所有有限單群要麼是迴圈群，要麼是交錯群，要麼屬於一個無限類，稱為 Lie 型群，要麼是 26 個或 27 個特別型別之一，稱作散在單群。其證明涵蓋共計上萬頁的由上百位作者撰寫的數百篇期刊文章，這些文章的發表時間跨越了從 1955 年到 2004 年近半個世紀之久。 單群可以被視作所有有限群的 基本建築單元，性質上近似素數之於整數的關係。JordanHölder 定理是一個說明有限群本質的更精確的途徑。然而，和整數分解工作的一個重要區別在於，這種 建築單元 並不一定確定某個唯一的群，因為可能具有許多非同構群具有相同的合成群列，換言之，擴張問題並不存在唯一解。 D E Gorenstein 卒於 1992 年、R N Lyons 和 R M Solomon 正在逐步發表簡化以及修訂版的證明。 分類定理的陳述 關於有限單群分類研究的最終成果如下： 這一分類定理在許多數學分支均有應用，如有限群的（及其於其他數學物件上的作用的）結構問題有時可轉化為有限單群的問題。透過分類定理，這樣的一些問題有時可以僅僅透過檢查所有單群族和所有散在單群來解決。 Daniel Gorenstein 於 1983 年宣稱有限單群業已完成分類，然而這為時過早，他被 Quasithin 群並無標準譯名，quasithin 一詞亦非人名，此處以擬薄群暫稱。的分類的證明所誤導了。在 Aschbacher 和 Smith 於 2004 年為遺漏的擬薄群情況發表了一篇長達 1221 頁的證明後，有限單群分類工作正式宣告完成。 散在單群 散在單群中，有五個被 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； ON 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、ON、Ru 和 Ly，被稱作 pariahs 同樣，Pariah 群亦無標準譯名。。 。 分類定理證明概覽 Gorenstein 寫過兩卷文章，概述了證明的低秩和奇特徵域的部分，Michael Aschbacher，Richard Lyons 以及 D Smith 等人則寫了第三卷以涵蓋特徵為 2 的情形。這份證明可分為如下幾個主要部分： 小的 2 秩群 低階的 2 秩單群，大多數是奇特徵域上的低秩這裡的秩和前面的秩含義不同，指的是這個 Lie 群對應的 Lie 代數的秩。 Lie 型群，此外有 5 個交錯群，7 個特徵 2 型群和 9 個散在群。 小 2 秩單群有： 2 秩為 0 的群，或者說奇數階群，按 FeitThompson 定理均可解。 2 秩為 1 的群。Sylow 2 子群要麼是迴圈群，要麼是廣義四元數群。對於迴圈的 Sylow 2 子群，很容易利用傳遞對映處理；而對廣義四元數群可以透過 Brauer 鈴木定理 處理：特別地，除 2 階迴圈群外不存在 2 秩為 1 的單群。 2 秩為 2 的群。Alperin 表明，Sylow 子群必須是二面體群、擬二面體群、，或者 U_3 4 的一個 Sylow 2 子群。第一種情況由 解決，其表明，僅單群同構於 A_7 或對於 q 奇數的 L_2 q，第二和第三種情況由 完成，該定理蘊含，僅單群同構於 M_11 或對於 q 奇數而言的 L_3 q 或 U_3 q，而最後一種情況由 Lyons 完成，他證明了唯一可能單的群是 U_3 4 。 2 秩至多為 4 的群，由 完成分類。 小 2 秩群，尤其是 2 秩至多 2 的群的分類工作，大量使用了普通特徵理論和模組特徵理論，而這一理論幾乎從未直接用於分類工作的他處。 所有不是小 2 秩群的群可歸為兩大類：元件型群或特徵 2 型群。這是因為，對於截面 2 秩至少為 5 的群，MacWilliams 證明了其 Sylow 2 子群連通，且平衡定理蘊含任意具連通 Sylow 2 子群的單群，或為元件型，或為特徵 2 型。對於低 2 秩的群，這一證明不再有效，像訊號化子函子定理這樣的理論僅適用於擁有 2 秩至少為 3 的基本 Abel 子群的群。 元件型群 一群為元件型群，當且僅當對某個對合的中心化子 C，CO C 有一個元件，其中 O C 為 C 的中心。這些群或多或少都是大秩奇特徵 Lie 型群、交錯群及一些散在群。這些情況下，一個重要的步驟是剔除對合中心的阻礙，這個步驟由 完成，其指出 CO C 的每個元件都是 C 的元件的像。 其想法是，這些群有一個對合的中心化子，其元件為一個較小的擬單群，不妨假設該群是透過歸納已知的。從而，為了對這些群進行分類，我們需要所有已知有限單群的所有中心擴張，並找到所有單群及其。這提出了相當大量不同的亟待檢查的情形：不只是有 26 個散在單群和 16 類 Lie 型群以及交錯群需要處理，許多低階或基於小域上的群，其行為與一般情形並不相通，須特別對待，同時須說明，偶特徵和奇特徵的 Lie 型群之間也有很大不同。 特徵 2 型群 一群為特徵 2 型群，若其每個 2 Y 的廣義 FY 均為 2 群。顧名思義，其大致為在特徵 2 域上的 Lie 型群，外加其讓一些交錯群、散在群或是奇特徵群。它們的分類被歸為大秩和小秩兩種情況，其中，秩指的是正規化非平凡 2 子群的奇 Abel 子群的最大秩，當群是特徵 2 Lie 型群時，通常（但不絕對）與 Cartan 子代數的秩等同。 秩 1 的群是薄群，由 Aschbacher 分類；秩 2 的群則是前文提到的擬薄群，由 Aschbacher 與 Smith 一同分類。這些大致對應著特徵 2 域上的秩 1 或 2 的 Lie 型群。 秩至少 3 的群由進一步地細分為三類，秩 3 的情形由 Aschbacher 完成證明，而秩至少為 4 的情形則由 Gorenstein 和 Lyons 完成。這三種類型分別是 mathrm GF2 型群，主要由 Timmesfeld 分類； 對於一些奇素數的 標準型 群，主要由 和其他一些工作完成分類； 唯一性型別群，根據 Aschbacher 的一個結果，其中沒有單群。 總 體而言，較高秩情形涵蓋絕大多數秩至少 3 或 4 的特徵 2 域上的 Lie 型群。 單群存在唯一性 分類定理的主要部分刻畫了每一個單群的特徵，那麼現在驗證對於每個特徵總唯一存在一個單群就尤為重要了。這丟擲了大量獨立的問題，比如說，魔群存在唯一性的原始證明有著約 200 頁，Thompson 和 Bombieri 對 的鑑定是分類定理最艱鉅的一部分。很多存在性證明和一些散在群的唯一性證明在原始論文裡就援引了計算機輔助證明，其中的大多數現在已被更簡潔的人工證明所替代。 證明歷程 Gorenstein 的程式化證明 在 1972 年，Gorenstein 宣佈了一個用於完成有限單群分類定理的程式，涵蓋以下 16 個步驟： 低 2 秩群。這本質上已經由 Gorenstein 和原田完成，他們分類了 2 秩至多 4 的部分。大多 2 秩至多 2 的情形在 Gorenstein 宣佈其程式時完成。 2 層半單群 The semisimplicity of 2layers。其問題是證明其單群上的一個對合中心化子的 2 層是半單的。 奇特徵標準型。如果一個群有一個對合，其 2 元件是奇特徵 Lie 型群，目標是證明其在 標準型 中有一個對合中心化子，也就是一個對合中心化子同時擁有一個奇特徵 Lie 型元件和一個 2 秩 1 的中心化子。 奇型群的分類。這個問題表明，如果一個群擁有一個在 標準型 上對合的中心化子，那麼它是一個奇特徵 Lie 型群。這由 Aschbacher 的解決。 擬標準型 Quasistandard form。 中心對合。 交錯群分類。 一些散在群。 薄群。僅指，那些對奇素數 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 G3 的三分定理解決。主要的的挑戰在於，2 層 3 秩被 2 層奇素秩所替代。 標準型上的 3 元中心化子。基本上由三分定理完成。 特徵 2 型單群的分類。由 GilmanGriess 定理解決，其中 3 元被奇素元所替代。 證明的時間線 下面表格中的大部分條目來源於 。所提供的年份通常是作為結果的完整證明的發表時間，有時會遲於結果的證明或首次宣佈時間，所以其中一些條目將會以 錯誤 的順序出現。 年份 成果 1832 Galois 引入了正規子群，找到了單群 An n 5 和 p 5 1854 Cayley 定義了抽象群。 1861 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 使用特徵理論證明了 ，即任意非交換有限單群的階必至少被三個不同素數整除。 1905 Dickson 發現了偶特徵域上的 G2 特徵單群。 1911 Burnside 提出猜想，認為任意非交換有限單群是偶階群。 1928 Hall 證明了可解群的 的存在性。 1933 Hall 開始了他關於 p 群的研究。 1935 Brauer 開始了模特徵的研究。 1936 Zassenhaus 分類了有限的銳利 3 傳遞置換群。 1938 Fitting 發現了 ，證明了 Fitting 定理，即對於可解群，其 Fitting 子群包含其中心化子。 1942 Brauer 描述了一個恰好被某個素數整除的群的模特徵。 1954 Brauer 將擁有 作為一個對合中心化子的單群進行分類。 1955 蘊含，擁有對合的給定中心化子的有限單群具有有限個，對使用對合的中心化子進行的分類工作造成打擊。 1955 Chevalley 發現了 ，特別介紹了例外的 F4，E7 和 E8 型單群。 1956 對一個 p 可解群的表示法描述了素數冪階元的最小多項式的可能性。 1957 鈴木通夫證實，所有奇階有限單都是迴圈群。 1958 表徵了秩 1 射影特殊線性群，並且分類了單的中心 Abel 化群。 1959 Steinberg 發現了 ，給出了一些新的有限單群， 3D4 和 2E6 型（後者由 Tits 獨立地幾乎同時發現）。 1959 關於廣義四元數群 Sylow 2 子群的特別之處，這些群均不單。 1960 Thompson 證明，一個具有素數階不動點自由自同構的群是冪零的。 1960 Feit，Marshall Hall 和 Thompson 證實，所有單的奇數階中心正規化群是迴圈群。 1960 鈴木通夫發現了，擁有 2B2 型。 1961 Ree 發現了 ，擁有 2F4 和 2G2 型。 1963 Feit 和 Thompson 證明了。 1964 Tits 發現了 Lie 型群的 BN 對，找到了 。 1965 對具有二面體 Sylow 2 子群的群進行分類。 1966 Glauberman 證明了 。 1966 Janko 發現了 ，大概一個世紀之後的第一個新的單群。 1968 Glauberman 證明了 。 1968 Higman 和 Sims 發現了 。 1968 Conway 發現了 。 1969 對擁有交換 Sylow 2 子群的群進行分類。 1969 ，，，以及 的發現。 1969 Gorenstein 基於 Thompson 的靈感發現訊號化子函子。 1970 MacWilliams 證實，擁有秩 3 非正規交換子群的群，截面 2 秩至多 4。擁有滿足後一種情況的 Sylow 子群的單群之後由 Gorenstein 和原田分類。 1970 Bender 發現。 1970 對擁有擬二面體或纏繞 Sylow 2 子群的群進行分類，完成了 2 秩至多 2 的單群的分類工作。 1971 Fischer 發現了所有三個 。 1971 Thompson 對進行分類。 1971 Bender 對擁有強嵌入子群的群進行分類。 1972 Gorenstein 給出一個 16 步的程式，用於分類有限單群；最終的分類定理相當封閉地遵從他給出的大綱。 1972 Lyons 發現了 。 1973 Rudvalis 發現了 。 1973 Fischer 發現了小魔群（未發表），這被 Fischer 和 Griess 用於發現魔群，而這又促使 Thompson 發現 、Norton 發現（後者被原田耕一郎以另一種方式發現）。 1974 Thompson 對 進行分類，所有這些群的區域性子群均可解。 1974 對截面 2 秩至多 4 的單群進行分類，將剩餘的有限單群分為元件型群和特徵 2 型群。 1974 Tits 證實， 擁有秩至少 3 的 BN 對的群是 Lie 型群。 1974 Aschbacher 對具有適當的二元生成核心的群進行分類。 1975 Gorenstein 和 Walter 證明 。 1976 Glauberman 證明可解訊號化子函子定理。 1976 Aschbacher 證明，大致證實，滿足一些控制條件的存在標準形式元件。這種擁有標準型式元件的群由許多作者以大量論文進行分類。 1976 ONan 發現了 。 1976 Janko 發現了 ，最後一個被發現的單群。 1977 Aschbacher 在他的中表徵了偶特徵 Lie 型群。在這個定理之後從某種意義上來說，它涉及到 大多數 單群，人們普遍認為分類定理的終點已然在望。 1978 Timmesfeld 證明了 O2 頗殊定理，將 的分類工作細化為幾個更小的問題。 1978 Aschbacher 對進行分類，這些群是偶特徵域上的 Lie 型特徵 1 群。 1981 Bombieri 使用消元理論完成了 Thompson 在 特徵的工作，這是分類工作最艱鉅的步驟之一。 1982 McBride 證明了所有有限群的訊號化子函子定理。 1982 Griess 以人力構造出了魔群。 1983 以標準組件三分定理三種情形之一。對特徵 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 發表了他們在上的工作絕大多數是偶特徵域上秩至多 2 的 Lie 型群。，填上當時已知的分類定理的最後一處空缺。 2008 原田耕一郎和 Solomon 透過描述一個具有標準組件的群填補了分類定理的一個小漏洞，這個標準組件是 M22 的一個覆蓋，由於其 Schur 乘數的一處計算紕漏，該案例被從分類定理的證明中意外略去。 2012 Gonthien 與其同事宣佈了使用 Coq 完成的 的一個計算機檢驗版本。 第二代分類證明 這個定理於 1985 年左右的證明版本被稱作第一代分類證明，由於它令人瞠目結舌的長度，人們將注意力放在了尋找一個更簡潔的證明上，稱作第二代分類證明。這部分被稱作 修正主義 的工作最開始由Daniel Gorenstein 所牽頭進行。 到 2023 年為止，已經有數十卷的第二代證明被髮表（Gorenstein，Lyons Solomon 1994 1996 1998 1999 2002 2005 2018a 2018b Capdeboscq 2021 2023）。在 2012 年， Solomon 估計這項工程還需要另外的五卷，但表示進展緩慢。估計上，新的證明將最終寫滿近 5000 張紙這一長度部分地歸因於第二代證明將會以一種更輕鬆的風格寫就。。然而，隨著關於 GLS 系列，同時包含 AschbacherSmith 元件的第 9 卷的發表，這一估計已經被打破了，而更多的幾卷仍在計劃中其餘部分原本計劃於第 9 卷以及預計的第 10、11 卷。。Aschbacher 和 Smith 稍早些寫就的兩卷，因為其對擬薄群的情形有足夠大的貢獻，因為被容納作為第二代證明的一部分。 Gorenstein 和他的同事已經給出幾點原因，用以說明一個更簡潔的證明存在可能。 其中最關鍵的一點，現在正確的最終表述是已知的。能夠適用於相關工作的更簡潔的手法已經被證實對於判定這些群是否有限單是足夠的了。相比之下，致力於第一代證明的學者們並不知道具體存在多少散在單群，而且實際上其中一些單群比如 Janko 群甚至是在其他情形的分類定理完成證明之後才被發現的。因而這份證明版本得到許多部分是透過更泛用的工具完成的。 由於最終結論並不確定，第一代證明涵蓋了許多獨立存在的完整定理用於處理一些重要的特殊情況。這些大量的證明定理的工作致力於分析數目繁多的特殊情況。如果給出一個更大、更精密的證明，這些氮雜的特殊情況就可以推遲到最有力的假設被證明之後再處理了。而這樣做的代價就是，像第一代證明那樣的一系列簡短證明不復存在，而是會被一個更加周密的分類所涵蓋。 第一代證明中的很多定理存在重疊部分，將一些可能的情況以一種效率低下的方式進行分類。因而有限單群的族和子族有時被重複驗證了很多次。修正後的證明將依賴於不同的情形細分以規避這些冗餘。 有限群理論研究者現在對於這種練習已經有了更豐富的經驗，並且在處理這些結構時掌握著更先進的工具。 Aschbacher 2004 將 Ulrich Meierfrankendeld，Bernd Stellmacher，Gernot Stroth 以及其它一些人在分類問題上的工作稱作第三代分類問題。其目標之一是使用合併法統一處理所有特徵 2 型群。 除去對特例的簡化，一些新的方法和工具也被應用到簡化上，數學家最近使用計算群論和範疇論的理論方法實現 Aschbacher 在 Fusion Theory 提出的簡化計劃，現在的具體方法是透過 MAGMA 演算法解決較小階的 p 群問題。 證明的長度 Gorenstein 給出過一些原因，解釋為什麼分類定理可能沒有一個像緊 Lie 群分類工作那樣的簡短的證明。 最顯而易見的原因是，單群的種類客觀上本就很複雜：有 26 個散在群，他們在任何證明中都只能被當作許多特殊情況處理。至今還沒有人能夠給出一個清晰的統一表述去像 Dynkin 根系處理緊 Lie 群分類定理一樣引數化地描述這些單群。 Atiyah 和其他人建議，分類定理應當透過構建一些這些群作用的幾何物件並對其進行分類來簡化。問題在於，還沒有人能夠給出一個簡單的方式以尋找這樣一個聯絡到單群的幾何物件。在某種意義上，分類定理的確依靠尋找幾何物件比如 而運作。 其他一些簡化的建議是讓群表示論發揮更大的作用。這裡的問題則是，表示論似乎要對群的子群進行非常細緻的控制才能很好地起作用。對於小秩的群來說，我們或許能進行這樣的控制使得表示論發揮作用，但對大秩的群來說，還沒有人能成功將其用於簡化分類定理。在分類工作的早期，人們花費了大量精力去嘗試應用表示論，但在較高秩的情況中沒有獲得多少成功。 參見 註釋 參考文獻 外部連結 The Periodic Table of Finite Simple Groups Y Y Y