Además, como la multiplicación cuaterniónica es regular (infinitamente diferenciable), "S" puede ser visto como un grupo de Lie.