# 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 typerelation between two concepts

Q: **Is a normal subgroup the same thing as the kernel of an endomorphism of the group?**

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.

An endomorphism kernel is a subgroup arising as the kernel of an endomorphism, i.e., a (not necessarily surjective) homomorphism from to itself.

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.