Definition:Polynomial Ring/Embedding

Definition
Let $R$ be a commutative ring with unity. Let the ordered triple $(S, f, X)$ be a polynomial ring over $R$ in one indeterminate $X$.

The unital ring homomorphism $f$ is called the canonical embedding into the polynomial ring.

Also see

 * Canonical Homomorphism to Polynomial Ring is Ring Monomorphism