Definition:Polynomial Evaluation Homomorphism

Definition
Let $R, S$ be commutative rings with unity.

Let $f: R \to S$ be a ring homomorphism.

Let $\left({s_i}\right)_{i \mathop \in I}$ be an indexed family of elements of $S$.

Let $R \left[{\left\{ {X_i: i \mathop \in I}\right\} }\right]$ be a polynomial ring over $R$.

A ring homomorphism $g: R \left[{\left\{ {X_i: i \mathop \in I}\right\} }\right] \to S$ is called evaluation at $\left({s_i}\right)_{i \mathop \in I}$ if:
 * $\forall r \in R : g \left({r}\right) = f \left({r}\right)$
 * $\forall j \in J : g \left({X_j}\right) = s_j$

Also known as
The evaluation homomorphism is also known as substitution homomorphism.

Also see

 * Universal Property of Polynomial Ring, where it is proved that an evaluation morphism exists and is unique