Difference between revisions
classification-finite-simple-groups
Status and infobox
- status:
—→ solved - tier:
—→ V3 - kind:
—→ problem - year:
—→ 1892 - statement:
—→ Every finite simple group is cyclic, alternating, of Lie type, or one of 26 sporadic groups.
Source +20 −0
+---
+title: Classification of finite simple groups
+kind: problem
+status: solved
+tier: V3
+year: 1892
+statement: Every finite simple group is cyclic, alternating, of Lie type, or one of 26 sporadic groups.
+space: algebra
+---
+The proof spans tens of thousands of pages by more than a hundred authors over fifty years. A 'second generation' proof, begun by Gorenstein, Lyons and Solomon, is still being written up to make it checkable by one person. It is the strongest argument for formal verification at scale.
+
+*Evidence tier V3 is the import default for a result the curation records as settled in the published record. No formal proof or certificate is attached to this page yet.*
+
+Closed 1983 announced; 2004 gaps closed (Aschbacher and Smith).
+
+## Sources
+
+- [Wikipedia: Classification of finite simple groups](https://en.wikipedia.org/wiki/Classification_of_finite_simple_groups)
+
+[[Space:algebra|Algebra and groups]] · [[Continent:mathematics|Mathematics]]
Revision 52 as rendered
The proof spans tens of thousands of pages by more than a hundred authors over fifty years. A 'second generation' proof, begun by Gorenstein, Lyons and Solomon, is still being written up to make it checkable by one person. It is the strongest argument for formal verification at scale.
Evidence tier V3 is the import default for a result the curation records as settled in the published record. No formal proof or certificate is attached to this page yet.
Closed 1983 announced; 2004 gaps closed (Aschbacher and Smith).