Entonces, el grupo de isotropía de formula_52 está contenido en el grupo de isotropía de formula_53 Además, dichos grupos coincidirán, cuando formula_54 sea inyectiva.