Twierdzenie Gorensteina-Harady

W matematycznej teorii grup skończonych , twierdzenie Gorensteina-Harady , udowodnione przez Gorensteina i Haradę ( 1973 , 1974 ) w 464-stronicowym artykule, klasyfikuje proste grupy skończone o przekrojowym 2-ranowym co najwyżej 4. Jest to część klasyfikacji skończone grupy proste .

Skończone proste grupy sekcji 2, które mają rangę co najmniej 5, mają podgrupy Sylowa 2 z samocentralizującą się podgrupą normalną o randze co najmniej 3, co oznacza, że ​​muszą one być albo typu składowego , albo typu charakterystycznego 2 . Dlatego twierdzenie Gorensteina-Harady dzieli problem klasyfikacji skończonych grup prostych na te dwa podprzypadki.

•    Gorenstein, D .; Harada, Koichiro (1973), „Skończone grupy przekrojowe 2-rzędowe co najwyżej 4”, w: Gagen, Terrence; Hale, Mark P. Jr.; Shult, Ernest E. (red.), Grupy skończone '72. Proceedings of the Gainesville Conference on Finite Groups, 23-24 marca 1972 , North-Holland Math. Studia, tom. 7, Amsterdam: Holandia Północna, s. 57–67, ISBN 978-0-444-10451-9 , MR 0352243
•    Gorenstein, D .; Harada, Koichiro (1974), grupy skończone, których 2-podgrupy są generowane przez co najwyżej 4 elementy , Memoirs of the American Mathematical Society, tom. 147, Providence, RI: Amerykańskie Towarzystwo Matematyczne , ISBN 978-0-8218-1847-3 , MR 0367048