1. Démontrer que n est pair.
2. On suppose dans cette question que , et on note u l'endomorphisme de matrice A dans la base canonique de 2=n2
.
a. Prouver que u est un isomorphisme de 2
, et que pour tout vecteur x non nul de 2
, la famille
)
)(, xux est
libre.
b. En déduire que A est semblable à la matrice .
⎥
⎦
⎤
⎢
⎣
⎡−
=01 10
J
c. Trouver la forme générale des matrices M de qui vérifient )(
2RM0
MJJM .
d. En déduire que, pour , il n'existe pas de matrices A et B vérifiant les relations . 2=n(∗)
3. On revient au cas général, et on choisit, en supposant qu'elles existent, deux matrices A et B vérifiant les relations
(
).
a. Démontrer que le sous-espace vectoriel H engendré par les matrices , A, B et
n
I
B est une sous-algèbre de
. )(R
n
M
b. Lorsque t, x, y et z sont des réels, calculer le produit : ))(( zAByBxAtIzAByBxAtI nn
+.
c. En déduire que les quatre matrices , A, B et
n
I
B forment une base de H, et que H est un corps.
4. On suppose dans toute la suite du problème que 4
n.
On définit alors par blocs les matrices A et B de par : )(
4RM
ABC
II
B
J
J
A=
⎥
⎦
⎤
⎢
⎣
⎡−
=
⎥
⎦
⎤
⎢
⎣
⎡−
= et
0
0
,
00
22 .
où J est la matrice définie à la question III.2.b..
a. Vérifier que les matrices A et B vérifient les conditions
(
).
On appellera donc H le sous-espace vectoriel de engendré par , A, B et )(
4RM4
I ABC
. Ses éléments sont appelés
quaternions d'Hamilton. La base de H sera notée B. ),,,( 4CBAI
b. Soit M une matrice non nulle de H. Vérifier que
t est encore dans H. Quel lien y a t-il entre 1−
et
t ?
IV. Les automorphismes de l'algèbre des quaternions
1. On appelle quaternion pur un élément de H qui est une matrice antisymétrique.
a. Montrer que l'ensemble L des quaternions purs est un sous-espace vectoriel de dimension 3 de H, de base
. ),,( CBA=C
b. L est-il une sous-algèbre de H ?
2. On munit L de la structure d'espace euclidien telle que la base C soit orthonormée. Le produit scalaire de deux élé-
ments M et N de L sera noté
NM , et la norme euclidienne de M s'écrit M.
Vérifier que :
)
4
)(
2
1
,, INMNMMNLNM −=+∈∀ .
3. Vérifier qu'un quaternion est pur si, et seulement si, son carré est une matrice scalaire de la forme où λ est un réel
négatif. 4
Iλ
4. Soit φ un isomorphisme d'algèbre de H dans lui-même. Démontrer qu'il transforme tout quaternion pur en un quater-
nion pur de même norme, et que la restriction de φ à L est un endomorphisme orthogonal (c'est-à-dire qui conserve la
norme).
5. Soient M et N deux quaternions purs. On veut démontrer que si M et N ont même norme, alors il existe P élément de
H, non nul, tel que . NPPM 1−
=
3