Ringhomomorphismus/Homomorphiesatz/Surjektiv und Kern/Fakt/Beweis

Beweis

Aufgrund von Fakt gibt es einen eindeutig bestimmten Gruppenhomomorphismus

der die Eigenschaften erfüllt. Es ist also lediglich noch zu zeigen, dass auch die Multiplikation respektiert. Es seien dazu , und diese seien repräsentiert durch bzw. aus . Dann wird durch repräsentiert und daher ist

Ferner ist