# Definition:Coefficient of Polynomial

## One variable

### General definition

Let $R$ be a commutative ring with unity.

Let $P \in R \sqbrk x$ be a polynomial over $R$.

By Monomials form Basis of Polynomial Ring, the set $\set {x^k : k \in \N}$ is a basis of $R \sqbrk x$.

By Equality of Monomials of Polynomial Ring, all $x^k$ are distinct.

The **coefficient** of $x^k$ in $P$, or the **$k$th coefficient** of $P$, is the $x^k$-coordinate of $P$ with respect to the basis $\set {x^k : k \in \N}$.

### Polynomial Form

Let $R$ be a commutative ring with unity.

Let $f = a_1 \mathbf X^{k_1} + \cdots + a_r \mathbf X^{k_r}$ be a polynomial in the indeterminates $\left\{{X_j: j \in J}\right\}$ over $R$.

The ring elements $a_1, \ldots, a_r$ are the **coefficients** of $f$.

## Polynomial in Ring Element

The validity of the material on this page is questionable.In particular: the below is ill-definedYou can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by resolving the issues.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 `{{Questionable}}` from the code.If you would welcome a second opinion as to whether your work is correct, add a call to `{{Proofread}}` the page. |

This page or section has statements made on it that ought to be extracted and proved in a Theorem page.In particular: and put it in its own pageYou can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by creating any appropriate Theorem pages that may be needed.To discuss this page in more detail, feel free to use the talk page. |

Let $\struct {R, +, \circ}$ be a ring.

Let $\struct {S, +, \circ}$ be a subring of $R$.

Let $x \in R$.

Let $\ds f = \sum_{j \mathop = 0}^n \paren {a_j \circ x^j} = a_0 + a_1 \circ x + a_2 \circ x^2 + \cdots + a_{n - 1} \circ x^{n - 1} + a_n \circ x^n$ be a polynomial in $x$ over $R$.

The elements of the set $\set {a_0, a_1, \ldots, a_n}$ are the **coefficients of $f$**.