Ein Gruppenhomomorphismus zwischen Gruppen und .