homomorphic image of a normal subgroup