The kernel of a group homomorphism f:G⟶G' is the set of all elements of G which are mapped to the identity element of G'. The kernel is a normal subgroup of G, and always contains the identity element of G. It is reduced to the identity element iff f is injective.

cokernel | group homomorphism | module kernel | ring kernel