## [Sylow-Sätze](/de/node/63923) Definition Ein Dreiersatz fundamentaler Resultate über p-Untergruppen in endlichen Gruppen: Existenz (für eine Primzahl p, die die Gruppenordnung teilt, existiert eine Untergruppe der Ordnung p^n, wobei p^n die maximale p-Potenz in |G| ist), Konjugation (alle Sylow-p-Untergruppen sind zueinander konjugiert) und Zählung (die Zahl n_p der Sylow-p-Untergruppen erfüllt n_p ≡ 1 (mod p) und teilt den p′-Teil von |G|). Diese Sätze beschränken die Untergruppenstruktur in endlichen Gruppen stark. ## Prinzip Prinzip Die Sylow-Theorie vereint Zählargumente mit Gruppenwirkungen auf Nebenklassenmengen: maximale p-Untergruppen existieren durch Cauchy-ähnliche Existenz und sind bis auf Konjugation gleichartig; Gruppenwirkungen und der Bahn-Stabilisator-Satz liefern Kongruenz- und Teilbarkeitsbedingungen für die Zahl solcher Untergruppen. ## Demonstration Demonstration Beispiel: Eine Gruppe G der Ordnung 12 = 2^2·3 hat Sylow-3-Untergruppen der Ordnung 3; die Zahl n_3 teilt 4 und erfüllt n_3 ≡ 1 (mod 3), also n_3 = 1, was bedeutet, dass die eindeutige Sylow-3-Untergruppe normal ist. Das schränkt die möglichen Gruppenstrukturen der Ordnung 12 sofort ein. ## Fehlanwendung Fehlanwendung Sylow-Untergruppen automatisch als normal oder eindeutig zu betrachten, ohne die Zählbedingung zu prüfen. Beispielsweise führt die Annahme, jede Sylow-p-Untergruppe sei normal, zu falschen Zerlegungen; ein weiterer Missbrauch ist, Sylow-Schlüsse auf unendliche Gruppen oder auf Untergruppenordnungen anzuwenden, die keine maximalen p-Potenzen sind. ## Konsequenz Konsequenz Bietet starke Werkzeuge zur Klassifikation endlicher Gruppen und reduziert Strukturfragen oft auf die Analyse von p-Untergruppen und ihren Konjugationsklassen. Sylow-Bedingungen sind häufig der erste Schritt bei der Klassifikation kleiner Gruppen und beim Nachweis normaler p-Komplemente unter zusätzlichen Voraussetzungen. ## Umkehrung Umkehrung Die umgekehrte Perspektive untersucht p′-Untergruppen oder Hall-Untergruppen (Untergruppen deren Ordnung zu p teilerfremd ist); während Sylow-Sätze Existenz und Konjugierbarkeit maximaler p-Potenz-Untergruppen garantieren, erfordert die Existenz analoger Hall-Untergruppen stärkere Voraussetzungen und gilt nicht allgemein in endlichen Gruppen. ## Abgrenzung Abgrenzung Gilt nur für endliche Gruppen und für Primzahlen p, die die Gruppenordnung teilen. Der Satz trifft keine Aussagen über Untergruppen beliebiger Ordnung, über unendliche Gruppen und garantiert Normalität nur dann, wenn die Zählung die Eindeutigkeit (n_p = 1) erzwingt. ## Semantische Spannung Semantische Spannung Semantische Spannung besteht zwischen Sylow-Untergruppen und anderen Maximalitätsbegriffen: Sylow-p-Untergruppen sind maximal unter den p-Untergruppen, müssen aber nicht eindeutig oder charakteristisch sein; sie stehen im Kontrast zu normalen p-Untergruppen, Hall-Untergruppen und dem Fitting-Untergruppe, deren Existenz oder Einzigartigkeit andere Bedingungen erfordern. ## Synthese Synthese Die Sylow-Sätze besagen, dass für jede Primzahl p, die |G| teilt, Untergruppen der maximalen p-Potenz existieren, alle solchen Sylow-p-Untergruppen sind konjugiert, und ihre Anzahl erfüllt konkrete Kongruenz- und Teilbarkeitsbedingungen; diese Resultate kontrollieren die p-lokale Struktur endlicher Gruppen und sind grundlegend für deren Untersuchung.