Gruppentheorie (Algebra)/Satz von Lagrange/Fakt

Der Satz von Lagrange

Sei eine endliche Gruppe und eine Untergruppe von .

Dann ist ihre Kardinalität ein Teiler von .