Exercice 2. Sur les quaternions. Soit Fun corps de caract´eristique diff´erente de 2 et
soient a, b deux ´el´ements de F∗.
On appelle anneau de quaternions (a, b) = a,b
Ftout F-espace vectoriel de dimension 4,
poss´edant une base {1, i, j, k}et muni d’une multiplication ×d´efinie par bilin´earit´e `a partir
des relations :
i2=a, j2=bet k=i×j=−j×i
et pour laquelle (a, b) est un anneau (non commutatif).
Une telle base est appel´ee base quaternionique pour l’anneau de quaternions (a, b).
Tout ´el´ement xde l’anneau (a, b) est appel´e un quaternion de l’anneau (a, b). Il s’´ecrit comme
combinaison lin´eaire :
x=α+βi +γj +δk, avec α, β, γ, δ ∈F.
On associe `a xson quaternion conjugu´e, not´e ¯xet d´efini par :
¯x=α−(βi +γj +δk).
L’application ι:x∈(a, b)7→ ¯xest appel´ee l’involution canonique de (a, b). On montre que
l’on peut d´efinir une application N(a,b): (a, b)→F, appel´ee norme et donn´ee par :
N(a,b)(x) = x¯x.
Enfin, soient (a, b) et (a0, b0) deux anneaux de quaternions d´efinis sur le corps F. On appelle
isomorphisme d’anneaux de quaternions de (a, b) dans (a0, b0) toute application f: (a, b)→
(a0, b0) qui est `a la fois un isomorphisme de F-espaces vectoriels et un morphisme d’anneaux.
1. Soient a, b ∈F∗. Montrer que l’anneau de quaternions (a, b) est bien d´efini `a isomor-
phisme d’anneaux de quaternions pr`es.
2. Soient a, b ∈F∗. Montrer l’existence d’un isomorphisme d’anneaux de quaternions :
(a, b)'(b, a).
3. Soit M2(F) l’espace vectoriel des matrices carr´ees d’ordre 2 sur F. On pose :
Id = 1 0
0 1, I =1 0
0−1, J =0 1
1 0et K =IJ.
Montrer que l’espace M2(F) est un anneau de quaternions pour la base (Id, I, J, K), puis
qu’il existe un isomorphisme d’anneaux de quaternions :
(1,1) '
−→ M2(F),
induit par 1 7→ Id , i7→ I,j7→ Jet k7→ IJ, o`u {1, i, j, k}d´esigne une base quaternio-
nique de l’anneau (1,1) telle que i2= 1, j2= 1 et k=ij =−ji.
4. Soient a, b ∈F∗. Montrer l’existence d’un isomorphisme d’anneaux de quaternions :
(a, b)'(u2a, v2b),pour tous u, v ∈F∗.
En particulier, cela implique l’existence d’un isomorphisme d’anneaux de quaternions :
(1, w2)'M2(F),pour tout w∈F∗.
5. Soient a, b ∈F∗. Montrer que l’anneau de quaternions (a, b) est un corps gauche si et
seulement si sa forme norme N(a,b)est anisotrope. Pour cela, on montrera qu’un quater-
nion x∈(a, b) est inversible si et seulement si N(a,b)(x)6= 0.