Gruppentheorie/Sylow/Primpotenzteiler als Ordnung/Fakt

Aus Wikiversity
Satz von Sylow

Es sei eine endliche Gruppe der Ordnung , wobei eine Primzahl und zu teilerfremd ist.

Dann besitzt eine Untergruppe der Ordnung .