Restklassengruppen (Z)/Faktorisierung/Aufgabe

Es sei ein Teiler von . Zeige, dass es einen eindeutig bestimmten Gruppenhomomorphismus

derart gibt, dass das Diagramm

kommutiert. Warum lassen sich die Reste modulo und modulo besonders einfach berechnen?