Gruppenhomomorphismus/Surjektiv und Restklassengruppe/Fakt/Beweis/Aufgabe