# Stelling van Frobenius (delingsalgebra)

De stelling van Frobenius, in 1877 bewezen door Ferdinand Georg Frobenius, is een stelling uit de abstracte algebra, die zegt dat op isomorfie na er slechts drie eindigdimensionale, associatieve delingsalgebra's zijn over de reële getallen, namelijk
* de reële getallen $\mathbb {R}$ zelf,
* de complexe getallen $\mathbb {C}$
* en de quaternionen $\mathbb {H}$.
De stelling werd in 1881 onafhankelijk bewezen door Charles Sanders Peirce. De stelling beperkt het bestaan van associatieve delingsalgebra's over de reële getallen tot de dimensies 1, 2 en 4. De uitvinder van de quaternionen, William Rowan Hamilton, had lang gezocht naar zo'n algebra in drie dimensies die door de stelling wordt uitgesloten. Als men de eis van associativiteit laat vallen en commutativiteit eist, bewees Heinz Hopf in 1940 dat de corresponderende eindigdimensionale delingsalgebra's over $\mathbb {R}$ maximaal de dimensie 2 hebben. Er is topologisch bewijs dat er alleen delingsalgebra's over de reële getallen zijn voor n = 1, 2, 4, 8.
Van deze drie delingsalgebra's zijn alleen de quaternionen geen lichaam (Ned) / veld (Be), maar een delingsring/lichaam, dus met een niet-commutatieve vermenigvuldiging. Aangezien $\mathbb {R}$ en $\mathbb {C}$ de enige eindigdimensionale, commutatieve en associatieve delingsalgebra's over de reële getallen zijn, moet voor de stelling van Frobenius bewezen worden dat de quaternionen de/het enige niet-commutatieve eindigdimensionale delingsring/lichaam vormen over $\mathbb {R}$.

## Stelling

Zij $D$ een eindigdimensionale niet-commutatieve delingsring/lichaam over $\mathbb {R}$. Dan is er een reëel algebra-isomorfisme $\mathbb {H} \to D$.

## Bewijs

De complexe getallen $\mathbb {C}$ vormen, afgezien van isomorfisme, de enige eindige reële uitbreiding van $\mathbb {R}$. $D$ is dus geen delingsring/lichaam over $\mathbb {C}$.
Omdat $\mathbb {R}$ het centrum is van $D$ volgt dat $D$ een maximaal deellichaam/-veld $\mathbb {C} '$ bevat met
    $(\dim _{\mathbb {R} }\mathbb {C} ')^{2}=\dim _{\mathbb {R} }D$
Aangezien $D$ niet-commutatief is, is $\mathbb {C} '\simeq \mathbb {C}$ en $\dim _{\mathbb {R} }D=4$.
Het is nu voldoende een reëel algebra-homomorfisme $\varphi \colon \mathbb {H} \to D$ aan te geven. Aangezien $\mathbb {H}$ een enkelvoudige ring is, volgt daaruit de injectiviteit, en de surjectiviteit volgt op grond van de dimensies.
Er geldt:
    $\mathbb {C} '=\mathbb {R} \oplus j\mathbb {R}$
met $j^{2}=-1$ en $\mathbb {C} '$ een galoisuitbreiding over $\mathbb {R}$ met galoisgroep $\{id,\sigma \}$, waarin $\sigma \colon \mathbb {C} '\to \mathbb {C} '$ met
    $\sigma (a+bj)=a-bj$
Volgens de stelling van Skolem-Noether is er een $u\in D,\,u\neq 0$ zodat voor alle $x\in \mathbb {C} '$ geldt: $\sigma (x)=uxu^{-1}$.
Dan is:
* $u^{2}\in \mathbb {R}$, want $u^{2}ju^{-2}=\sigma ^{2}(j)=j$, dus $u^{2}j=ju^{2}$. Maar dan is $u^{2}$ element van het centrum $\mathbb {C} '$ van $D(\mathbb {C} ')$ en is $\sigma (u^{2})=uu^{2}u^{-1}=u^{2}$. En omdat $\mathbb {C} '$ een galoisuitbreiding over $\mathbb {R}$ is, volgt $u^{2}\in \mathbb {R}$.
* $u^{2}<0$, want stel $u^{2}>0$. Dan is $u\in \mathbb {R}$ en omdat $\mathbb {R}$ het centrum is van $D$ is ook $-j=\sigma (j)=uju^{-1}=j$, wat een tegenspraak inhoudt.
Er geldt dus $u^{2}=-r^{2}$ met $r\in \mathbb {R} ,r>0$. Het gezochte reële algebra-homomorfisme $\varphi$ wordt dan geïnduceerd door:
    $\varphi {\begin{pmatrix}1&0\\0&1\end{pmatrix}}=1,\quad \varphi {\begin{pmatrix}0&1\\-1&0\end{pmatrix}}=j,\quad \varphi {\begin{pmatrix}i&0\\0&-i\end{pmatrix}}=ur^{-1},\quad \varphi {\begin{pmatrix}0&i\\i&0\end{pmatrix}}=ur^{-1}j$
want $-j=\sigma (j)=uju^{-1},\ uj=-ju$.

## Literatuur

* Ina Kersten: Brauergruppen. Universitätsdrucke Göttingen, Göttingen 2007, S. 52–54, PDF