Ringhomomorphismus/Homomorphiesatz/Surjektiv und Kern/Fakt/Beweis

Aus Wikiversity
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