Es ist ja ein Unterschied, ob ich den Kern einer einzelnen Abbildung a ↦ gag^{-1} suche (der wegen gag^{-1} = e ⇒ ga = g im übrigen nur aus einem Element (a = e) besteht) oder ob ich den Kern einer ganzen Menge von Abbildungen suche. Der Kern einer Abbildung, die von einer Menge von Abbildungen in eine Menge von Abbildungen abbildet, entspricht der Menge aller Abbildungen, die die Identität bilden. Die Identität ist das neutrale Element der Menge aller Abbildungen.