Es un grupo de Lie de dimensión 8.