Ganze Zahlen/Teilbarkeit/Idealinklusion/Ringhomomorphismus/Surjektiver Gruppenhomomorphismus/Aufgabe/Lösung
. Wenn ein Teiler von ist, so ist mit einem und daher ist . Somit gilt die Idealinklusion .
. Wegen der Idealinklusion wird unter dem Restklassen-Ringhomomorphismus
das Ideal auf abgebildet. Daher gibt es aufgrund des Satzes über die induzierte Abbildung einen Ringhomomorphismus
. Es sei
. Es sei