Canonical Homomorphism to Polynomial Ring is Ring Monomorphism
Theorem
Let $R$ be a commutative ring with unity.
Let $\struct {R \sqbrk X, \iota, X}$ be a polynomial ring over $R$ in one indeterminate $X$.
Then the canonical homomorphism $\iota : R \to R \sqbrk X$ is a ring monomorphism.
Proof using explicit construction
You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by crafting such a proof.
When this page/section has been completed, {{ProofWanted}} should be removed from the code.
If you would welcome a second opinion as to whether your work is correct, add a call to {{Proofread}} the page (see the proofread template for usage).
Proof using universal property
Outline of Proof
We apply the Universal Property of Polynomial Ring to construct a left inverse of $\iota$.
Proof
Let $\operatorname{id} : R \to R$ be the identity mapping.
Let $1$ be the unity of $R$.
By Identity Mapping is Ring Automorphism, $\operatorname{id}$ is a ring homomorphism.
By Universal Property of Polynomial Ring, there exists a ring homomorphism $h : R \sqbrk X \to R$ with $h \circ \iota = \operatorname{id}$.
By Identity Mapping is Injection, $\operatorname{id}$ is an injection.
By Injection if Composite is Injection, $\iota$ is an injection.
Thus $\iota$ is a ring monomorphism.
$\blacksquare$