Gruppe und Verknüpfungsstruktur/Surjektiver Homomorphismus/Bild ist Gruppe/Aufgabe

Es sei eine Gruppe und sei eine Menge mit einer Verknüpfung. Es sei

eine surjektive Abbildung mit für alle . Zeige, dass eine Gruppe und ein Gruppenhomomorphismus

ist.