Es un grupo de Lie que no es abeliano, compacto, de dimensión 3.