Gorenstein-Harada-satsen

Inom matematisk finita gruppteori klassificerar Gorenstein –Harada-satsen , bevisad av Gorenstein och Harada ( 1973 , 1974 ) i en 464-sidig uppsats, de enkla finita grupperna i sektion 2-rang som högst 4. Det är en del av klassificeringen av ändliga enkla grupper .

Finita enkla grupper av sektion 2 som rankas minst 5, har Sylow 2-undergrupper med en självcentraliserande normal undergrupp av rankning minst 3, vilket innebär att de måste vara av antingen komponenttyp eller av karakteristisk 2-typ . Därför delar Gorenstein-Harada-satsen upp problemet med att klassificera ändliga enkla grupper i dessa två underfall.