Eine Sammlung von Sätzen, die für eine endliche Gruppe und eine zu ihrer Ordnung teilende Primzahl p das Vorkommen von p-Untergruppen maximaler p-Potenz (Sylow-p-Untergruppen), ihre Konjugations-Eigenschaften und Kongruenz-/Zählbeschränkungen ihrer Anzahl beschreiben.

Prinzip

Die Zerlegung der Gruppenordnung in p^k mal p′-Teil zwingt zur Existenz von Untergruppen der maximalen p-Potenz; Konjugations- und Zählformeln kontrollieren Lage und Normalität dieser Untergruppen.

Demonstration

Ist |G|=12=2^2·3, garantieren die Sylow-Sätze Untergruppen der Ordnung 4 und 3; die Zählkongruenz beschränkt die Anzahl der Sylow-3-Untergruppen auf Werte ≡1 (mod 3) und Teiler von 4, was in diesem Fall Einzigartigkeit und damit Normalität erzwingt.

Fehlanwendung

Sylow-Folgerungen auf unendliche Gruppen oder auf Primzahlen anzuwenden, die die Gruppenordnung nicht teilen, oder aus der bloßen Existenz von Sylow-Untergruppen auf Abelscharft zu schließen; Einzigartigkeit bedeutet Normalität, nicht Kommutativität.

Konsequenz

Liefern starke strukturelle Beschränkungen in Klassifizierungsargumenten: Existenz gibt Untergruppen zum Studium, Konjugation reduziert auf Normalisatoren und Zählkriterien schließen unmögliche Ordnungen aus.

Umkehrung

Statt p-Untergruppen zu betrachten, kann man Hall-Untergruppen (Ordnungen mit bestimmten Primteiler-Sets) oder Sylow-Komplemente untersuchen; diese strukturellen Aussagen unterscheiden sich und folgen nicht generell aus den Sylow-Sätzen.

Abgrenzung

Gilt nur für endliche Gruppen und Primzahlen, die die Gruppenordnung teilen. Es macht keine Aussagen über den Isomorphietyp der Sylow-Untergruppen, sondern nur über Existenz, Konjugation und numerische Einschränkungen.

Semantische Spannung

Spannung zwischen Sylow-Theorie und anderen Existenzresultaten (z. B. Sylow vs. Hall oder die Klassifikation einfacher Gruppen): Sylow liefert lokale p-Informationen, die globale Struktur erfordert oft zusätzliche Werkzeuge.

Synthese

Die Sylow-Sätze liefern das Dreigestirn Existenz–Konjugation–Zählung, das maximale p-Untergruppen als lokale Bausteine in der Analyse endlicher Gruppen identifiziert und arithmetische Beschränkungen vorgibt, die Klassifikation und Normalitätsargumente leiten.