[ Notes des modérateurs : doublon avec https://agreg-maths.fr/developpements/33 ]
Soit $\mathbf{H}$ l'algèbre des quaternions et $Sp(1)=\{ q\in\mathbf{H} | \forall q'\in\mathbf{H}, qq'q^{-1} = q'\}$.
Alors: les ensembles $SO_3(\mathbf{R})$ et $Sp(1)/\{-1;1\}$ sont isomorphes.