Restklassengruppen (Z)/Faktorisierung/Aufgabe

Aus Wikiversity

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?