Le théorème de Frobenius généralisé est un théorème d'algèbre générale qui étend le théorème de Frobenius de 1877.
En 1843, Hamilton a souhaité étendre les propriétés d'algèbre normée des nombres complexes en considérant des triplets de réels. Il ne put effectuer cette généralisation qu'en considérant des quadruplets de réels, et en abandonnant la commutativité du produit, il obtint les quaternions.
En 1845, Cayley poursuit l'extension de la construction à huit dimensions, en abandonnant également l'associativité du produit, compensée par les lois alternatives x(xy) = x2y et (yx)x = yx2.
En 1877, Frobenius a montré un théorème qui donne une classification des algèbres de division associatives de dimension finie sur le corps des réels (il s'agit de
(réels),
(complexes) et
(quaternions)).
Nous donnons ici une généralisation de ce théorème :
Théorème de Frobenius généralisé — Les seules algèbres de division alternatives de dimension finie sur le corps des réels sont
(réels),
(complexes),
(quaternions) et
(octonions).
Lemmes préliminaires
Il est utile d'utiliser l'associateur A de x,y,z. Soit une algèbrealternative (qui satisfait les lois alternatives qui se traduisent par A(x,x,y) = A(y,x,x) = 0) sur un corps
et x,y,z trois éléments de cette algèbre.
Lemme 1 — L'associateur est alterné :
.
En effet, par la première loi alternative on a
Lemme 2 — La loi flexible x(yx) = (xy)x est valide.
En effet, par le lemme 1, A(x,y,x) = − A(y,x,x).
Lemme 3 — Si x et y anticommutent (xy = − yx), alors x(yz) = − y(xz) et (zx)y = − (zy)x.
En effet, par le lemme 1, A(x,y,z) + A(y,x,z) = 0, et si xy + yx = 0, alors 0 = A(x,y,z) + A(y,x,z) + (xy + yx)z = x(yz) + y(xz), soit x(yz) = − y(xz). L'autre égalité se démontre de même.
Lemme 4 — L'identité de Moufang (zx)(yz) = (z(xy))z est valide (on dit que le produit est neutroactif).
Lemme 5 — En définissant par récurrence x1 = x puis xn + 1 = xnx pour
, on a xnxm = xn + m.
Par récurrence sur m, avec la loi flexible on obtient xxm = xm + 1.
Puis par récurrence sur n, comme la propriété est vraie par définition pour m = 1, alors on peut supposer m > 1 et l'hérédité vient de l'identité de Moufang :
.
Démonstration
Soit D une algèbre de division alternative de dimension finie sur le corps des réels.
La famille {1,x,x2,...} des puissances d'un élément
est liée. En effet, si cette famille est finie, il y a un relation du type xn = xm avec
et si elle est infinie, cela vient de la dimension finie de D.
Etant donné qu'un polynôme à coefficients réels est produit de polynômes de degré un ou deux (cf. Factorisation des polynômes), et comme D n'admet pas de diviseur de zéro, on en déduit que x vérifie une équation du second degré à coefficients réels, soit
.
Point 2
Si
, alors il existe
tel que i2 = − 1.
est un corps isomorphe à celui des nombres complexes et
.
En effet, par le point 1, x2 = ax + b avec
, d'où
.
Ainsi, si
, il faut que
avec
.
On en déduit que si
, alors d'une part il existe
tel que i2 = − 1, et d'autre part si
et xi = ix alors
(en effet si
, alors
, et avec xi = ix on a
![\begin{matrix}\R[X]&\rightarrow&D\\X&\mapsto&x\end{matrix}](https://static.techno-science.net/illustrationWebp/Definitions/autres/e/e143d1c4f79cf73aeaecc0d097e894a9_66e0e6c5645419845ffe5da7ea7bdd75.png)
