The Classification of Finite Simple Groups

这位研究人员和他的同事继续他们的项目，为有限单群的分类写出一个完整的、有效的和基本上自包含的证明。在完成了这个项目的四卷之后，他们正在准备接下来的四卷，这四卷构成了证明的核心、一般情况和特殊的特殊情况。这些情况包括奇型有限单群的识别，这类群包括定义在奇数阶有限域上的几乎所有的交错群和Lie型群，以及26个零星群中的5个。在过去的两个世纪里，被称为‘群’的数学对象一直是整个数学领域中最基本和最受研究的对象之一。群是一种抽象的数学对象，人们可以通过它来表述和研究对称性，无论是在化学分子、晶体、原子、密码、网络中，还是在抽象的数学结构中。每一个这样的物体都有一个称为“对称群”的群，它捕捉到了物体的对称性，并使基于对称性的某些有用的计算成为可能。例如，在许多复杂的计数方案中，在许多编码和解码算法中，在X射线结晶学和量子物理中，对称群的识别和利用是决定性的。最基本的群是所谓的‘单’群；例如，所有的有限群(对应于具有有限个对称性的对象)都是由有限的‘单’群构成的。事实上，在重要应用中出现的许多有限群都是简单或近乎简单的。因此，确定所有有限单群的问题无论在理论上还是在应用上都是非常重要的。对这一问题的深入研究始于20世纪50年代初的S，经过调查人员和他的同事以及其他研究人员的工作已接近成果。

The investigator and his colleague continue their project to write a complete, efficient and substantially self-contained proof of the classification of the finite simple groups. Having completed four volumes of this project, they are preparing the next four volumes, constituting the heart of the proof, the generic case and the special odd case. These cases cover the identification of the finite simple groups of odd type, a class including almost all of the alternating groups and the groups of Lie type defined over finite fields of odd order, as well as five of the twenty-six sporadic groups.For the past two centuries the mathematical objects called ``groups'' have been among the most fundamental and most studied in the entire landscape of mathematics. A group is an abstract mathematical object by which one may formulate and study symmetry, whether in chemical molecules, crystals, atoms, codes, networks, or abstract mathematical structures. Each such object possesses a group called its ``symmetry group'' which captures the symmetry properties of the object and which makes possible certain kinds of useful calculations based on symmetry. For example, the recognition and exploitation of symmetry groups is decisive in many complex counting schemes, in many algorithms for coding and decoding, in X-ray crystallography and in quantum physics. The most fundamental groups are the so-called ``simple'' groups; for example, all the finite groups (those corresponding to objects possessing a finite number of symmetries) are built out of finite ``simple'' groups. Indeed many finite groups which arise in important applications are simple or nearly simple. For these reasons, the problem of determining all the finite simple groups is of paramount importance from both the theoretical and applied perspectives. The intensive investigation of this problem began in the early 1950's, and is nearing fruition through the work of the investigator and his colleague, as well as other researchers.