ds
Zakaria Assandi
January 2026
1 Introduction
[a4paper,11pt]article [utf8]inputenc [T1]fontenc [french]babel amsmath, amssymb,
amsthm, mathrsfs fancyhdr geometry
hmargin=2.5cm, vmargin=2.5cm
Mathématiques MPSI Problème : Les Quaternions de Hamilton 1
Tr
Problème : Algèbre et Géométrie des
Quaternions
Objectifs : L’objet de ce problème est l’étude de l’ensemble H des quaternions,
découvert par William Rowan Hamilton en 1843. Nous allons étudier sa struc-
ture algébrique (groupe, anneau, corps), ses propriétés matricielles, et son lien
avec les sommes de carrés.
Les parties II et III sont largement indépendantes de la partie I.
Partie I : Représentation matricielle et structure
de Groupe
On note M2 (C) l’ensemble des matrices carrées d’ordre 2 à coefficients com-
plexes. On désigne par I2 la matrice identité. On introduit les matrices suivantes
(dites de Pauli) :
E = ( 1 ) 001, I = ( i ) 00 − i, J = ( 0 ) 1 − 10, K = ( 0 ) ii0
On note H l’ensemble des matrices de la forme aE +bI +cJ +dK, où (a, b, c, d) ∈
R4 .
H = {M (a, b, c, d) = aE + bI + cJ + dK | (a, b, c, d) ∈ R4 }
1
1. Relations fondamentales
1. Calculer I 2 , J 2 et K 2 .
2. Calculer les produits IJ, JI, JK, KJ, KI et IK.
3. Vérifier la formule fondamentale de Hamilton :
I 2 = J 2 = K 2 = IJK = −E
4. L’ensemble H est-il stable pour le produit matriciel ? L’anneau (H, +, ×)
est-il commutatif ?
2. Le Groupe des Quaternions
On considère l’ensemble Q8 = {±E, ±I, ±J, ±K}.
1. Montrer que Q8 est un sous-groupe de GL2 (C) pour la multiplication.
Quel est son ordre ?
2. Déterminer l’ordre de chaque élément de Q8 .
3. Sous-groupes distingués : On rappelle qu’un sous-groupe H de G est
distingué si ∀g ∈ G, ∀h ∈ H, ghg −1 ∈ H. Montrer que tous les sous-
groupes de Q8 sont distingués. (Indication : Lister les sous-groupes pos-
sibles selon leur ordre).
Partie II : Structure de Corps et Norme
Pour tout quaternion q = aE + bI + cJ + dK ∈ H, on définit son conjugué q̄
par :
q̄ = aE − bI − cJ − dK
1. Propriétés de la conjugaison :
(a) Exprimer q̄ en fonction de la transposée de la comatrice de q (ou
plus simplement, en fonction de l’adjointe si connue, sinon utiliser le
calcul direct).
(b) Montrer que pour tous q1 , q2 ∈ H, on a q1 + q2 = q1 + q2 et q1 q2 =
q2 q1 .
(c) Montrer que q ∈ H commute avec tous les éléments de H (c’est-à-dire
q ∈ Z(H)) si et seulement si q = q̄.