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