Algèbre de composition

En mathématiques, les algèbres de composition sur un corps commutatif sont des structures algébriques qui généralisent simultanément le corps des nombres complexes, le corps des quaternions de Hamilton et l'algèbre des octonions de Cayley.

Dans cet article, on note K un corps commutatif (de caractéristique quelconque), et les algèbres ne sont pas supposées être associatives ou unitaires ou de dimension finie.

Définition

Une algèbre de composition sur K est une algèbre A sur K (non nécessairement associative ou pas nécessairement de dimension finie) qui est unitaire telle qu'il existe une forme quadratique q sur l'espace vectoriel sous-jacent à A qui est non dégénérée (c'est-à-dire dont la forme bilinéaire symétrique φ associée à q est non dégénérée), telle que q(1) = 1 et telle que, quels que soient les éléments éléments x et y de A, q(xy) = q(x)q(y), et il existe alors une unique telle forme quadratique q, et, pour tout élément x de A, on note N(x) et on appelle norme de x le scalaire q(x) de K. Quels que soient les éléments x et q, on note N(x, y) l'élément φ(x, y) = q(x + y) - q(x) - q(y) de K.

Exemples

• Si K est le corps R des nombres réels, alors le corps R, le corps C des nombres complexes, le corps H des quaternions de Hamilton et l'algèbre O des octonions de Cayley sont des algèbres de compositions, où, pour tout élément x de cette algèbre, N(x) est le carré de la norme euclidienne de x.
• Si la caractéristique de K est différente de 2, K est une algèbre de composition sur K, et pour tout élément x de K, on N(x) = x².
• Toute algèbre étale quadratique sur K est une algèbre de composition sur K. En particulier, l'algèbre produit K × K est une algèbre de composition et toute extension quadratique séparable de K est une algèbre de compoosition (si la caractéristique de K est différente de 2, toute extension quadratique est séparable).
• Toute algèbre de quaternions sur K est une algèbre de composition sur K. En particulier l'algèbre M₂(K) des matrices carrées d'ordre 2 est une algèbre de composition.

Toute algèbre de composition A sur K alternative (c'est-à-dire que, quels que soient les éléments x et y de A, la sous-algèbre unitaire de A engendrée par x et y est associative). Il existe des algèbres de composition non associatives.

Pour tout surcorps commutatif L le K, la L-algèbre L ⊗_K A déduite d'une algèbre de composition A sur K par extension des scalaires de K à L est une algèbre de composition sur L.

Trace et conjugaison

On note A une algèbre de composition sur K.

Pour tout élément x de A, on appelle trace de x et on note T(x) l'élément N(x, 1) = N(x + 1) - N(x) - 1 de K.

Pour tout élément x de A, on appelle conjugué de x et on note $\bar x$ l'élément T(x).1 - x de A.

Voici des propropiétés de la conjugaison, de la norme et de la trace

• L'application x $\mapsto$ $\bar x$ de A dans A est un antiautomorphisme d'algèbre de A qui est involutif: elle est K-linéaire et quels que soient les éléments x et y de A, on a $\bar xy$ = $\bar yx$ et le conjugué du conjugé de x est x.
• Pour tout élément x de A, on N(x) = $x \bar x$ et T(x) = $x + \bar x$.
• La fonction x $\mapsto$ T(x) de A dans K est une forme linéaire non identiquement nulle.
• T(1) = 2.
• Quels que soient x et y dans A, on a T($x\bar y$) = N(x + y) - N(x) - N(y).
• Pour qu'un élément x de A soit inversible dans A (c'est-à-dire tel qu'il existe un élément y de A tel que xy = yx = 1, et il existe alors un unique tel élément, que l'on note x^-1), il faut et il suffit que N(x) soit non nul, et alors x^-1 = $\bar x$/N(x).
• Si A est associative, la fonction x $\mapsto$ N(x) du groupe A* des éléments inversibles de A dans K est un homomorphisme de groupes.

Une propriété fondamentale est la suivante: pour tout élément x de A, on a

x² - T(x)x + N(x) = 0.

Classification des algèbres de composition

Quatre familles d'algèbres de composition

Toute algèbres de compositions sur K est de dimension finie sur K, sa dimension est égale à 1, 2, 4 ou 8 (le cas de dimension ne pouvent se produit que si la caractéristique de K est différente de 2).

• Si la caractéristique de K est différente de 2, alors K est la seul algèbre de composition de dimension 1 sur K (à isomorphisme canonique près).
• Les algèbres de compositions de dimension 2 sur K ne sont autres que les algèbres étales quadratique sur K. Elles sont donc isomorphes à K × K, ou ce sont des extensions quadratiques séparables sur K (et réciproquement). En caractéristique 2, toute extension quadratique est séparable.
• Les algèbres de compositions de dimension 4 sur K ne sont autres que les algèbres de quaternions sur K.

Les algèbres de compositions de dimension 8 sur K sont appelées algèbres d'octonions sur K. Ce sont les seules algèbres de composition sur K qui sont non associatives.

Algèbres de composition déployées et algèbres à division de composition

On dit qu'une algèbre de composition A sur K est déployée s'il existe un élément non nul x de A tel que N(x) = 0, c'est-à-dire qui n'est pas inversible dans A.

Pour que deux algèbres de composition déployées sur K soient isomorphes, il faut et il suffit que leur dimensions soient égales. Il existe des algèbres de compositions déployées de dimension 2, 4 et 8 sur K, et il n'en existe pas de dimension 1.

Exemple

• Les algèbres de composition déployées de dimension 2 sur K sont isomorphes à K × K.
• Les algèbres de composition déployées de dimension 4 sur K sont isomorphes à M₂(K).
• Les algèbres de composition déployées de dimension 8 sur K sont isomorphes à l'algèbre des matrices-vecteurs de Zorn sur K (même définition que sur le corps R des nombres réels, et on remplace les nombres réels par des éléments de K, y compris dans la définition du produit vectoriel de vecteurs de R³).

On appelle algèbre à division de composition sur K toute algèbre de composition sur K qui n'est pas déployée, c'est-à-dire dont tout élément non nul est inversible. Il se peut qu'il n'existe pas de telles algèbres de composition sur K, c'est-à-dire que toute algèbre de composition sur K soit déployée.

Les algèbres à division de composition sur K sont:

• K en dimension 1:
• les extensions quadratiques séparables de K en dimension 2;
• les corps de quaternions sur K en dimension 4.

En dimension 8, les algèbres à division de composition sur K sont appelées algèbres à division d'octonion sur K.

La classification des algèbres de composition sur K se réduit donc à celle des algèbres à division de composition.

Algèbres de composition sur certains corps commutatif

Sur le corps R des nombres réels, tout algèbre de composition est soit déployée, soit isomorphe au corps R des nombres réels, ou au corps C des nombres complexes ou au corps H des quaternions de Hamilton ou à l'algèbre O des octonions de Cayley.

Sur un corps algébriquement corps (ou plus généralement séparablement clos), par exemple sur le corps C des nombres complexes, toute algèbre de composition sont soit le corps des scalaire soit déployée.

Sur un corps fini, les algèbres de compositions sont soit le corps des scalaires, soit déployée ou soit les extensions quadratiques.

Construction d'algèbres de composition

Référence

• Tonny A. Springer et Ferdinand D. Veldkmap, Octonions, Jordan Algebras and Exceptional Groups, Springer.
• Nathan Jacobson, Basic Algebra I, W. H. Freeman and Compaby, New York, 1989.
• Max-Albert Knus, Alexander Merkurjev, Markus Rost et Jean-Pierre Tignol, The Book of Involution, Americam Mathematical Society, 1998.

Articles connexes

• Algèbre non associative
• Alternativité
• Algèbre étale
• Algèbre de quaternions
• Algèbre d'octonions