## [Sylow-Sätze](/de/node/61262) Definition Eine Sammlung von drei grundlegenden Aussagen über p-Untergruppen endlicher Gruppen: Existenz (es gibt eine Untergruppe von der größten p-Potenz, die die Gruppenordnung teilt), Konjugation (alle derartigen maximalen p-Untergruppen sind zueinander konjugiert) und Zählung (die Anzahl dieser Untergruppen erfüllt bestimmte Kongruenz- und Teilbarkeitsbedingungen). ## Prinzip Prinzip Maximale p-Untergruppen in endlichen Gruppen sind durch Konjugation verbunden und unterliegen arithmetischen Beschränkungen, sodass Existenz, Konjugierbarkeit und Zahl dieser Untergruppen eng verknüpft sind. ## Demonstration Demonstration Für die symmetrische Gruppe S3 mit |S3| = 6 und p = 3 existiert eine Untergruppe der Ordnung 3 (die von einer 3-Zykel erzeugte Gruppe); alle solchen Untergruppen sind in S3 konjugiert, und ihre Anzahl ist ≡ 1 (mod 3) und teilt 2, also gibt es genau eine Sylow-3-Untergruppe, die damit normal ist. ## Fehlanwendung Fehlanwendung Die Einzigkeit einer Sylow-p-Untergruppe automatisch als Rechtfertigung für andere strukturelle Schlüsse zu verwenden oder die Sylow-Aussagen auf unendliche Gruppen oder auf Teiler der Gruppenordnung, die keine p-Potenzen sind, anzuwenden. ## Konsequenz Konsequenz Ergibt starke Einschränkungen für mögliche Gruppenstrukturen: Existenz liefert Kandidaten zur weiteren Untersuchung, Konjugation reduziert die Analyse auf einen Repräsentanten, und die Zählbedingungen beschränken die möglichen Anordnungen, was häufig Normalität oder bestimmte semidirekte Produkte erzwingt. ## Umkehrung Umkehrung Würde man die Theoreme umkehren, hätte man entweder keine maximalen p-Untergruppen, keine Konjugierbarkeit oder keine arithmetischen Beschränkungen ihrer Anzahl; ein solches umgekehrtes Bild tritt in unendlichen Gruppen oder ohne die Voraussetzungen zu p-Potenzen auf und zeigt die Notwendigkeit der Voraussetzungen. ## Abgrenzung Abgrenzung Gilt nur für endliche Gruppen und für Untergruppen deren Ordnung eine Potenz einer Primzahl p ist, die die Gruppenordnung teilt; es trifft keine Aussage über Untergruppen mit Ordnungen, die keine Primzahlpotenzen sind, noch über unendliche oder topologische Gruppen ohne Zusatzannahmen. ## Semantische Spannung Semantische Spannung Der Begriff 'Sylow-p-Untergruppe' wird gelegentlich mit 'maximaler p-Untergruppe' verwechselt — formal hat eine Sylow-p-Untergruppe die höchste p-Potenz als Ordnung, während 'maximal nach Inklusion' im Allgemeinen eine andere Bedeutung haben kann; in endlichen Gruppen fallen diese Begriffe zusammen, bei Verallgemeinerungen ist die Unterscheidung wichtig. ## Synthese Synthese Die Sylow-Sätze bilden ein kompaktes Instrumentarium: Sie sichern die Existenz maximaler p-Untergruppen in endlichen Gruppen, zeigen deren Konjugierbarkeit und legen scharfe arithmetische Schranken für ihre Zahl fest, was konkrete Schlüsse über die Gruppenstruktur erlaubt.