Argument von Frattini

Das Argument von Frattini, kurz das Frattini-Argument, ist eine nach dem italienischen Mathematiker Giovanni Frattini benannte Schlussweise aus dem mathematischen Teilgebiet der Gruppentheorie. Es ermöglicht, eine endliche Gruppe unter gewissen Umständen als Komplexprodukt zweier Untergruppen schreiben zu können.

Definitionen

Wir verwenden für die Konjugation die Potenzschreibweise, das heißt, sind $x$ und $y$ Elemente einer Gruppe $G$ , so schreiben wir $x^{y} := y^{- 1} x y$ und $M^{y} := {y^{- 1} x y | x \in M}$ für eine Teilmenge $M$ . Normalteiler sind bekanntlich genau diejenigen Untergruppen $N$ für die $N^{y} = N$ für alle $y \in G$ gilt und $N_{G} (M) := {y \in G | M^{y} = M}$ bezeichnet den Normalisator von $M$ in $G$ . Für eine Primzahl $p$ ist eine p-Sylowgruppe eine p-Untergruppe maximaler Ordnung.

Das Frattini-Argument

Ist $N$ ein Normalteiler der Gruppe $G$ und $P$ eine p-Sylowgruppe von $N$ , so gilt $G = N_{G} (P) \cdot N$ .

Ist nämlich $x \in G$ , so ist $P^{x} \subset N^{x} = N$ , also $P^{x}$ ebenfalls p-Sylowgruppe in $N$ . Die Sylow-Sätze für $N$ ergeben, dass $P$ und $P^{x}$ in $N$ konjugiert sind, das heißt, es gibt ein $y \in N$ mit $P^{y} = P^{x}$ . Daraus folgt $P^{x y^{- 1}} = P$ , also $x y^{- 1} \in N_{G} (P)$ und damit $x \in N_{G} (P) \cdot y \subset N_{G} (P) \cdot N$ . Da $x \in G$ beliebig war, folgt die Behauptung.

Weitere Definitionen

Eine eng mit obigem Frattini-Argument zusammenhängende Schlussweise existiert auch für die Operation einer Gruppe G auf einer Menge Ω. Eine Operation heißt transitiv, wenn es zu je zwei Elementen $ω_{1}, ω_{2} \in Ω$ ein $x \in G$ gibt mit $ω_{1}^{x} = ω_{2}$ . Für $ω \in Ω$ sei $G_{ω} := {x \in G | ω^{x} = ω}$ die sogenannte Stabilisatorgruppe in $ω$ . Ferner beachte, dass mit $G$ auch jede ihrer Untergruppen auf $Ω$ operiert. Mit diesen Begriffen gilt folgender, ebenfalls als Frattini-Argument bekannter Sachverhalt:

Das Frattini-Argument für Operationen

Die Gruppe $G$ operiere auf $Ω$ , $N$ sei eine Untergruppe von $G$ und die auf $N$ eingeschränkte Operation auf $Ω$ sei transitiv. Dann gilt $G = G_{ω} \cdot N$ für jedes $ω \in Ω$ .

Der Beweis dieser Aussage ist eine elementare Variante der oben vorgestellten Schlussweise. Ist nämlich $x \in G$ und $ω \in Ω$ , so ist $ω^{x} \in Ω$ und wegen der vorausgesetzten Transitivität von $N$ gibt es ein $y \in N$ mit $ω^{y} = ω^{x}$ , das heißt $ω^{x y^{- 1}} = ω$ , also $x y^{- 1} \in G_{ω}$ und schließlich $x \in G_{ω} \cdot y \subset G_{ω} \cdot N$ . Da $x \in G$ und $ω \in Ω$ beliebig waren, folgt die Behauptung.

Man kann das Frattini-Argument für Normalteiler auf das Frattini-Argument für Operationen zurückführen. Ist $Ω$ die Menge der p-Sylowgruppen von $N$ , so operiert $G$ mittels Konjugation auf $Ω$ und die auf $N$ eingeschränkte Operation ist nach den Sylow-Sätzen transitiv. Für jedes $P \in Ω$ ist $N_{G} (P)$ die Stabilisatorgruppe zu $P$ . Das Frattini-Argument für Operationen ergibt also $G = N_{G} (P) \cdot N$ .

Anwendungen

Die erste auf Frattini selbst zurückgehende Anwendung besteht in dem Nachweis, dass die heute so genannte Frattinigruppe einer endlichen Gruppe nilpotent ist.
Ist $P$ eine p-Sylowgruppe einer endlichen Gruppe $G$ , so ist $N_{G} (N_{G} (P)) = N_{G} (P)$ . Dazu wende man das Frattini-Argument auf die Gruppe $N_{G} (N_{G} (P))$ , die $N_{G} (P)$ als Normalteiler enthält, an.

Einzelnachweise

↑ H. Kurzweil, B. Stellmacher: Theorie der endlichen Gruppen, Springer-Verlag (1998), ISBN 3-540-60331-X, Abschnitt 3.2.7
↑ Derek J. S. Robinson: A Course in the Theory of Groups, Springer-Verlag 1996, ISBN 0-387-94461-3, Abschnitt 5.2.14
↑ H. Kurzweil, B. Stellmacher: Theorie der endlichen Gruppen, Springer-Verlag (1998), ISBN 3-540-60331-X, Abschnitt 3.1.4
↑ G. Frattini: Intorno alla generazione dei gruppi di operazioni, Rom. Acc. L. Rend. (4) I. 281–285, 455–457, 1885.

[1] H. Kurzweil, B. Stellmacher: Theorie der endlichen Gruppen, Springer-Verlag (1998), ISBN 3-540-60331-X, Abschnitt 3.2.7

[2] Derek J. S. Robinson: A Course in the Theory of Groups, Springer-Verlag 1996, ISBN 0-387-94461-3, Abschnitt 5.2.14

[3] H. Kurzweil, B. Stellmacher: Theorie der endlichen Gruppen, Springer-Verlag (1998), ISBN 3-540-60331-X, Abschnitt 3.1.4

[4] G. Frattini: Intorno alla generazione dei gruppi di operazioni, Rom. Acc. L. Rend. (4) I. 281–285, 455–457, 1885.