分类

若结果是正确的话，分类表示每个有限简单群都会是下列每类型的其中一种：

素数阶循环群

至少5阶的交替群

典型群

例外或缠绕李群

剩下26种被称为散在群的其中之一（见下表）

此一定理在数学的许多分支都有着广泛的应用，有关有限群的问题通常可以归并至有关有限简单群的问题上，再依此一分类即可将问题限于有限个例子的列举。

有时提次群会被归类为一种散在群（在此故而有27个散在群），因为严格来说它不是李群。

散在群

散在群中的其中五个是在1860年代中由马提厄（Mathieu）所发现的，而其他的21个则是在1965年至1975年之间被找出来的。有一些此类的群在它们被建构出来前曾被预测其会存在。大多数此类的群是以第一个预测出其存在之数学家来命名的。其完整的列表如下：

马蒂厄群M11、M12、M22、M23、M24

扬科群J1、J2(HJ)、J3(HJM)、J4

康威群Co1、Co2、Co3

费歇尔群 Fi22、Fi23、Fi24(Fi24′)

希格曼-西姆斯群 HS

麦克劳林群McL

赫尔得群 He(F7)

路多里斯群 Ru

铃木散在群Suz

欧南群 O"N

原田-诺顿群 HN(F5)

里昂群Ly

汤普森群 Th(F3)

子怪兽群 B(F2)

怪兽群M(F1)

对于所有散在群在有限域上的矩阵表示除了怪兽群之外都已经被算出来了。

在26个散在群当中，有20个可以看做是如怪兽群的子群或其子群的商一般地在怪兽群之内。其他6个为J1、J3、J4、O"N、Ru和Ly。这6个群有时会被称为贱民(pariahs)。

直至目前为止，对散在群的一个可信的统一叙述方面的进展还是很少。

对证明仍有的怀疑

因为发表出来的文章的长度及复杂度和实际上有些假设的证明还没有被发表出来，有些人依然对这些文章能否对此定理提供一个完整且正确的证明有所怀疑。让-皮埃尔·塞尔即为对其证明提出怀疑的人之中很有名的一位。这些怀疑被证实是证明中的空白，这些空间都在之后被找了出来且最终被填补了起来。

经过了一个年代的时间，专家们查觉到了一个“严重的空白”（由麦克·亚许巴赫所发现），在Geoff Mason（未发表地）对准薄群的分类上。葛仑斯坦（Gorenstein）在1983年宣称已完成有限简单群的分类，部分基于对准薄群方面的证明已完成的认知上。亚许巴赫在1990年代早期将此一空白填补起来。亚许巴赫和史蒂芬·史密斯发表了两册约有1300页的不同证明。

二代分类

因为有限简单群分类的证明真的实在是太长了，所以有许多被称做“修正”的工作，原本由丹尼尔·葛仑斯坦所领导，在找寻着一个更简单的证明。这即是所谓的二代分类证明。

直到2005年，已有六册被发表了出来，其他还有许多的原稿存在。亚许巴赫和史密斯的两册提供了可以作用在一代和二代证明上有关准薄群方面的一个证明。预计当新的证明完成之后将会有大约5000页的页数。（需注意的是，较新的证明会以较丰富的形式写出。）

葛仑斯坦和其同事给出了一些对于较简单的证明是可能达成的理由。其中最重要的一点是因为现在已经知道了正确且最终的叙述，而所能应用的技术也已足够用来研究这些群。相反地，在原本的证明里，没有人知道到底有多少个散在群，且实际上有些散在群还是在试图证明分类定理的过程中被发现出来的，如扬科群，以致于应用了些过分一般的技术。

而且，也因为不知道结论是什么，甚至有很长的一段时间是令人觉得不可信的，所以原本的证明中有含有许多个单独的完整定理，分类了一些重要的特例。这些定理为了达成其自身的最终叙述，必须要去分析数个特例。通常，大多数的工作都是在做这些例外的事情。做为一个较大且协调的证明之一部分，这些许多特例都是可以不需要去理会的，当更强的假设被加上来时即可得到。因此而得到的收获即为，原本的定理在修正后就不再会有那么较小的证明了，但还是会有一个完整的分类。

不再有那些需要去理会例子的再细分才有效的单独定理。多个目标的群因此都会有多重的等价。修正后的证明会依靠着不同例子的细分来减少其多余的部分。

最后，有限群论学家将会有更多的经验和更新的技术。

参考文献

Michael Aschbacher, The Status of the Classification of the Finite Simple Groups, 2004年8月美国数学学会上的介绍

Daniel Gorenstein, Richard Lyons, Ronald Solomon The Classification of the Finite Simple Groups（volume 1），AMS, 1994（volume 2），AMS,

Ron Solomon: On Finite Simple Groups and their Classification, 1995年美国数学学会上的介绍

Conway, J. H.; Curtis, R. T.; Norton, S. P.; Parker, R. A.; and Wilson, R. A.: "Atlas of Finite Groups: Maximal Subgroups and Ordinary Characters for Simple Groups." Oxford, England 1985。

Orders of non abelian simple groups：包含上至一千亿目的所有非可换简单群之列表

Atlas of Finite Group Representations：包含包括散在群在内的许多有限简单群的表示及他资料

免责声明：以上内容版权归原作者所有，如有侵犯您的原创版权请告知，我们将尽快删除相关内容。感谢每一位辛勤著写的作者，感谢每一位的分享。