Sylow-Sätze

Die Sylow-Sätze beschreiben die Untergruppen einer endlichen Gruppe, deren Ordnung die größte Potenz einer gegebenen Primzahl ist, die die Gruppenordnung teilt, und garantieren deren Existenz, Konjugiertheit und eine genaue Anzahl.

Definition

Für eine Primzahl p und eine endliche Gruppe G, deren Ordnung das p^k-fache einer zu p teilerfremden ganzen Zahl ist, ist eine Sylow-p-Untergruppe eine Untergruppe der Ordnung p^k. Die Sylow-Sätze besagen, dass solche Untergruppen existieren, dass alle konjugiert sind und dass ihre Anzahl kongruent zu 1 modulo p ist und den Index teilt.

Scope

Dieses Thema behandelt die Definition einer Sylow-p-Untergruppe, die drei Sylow-Sätze über Existenz, Konjugiertheit und die Anzahl der Sylow-Untergruppen sowie deren Standardanwendungen zum Nachweis der Nicht-Einfachheit und zur Klassifizierung kleiner endlicher Gruppen.

Core questions

• Existieren Untergruppen maximaler Primzahlpotenzordnung immer in einer endlichen Gruppe?
• Wie sind zwei beliebige Sylow-p-Untergruppen zueinander in Beziehung gesetzt?
• Welche Einschränkungen legt die Anzahl der Sylow-p-Untergruppen der Gruppenstruktur auf?
• Wie werden die Sylow-Sätze verwendet, um zu beweisen, dass Gruppen bestimmter Ordnungen nicht einfach sind?

Key theories

Erster Sylow-Satz (Existenz)

Wenn p^k die größte Potenz der Primzahl p ist, die die Ordnung einer endlichen Gruppe teilt, dann enthält die Gruppe mindestens eine Untergruppe der Ordnung p^k.

Zweiter Sylow-Satz (Konjugiertheit)

Alle Sylow-p-Untergruppen einer endlichen Gruppe sind zueinander konjugiert, und jede p-Untergruppe ist in einer Sylow-p-Untergruppe enthalten.

Dritter Sylow-Satz (Anzahl)

Die Anzahl der Sylow-p-Untergruppen ist kongruent zu 1 modulo p und teilt den Index einer Sylow-p-Untergruppe, wodurch die mögliche Anzahl stark eingeschränkt wird.

Clinical relevance

Die Sylow-Sätze sind das primäre Werkzeug zur Analyse der Struktur endlicher Gruppen: Durch das Zählen von Sylow-Untergruppen wird häufig gezeigt, dass eine normale Untergruppe existieren muss, wodurch bewiesen wird, dass Gruppen vieler Ordnungen nicht einfach sein können, ein wichtiger Schritt zur Klassifizierung endlicher einfacher Gruppen.

History

Ludwig Sylow bewies diese Sätze im Jahr 1872 und erweiterte damit Cauchys früheres Ergebnis, dass eine Primzahl, die die Gruppenordnung teilt, ein Element dieser Ordnung erzwingt. Frobenius lieferte später Beweise, die für abstrakte Gruppen gültig waren, und die Sätze wurden grundlegend für die Theorie der endlichen Gruppen.

Key figures

• Ludwig Sylow
• Augustin-Louis Cauchy
• Georg Frobenius

Seminal works

• dummit2004
• rotman1995
• isaacs2008

Frequently asked questions

Was ist eine Sylow-p-Untergruppe intuitiv?

Es ist eine Untergruppe, die alle Primzahlen p erfasst, die die Gruppenordnung enthält: Ihre Größe ist die volle Potenz von p, die die Gruppenordnung teilt. Die Sätze besagen, dass solche maximalen p-Untergruppen immer existieren und bis auf Konjugation im Wesentlichen eindeutig sind.

Wie zeigen die Sätze, dass eine Gruppe nicht einfach ist?

Wenn die Kongruenz- und Teilbarkeitsbedingungen erzwingen, dass die Anzahl der Sylow-p-Untergruppen genau eins ist, dann ist diese Untergruppe normal, sodass die Gruppe eine echte nichttriviale normale Untergruppe besitzt und nicht einfach sein kann.