Gruppenhomomorphismus/Kategorielle Eigenschaften/Fakt/Beweis/Aufgabe