Gruppentheorie/Sylow/Primpotenzteiler als Ordnung/Fakt

Satz von Sylow

Es sei ${}G$ eine endliche Gruppe der Ordnung ${}n=kp^{r}$, wobei ${}p$ eine Primzahl und ${}k$ zu ${}p$ teilerfremd ist.

Dann besitzt ${}G$ eine Untergruppe der Ordnung ${}p^{r}$.

Einen Beweis erstellen