# Polynomial is Linear Combination of Monomials

## Theorem

Let $R$ be a commutative ring with unity.

Let $R \sqbrk X$ be a polynomial ring over $R$ in the variable $X$.

Let $P \in R \sqbrk X$.

Then $P$ is a linear combination of the monomials of $R \sqbrk X$, with coefficients in $R$.

This article, or a section of it, needs explaining.In particular: this needs to be made more preciseYou can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by explaining it.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 `{{Explain}}` from the code. |

## Proof using specific model

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 show that the subset $S$ of linear combinations of monomials forms a subring.

We use the universal property to exhibit a ring homomorphism $R \sqbrk X \to S$.

We use uniqueness to show that it is necessarily a bijection.

### Proof

Let $S \subset R \sqbrk X$ be the subset of all elements that are linear combinations of monomials.

Let $\iota: S \to R \sqbrk X$ denote the inclusion mapping.

Suppose for the moment that $S$ is a commutative ring with unity.

Then by Universal Property of Polynomial Ring, there exists a ring homomorphism $g: R \sqbrk X \to S$ with $\map g X = X$.

By Inclusion Mapping on Subring is Homomorphism, $\iota: S \to R \sqbrk X$ is a ring homomorphism.

By Composition of Ring Homomorphisms is Ring Homomorphism, $\iota \circ g: R \sqbrk X \to R \sqbrk X$ is a ring homomorphism.

By construction, $\map {\paren {\iota \circ g} } X = X$.

By Universal Property of Polynomial Ring, there exists a unique ring homomorphism $h : R \sqbrk X \to R \sqbrk X$ with $\map h X = X$.

We have that $\iota \circ g$ is such a ring homomorphism.

By Identity Mapping is Ring Automorphism, the identity mapping $I$ on $R \sqbrk X$ is one too.

By uniqueness, $\iota \circ g = I$.

By Identity Mapping is Surjection and Surjection if Composite is Surjection, $\iota$ is a surjection.

By Inclusion Mapping is Surjection iff Identity, $S = R \sqbrk X$.

It remains to show that $S$ is a commutative ring with unity.

This needs considerable tedious hard slog to complete it.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 `{{Finish}}` from the code.If you would welcome a second opinion as to whether your work is correct, add a call to `{{Proofread}}` the page. |