Ringhomomorphismus/Homomorphiesatz/Surjektiv und Kern/Fakt/Beweis
Erscheinungsbild
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