Le produit de deux quaternion se note avec le symbole \( \otimes \). Considérons deux quaternions \( Q_1 \) et \( Q_2 \) :
$$ Q_1 = \left[ \begin{matrix} a_1 && b_1 && c_1 && d_1 \end{matrix} \right] $$ $$ Q_2 = \left[ \begin{matrix} a_2 && b_2 && c_2 && d_2 \end{matrix} \right] $$
Le produit de ces quaternions est donné par :
$$ Q_1 \otimes Q_2 = \left[ \begin{matrix} a_1a_2 - b_1b_2 - c_1c_2 - d_1d_2 \\ a_1b_2 + b_1a_2 + c_1d_2 - d_1c_2 \\ a_1c_2 - b_1d_2 + c_1a_2 + d_1b_2 \\ a_1d_2 + b_1c_2 - c_1b_2 + d_1a_2 \end{matrix} \right]^\top $$
Le produit de quaternions n'est pas commutatif :
$$ Q_1 \otimes Q_2 \neq Q_2 \otimes Q_1 $$