Polynomring/Eine Variable/Einsetzungshomomorphismus/Fakt/Beweis

Beweis

Bei einem Ringhomomorphismus

mit . müssen die Konstanten auf und auf gehen. Daher muss auf gehen. Da Summen respektiert werden, kann es nur einen Ringhomorphismus geben, der die im Zusatz angegebene Gestalt haben muss. Es ist also zu zeigen, dass durch diese Vorschrift wirklich ein Ringhomomorphismus definiert ist. Dies folgt aber direkt aus dem Distributivgesetz.