Image of a normal subgroup (source code)

= Image of a normal subgroup
{wiki}

Under a surjective homomorphism, the image of a normal subgroup is normal.