Preimage of a normal subgroup (source code)

= Preimage of a normal subgroup
{wiki}

The preimage of a normal subgroup under any group homomorphism is normal.