The kernel of a group homomorphism is the set of all elements of which are mapped to the identity element of . The kernel is a normal subgroup of , and always contains the identity element of . It is reduced to the identity element iff is injective.
See alsoCokernel, Group Homomorphism, Module Kernel, Ring Kernel
This entry contributed by Margherita Barile