Soit $H$ le corps non commutatif des quaternions. Soit $G$ le groupe des quaternions de module $1$ : $G = \{ a + bi +cj + dk \in H : a^2 + b^2 + c^2 + d^2 \}$.
On montre qu'il existe un isomorphisme entre $G / \{ 1 , -1 \}$ et $SO_3(\mathbb{R})$.