Polynomial ring/Field/One variable/Explanations/Remark

A polynomial

${}P=\sum _{i=0}^{n}a_{i}X^{i}=a_{0}+a_{1}X+a_{2}X^{2}+\cdots +a_{n}X^{n}\,$

is, formally seen, nothing but the tuple ${}(a_{0},a_{1},\ldots ,a_{n})$, these numbers are called the coefficient of the polynomial. The polynomials are equal if and only if all their coefficients coincide. The letter ${}X$ is called the variable of the polynomial ring. In this context, the field ${}K$ is called the base field of the polynomial ring. Due to the componentwise definition of the addition, we have immediately a commutative group, with the zero polynomial (where all coefficients are ${}0$) as neutral element. The polynomials with ${}a_{i}=0$ for all ${}i\geq 1$ are called constant polynomials, they are simply written as ${}a_{0}$.

The way a polynomial is written suggests how the multiplication shall work, the product ${}X^{n}\cdot X^{m}$ is given by the addition of the exponents, thus ${}X^{n}\cdot X^{m}:=X^{n+m}$. For arbitrary polynomials, the multiplication arises from this simple multiplication rule by distributive continuation according to the law to multiply "everything with everything“. Explicitly, the multiplication is given by the following rule gegeben:

${\left(\sum _{i=0}^{n}a_{i}X^{i}\right)}\cdot {\left(\sum _{j=0}^{m}a_{j}X^{j}\right)}=\sum _{k=0}^{n+m}c_{k}X^{k}{\text{ where }}c_{k}=\sum _{r=0}^{k}a_{r}b_{k-r}.$

The multiplication is associative, commutative, distributive, and the constant polynomial ${}1$ is its neutral element, see exercise. Altogether, we have a commutative ring.