Algèbre de quaternions

Soit A une algèbre de quaternions sur K. Une involution d'algèbre de A est un endomorphisme d'espace vectoriel de A qui est involutif (J² = Id_A) et qui est un antihomomorphisme d'anneaux (J(xy) = J(y)J(x) quels que soient x et y dans A).

Il existe une unique involution d'algèbre J de A telle que, pour tout élément x de A, x + J(x) et xJ(x) appartiennent à K. On l'appelle conjugaison de A. Pour tout élément x de A, on appelle conjugué de x et on note x l'élément J(x) de A.

Pour tout élément x de A, on appelle trace réduite de x et l'on note T(x) l'élément x + x de K ; on appelle norme réduite de x et l'on note N(x) l'élément xx de K.

Exemples

• Dans H, le conjugué du quaternion q = a + bi + cj + dk est a – bi – cj – dk, la trace de q est 2a et la norme de q est a² + b² + c² + d².
• Dans M₂(K), le conjugué de la matrice M = ${\displaystyle {\begin{pmatrix}a&b\\c&d\\\end{pmatrix}}}$ est la transposée de sa comatrice : ${\displaystyle {}^{t}({\rm {com}}\,M)={\begin{pmatrix}d&-b\\-c&a\\\end{pmatrix}}}$, la trace réduite de M est la trace usuelle a + d de M et la norme réduite de M est le déterminant usuel ad – bc de M.
• Dans l'algèbre End_K(E) des endomorphismes d'un plan vectoriel E, le conjugué d'un endomorphisme f est l'adjoint de f par rapport à n'importe quelle forme bilinéaire alternée non nulle ω sur E (toutes ces formes sont proportionnelles), c'est-à-dire l'unique endomorphisme g tel que ω(f(x), y) = ω(x, g(y)). La trace réduite et la norme réduite de f sont la trace et le déterminant usuels de f.

Soit A une algèbre de quaternions sur K.

• La fonction x ↦ T(x) de A dans K est une forme linéaire non identiquement nulle.
• T(1) = 2.
• La fonction x ↦ N(x) de A dans K est une forme quadratique non dégénérée sur A. La forme bilinéaire symétrique associée à cette forme quadratique est la fonction (x, y) ↦ T(xy) de A × A dans K : quels que soient x et y dans A, on a T(xy) = N(x + y) – N(x) – N(y).
• Pour tout a dans K et pour tout x dans A, on N(ax) = a²N(x).
• Quels que soient x et y dans A, on a N(xy) = N(x)N(y).
• N(1) = 1.
• Pour qu'un élément x de A soit inversible dans A, il faut et il suffit que N(x) soit non nul. La fonction x ↦ N(x) du groupe A* des éléments inversibles de A dans K est un morphisme de groupes.

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

On suppose que la caractéristique de K est différente de 2.

Il existe une base (1, u, v, w) de A à laquelle appartient 1 telle que u² et v² appartiennent à K* et telle que uv = –vu = w.

Réciproquement, quels que soient les éléments non nuls a et b de K, il existe une unique structure d'algèbre unitaire sur K⁴ pour laquelle, si on note (e₁, e₂, e₃, e₄) la base canonique, e₁ est l'élément unité et telle que e₂² = a, e₃² = b et e₄ = e₂e₃ = –e₃e₂. On la note (a, b)_K.

Si K = R et si a = b = –1, alors elle est le corps H des quaternions de Hamilton.

On suppose que la caractéristique de K est égale à 2.

Il existe une base (1, u, v, w) de A à laquelle appartient 1 telle que u² + u et v² appartiennent à K* et telle que uv = vu + v = w.

Réciproquement, quels que soient les éléments non nuls a et b de K, il existe une unique structure d'algèbre unitaire sur K⁴ pour laquelle, si on note (e₁, e₂, e₃, e₄) la base canonique, e₁ est l'élément unité et telle que e₂² + e₂ = a, e₃² = b et e₄ = e₂e₃ = e₃e₂ + e₃². On la note [a, b)_K.

En caractéristique quelconque, on peut construire une algèbre de quaternions à l'aide des algèbre étales quadratiques, par la construction de Cayley–Dickson.

Soit C une algèbre étale quadratique sur K (ce sont les algèbres isomorphes à K × K, ou qui sont des extensions quadratiques séparables sur K — en caractéristique différente de 2, toute extension quadratique est séparable). Il existe un unique automorphisme J de C différent de l'identité, et on l'appelle conjugaison de C et a un élément non nul de K.

Soit a un élément non nul de K. Sur le K-espace vectoriel Q = C × C, la multiplication définie par (x, y)(x', y') = (xx' + aJ(y')y, yJ(x')+ y'x) fait de Q une algèbre de quaternions sur K. On la note (C, b)_K. Réciproquement, toute algèbre de quaternons sur K est isomorphe à une telle algèbre.

Par exemple, si K = R, C est le corps C des nombres complexes et si a = –1, alors Q est le corps H des quaternions de Hamilton.