Universal Property of Polynomial Ring

Theorem

Let $R$ be a commutative ring with unity.

The different definitions of a polynomial ring $\struct {\map R x, \iota, x}$ on $R$ satisfy the universal property of a polynomial ring:

Construction using Free Monoid on Set

Let $R, S$ be commutative and unitary rings.

Let $\family {s_j}_{j \mathop \in J}$ be an indexed family of elements of $S$.

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

Let $R \sqbrk {\set {X_j: j \in J} }$ be a polynomial ring.

Then there exists a unique evaluation homomorphism $\phi: R \sqbrk {\set {X_j: j \in J} } \to S$ at $\family {s_j}_{j \mathop \in J}$ extending $\psi$.

A particular theorem is missing. In particular: Include construction using sequences, and construction as monoid ring You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by adding the theorem. 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 {{TheoremWanted}} from the code.

Also see

• Equivalence of Definitions of Polynomial Ring