Revision #72 → #1082 · back to history
addedClassification of finite simple groups (informal)2503f4ce1cb1
addedJordan–Hölder theorem090b9af846a2
addedClassification theorem (formal statement)345eafffca4b
addedStructure of low 2-rank simple groups910bf51c1f05
addedFeit–Thompson theorem (odd order solvable)c727c3392b0f
addedSimple groups of 2-rank 1a78206928154
addedAlperin's theorem on Sylow 2-subgroups of 2-rank 273352fcce2b3
addedGorenstein–Walter theorem169e4bc0f7fc
addedAlperin–Brauer–Gorenstein theorem19022941b27e
addedLyons' result on U3(4)e750b4152310
addedGorenstein–Harada theorem6875cbdead49
addedMacWilliams' connectedness theoreme6c41aaa9754
addedBalance theorem (component vs characteristic 2 type)d007f6703ac6
addedGroup of component type5c51b98f8051
addedB-theoreme7ca1b5e4ca1
addedGroup of characteristic 2 type602b40d4ff6c
addedClassification of thin groups (rank 1)24860a311862
addedClassification of quasithin groups (rank 2)f4a1ebc738c7
addedTrichotomy theoreme4302d15860a
addedGilman–Griess theorem (standard type)1b2288eb2b48
addedNo simple groups of uniqueness typea1cb69dacf64
addedAschbacher's classical involution theorem386e94591eea
addedSimple thin finite groups80acc6e8e180
addedSignalizer functor theorem for odd primes (McBride)92a97e0edb64
addedQuasithin group5708b3da7c45
addedGraph isomorphism algorithm breakthroughd80a3be7510b
addedSchreier conjecture2cc137f66139
addedSignalizer functor theorem0a9c3a3c1961
addedB conjecture4192927e4310
addedSchur–Zassenhaus theorem for all groups8c2acbac7b0c
addedFixed-point-free element of prime power orderc4d1a2171ab8
addedClassification of 2-transitive permutation groupsebb7babc8ea3
addedClassification of rank 3 permutation groupsb57e0f8df681
addedSims conjecturefbe96122c54f
addedFrobenius's conjecture on solutions of x^n = 1ec5925eb444e
addedSimple groups characterized by commuting graphscb2aeeb900c1