Polynomring/Eine Variable/Variablenwechsel/Fakt/Beweis

Aus Wikiversity
Beweis

Die Einsetzungshomomorphismen zu und definieren aufgrund von Fakt jeweils einen Ringhomomorphismus und von nach , die wir hintereinander schalten:

Bei diesem Ringhomomorphismus bleiben die Elemente aus unverändert, und die Variable wird insgesamt auf

geschickt. Daher muss die Verknüpfung aufgrund der Eindeutigkeit in Fakt die Identität sein. Dies gilt auch für die Hintereinanderschaltung in umgekehrter Reihenfolge, so dass ein Isomorphismus vorliegt.