Polynomring/Eine Variable/Einsetzungshomomorphismus/Fakt/Beweis

Beweis

Bei einem Ringhomomorphismus

$\psi :R[X]⟶A$

mit  $\psi \circ i=\phi$.  müssen die Konstanten  $c\in R$  auf $\phi (c)$ und $X$ auf $a$ gehen. Daher muss $X^j$ auf $a^j$ gehen. Da Summen respektiert werden, kann es nur einen Ringhomomorphismus 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.

Zur bewiesenen Aussage