Si formula_24 es un grupo y formula_126 es un subgrupo de formula_24, no es cierto en general que formula_419, aunque claramente esto sí sucede cuando formula_24 es abeliano.