Gorensteinin–Haradan teoreema

Äärellisten ryhmien teoriassa Gorensteinin–Haradan teoreema on lause, joka luokittelee ne äärelliset yksinkertaiset ryhmät, joiden sektionaalinen 2-rankki on korkeintaan neljä. Tulos on osa äärellisten yksinkertaisten ryhmien luokittelua. Lauseen todistus julkaistiin 464-sivuisessa artikkelissa.

Äärellisillä yksinkertaisilla ryhmillä, joiden sektionaalinen 2-rankki on vähintään viisi, on Sylowin 2-aliryhmät, joilla on itsekeskittävä normaali aliryhmä, jonka rankki on vähintään kolme. Tästä seuraa, että nämä ovat joko komponenttityyppisiä tai karakteristikan kaksi tyyppisiä. Siten Gorensteinin–Haradan lause jakaa äärellisten yksinkertaisten ryhmien luokittelun näihin kahteen osaan.

Lähteet  

Ryhmäteoria
Matemaattiset teoreemat