Supongamos que hubiera una formula_1-morfismo formula_105 de formula_102 en formula_59 tal que formula_108 Entonces, como el grupo de isotropía de formula_109 estaría contenido en el grupo de isotropía de formula_110 tendríamos que formula_40 sería un subgrupo de formula_97 En forma recíproca, si formula_40 es un subgrupo de formula_44 podemos definir