Pueden introducirse axiomáticamente o derivarse a partir de rotaciones vectoriales, en especial mediante la "construcción de Euler-Rodrigues".