Gruppentheorie (Algebra)/Satz von Lagrange/Fakt

Der Satz von Lagrange

Gruppe endlich/Situation und ${}H\subseteq G$ eine Untergruppe von ${}G$ .

Dann ist ihre Kardinalität ${}{\#\left(H\right)}$ ein Teiler von ${}{\#\left(G\right)}$ .