5
Exercice 5. (Groupe des quaternions - `a retenir).
On appelle groupe des quaternions, et on note H8, le sous-groupe de GL2(C)
engendr´e par les matrices
I=i0
0−iJ=0−1
1 0 K=0−i
−i0.
(1) Montrer que H8={±Id,±I, ±J, ±K}.
(2) Donner une liste des sous-groupes normaux de H8et d´eterminer les quo-
tients correspondants.
Solution.
On prouve premi`erement un lemme.
Lemme. Si Gest un groupe et H={h1, . . . , hm}un sous-ensemble fini de G
tel que pour tout h, h0∈Hon a hh0∈H, alors Hest un sous-groupe de G.
Preuve : En effet, si h∈H, alors {hh1, . . . , hhm}={h1, . . . , hm}et donc il
existe itel que hhi=h, ce qui force hi= 1G. De la mˆeme mani`ere, pour tout h,
il existe jtel que hhj=hi= 1G, c’est-`a-dire hj=h−1.
(1) Tout d’abord
I2=J2=K2=−Id.
On en d´eduit que −Id ∈H8et donc {±Id,±I, ±J, ±K} ⊆ H8.
Par ailleurs,
IJ =K, JK =I, KI =J, JI =−K, KJ =−I, IK =−J.
ce qui montre que {±Id,±I, ±J, ±K}est bien un sous-groupe par le
lemme ci-dessus.
Par cons´equent, H8={±Id,±I, ±J, ±K}
(2) Les seuls sous-groupes cycliques de H8sont :
• hIi={±Id,±I},
• hJi={±Id,±J},
• hKi={±Id,±K},
• h−Idi={±Id},
• {Id}.
En plus, on peut prouver que, avec H8, ce sont tous les sous-groupes de
H8. Par exemple, soit Hun sous-groupe qui contient proprement hIi.
Alors au moins un ´el´ement xde {±J, ±K}est dans H. On observe que
xhIi={±J, ±K}et donc, par la stabilit´e de la loi de composition, on a
que si xest dans Halors tout ´el´ement de {±J, ±K}est dans H. Ainsi H8
est le seul sous-groupe qui contient hIi. De la mˆeme mani`ere, H8est le seul
sous-groupe qui contient hJiet hKi. Finalement, si Hest un sous-groupe
qui contient proprement h−Idi, alors il contient au moins un ´el´ement de