Inom matematiken är Gorenstein–Haradas sats, bevisad av Gorenstein och Harada (1973, 1974) i en artikel på 464 sidor, ett resultat som klassificerar ändliga enkla grupper av sektionell 2-rang högst 4. Den är en del av klassificeringen av ändliga enkla grupper.
Ändliga enkla grupper av sektionell 2-rang minst 5 har Sylow-2-delgrupper med en självcentrerande normal delgrupp av rang minst 3, vilket betyder att de är antingen av komponenttyp eller karakteristik 2-typ. Gorenstein–Haradas sats reducerar alltså problemet av att klassificera ändliga enkla grupper till dessa två fall.
- Den här artikeln är helt eller delvis baserad på material från engelskspråkiga Wikipedia, Gorenstein–Harada theorem, 8 juni 2015.
- Gorenstein, D.; Harada, Koichiro (1973), ”Finite groups of sectional 2-rank at most 4”, i Gagen, Terrence; Hale, Mark P. Jr.; Shult, Ernest E., Finite groups '72. Proceedings of the Gainesville Conference on Finite Groups, March 23-24, 1972, North-Holland Math. Studies, "7", Amsterdam: North-Holland, s. 57–67, ISBN 978-0-444-10451-9
- Gorenstein, D.; Harada, Koichiro (1974), Finite groups whose 2-subgroups are generated by at most 4 elements, Memoirs of the American Mathematical Society, "147", Providence, R.I.: American Mathematical Society, ISBN 978-0-8218-1847-3, http://books.google.com/books?id=CzUZAQAAIAAJ