Matemáticamente es un subgrupo del grupo lineal formula_2 y también puede ser dotado de la estructura de grupo de Lie.