|
gptkbp:instanceOf
|
mathematical project
|
|
gptkbp:contribution
|
classification of all finite simple groups
|
|
gptkbp:field
|
group theory
|
|
gptkbp:fullName
|
Classification of Finite Simple Groups
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
CFSG
|
|
gptkbp:impact
|
major achievement in 20th-century mathematics
|
|
gptkbp:lengthOfProof
|
over 10,000 pages
|
|
gptkbp:notablePerson
|
gptkb:Robert_Wilson
gptkb:Bernd_Fischer
gptkb:Graham_Higman
gptkb:John_G._Thompson
gptkb:Ronald_Solomon
gptkb:Walter_Feit
gptkb:Zvonimir_Janko
gptkb:Jacques_Tits
gptkb:Michael_Aschbacher
gptkb:Richard_Lyons
gptkb:Robert_Griess
gptkb:Stephen_D._Smith
gptkb:Daniel_Gorenstein
gptkb:John_Conway
|
|
gptkbp:notablePublication
|
The Classification of the Finite Simple Groups (series of books and papers)
|
|
gptkbp:numberOfFamilies
|
gptkb:groups_of_Lie_type
26 sporadic groups
alternating groups of degree at least 5
cyclic groups of prime order
|
|
gptkbp:numberOfSporadicGroups
|
26
|
|
gptkbp:relatedConcept
|
gptkb:group_of_people
gptkb:mathematics
group theory
simple group
sporadic group
|
|
gptkbp:result
|
finite simple groups are classified into several families and 26 sporadic groups
|
|
gptkbp:startYear
|
1955
|
|
gptkbp:status
|
proof being simplified and revised
|
|
gptkbp:yearCompleted
|
1983
|
|
gptkbp:bfsParent
|
gptkb:Canadian_Forces_Support_Group
|
|
gptkbp:bfsLayer
|
7
|