# Frobeniusgruppe

Unter einer Frobeniusgruppe (nach Ferdinand Georg Frobenius) versteht man in der Gruppentheorie, einem Teilgebiet der Algebra, eine endliche Gruppe $G$, in der eine Untergruppe $1\subsetneqq H\subsetneqq G$ existiert, welche die Eigenschaft $\forall \,g\in G\setminus H:H^{g}\cap H=1$ besitzt (Wobei $H^{g}$ definiert ist durch $H^{g}:=\{g^{-1}hg|h\in H\}$).
Eine solche Untergruppe nennt man dann Frobeniuskomplement.
Eine wichtige Rolle im Zusammenhang mit der Struktur von Frobeniusgruppen spielt der sogenannte Frobeniuskern, welcher durch
    $K:=\left(G\setminus \bigcup _{g\in G}H^{g}\right)\cup \left\{1\right\}$
definiert ist. Genauer spricht man dann von dem Frobeniuskern in $G$ bezüglich des Frobeniuskomplementes $H$.

## Struktur von Frobeniusgruppen

Der Satz von Frobenius über Frobeniusgruppen besagt, dass $K\leq G$ gilt. In der Tat ist sogar $K\triangleleft G$ und es gilt $G=HK$ als semidirektes Produkt. Ferner sind $H,K$ hallsch in $G$ und für je zwei Frobeniuskomplemente $A,B$ von $G$ gibt es ein $g\in G$ mit der Eigenschaft $A^{g}\leq B$ oder $B^{g}\leq A$.

## Struktur ohne Darstellungstheorie

Der oben erwähnte Satz von Frobenius lässt sich bis heute nur mit Mitteln der Darstellungstheorie beweisen. Daher ist es aus heutiger Sicht interessant, einen Beweis auf ausschließlich gruppentheoretischer Ebene zu erbringen. Dies ist bisweilen noch nicht geglückt, doch es sind Teilbeweise erfolgt, welche die Untergruppeneigenschaft von $K$ unter stärkeren Voraussetzungen nachweisen. Gilt eine der folgenden Eigenschaften, so ist $K\leq G$
* $\left|H\right|\equiv 0\mod 2$
* $H$ ist auflösbar
* $\exists \,1\neq D\triangleleft G:D\subseteq K$
* $\exists \,1\neq D\leq G:H\leq N_{G}(D)$
* $\exists \,h\in H^{\#}\,\forall \,g\in G:\left\langle h,h^{g}\right\rangle$ auflösbar
* $G$ ist nicht einfach
* $\exists \,1\neq D\leq G:D\subseteq K\;\wedge \;\pi (D)\neq \left\{2\right\}\;\wedge \;N_{G}(D)\cap K\neq N_{G}(D)$
* $\exists \,L\leq G\,\exists \,l\in L\cap K:L$ auflösbar $\;\wedge \;L\cap K\neq 1\;\wedge \;L\cap K\neq L\;\wedge \;o(l)\equiv 1\mod 2$
All diese Ergebnisse lassen sich ohne Zuhilfenahme der Darstellungstheorie erzielen. Man beachte, dass die ersten beiden Aussagen mit Hilfe des Satzes von Feit & Thompson bereits liefern, dass $K$ immer eine Untergruppe ist. Der Satz von Feit und Thompson besagt, dass Gruppen ungerader Ordnung stets auflösbar sind. Ist also die Ordnung einer Frobeniusgruppe gerade, so liefert Punkt 1 $K\leq G$, anderenfalls ist die Ordnung ungerade, so dass nach Feit-Thompson die Gruppe auflösbar ist, so dass Punkt 2 $K\leq G$ ergibt.
Allerdings wird auch dieser Satz unter Zuhilfenahme der Darstellungstheorie bewiesen, so dass er in diesem Zusammenhang nicht benutzt werden kann.

## Beispiele

* Die symmetrische Gruppe vom Grad 3 ist eine Frobeniusgruppe. Dabei kommen drei verschiedene Frobeniuskomplemente in Frage, nämlich jeweils $\left\langle \tau \right\rangle$ für $\tau \in \left\{(12),(13),(23)\right\}$, die drei Transpositionen der Gruppe. Der Frobeniuskern ist dann jeweils die alternierende Gruppe $A_{3}$.
* Die Gruppe der invertierbaren $2\times 2$--Dreiecksmatrizen mit Determinante 1 über einem endlichen Körper mit $\left|K\right|\geq 3$ ist eine Frobeniusgruppe. Dabei ist die Untergruppe der Diagonalmatrizen das Frobeniuskomplement und die Gruppe der strikten Dreieckmatrizen (in der Hauptdiagonale nur Einsen) ist der Frobeniuskern.

## Quellen

* Paul J. Flavell: A Note on Frobenius groups, Journal of Algebra 228, S. 367 ff. (pdf-File)
* Nathan Jacobson: Basic Algebra II. S. 317 1980 W. H. Freeman and Company ISBN 071671079X.