There is a homomorphism between G and G'. Does the image of the homomorphism always give a normal subgroup?
My thought is not always, because the homomorphism is not a bijective map. But how do I find a counterexample for this?
There is a homomorphism between G and G'. Does the image of the homomorphism always give a normal subgroup?
My thought is not always, because the homomorphism is not a bijective map. But how do I find a counterexample for this?