Classification of finite simple groups: Difference between revisions

Revision as of 19:51, 12 November 2023

Revision as of 03:54, 12 December 2023

Line 2:

{{Group theory sidebar|Finite}}

In [[mathematics]], the '''classification of finite simple groups''' is a result of [[group theory]] stating that every [[List of finite simple groups|finite simple group]] is either [[cyclic group|cyclic]], or [[alternating groups|alternating]], or it belongs to a broad infinite class called the [[groups of Lie type]], or else it is one of twenty-six or twenty-seven exceptions, called [[sporadic groups|sporadic]]. The proof consists of tens of thousands of pages in several hundred journal articles written by about 100 authors, published mostly between 1955 and 2004.

Simple groups can be seen as the basic building blocks of all [[finite group]]s, reminiscent of the way the [[prime number]]s are the basic building blocks of the [[natural number]]s. The [[Jordan–Hölder theorem]] is a more precise way of stating this fact about finite groups. However, a significant difference from [[integer factorization]] is that such "building blocks" do not necessarily determine a unique group, since there might be many non-[[isomorphic]] groups with the same [[composition series]] or, put in another way, the [[group extension#Extension problem|extension problem]] does not have a unique solution.