Untergruppendiagramm der DiedergruppeD4. Die drei Untergruppen der Ordnung vier in der zweiten Zeile sind die maximalen Untergruppen. Ihr Schnitt ist die Frattinigruppe. Sie ist eine der fünf Untergruppen der Ordnung 2.
In der Gruppentheorie ist die Frattinigruppe (oder genauer Frattiniuntergruppe) eine spezielle Untergruppe einer gegebenen Gruppe. Mit ihrer Hilfe kann insbesondere die Struktur endlicher p-Gruppen untersucht werden. Sie ist benannt nach dem italienischen Mathematiker Giovanni Frattini, der sie in einem 1885 erschienenen Artikel definiert hat.
Ist endlich, dann ist nilpotent. Ist ebenfalls nilpotent, dann ist auch nilpotent.
Gilt mit einer Untergruppe von , dann ist .
Die Frattinigruppe besteht genau aus den Nichterzeugern von , d.h., es gilt genau dann, wenn für jede Teilmenge aus stets folgt. Mit anderen Worten: Die Elemente der Frattinigruppe sind in jedem Erzeugendensystem von überflüssig.
Literatur
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.
Einzelnachweise
↑Giovanni Frattini: Intorno alla generazione dei gruppi di operazioni. In: Atti della Reale Accademia dei Lincei. Rendiconti. Serie 4, Bd. 1, Fasc. 9, 1884/1885 (1885), ISSN0001-4435, S. 281–285; Nota II. In: Serie 4, Bd. 1, Fasc. 14, 1885, S. 455–457.