Si el cuerpo formula_4 es formula_5 (los números reales) o formula_34 (los números complejos), entonces formula_35 es un grupo de Lie real o complejo de dimensión real o compleja n.