Satz von Frobenius (reelle Divisionsalgebren)

Der Satz von Frobenius, 1877 von Ferdinand Georg Frobenius bewiesen, gehört zum mathematischen Teilgebiet der Algebra. Der Satz besagt, dass es bis auf Isomorphie nur drei endlichdimensionale, assoziative Divisionsalgebren über den reellen Zahlen $\mathbb {R}$ gibt: $\mathbb {R}$ selbst, die komplexen Zahlen $\mathbb {C}$ und die Quaternionen $\mathbb {H}$.

Der Satz wurde 1881 unabhängig von Charles Sanders Peirce bewiesen. Der Satz beschränkt die Existenz assoziativer Divisionsalgebren über den reellen Zahlen also auf die Dimensionen 1, 2 und 4. Der Erfinder der Quaternionen, William Rowan Hamilton, hatte lange nach einer solchen Algebra in drei Dimensionen gesucht, was durch den Satz ausgeschlossen wird. Lässt man die Bedingung der Assoziativität fallen und verlangt Kommutativität, bewies 1940 Heinz Hopf, dass die entsprechenden endlichdimensionalen Divisionsalgebren über $\mathbb {R}$ maximal die Dimension 2 haben. Es existieren topologische Beweise, dass es Divisionsalgebren über den reellen Zahlen nur mit den Dimensionen 1, 2, 4 und 8 gibt (siehe Divisionsalgebra).

Von diesen drei Divisionsalgebren sind nur die Quaternionen ein Schiefkörper mit einer nicht-kommutativen Multiplikation. Da $\mathbb {R}$ und $\mathbb {C}$ die einzigen endlichdimensionalen, kommutativen und assoziativen Divisionsalgebren über den reellen Zahlen sind, muss zum Beweis des Satzes von Frobenius gezeigt werden, dass die Quaternionen den einzigen endlichdimensionalen nicht-kommutativen Schiefkörper über $\mathbb {R}$ bilden:

Sei $D$ ein endlichdimensionaler nicht-kommutativer Schiefkörper über $\mathbb {R}$. Dann gibt es einen $\mathbb {R}$-Algebrenisomorphismus $\mathbb {H} \rightarrow D$.

Beweis

$\mathbb {C}$ ist bis auf Isomorphie die einzige endliche echte Körpererweiterung von $\mathbb {R}$. $D$ ist also kein Schiefkörper über $\mathbb {C}$ und es gilt $\mathbb {R} =Z(D)$ ($Z(D)$ bezeichnet das Zentrum von $D$).

Folglich enthält $D$ einen maximalen Teilkörper $\mathbb {C} '$ mit

$(\dim _{\mathbb {R} }\mathbb {C} ')^{2}=\dim _{\mathbb {R} }D.$

Da $D$ nicht-kommutativ ist, gilt $\mathbb {C} '\simeq \mathbb {C}$ und $\dim _{\mathbb {R} }D=4$.

Es reicht nun, einen $\mathbb {R}$-Algebrenhomomorphismus $\varphi \colon \mathbb {H} \rightarrow D$ anzugeben, denn die Injektivität folgt dann, da $\mathbb {H}$ ein einfacher Ring ist, und die Surjektivität folgt aus Dimensionsgründen.

Es ist $\mathbb {C} '=\mathbb {R} \oplus j\mathbb {R}$ mit $j^{2}=-1$ und $\mathbb {C} '$ galoissch über $\mathbb {R}$ mit Galoisgruppe $\{id,\sigma \}$, wobei

$\sigma \colon \mathbb {C} '\rightarrow \mathbb {C} ',~a+bj\mapsto a-bj.$

Nach dem Satz von Skolem-Noether gibt es nun ein $u\in D\backslash \{0\}$, sodass $\forall x\in \mathbb {C} '\colon \,\sigma (x)=uxu^{-1}$. Nun gilt:

• $u^{2}\in \mathbb {R}$. Beweis: Es gilt $u^{2}ju^{-2}=\sigma ^{2}(j)=j$, beziehungsweise $u^{2}j=ju^{2}$. Also folgt $u^{2}\in Z_{D}(\mathbb {C} ')=\mathbb {C} '$ und $\sigma (u^{2})=uu^{2}u^{-1}=u^{2}$. Da $\mathbb {C} '$ galoissch über $\mathbb {R}$ ist, folgt $u^{2}\in \mathbb {R}$.

• $u^{2}<0$. Beweis: Angenommen $u^{2}>0$. Dann gilt $u\in \mathbb {R}$ und wegen $\mathbb {R} =Z(D)$ auch $-j=\sigma (j)=uju^{-1}=j$. Widerspruch.

Wir erhalten also eine Darstellung $u^{2}=-r^{2}$ mit $r\in \mathbb {R} ^{+}$. Unser gesuchter $\mathbb {R}$-Algebrenhomomorphismus $\varphi \colon \mathbb {H} \rightarrow D$ wird nun induziert durch

${\begin{pmatrix}1&0\\0&1\end{pmatrix}}\mapsto 1,\quad {\begin{pmatrix}0&1\\-1&0\end{pmatrix}}\mapsto j,\quad {\begin{pmatrix}i&0\\0&-i\end{pmatrix}}\mapsto ur^{-1},\quad {\begin{pmatrix}0&i\\i&0\end{pmatrix}}\mapsto ur^{-1}j,$

denn es gilt $-j=\sigma (j)=uju^{-1},~uj=-ju$.

Durch das Betrachten der entsprechenden Gruppentafeln folgt die Behauptung.

Siehe auch

• Satz von Gelfand-Mazur

Literatur

• M. Koecher, R. Remmert: Isomorphiesätze von Frobenius und Hopf. In: H.-D. Ebbinghaus u. a.: Zahlen. Springer Verlag, 1983.
• Ina Kersten: Brauergruppen. Universitätsdrucke Göttingen, Göttingen 2007, S. 52–54, PDF (abgerufen am 18. Juli 2016).