Polynomring/n/Einsetzungshomomorphismus/Definition

Einsetzungshomomorphismus

Zu einem kommutativen Ring $R$ und einem Ringhomomorphismus

$\phi :R⟶A$

und Elementen $a_1,\dots ,a_n\in A$ heißt der durch $X_i\mapsto a_i$ definierte Ringhomomorphismus

$R[X_1,\dots ,X_n]⟶A$

der Einsetzungshomomorphismus.