Question:Normal subgroup endomorphisms
This question is about normal subgroup and endomorphism| See more questions about normal subgroup | See more questions about endomorphism
This question has type relation between two concepts
A: A normal subgroup is defined as a subgroup expressible as the kernel of a homomorphism of groups. A subgroup of a group is normal if there is a homomorphism of groups whose kernel (i.e., the inverse image of the identity element) is precisely .
The target group of the homomorphism need not be , and hence, the homomorphism need not be an endomorphism.
Clearly, by definition, any endomorphism kernel is normal. However, the converse is not true: normal not implies endomorphism kernel. The smallest counterexample occurs where is the quaternion group. It does turn out, however, that if is a finite abelian group, then every normal subgroup does arise as the kernel of an endomorphism, because subgroup lattice and quotient lattice of finite abelian group are isomorphic.