Sylowsche Untergruppen von unendlichen Gruppen. (Q2595617)

Eine Untergruppe \(\mathfrak P\) der unendlichen Gruppe \(\mathfrak G\) heißt \(p\)-Sylowgruppe, wenn die Ordnung jedes Elements von \(\mathfrak P\) eine Potenz der Primzahl \(p\) ist und wenn \(\mathfrak P\) in keiner umfassenderen derartigen Untergruppe enthalten ist. Es gilt folgender Satz: Hat der Normalisator von \(\mathfrak P\) endlichen Index in \(\mathfrak G\), so erschöpfen die zu \(\mathfrak P\) konjugierten Untergruppen schon sämtliche \(p\)-Sylowgruppen von \(\mathfrak G\); ihre Anzahl ist kongruent \(1 \text{\,mod}\, p\).