Ist ein Gruppenhomomorphismus, so wird die Menge aller Elemente von , die auf das neutrale Element von abgebildet werden Kern von genannt.
Der Kern von ist ein Normalteiler von .
