Recíprocamente, todo subgrupo normal de un grupo formula_1 es el núcleo de cierto homomorfismo cuyo dominio es formula_1."