# 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

This theorem requires a proof.You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by crafting such a proof.To discuss this page in more detail, feel free to use the talk page.When this work has been completed, you may remove this instance of `{{ProofWanted}}` from the code.If you would welcome a second opinion as to whether your work is correct, add a call to `{{Proofread}}` the page. |

## 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$