Zum Inhalt springen

Ringhomomorphismus/Z nach R/Kanonisch/Fakt/Beweis

Aus Wikiversity
Beweis

Ein Ringhomomorphismus muss die auf die abbilden. Deshalb gibt es nach Fakt genau einen Gruppenhomomorphismus

Wir müssen zeigen, dass diese Abbildung auch die Multiplikation respektiert, d.h. dass . ist, wobei hier die Multiplikation in bezeichnet. Dies folgt aber aus dem allgemeinen Distributivgesetz.