Enormous Theorem

URI: https://gptkb.org/entity/Enormous_Theorem

GPTKB entity

Statements (61)

Predicate	Object
gptkbp:instanceOf	gptkb:mathematical_concept
gptkbp:alsoKnownAs	Classification Theorem for Finite Simple Groups
gptkbp:areaOfMathematics	group theory
https://www.w3.org/2000/01/rdf-schema#label	Enormous Theorem
gptkbp:notablePerson	gptkb:Michio_Suzuki gptkb:Claude_Chevalley gptkb:Emil_Artin gptkb:Ernst_Steinitz gptkb:Ernst_Witt gptkb:Ferdinand_Georg_Frobenius gptkb:Hans_Zassenhaus gptkb:Jean-Pierre_Serre gptkb:John_H._Conway gptkb:Richard_Brauer gptkb:Robert_Wilson gptkb:Otto_Schmidt gptkb:Bernd_Fischer gptkb:Robert_Curtis gptkb:Graham_Higman gptkb:John_G._Thompson gptkb:John_McKay gptkb:John_Walter gptkb:Leonard_Eugene_Dickson gptkb:Ronald_Solomon gptkb:Walter_Feit gptkb:Wilhelm_Killing gptkb:Michael_O'Nan gptkb:Zvonimir_Janko gptkb:Élie_Cartan gptkb:Issai_Schur gptkb:Jacques_Tits gptkb:Charles_Sims gptkb:Donald_Higman gptkb:H._S._M._Coxeter gptkb:Helmut_Wielandt gptkb:Martin_Liebeck gptkb:Michael_Aschbacher gptkb:Philip_Hall gptkb:Richard_Lyons gptkb:Robert_Griess gptkb:Stephen_D._Smith gptkb:Michael_Ward gptkb:Daniel_Gorenstein gptkb:William_Burnside gptkb:J._A._Todd gptkb:G._A._Miller gptkb:Simon_Norton gptkb:J._H._Conway J. L. Alperin L.E. Dickson Peter Kleidman Robert Ree William Feit
gptkbp:proofLength	over 10,000 pages
gptkbp:provenBy	collaborative effort of mathematicians
gptkbp:publishedIn	1980s
gptkbp:result	classification of all finite simple groups
gptkbp:state	every finite simple group is either cyclic, alternating, a group of Lie type, or one of 26 sporadic groups
gptkbp:subject	finite simple groups
gptkbp:bfsParent	gptkb:The_Classification_of_Finite_Simple_Groups
gptkbp:bfsLayer	6