查看“︁有限單群分類”︁的源代码

{{NoteTA|G1=Math}}
{{Groups}}
在[[数学]]中，'''有限单群分类'''是[[群论]]中的一大成果，表明了所有[[单群|有限单群]]要么是[[循环群]]，要么是[[交错群]]，要么属于一个无限类，称为[[李型群]]，要么是 26 个或 27 个特别类型之一，称作[[散在群|散在单群]]。其证明涵盖共计上万页的由上百位作者撰写的数百篇期刊文章，这些文章的发表时间跨越了从 1955 年到 2004 年近半个世纪之久。

单群可以被视作所有[[有限群]]的 “基本建筑单元”，性质上近似[[素数]]之于[[整数]]的关系。[[合成列|Jordan–Hölder 定理]]是一个说明有限群本质的更精确的途径。然而，和[[整数分解]]工作的一个重要区别在于，这种 “建筑单元” 并不一定确定某个唯一的群，因为可能具有许多非[[群同構|同构群]]具有相同的[[合成列|合成群列]]，换言之，[[群擴張|扩张问题]]并不存在唯一解。

[[D. E. Gorenstein]] (卒于1992年)、[[R. N. Lyons]] 和 [[R. M. Solomon]] 正在逐步发表简化以及修订版的证明。

==分类定理的陈述==
关于有限单群分类研究的最终成果如下：

 {{math_theorem|所有[[有限群|有限]][[单群]]都必将会和下列列表之一的群同构：
* 下面三大类（每类均含无限个同构意义下的群）有限单群：
# 素数阶[[循环群]]，
# 5阶及以上阶的[[交错群]]，
# [[李型群|Lie 型群]]；
*  26种[[散在群|散在单群]]；
* {{Tsl|en|Tits group|Tits 群}}，有时也被认为是第27种散在群。<ref group="注释">[[Ree 群|<math>^2\mathrm{F}_4\left(2^{2n+1}\right)</math> 型 Ree 群]]的无穷族仅包含有限个 Lie 型群。当 <math>n\ge1</math> 时，它们是单的；当 <math>n=0</math> 时，群 [[Ree 群|<math>^2\mathrm{F}_4\left(2^{2n+1}\right)</math>]] 不单，但是其拥有一个单的[[换位子群]] [[Ree 群|<math>^2\mathrm{F}_4\left(2^{2n+1}\right)'</math>]]。因此，如果 [[Ree 群|<math>^2\mathrm{F}_4\left(2^{2n+1}\right)'</math>]] 型换位子群的无穷族被认作一个系统的无穷族（全部 <math>n\neq0</math> 的 Lie 型群），那么 Tits 群 <math>\mathrm{T}:=^2\mathrm{F}_4\left(2\right)'</math>（作为无穷族的一员）非散在。</ref>
}}

这一分类定理在许多数学分支均有应用，如[[有限群]]的（及其于其他数学对象上的作用的）结构问题有时可转化为有限单群的问题。通过分类定理，这样的一些问题有时可以仅仅通过检查所有单群族和所有散在单群来解决。

Daniel Gorenstein 于 1983 年宣称有限单群业已完成分类，然而这为时过早，他被{{Link-en|拟薄群|Quasithin group}}<ref group="注释">Quasithin 群并无标准译名，quasithin 一词亦非人名，此处以拟薄群暂称。</ref>的分类的证明所误导了。在 Aschbacher 和 Smith 于 2004 年为遗漏的拟薄群情况发表了一篇长达 1221 页的证明后，有限单群分类工作正式宣告完成<ref>{{Cite journal |last=Aschbacher |last2=Michael |date=2004 |title=The Status of the Classification of the Finite Simple Groups |url=https://www.ams.org/notices/200407/fea-aschbacher.pdf |journal=Notices of the American Mathematical Society |volume=51 |issue=7 |page=736-740 |access-date=2024-06-18 |archive-date=2023-04-04 |archive-url=https://web.archive.org/web/20230404065746/http://www.ams.org/notices/200407/fea-aschbacher.pdf |dead-url=no }}</ref>。

==散在单群==

[[散在群|散在单群]]中，有五个被 [[Emile Mathieu]] 于 19 世纪 60 年代所发现，其余 21 个则于 1965 年 到 1975 年间陆续被找到。这其中有一部分群在它们构造出来之前就被预言存在了。这些群大部分由首个预测其存在的数学家的名字命名。完整的列表如下，其中用“或”连接的两个名称指称相同对象：

* [[马蒂厄群|Mathieu 群]] <math>M_{11}</math>、<math>M_{12}</math>、<math>M_{22}</math>、<math>M_{23}</math>、<math>M_{24}</math>；
* [[揚科群|Janko 群]] <math>J_1</math>、<math>J_2</math> 或 <math>HJ</math>、<math>J_3</math> 或 <math>HJM</math>、<math>J_4</math>；
* [[康威群|Conway 群]] <math>Co_\mathit{1}</math>、<math>Co_\mathit{2}</math>、<math>Co_\mathit{3}</math>；
* {{link-en|费歇尔群|Fischer group|Fischer 群}} <math>Fi_{22}</math>、<math>Fi_{23}</math>、<math>Fi_{24}'</math>或<math>F_{3+}</math>；
* {{link-en|希格曼-西姆斯群|Higman-Sims group|Higman-Sims 群}} <math>HS</math>；
* {{link-en|麦克劳林群|McLaughlin group|McLaughlin 群}} <math>McL</math>；
* {{link-en|赫尔德群|Held group|Held 群}} <math>He</math> 或 <math>F_{7+}</math> 或 <math>F_7</math>；
* {{link-en|路多里斯群|Rudvalis group|Rudvalis 群}} <math>Ru</math>；
* {{link-en|铃木散在群|Suzuki sporadic group|<span lang="ja">鈴木</span>散在群}} <math>Suz</math> 或 <math>F_{3-}</math>；
* {{Link-en|欧南群|O'Nan group|O'Nan 群}} <math>O'N</math>
* {{Link-en|原田-Norton 群|Harada-Norton group|<span lang="ja">原田</span>-Norton 群}} <math>HN</math> 或 <math>F_{5+}</math> 或 <math>F_5</math>；
* [[里昂群|Lyons 群]] <math>Ly</math>；
* {{link-en|汤普森群|Thompson group|Thompson 群}} <math>Th</math> 或 <math>F_{2+}</math> 或 <math>F_2</math>；
* {{link-en|小魔群|baby monster group}} <math>B</math> 或 <math>F_{2+}</math> 或 <math>F_2</math>；
* [[魔群]] <math>M</math> 或 <math>F_1</math>。
除[[魔群]]外，所有散在单群于[[体 (数学)|有限體]]上的矩阵[[群表示论|表示]]业已算得。

所有 26 个散在单群中，有 20 个可看作[[魔群]]的（非[[正规子群|正规]]）子群或子群的[[商群|商]]，被 Robert Griess 称作[[幸福家庭]] (Happy Family)<ref>{{Cite journal |last=Griess |first=Robert L. |date=1982-02 |title=The friendly giant |url=http://link.springer.com/10.1007/BF01389186 |journal=Inventiones mathematicae |volume=69 |issue=1 |doi=10.1007/BF01389186 |issn=0020-9910}}</ref>。在此之外的 6 个为 <math>J_1</math>、<math>J_3</math>、<math>J_4</math>、<math>O'N</math>、<math>Ru</math> 和 <math>Ly</math>，被称作'''{{Link-en|贱民群|pariah group|贱民}}''' (pariahs)<ref>{{Cite journal |last=Griess |first=Robert L. |date=1982-02 |title=The friendly giant |url=http://link.springer.com/10.1007/BF01389186 |journal=Inventiones mathematicae |volume=69 |issue=1 |doi=10.1007/BF01389186 |issn=0020-9910}}</ref><ref>{{Cite book|chapter=Twelve Sporadic Groups|url=https://link.springer.com/book/10.1007/978-3-662-03516-0|doi=10.1007/978-3-662-03516-0.pdf|language=en|title="The Friendly Giant"|access-date=2024-06-18|archive-date=2022-12-29|archive-url=https://web.archive.org/web/20221229232913/https://link.springer.com/book/10.1007/978-3-662-03516-0|dead-url=no}}</ref><ref group="注释">同样，Pariah 群亦无标准译名。</ref>。

{{来源请求|截至目前，在散在单群的一个可行的统一表述方面，进展较为初步}}。

== 分类定理证明概览 ==
Gorenstein 写过<ref>{{Cite book|series=The University series in mathematics|publisher=Plenum Press|date=1982|location=New York|isbn=978-0-306-40779-6|first=Daniel|last=Gorenstein|title=Finite simple groups|url=https://archive.org/details/finitesimplegrou0000gore}}</ref><ref>{{Cite book|publisher=Plenum Pr|date=1983|location=New York|isbn=978-0-306-41305-6|first=Daniel|last=Gorenstein|title=The classification of finite simple groups|url=https://archive.org/details/classificationof0001gore_n1r8|year=1983}}</ref>两卷文章，概述了证明的低[[秩 (群)|秩]]和奇特征域的部分，Michael Aschbacher，Richard Lyons 以及 D. Smith等人则写了<ref>{{Cite journal | last1=Aschbacher | first1=Michael | author1-link=Michael Aschbacher | last2=Lyons | first2=Richard | last3=Smith | first3=Stephen D. | last4=Solomon | first4=Ronald | title=The Classification of Finite Simple Groups: Groups of Characteristic 2 Type | url=https://www.ams.org/bookstore?fn=20&ikey=SURV-172 | series=Mathematical Surveys and Monographs | isbn=978-0-8218-5336-8 | year=2011 | volume=172 | access-date=2024-06-18 | archive-date=2015-06-20 | archive-url=https://web.archive.org/web/20150620084720/http://www.ams.org/bookstore?fn=20&ikey=SURV-172 | dead-url=no }}</ref>第三卷以涵盖特征为 2 的情形。这份证明可分为如下几个主要部分：

=== 小的 2-秩群 ===
低阶的 2-秩单群，大多数是奇特征域上的低秩<ref group="注释">这里的秩和前面的秩含义不同，指的是这个 Lie 群对应的 Lie 代数的[[秩 (线性代数)|秩]]。</ref> Lie 型群，此外有 5 个交错群，7个特征 2 型群和 9 个散在群。

小 2-秩单群有：

* 2-秩为 0 的群，或者说奇数阶群，按 [[法伊特-湯普森定理|Feit-Thompson 定理]]均[[可解群|可解]]<ref>{{Cite journal |author=Walter Feit |author2=John Griggs Thompson |date=1963 |title=From Solvability of groups of odd order |url=https://msp.org/pjm/1963/13-3/pjm-v13-n3-p01-s.pdf |journal=Pacific Journal of Mathematics |volume=13 |issue=3 |doi=10.2140/pjm.1963.13.775 |access-date=2024-06-18 |archive-date=2024-05-09 |archive-url=https://web.archive.org/web/20240509042955/https://msp.org/pjm/1963/13-3/pjm-v13-n3-p01-s.pdf |dead-url=no }}</ref>。
* 2-秩为 1 的群。Sylow 2-子群要么是循环群，要么是广义[[四元群|四元数群]]。对于循环的 Sylow 2-子群，很容易利用[[传递映射]]处理；而对广义四元数群可以通过 [[布勞爾-鈴木定理|Brauer-<span lang="ja">鈴木</span>定理]] 处理：特别地，除 2 阶循环群外不存在 2-秩为 1 的单群<ref>{{Cite journal |last=Brauer |first=Richard |last2=Suzuki |first2=Michio |date=1959-12 |title=ON FINITE GROUPS OF EVEN ORDER WHOSE 2-SYLOW GROUP IS A QUATERNION GROUP |url=https://pnas.org/doi/full/10.1073/pnas.45.12.1757 |journal=Proceedings of the National Academy of Sciences |volume=45 |issue=12 |doi=10.1073/pnas.45.12.1757 |issn=0027-8424}}</ref><ref>{{Citation |last=Suzuki | first=Michio | author-link=Michio Suzuki (mathematician) |editor-first=M. |editor-last=Hall|title=1960 Institute on finite groups: held at California Institute of Technology |chapter-url=https://books.google.com/books?id=Nb8rT4rm0EUC&pg=PA101|series=Proc. Sympos. Pure Math.|volume=VI|year=1962|pages=101–105|publisher=American Mathematical Society|chapter=Applications of group characters|isbn=978-0-8218-1406-2}}</ref><ref>{{Cite journal |last=Brauer |first=Richard |date=1964-12 |title=Some applications of the theory of blocks of characters of finite groups. II |url=https://linkinghub.elsevier.com/retrieve/pii/0021869364900110 |journal=Journal of Algebra |volume=1 |issue=4 |page=307-334 |doi=10.1016/0021-8693(64)90011-0 |mr=0174636 |access-date=2024-06-18 |archive-date=2024-07-10 |archive-url=https://web.archive.org/web/20240710063250/https://linkinghub.elsevier.com/retrieve/pii/0021869364900110 |dead-url=no }}</ref>。
* 2-秩为 2 的群。Alperin 表明，Sylow 子群必须是[[二面體群|二面体群]]、拟二面体群、{{Link-en|缠绕群|Wreath prouduct}}，或者 <math>U_3(4)</math> 的一个 Sylow 2-子群。第一种情况由 {{Link-en|Gorenstein-Walter 定理|Gorenstein–Walter theorem}} 解决<ref>{{Cite journal |last=Gorenstein |first=Daniel |last2=Walter |first2=John H |date=1965-03 |title=The characterization of finite groups with dihedral Sylow 2-subgroups. I |url=https://linkinghub.elsevier.com/retrieve/pii/002186936590027X |journal=Journal of Algebra |language=en |volume=2 |issue=1 |doi=10.1016/0021-8693(65)90027-X |access-date=2024-06-18 |archive-date=2024-07-10 |archive-url=https://web.archive.org/web/20240710163811/https://linkinghub.elsevier.com/retrieve/pii/002186936590027X |dead-url=no }}</ref><ref>{{Cite journal |last=Gorenstein |first=Daniel |last2=Walter |first2=John H |date=1965-06 |title=The characterization of finite groups with dihedral Sylow 2-subgroups—II |url=https://linkinghub.elsevier.com/retrieve/pii/0021869365900190 |journal=Journal of Algebra |language=en |volume=2 |issue=2 |doi=10.1016/0021-8693(65)90019-0 |access-date=2024-06-18 |archive-date=2024-04-11 |archive-url=https://web.archive.org/web/20240411175651/https://linkinghub.elsevier.com/retrieve/pii/0021869365900190 |dead-url=no }}</ref><ref>{{Cite journal |last=Gorenstein |first=Daniel |last2=Walter |first2=John H |date=1965-09 |title=The characterization of finite groups with dihedral Sylow 2-subgroups. III |url=https://linkinghub.elsevier.com/retrieve/pii/0021869365900153 |journal=Journal of Algebra |language=en |volume=2 |issue=3 |doi=10.1016/0021-8693(65)90015-3 |access-date=2024-06-18 |archive-date=2024-04-11 |archive-url=https://web.archive.org/web/20240411173839/https://linkinghub.elsevier.com/retrieve/pii/0021869365900153 |dead-url=no }}</ref>，其表明，仅单群同构于 <math>A_7</math> 或对于 <math>q</math> 奇数的 <math>L_2(q)</math>，第二和第三种情况由 {{Link-en|Alperin-Brauer-Gorenstein 定理|Alperin-Brauer-Gorenstein Theorem}}完成<ref>{{Cite journal |last=Alperin |first=J. L. |last2=Brauer |first2=Richard |last3=Gorenstein |first3=Daniel |date=1970-09 |title=Finite Groups with Quasi-Dihedral and Wreathed Sylow 2-Subgroups |url=https://www.jstor.org/stable/1995627?origin=crossref |journal=Transactions of the American Mathematical Society |volume=151 |issue=1 |doi=10.2307/1995627 |access-date=2024-06-18 |archive-date=2024-06-18 |archive-url=https://web.archive.org/web/20240618173813/https://www.jstor.org/stable/1995627?origin=crossref |dead-url=no }}</ref>，该定理蕴含，仅单群同构于 <math>M_{11}</math> 或对于 <math>q</math> 奇数而言的 <math>L_3(q)</math> 或 <math>U_3(q)</math>，而最后一种情况由 Lyons 完成，他证明了唯一可能单的群是 <math>U_3(4)</math> <ref>{{Cite journal |last=Lyons |first=Richard |date=1972-02 |title=A Characterization of the Group U 3 (4) |url=http://dx.doi.org/10.2307/1995982 |journal=Transactions of the American Mathematical Society |volume=164 |doi=10.2307/1995982 |issn=0002-9947}}</ref>。
* 2-秩至多为 4 的群，由 {{Link-en|Gorenstein-原田定理|Gorenstein–Walter theorem|Gorenstein-<span lang="ja">原田</span>定理}}完成分类<ref>{{cite book|last1=Gorenstein|first1=D.|author1-link=Daniel Gorenstein|last2=Harada|first2=Koichiro|author2-link=Koichiro Harada|editor1-last=Gagen|editor1-first=Terrence|editor2-last=Hale|editor2-first=Mark P. Jr.|editor3-last=Shult|editor3-first=Ernest E.|title=Finite groups '72. Proceedings of the Gainesville Conference on Finite Groups, March 23-24, 1972|publisher=North-Holland|location=Amsterdam|series=North-Holland Math. Studies|isbn=978-0-444-10451-9|mr=0352243|year=1973|volume=7|chapter=Finite groups of sectional 2-rank at most 4|pages=57–67}}</ref><ref>{{cite book|last1=Gorenstein|first1=D.|last2=Harada|first2=Koichiro|title=Finite groups whose 2-subgroups are generated by at most 4 elements|url=https://books.google.com/books?id=CzUZAQAAIAAJ|publisher=[[American Mathematical Society]]|location=Providence, R.I.|series=Memoirs of the American Mathematical Society|isbn=978-0-8218-1847-3|mr=0367048|year=1974|volume=147}}</ref>。
小 2-秩群，尤其是 2-秩至多 2 的群的分类工作，大量使用了[[普通特征理论]]和[[模块特征理论]]，而这一理论几乎从未直接用于分类工作的他处。

所有不是小 2-秩群的群可归为两大类：组件型群或特征 2 型群。这是因为，对于截面 2-秩至少为 5 的群，MacWilliams 证明了其 Sylow 2-子群连通，且[[平衡定理]]蕴含任意具连通 Sylow 2-子群的单群，或为组件型，或为特征 2 型。<ref group="注释">对于低 2-秩的群，这一证明不再有效，像信号化子函子定理这样的理论仅适用于拥有 2-秩至少为 3 的基本 Abel 子群的群。</ref>

=== 组件型群 ===
一群为组件型群，当且仅当对某个对合的[[中心化子和正规化子|中心化子]] <math>C</math>，<math>C/O(C)</math> 有一个组件，其中 <math>O(C)</math> 为 <math>C</math> 的中心。这些群或多或少都是大秩奇特征 Lie 型群、交错群及一些散在群。这些情况下，一个重要的步骤是剔除对合中心的阻碍，这个步骤由 {{Link-en|B-定理|B-theorem}}完成，其指出 <math>C/O(C)</math> 的每个组件都是 <math>C</math> 的组件的像<ref>{{Cite journal |last=Gorenstein |last2=Daniel |date=1983 |title=The Classification of finite simple groups |url=https://archive.org/details/classificationof0001gore_n1r8 |journal=New York: Plenum Press |page=p. 7 |isbn=978-0-306-41305-6}}</ref>。

其想法是，这些群有一个对合的中心化子，其组件为一个较小的拟单群，不妨假设该群是通过归纳已知的。从而，为了对这些群进行分类，我们需要所有已知有限单群的所有中心扩张，并找到所有单群及其。这提出了相当大量不同的亟待检查的情形：不只是有 26 个散在单群和 16 类 Lie 型群以及交错群需要处理，许多低阶或基于小域上的群，其行为与一般情形并不相通，须特别对待，同时须说明，偶特征和奇特征的 Lie 型群之间也有很大不同。

=== 特征 2 型群 ===
一群为特征 2 型群，若其每个 2-{{Link-en|局部子群|local subgroup}} <math>Y</math> 的广义{{Link-en|拟合群|fitting group}} <math>F^*(Y)</math> 均为 2-群。顾名思义，其大致为在特征 2 域上的 Lie 型群，外加其让一些交错群、散在群或是奇特征群。它们的分类被归为大秩和小秩两种情况，其中，秩指的是正规化非平凡 2-子群的奇 Abel 子群的最大秩，当群是特征 2 Lie 型群时，通常（但不绝对）与 [[嘉当子代数|Cartan 子代数]]的秩等同。

秩 1 的群是薄群，由 Aschbacher 分类；秩 2 的群则是前文提到的拟薄群，由 Aschbacher 与 Smith 一同分类。这些大致对应着特征 2 域上的秩 1 或 2 的 Lie 型群。

秩至少 3 的群由{{Link-en|三分定理|Trichotomy theorem}}进一步地细分为三类，秩 3 的情形由 Aschbacher 完成证明<ref>{{Citation | last1=Aschbacher | first1=Michael | author1-link=Michael Aschbacher | title=Finite groups of rank 3. I | doi=10.1007/BF01389061 | mr=620676 | year=1981 | journal=[[Inventiones Mathematicae]] | issn=0020-9910 | volume=63 | issue=3 | pages=357–402| bibcode=1981InMat..63..357A }}</ref><ref>{{Citation | last1=Aschbacher | first1=Michael | author1-link=Michael Aschbacher | title=Finite groups of rank 3. II | doi=10.1007/BF01393339 | mr=688262 | year=1983 | journal=[[Inventiones Mathematicae]] | issn=0020-9910 | volume=71 | issue=1 | pages=51–163| bibcode=1983InMat..71...51A }}</ref>，而秩至少为 4 的情形则由 Gorenstein 和 Lyons 完成<ref>{{Citation | last1=Gorenstein | first1=D. | author1-link=Daniel Gorenstein | last2=Lyons | first2=Richard | title=The local structure of finite groups of characteristic 2 type | url=https://books.google.com/books?isbn=978-0821822760 | isbn=978-0-8218-2276-0 | mr=690900 | year=1983 | journal=Memoirs of the American Mathematical Society | issn=0065-9266 | volume=42 | issue=276 | pages=vii+731| doi=10.1090/memo/0276 }}</ref>。这三种类型分别是

* <math>\mathrm{GF}(2)</math> 型群，主要由 Timmesfeld 分类；
* 对于一些奇素数的 “标准型” 群，主要由 {{Link-en|基尔曼-格里斯定理|Gilman-Griess Theorem|Gilman-Griess 定理}}和其他一些工作完成分类<ref>{{cite journal |last1=Gilman |first1=Robert H. |last2=Griess |first2=Robert L. |author2-link=Robert Griess |title=Finite groups with standard components of Lie type over fields of characteristic two |url=https://deepblue.lib.umich.edu/bitstream/2027.42/25314/1/0000759.pdf |journal=[[Journal of Algebra]] |year=1983 |volume=80 |issue=2 |pages=383–516 |doi=10.1016/0021-8693(83)90007-8 |issn=0021-8693 |hdl=2027.42/25314 |mr=691810 |hdl-access=free}}</ref>；
* 唯一性类型群，根据 Aschbacher 的一个结果，其中没有单群。

总-{}-体而言，较高秩情形涵盖绝大多数秩至少 3 或 4 的特征 2 域上的 Lie 型群。

=== 单群存在唯一性 ===
分类定理的主要部分刻画了每一个单群的特征，那么现在验证对于每个特征总唯一存在一个单群就尤为重要了。这抛出了大量独立的问题，比如说，[[魔群]]存在唯一性的原始证明有着约 200 页，Thompson 和 Bombieri 对 {{Link-en|Ree 群|Ree Group}}的鉴定是分类定理最艰巨的一部分。很多存在性证明和一些散在群的唯一性证明在原始论文里就援引了计算机辅助证明，其中的大多数现在已被更简洁的人工证明所替代。

== 证明历程 ==

=== Gorenstein 的程序化证明 ===
在 1972 年，Gorenstein 宣布了一个用于完成有限单群分类定理的程序<ref>{{Citation|last1=Gorenstein|first1=D.|author1-link=Daniel Gorenstein|title=The classification of finite simple groups. I. Simple groups and local analysis|doi=10.1090/S0273-0979-1979-14551-8|year=1979|journal=Bulletin of the American Mathematical Society|series=New Series|issn=0002-9904|volume=1|issue=1|pages=43–199|mr=513750|doi-access=free}}</ref>，涵盖以下 16 个步骤：

# 低 2-秩群。这本质上已经由 Gorenstein 和原田完成，他们分类了 2-秩至多 4 的部分。大多 2-秩至多 2 的情形在 Gorenstein 宣布其程序时完成。
# 2-层半单群<ref group="注释">The semisimplicity of 2-layers.</ref>。其问题是证明其单群上的一个对合中心化子的 2-层是半单的。
# 奇特征标准型。如果一个群有一个对合，其 2-组件是奇特征 Lie 型群，目标是证明其在 “标准型” 中有一个对合中心化子，也就是一个对合中心化子同时拥有一个奇特征 Lie 型组件和一个 2-秩 1 的中心化子。
# 奇型群的分类。这个问题表明，如果一个群拥有一个在 “标准型” 上对合的中心化子，那么它是一个奇特征 Lie 型群。这由 Aschbacher 的{{Link-en|经典对合定理|Classical involution theorem}}解决<ref>{{Citation|last1=Aschbacher|first1=Michael|author1-link=Michael Aschbacher|title=A characterization of Chevalley groups over fields of odd order|jstor=1971100|mr=0498828|year=1977a|journal=[[Annals of Mathematics]]|series=Second Series|issn=0003-486X|volume=106|issue=2|pages=353–398|doi=10.2307/1971100}}</ref><ref>{{Citation|last1=Aschbacher|first1=Michael|author1-link=Michael Aschbacher|title=A characterization of Chevalley groups over fields of odd order II|jstor=1971063|mr=0498829|year=1977b|journal=[[Annals of Mathematics]]|series=Second Series|issn=0003-486X|volume=106|issue=3|pages=399–468|doi=10.2307/1971063}}</ref><ref>{{Citation|last1=Aschbacher|first1=Michael|author1-link=Michael Aschbacher|title=Correction to: A characterization of Chevalley groups over fields of odd order. I, II|doi=10.2307/1971101|mr=569077|year=1980|journal=[[Annals of Mathematics]]|series=Second Series|issn=0003-486X|volume=111|issue=2|pages=411–414}}</ref>。
# 拟标准型<ref group="注释">Quasi-standard form</ref>。
# 中心对合。
# 交错群分类。
# 一些散在群。
# 薄群。仅指{{Link-en|薄有限群|Thin finite group}}，那些对奇素数 <math>p</math> 有 2-局部 <math>p</math>-秩至多 1 的部分，由 Aschbacher 于1978年分类。
# 对于奇素数 <math>p</math> 有强 <math>p</math>-嵌入子群的群。
# 对于奇素数的信号化子函子法。主要的问题在于为不可解{{Link-en|信号化子函子|Signalizer functor}}证明信号化子函子定理。由 McBride 于1982 年解决。
# 特征 <math>p</math> 型群。这是那些拥有奇数 <math>p</math> 阶强 <math>p</math>-嵌入 2-层子群的群的问题，由 Aschbacher 解决。
# 拟薄群。拟薄群是一个这样的群，其 2-局部子群对所有奇素数 <math>p</math> 有 <math>p</math>-秩至多 2.。其问题在于分类出那些特征 2 型的单群。由 Aschbacher 和 Smith 于 2004 年完成。
# 2-层低 3-秩群。这本质上由 Aschbacher 对于 <math>e(G)=3</math> 的三分定理解决。主要的的挑战在于，2-层 3-秩被 2-层奇素秩所替代。
# 标准型上的 3-元中心化子。基本上由三分定理完成。
# 特征 2 型单群的分类。由 Gilman-Griess 定理解决，其中 3-元被奇素元所替代。

=== 证明的时间线 ===
下面表格中的大部分条目来源于 {{harvtxt|Solomon|2001}}。所提供的年份通常是作为结果的完整证明的发表时间，有时会迟于结果的证明或首次宣布时间，所以其中一些条目将会以 “错误” 的顺序出现。
{|
|'''年份'''
|'''成果'''
|-
| style="width: 3.4em; vertical-align:top" |1832
|Galois 引入了正规子群，找到了单群 A<sub>''n''</sub> (''n'' ≥ 5) 和 {{Link-en|PSL2(Fp)|Projective linear group#Finite fields|<math>\mathrm{PSL}_2(\mathbf{F}_p)</math>}} (''p'' ≥ 5).
|-
| style="vertical-align:top" |1854
|Cayley 定义了抽象群。
|-
| style="vertical-align:top" |1861
|Mathieu 描述了前两个 {{Link-en|Mathieu 群|Mathieu Group}} ''M''<sub>11</sub>, ''M''<sub>12</sub>（这是最开始被发现的单群），并宣告了 ''M''<sub>24</sub> 的存在。
|-
| style="vertical-align:top" |1870
|Jordan 列出了一些单群：交错群、射影特殊线性群（'''P'''rojective '''S'''pecial '''L'''inear group)，指出了单群的重要性。
|-
| style="vertical-align:top" |1872
|Sylow 证明了 [[西罗定理|Sylow定理]]。
|-
| style="vertical-align:top" |1873
|Mathieu 介绍了另外三个 Mathieu 群 ''M''<sub>22</sub>，''M''<sub>23</sub> 以及 ''M''<sub>24</sub>.
|-
| style="vertical-align:top" |1892
|Hölder 证明，任意非交换有限单群的阶必须是一个至少为 4 个素数的积（可重复），并且提出了有限单群分类问题。
|-
| style="vertical-align:top" |1893
|Cole 对序数至多为 660 的单群进行了分类。
|-
| style="vertical-align:top" |1896
|Frobenius 和 Burnside 开启有限单群特征理论的研究。
|-
| style="vertical-align:top" |1899
|Burnside 对单群进行分类，使得每个对合的中心化子均为非平凡的初等交换 2-群。
|-
| style="vertical-align:top" |1901
|Frobenius 证明，{{Link-en|弗罗贝尼乌斯群|Frobenius group|Frobenius 群}}拥有 Frobenius 核，从而特别而言是非单的。
|-
| style="vertical-align:top" |1901
|Dickson 定义了任意有限域上的经典群，以及奇特征域上的例外 ''G''<sub>2</sub> 型群。
|-
| style="vertical-align:top" |1901
|Dickson 发现了例外的 ''E''<sub>6</sub> 型有限单群。
|-
| style="vertical-align:top" |1904
|Burnside 使用特征理论证明了 {{Link-en|Burnside 定理|Burnside Theorem}}，即任意非交换有限单群的阶必至少被三个不同素数整除。
|-
| style="vertical-align:top" |1905
|Dickson 发现了偶特征域上的 ''G''<sub>2</sub> 特征单群。
|-
| style="vertical-align:top" |1911
|Burnside 提出猜想，认为任意非交换有限单群是偶阶群。
|-
| style="vertical-align:top" |1928
|Hall 证明了可解群的 {{Link-en|Hall 子群|Hall Subgroup}}的存在性。
|-
| style="vertical-align:top" |1933
|Hall 开始了他关于 ''p''-群的研究。
|-
| style="vertical-align:top" |1935
|Brauer 开始了模特征的研究。
|-
| style="vertical-align:top" |1936
|Zassenhaus 分类了有限的锐利 3-传递置换群。
|-
| style="vertical-align:top" |1938
|Fitting 发现了 {{Link-en|Fitting 子群|Fitting Subgroup}}，证明了 Fitting 定理，即对于可解群，其 Fitting 子群包含其中心化子。
|-
| style="vertical-align:top" |1942
|Brauer 描述了一个恰好被某个素数整除的群的模特征。
|-
| style="vertical-align:top" |1954
|Brauer 将拥有 {{Link-en|GL2(Fq)|Projective linear group#Finite fields|<math>\mathrm{GL}_2(\mathbf{F}_q)</math>}} 作为一个对合中心化子的单群进行分类。
|-
| style="vertical-align:top" |1955
|{{Link-en|Brauer-Fowler 定理|Brauer-Fowler Theorem}}蕴含，拥有对合的给定中心化子的有限单群具有有限个，对使用对合的中心化子进行的分类工作造成打击。
|-
| style="vertical-align:top" |1955
|Chevalley 发现了 {{Link-en|Chevalley 群|Chevalley group}}，特别介绍了例外的 ''F''<sub>4</sub>，''E''<sub>7</sub> 和''E''<sub>8</sub> 型单群。
|-
| style="vertical-align:top" |1956
|{{Link-en|Hall-Higman 定理|Hall-Higman Theorem}}对一个 ''p''-可解群的表示法描述了素数幂阶元的[[最小多項式|最小多项式]]的可能性。
|-
| style="vertical-align:top" |1957
|铃木通夫证实，所有奇阶有限单{{Link-en|中心 Abel 化群|CA group}}都是循环群。
|-
| style="vertical-align:top" |1958
|{{Link-en|Brauer-鈴木-Wall 定理|Brauer-Suzuki-Wall theorem}}表征了秩 1 射影特殊线性群，并且分类了单的中心 Abel 化群。
|-
| style="vertical-align:top" |1959
|Steinberg 发现了 {{Link-en|Steinberg 群|Steinberg group}}，给出了一些新的有限单群， <sup>3</sup>''D''<sub>4</sub> 和 <sup>2</sup>''E''<sub>6</sub> 型（后者由 Tits 独立地几乎同时发现）。
|-
| style="vertical-align:top" |1959
|关于[[廣義四元群|广义四元数群]] Sylow 2-子群的{{Link-en|Brauer-鈴木 定理|Brauer-Suzuki theorem}}特别之处，这些群均不单。
|-
| style="vertical-align:top" |1960
|Thompson 证明，一个具有素数阶不动点自由自同构的群是幂零的。
|-
| style="vertical-align:top" |1960
|Feit，Marshall Hall 和 Thompson 证实，所有单的奇数阶中心正规化群是循环群。
|-
| style="vertical-align:top" |1960
|铃木通夫发现了{{Link-en|鈴木群|Suzuki group}}，拥有 <sup>2</sup>''B''<sub>2</sub> 型。
|-
| style="vertical-align:top" |1961
|Ree 发现了 {{Link-en|Ree 群|Ree group}}，拥有<sup>2</sup>''F''<sub>4</sub> 和 <sup>2</sup>''G''<sub>2</sub> 型。
|-
| style="vertical-align:top" |1963
|Feit 和 Thompson 证明了{{Link-en|奇数阶定理|Odd order theorem}}。
|-
| style="vertical-align:top" |1964
|Tits 发现了 Lie 型群的 BN 对，找到了 {{Link-en|Tits 群|Tits group}}。
|-
| style="vertical-align:top" |1965
|{{Link-en|Gorenstein-Walter 定理|Gorenstein-Walter theorem}}对具有二面体 Sylow 2-子群的群进行分类。
|-
| style="vertical-align:top" |1966
|Glauberman 证明了 {{Link-en|Z* 定理|Z* theorem}}。
|-
| style="vertical-align:top" |1966
|Janko 发现了 {{Link-en|Janko 群 J1|Janko group J1|Janko 群 <math>J_1</math>}}，大概一个世纪之后的第一个新的单群。
|-
| style="vertical-align:top" |1968
|Glauberman 证明了 {{Link-en|ZJ 定理|ZJ theorem}}。
|-
| style="vertical-align:top" |1968
|Higman 和 Sims 发现了 {{Link-en|Higman-Sims 群|Higman-Sims group}}。
|-
| style="vertical-align:top" |1968
|[[约翰·何顿·康威|Conway]] 发现了 {{Link-en|Conway 群|Conway group}}。
|-
| style="vertical-align:top" |1969
|{{Link-en|Walter 定理|Walter's theorem}}对拥有交换 Sylow 2-子群的群进行分类。
|-
| style="vertical-align:top" |1969
|{{Link-en|鈴木散在群|Suzuki sporadic group}}，{{Link-en|Janko 群 J2|Janko group J2|Janko 群 <math>J_2</math>}}，{{Link-en|Janko 群 J3|Janko group J3|Janko 群 <math>J_3</math>}}，{{Link-en|McLaughlin 群|McLaughlin group}}以及 {{Link-en|Held 群|Held Group}}的发现。
|-
| style="vertical-align:top" |1969
|Gorenstein 基于 Thompson 的灵感发现信号化子函子。
|-
| style="vertical-align:top" |1970
|MacWilliams 证实，拥有秩 3 非正规交换子群的群，截面 2-秩至多 4。<ref group="注释">拥有满足后一种情况的 Sylow 子群的单群之后由 Gorenstein 和原田分类。</ref>
|-
| style="vertical-align:top" |1970
|Bender 发现{{Link-en|广义 Fitting 子群|generalized fitting subgroup}}。
|-
| style="vertical-align:top" |1970
|{{Link-en|Alperin-Brauer-Gorenstein 定理|Alperin-Brauer-Gorenstein theorem}}对拥有拟二面体或缠绕 Sylow 2-子群的群进行分类，完成了 2-秩至多 2 的单群的分类工作。
|-
| style="vertical-align:top" |1971
|Fischer 发现了所有三个 {{Link-en|Fischer 群|Fischer group}}。
|-
| style="vertical-align:top" |1971
|Thompson 对{{Link-en|二次对|quadratic pair}}进行分类。
|-
| style="vertical-align:top" |1971
|Bender 对拥有强嵌入子群的群进行分类。
|-
| style="vertical-align:top" |1972
|Gorenstein 给出一个 16 步的程序，用于分类有限单群；最终的分类定理相当封闭地遵从他给出的大纲。
|-
| style="vertical-align:top" |1972
|Lyons 发现了 {{Link-en|Lyons 群|Lyons group}}。
|-
| style="vertical-align:top" |1973
|Rudvalis 发现了 {{Link-en|Rudvalis 群|Rudvalis group}}。
|-
| style="vertical-align:top" |1973
|Fischer 发现了小魔群（未发表），这被 Fischer 和 Griess 用于发现[[魔群]]，而这又促使 Thompson 发现 {{Link-en|Thompson 单群|Thompson sporadic group}}、Norton 发现{{Link-en|原田-Norton 群|Harada-Norton group}}（后者被原田耕一郎以另一种方式发现）。
|-
| style="vertical-align:top" |1974
|Thompson 对 {{Link-en|N-群|N-group}}进行分类，所有这些群的局部子群均可解。
|-
| style="vertical-align:top" |1974
|{{Link-en|Gorenstein-原田定理|Gorenstein-Harada theorem}}对截面 2-秩至多 4 的单群进行分类，将剩余的有限单群分为组件型群和特征 2 型群。
|-
| style="vertical-align:top" |1974
|Tits 证实， 拥有秩至少 3 的 BN 对的群是 Lie 型群。
|-
| style="vertical-align:top" |1974
|Aschbacher 对具有适当的二元生成核心的群进行分类。
|-
| style="vertical-align:top" |1975
|Gorenstein 和 Walter 证明 {{Link-en|L-平衡定理|L-balance theorem}}。
|-
| style="vertical-align:top" |1976
|Glauberman 证明可解信号化子函子定理。
|-
| style="vertical-align:top" |1976
|Aschbacher 证明{{Link-en|组件定理|component theorem}}，大致证实，满足一些控制条件的{{来源请求|奇型群|time=2024-6-18}}存在标准形式组件。这种拥有标准型式组件的群由许多作者以大量论文进行分类。
|-
| style="vertical-align:top" |1976
|O'Nan 发现了 {{Link-en|O'Nan 群|O'Nan group}}。
|-
| style="vertical-align:top" |1976
|Janko 发现了 {{Link-en|Janko 群 J4|Janko group J4|Janko 群 <math>J_4</math>}}，最后一个被发现的单群。
|-
| style="vertical-align:top" |1977
|Aschbacher 在他的{{Link-en|经典对合定理|Classical involution theorem}}中表征了偶特征 Lie 型群。在这个定理之后<ref group="注释">从某种意义上来说，它涉及到 “大多数” 单群</ref>，人们普遍认为分类定理的终点已然在望。
|-
| style="vertical-align:top" |1978
|Timmesfeld 证明了 O<sub>2</sub> 颇殊定理，将 {{Link-en|GF(2) 型群|groups of GF(2)-type}}的分类工作细化为几个更小的问题。
|-
| style="vertical-align:top" |1978
|Aschbacher 对{{Link-en|薄群|thin group|薄有限群}}进行分类，这些群是偶特征域上的 Lie 型特征 1 群。
|-
| style="vertical-align:top" |1981
|Bombieri 使用消元理论完成了 Thompson 在 {{Link-en|Ree 群|Ree group}}特征的工作，这是分类工作最艰巨的步骤之一。
|-
| style="vertical-align:top" |1982
|McBride 证明了所有有限群的信号化子函子定理。
|-
| style="vertical-align:top" |1982
|Griess 以人力构造出了[[魔群]]。
|-
| style="vertical-align:top" |1983
|{{Link-en|Gilman-Griess 定理|Gilman-Griess theorem}}以标准组件<ref group="注释">三分定理三种情形之一。</ref>对特征 2 型群和秩至少 4 的群进行分类。
|-
| style="vertical-align:top" |1983
|Aschbacher 证明，没有有限群能够满足三分定理独立性情况的假设条件。
|-
| style="vertical-align:top" |1983
|Gorenstein 和 Lyons 证明了对特征 2 型群和秩至少 4 的群的{{Link-en|三分定理|Trichotomy theorem}}，同时 Aschbacher完成了秩 3 的情况。该定理将这些群分为三个情形：独立性情况、GF(2) 型群、拥有标准组件的群。
|-
| style="vertical-align:top" |1983
|Gorenstein 宣布分类定理已经完成，但实际因为拟薄群情况的证明尚未完成而为期尚早。
|-
| style="vertical-align:top" |1985
|Conway，Curtis，Norton，Parker，Wilson 和 Thackeray 发表了{{Link-en|有限单群地图|Atlas of finite groups}}，介绍了约 93 个有限单群的基本信息。
|-
| style="vertical-align:top" |1994
|Gorenstein，Lyons 和 Solomon 开始着手于修正后的分类定理的证明。
|-
| style="vertical-align:top" |2004
|Aschbacher 和 Smith 发表了他们在{{Link-en|拟薄群|Quasithin group}}上的工作<ref group="注释">绝大多数是偶特征域上秩至多 2 的 Lie 型群。</ref>，填上当时已知的分类定理的最后一处空缺。
|-
| style="vertical-align:top" |2008
|原田耕一郎和 Solomon 通过描述一个具有标准组件的群填补了分类定理的一个小漏洞，这个标准组件是 {{Link-en|Mathieu 群|Mathieu group}} ''M''<sub>22</sub> 的一个覆盖，由于其 Schur 乘数的一处计算纰漏，该案例被从分类定理的证明中意外略去。
|-
| style="vertical-align:top" |2012
|Gonthien 与其同事宣布了使用 [[Coq]] {{Link-en|证明助手|proof assistant}}完成的 {{Link-en|Feit-Thompson 定理|Feit-Thompson theorem}}的一个计算机检验版本。<ref>{{cite web|title=Feit–Thompson theorem has been totally checked in Coq|url=http://www.msr-inria.fr/news/feit-thomson-proved-in-coq/|date=2012-09-20|url-status=dead|archive-url=https://web.archive.org/web/20161119094854/http://www.msr-inria.fr/news/feit-thomson-proved-in-coq/|archive-date=2016-11-19|access-date=2012-09-25|publisher=Msr-inria.inria.fr}}</ref>
|}

==第二代分类证明==

这个定理于 1985 年左右的证明版本被称作''第一代分类证明''，由于它令人瞠目结舌的长度，人们将注意力放在了寻找一个更简洁的证明上，称作'''第二代分类证明'''。这部分被称作 “修正主义” 的工作最开始由[[丹尼尔·戈伦斯坦|·Daniel Gorenstein]] 所牵头进行。

到 2023 年为止，已经有数十卷的第二代证明被发表（Gorenstein，Lyons & Solomon 1994, 1996, 1998, 1999, 2002, 2005, 2018a, 2018b; & Capdeboscq, 2021, 2023）。在 2012 年， Solomon 估计这项工程还需要另外的五卷，但表示进展缓慢。估计上，新的证明将最终写满近 5000 张纸<ref group="注释">这一长度部分地归因于第二代证明将会以一种更轻松的风格写就。</ref>。然而，随着关于 GLS 系列，同时包含 Aschbacher-Smith 组件的第 9 卷的发表，这一估计已经被打破了，而更多的几卷仍在计划中<ref group="注释">其余部分原本计划于第 9 卷以及预计的第 10、11 卷。</ref>。Aschbacher 和 Smith 稍早些写就的两卷，因为其对拟薄群的情形有足够大的贡献，因为被容纳作为第二代证明的一部分。

Gorenstein 和他的同事已经给出几点原因，用以说明一个更简洁的证明存在可能。

* 其中最关键的一点，现在正确的最终表述是已知的。能够适用于相关工作的更简洁的手法已经被证实对于判定这些群是否有限单是足够的了。相比之下，致力于第一代证明的学者们并不知道具体存在多少散在单群，而且实际上其中一些单群比如 Janko 群甚至是在其他情形的分类定理完成证明之后才被发现的。因而这份证明版本得到许多部分是通过更泛用的工具完成的。
*由于最终结论并不确定，第一代证明涵盖了许多独立存在的完整定理用于处理一些重要的特殊情况。这些大量的证明定理的工作致力于分析数目繁多的特殊情况。如果给出一个更大、更精密的证明，这些氮杂的特殊情况就可以推迟到最有力的假设被证明之后再处理了。而这样做的代价就是，像第一代证明那样的一系列简短证明不复存在，而是会被一个更加周密的分类所涵盖。
*第一代证明中的很多定理存在重叠部分，将一些可能的情况以一种效率低下的方式进行分类。因而有限单群的族和子族有时被重复验证了很多次。修正后的证明将依赖于不同的情形细分以规避这些冗余。
*有限群理论研究者现在对于这种练习已经有了更丰富的经验，并且在处理这些结构时掌握着更先进的工具。
Aschbacher (2004) 将 Ulrich Meierfrankendeld，Bernd Stellmacher，Gernot Stroth以及其它一些人在分类问题上的工作称作'''第三代分类问题'''。其目标之一是使用合并法统一处理所有特征 2 型群。

除去对特例的简化，一些新的方法和工具也被应用到简化上，数学家最近使用[[计算群论]]和[[范畴论]]的理论方法实现 [[迈克尔·阿什巴赫|Aschbacher]] 在[https://authors.library.caltech.edu/72057/1/S0273-0979-2016-01538-2.pdf Fusion Theory]提出的简化计划，现在的具体方法是通过 
MAGMA 算法解决较小阶的[[p群]]问题。<ref>{{cite journal |author1=Parker C, Semeraro J |title=Algorithms for fusion systems with applications to 𝑝-groups of small order |journal=Mathematics of Computation |date=2021 |issue=2415-2461 |page=90(331) |url=https://www.ams.org/mcom/2021-90-331/S0025-5718-2021-03634-0/}}</ref>

=== 证明的长度 ===
Gorenstein 给出过一些原因，解释为什么分类定理可能没有一个像[[紧李群|紧 Lie 群]]分类工作那样的简短的证明。

* 最显而易见的原因是，单群的种类客观上本就很复杂：有 26 个散在群，他们在任何证明中都只能被当作许多特殊情况处理。至今还没有人能够给出一个清晰的统一表述去像 [[根系 (数学)|Dynkin 根系]]处理紧 Lie 群分类定理一样参数化地描述这些单群。
* Atiyah 和其他人建议，分类定理应当通过构建一些这些群作用的几何对象并对其进行分类来简化。问题在于，还没有人能够给出一个简单的方式以寻找这样一个联系到单群的几何对象。在某种意义上，分类定理的确依靠寻找几何对象比如 {{Link-en|BN-对|BN-pairs}}而运作。
* 其他一些简化的建议是让[[群表示论]]发挥更大的作用。这里的问题则是，表示论似乎要对群的子群进行非常细致的控制才能很好地起作用。对于小秩的群来说，我们或许能进行这样的控制使得表示论发挥作用，但对大秩的群来说，还没有人能成功将其用于简化分类定理。在分类工作的早期，人们花费了大量精力去尝试应用表示论，但在较高秩的情况中没有获得多少成功。

== 参见 ==

# {{Link-en|信号化子函子|signalizer functor}}
# {{Link-en|O'Nan-Scott 定理|O'Nan-Scott theorem}}

== 注释 ==
<references group="注释" />

== 参考文献 ==
<references />

==外部連結==
*[https://www.reddit.com/r/math/comments/99brzy/the_periodic_table_of_finite_simple_groups/ The Periodic Table of Finite Simple Groups] {{Wayback|url=https://www.reddit.com/r/math/comments/99brzy/the_periodic_table_of_finite_simple_groups/ |date=20180828103604 }}

[[Category:群論|Y]]
[[Category:散在群|*]]
[[Category:有限群|Y]]
[[Category:代数定理|Y]]