Mathematical Sciences: The Classification of the Finite Simple Groups

这个项目代表了一个密集的合作研究努力，旨在全面修订和简化有限简单群的分类。群是具有单一运算的代数结构。它出现在数学的许多领域，以及物理和化学。有限群的基本组成部分是有限单群。过去十年数学的主要成果之一是有限单群的分类，证明它需要1万到1.5万页的期刊。所支持的研究是一项共同努力，目的是对这一证明进行独立、简化和连贯的处理。

This project represents an intensive collaborative research effort directed towards a comprehensive revision and simplification of the classification of the finite simple groups. A group is an algebraic structure with a single operation. It appears in many areas of mathematics, as well as physics and chemistry. The fundamental building blocks of finite groups are finite simple groups. One of the major results in mathematics of the past decade is the classification of finite simple groups, the proof of which would require 10,000 to 15,000 journal pages. The research supported is a joint effort to produce a self-contained, simplified and coherent treatment of this proof.