Frattinigruppe

Ist ${\displaystyle G}$ eine Gruppe, dann ist die Frattinigruppe ${\displaystyle \Phi (G)}$ definiert als der Schnitt aller maximalen Untergruppen von ${\displaystyle G}$.^[2]

Dabei heißt eine Untergruppe ${\displaystyle M}$ von ${\displaystyle G}$ maximal, wenn ${\displaystyle M\neq G}$ gilt und es keine echt größere Untergruppe ${\displaystyle H}$ mit ${\displaystyle M\subsetneq H\subsetneq G}$ gibt.

Falls ${\displaystyle G}$ keine maximalen Untergruppen hat, etwa im Fall der trivialen Gruppe ${\displaystyle G=\{e\}}$ oder mancher unendlicher Gruppen wie der Prüfergruppe, setzt man ${\displaystyle \Phi (G):=G}$.^[3]

• Die Frattinigruppe ist eine charakteristische Untergruppe, also insbesondere ein Normalteiler.
• Ist ${\displaystyle G}$ endlich, dann ist ${\displaystyle \Phi (G)}$ nilpotent. Ist ${\displaystyle G/\Phi (G)}$ ebenfalls nilpotent, dann ist auch ${\displaystyle G}$ nilpotent.
• Gilt ${\displaystyle G=H\Phi (G)}$ mit einer Untergruppe ${\displaystyle H}$ von ${\displaystyle G}$, dann ist ${\displaystyle G=H}$.
• Die Frattinigruppe besteht genau aus den Nichterzeugern von ${\displaystyle G}$, d. h., es gilt ${\displaystyle x\in \Phi (G)}$ genau dann, wenn für jede Teilmenge ${\displaystyle E\subseteq G}$ aus ${\displaystyle G=\langle E,x\rangle }$ stets ${\displaystyle G=\langle E\rangle }$ folgt. Mit anderen Worten: Die Elemente der Frattinigruppe sind in jedem Erzeugendensystem von ${\displaystyle G}$ überflüssig.

• Bertram Huppert: Endliche Gruppen (= Die Grundlehren der mathematischen Wissenschaften. Bd. 134). Band 1. Nachdruck. Springer, Berlin u. a. 1979, ISBN 3-540-03825-6, Kapitel III.