The Classification of Finite Simple Groups

GPTKB entity

Predicate	Object
gptkbp:instanceOf	gptkb:mathematical_concept
gptkbp:alsoKnownAs	gptkb:Enormous_Theorem
gptkbp:completedIn	1980s
gptkbp:describes	classification of all finite simple groups
gptkbp:field	group theory finite group theory
https://www.w3.org/2000/01/rdf-schema#label	The Classification of Finite Simple Groups
gptkbp:influenced	modern algebra mathematical classification projects
gptkbp:notableFor	largest collaborative proof in mathematics
gptkbp:proofContributors	gptkb:John_G._Thompson gptkb:Ronald_Solomon gptkb:Michael_Aschbacher gptkb:Richard_Lyons gptkb:Daniel_Gorenstein
gptkbp:proofLength	over 10,000 pages
gptkbp:relatedTo	gptkb:Weyl_group gptkb:group_of_people cyclic group sporadic group
gptkbp:result	every finite simple group is either cyclic of prime order, alternating group of degree at least 5, a group of Lie type, or one of 26 sporadic groups
gptkbp:significance	major achievement in 20th-century mathematics
gptkbp:status	proof revised and simplified since 2004
gptkbp:surveyedBy	gptkb:Aschbacher:_Finite_Group_Theory_(book) gptkb:Gorenstein,_Lyons,_Solomon:_The_Classification_of_the_Finite_Simple_Groups_(book_series) gptkb:Gorenstein:_Finite_Simple_Groups:_An_Introduction_to_Their_Classification_(book) gptkb:Wilson:_The_Finite_Simple_Groups_(book)
gptkbp:bfsParent	gptkb:Daniel_Gorenstein
gptkbp:bfsLayer	5