A polynomial $\phi$ of degree $d$ is a vector of $d+1$ coefficients:
\begin{align} \phi &= [\phi_0, \phi_1, \phi_2, \dots, \phi_d] \end{align}
For example, $\phi = [1, 10, 9]$ is a degree 2 polynomial. Also, $\phi’ = [1, 10, 9, 0, 0, 0]$ is also a degree 2 polynomial, since the zero coefficients at the end do not count. But $\phi’’ = [1, 10, 9, 0, 0, 0, 1]$ is a degree 6 polynomial, since the last nonzero coefficient is $\phi_6 = 3$.
“A list of numbers? That makes no sense!” Don’t panic! You are probably more familiar to polynomials expressed as function of a variable $X$: \begin{align} \phi(X) &= \phi_0 + \phi_1\cdot X + \phi_2\cdot X^2 + \cdots + \phi_d\cdot X^d]\\\ &= \sum_{i=0}^{d+1} \phi_i X^i \end{align}
For example, $\phi = [1, 10, 9]$ and $\phi(X) = 9X^2 + 10X + 1$ are one and the same thing.
Note: The degree is defined as the index $i$ of the last nonzero coefficient: $\deg(\phi)=i$ s.t. $\forall j > i, \phi_j = 0$.
The basics of polynomials
The polynomial remainder theorem
This theorem says that:
\begin{align} \phi(a) = y\Leftrightarrow \exists q(X), \phi(X) &= q(X)(Xa) + \phi(a) \end{align}
This property is leveraged by certain cryptosystems^{1}.
Dividing polynomials
Division of polynomials conceptually resembles division of integers.
Specifically, dividing a polynomial $a(X)$ by $b(X)$ gives a quotient $q(X)$ and a remainder $r(X)$ such that:
Importantly, $\deg{q} = \deg{a}  \deg{b}$ and $\deg{r} < \deg{b}$.

Evaluation proofs in KZG polynomial commitments leverage the polynomial remainder theorem. ↩