Recall that the division algorithm for integers (Theorem 2.9) says that if $a$ and $b$ are integers with $b \\gt 0\\text{,}$ then there exist unique integers $q$ and $r$ such that $a = bq+r\\text{,}$ where $0 \\leq r \\lt b\\text{.}$ The algorithm by which $q$ and $r$ are found is just long division. A similar theorem exists for polynomials. The division algorithm for polynomials has several important consequences. Since its proof is very similar to the corresponding proof for integers, it is worthwhile to review Theorem 2.9 at this point.
Let $f(x)$ and $g(x)$ be polynomials in $F[x]\\text{,}$ where $F$ is a field and $g(x)$ is a nonzero polynomial. Then there exist unique polynomials $q(x), r(x) \\in F[x]$ such that
where either $\\deg r(x) \\lt \\deg g(x)$ or $r(x)$ is the zero polynomial.
We will first consider the existence of $q(x)$ and $r(x)\\text{.}$ If $f(x)$ is the zero polynomial, then
hence, both $q$ and $r$ must also be the zero polynomial. Now suppose that $f(x)$ is not the zero polynomial and that $\\deg f(x) = n$ and $\\deg g(x) = m\\text{.}$ If $m \\gt n\\text{,}$ then we can let $q(x) = 0$ and $r(x) = f(x)\\text{.}$ Hence, we may assume that $m \\leq n$ and proceed by induction on $n\\text{.}$ If
the polynomial
has degree less than $n$ or is the zero polynomial. By induction, there exist polynomials $q'(x)$ and $r(x)$ such that
where $r(x) = 0$ or the degree of $r(x)$ is less than the degree of $g(x)\\text{.}$ Now let
Then
with $r(x)$ the zero polynomial or $\\deg r(x) \\lt \\deg g(x)\\text{.}$
To show that $q(x)$ and $r(x)$ are unique, suppose that there exist two other polynomials $q_1(x)$ and $r_1(x)$ such that $f(x) = g(x) q_1(x) + r_1(x)$ with $\\deg r_1(x) \\lt \\deg g(x)$ or $r_1(x) = 0\\text{,}$ so that
and
If $q(x) - q_1(x)$ is not the zero polynomial, then
However, the degrees of both $r(x)$ and $r_1(x)$ are strictly less than the degree of $g(x)\\text{;}$ therefore, $r(x) = r_1(x)$ and $q(x) = q_1(x)\\text{.}$
The division algorithm merely formalizes long division of polynomials, a task we have been familiar with since high school. For example, suppose that we divide $x^3 - x^2 + 2 x - 3$ by $x - 2\\text{.}$
| $x^2$ | $+$ | $x$ | $+$ | $4$ | |||||
| $x$ | $-$ | $2$ | $x^3$ | $-$ | $x^2$ | $+$ | $2x$ | $-$ | $3$ |
| $x^3$ | $-$ | $2x^2$ | |||||||
| $x^2$ | $+$ | $2x$ | $-$ | $3$ | |||||
| $x^2$ | $-$ | $2x$ | |||||||
| $4x$ | $-$ | $3$ | |||||||
| $4x$ | $-$ | $8$ | |||||||
| $5$ |
Hence, $x^3 - x^2 + 2 x - 3 = (x - 2) (x^2 + x + 4 ) + 5\\text{.}$
Let $p(x)$ be a polynomial in $F[x]$ and $\\alpha \\in F\\text{.}$ We say that $\\alpha$ is a zero or root of $p(x)$ if $p(x)$ is in the kernel of the evaluation homomorphism $\\phi_{\\alpha}\\text{.}$ All we are really saying here is that $\\alpha$ is a zero of $p(x)$ if $p(\\alpha) = 0\\text{.}$
Let $F$ be a field. An element $\\alpha \\in F$ is a zero of $p(x) \\in F[x]$ if and only if $x - \\alpha$ is a factor of $p(x)$ in $F[x]\\text{.}$
Suppose that $\\alpha \\in F$ and $p( \\alpha ) = 0\\text{.}$ By the division algorithm, there exist polynomials $q(x)$ and $r(x)$ such that
and the degree of $r(x)$ must be less than the degree of $x -\\alpha\\text{.}$ Since the degree of $r(x)$ is less than 1, $r(x) = a$ for $a \\in F\\text{;}$ therefore,
But
consequently, $p(x) = (x - \\alpha) q(x)\\text{,}$ and $x - \\alpha$ is a factor of $p(x)\\text{.}$
Conversely, suppose that $x - \\alpha$ is a factor of $p(x)\\text{;}$ say $p(x) = (x - \\alpha) q(x)\\text{.}$ Then $p( \\alpha ) = 0 \\cdot q(\\alpha) = 0\\text{.}$
Let $F$ be a field. A nonzero polynomial $p(x)$ of degree $n$ in $F[x]$ can have at most $n$ distinct zeros in $F\\text{.}$
We will use induction on the degree of $p(x)\\text{.}$ If $\\deg p(x) = 0\\text{,}$ then $p(x)$ is a constant polynomial and has no zeros. Let $\\deg p(x) = 1\\text{.}$ Then $p(x) = ax +b$ for some $a$ and $b$ in $F\\text{.}$ If $\\alpha_1$ and $\\alpha_2$ are zeros of $p(x)\\text{,}$ then $a\\alpha_1 + b = a\\alpha_2 +b$ or $\\alpha_1 = \\alpha_2\\text{.}$
Now assume that $\\deg p(x) \\gt 1\\text{.}$ If $p(x)$ does not have a zero in $F\\text{,}$ then we are done. On the other hand, if $\\alpha$ is a zero of $p(x)\\text{,}$ then $p(x) = (x - \\alpha ) q(x)$ for some $q(x) \\in F[x]$ by Corollary 17.8. The degree of $q(x)$ is $n-1$ by Proposition 17.4. Let $\\beta$ be some other zero of $p(x)$ that is distinct from $\\alpha\\text{.}$ Then $p(\\beta) = (\\beta - \\alpha) q(\\beta) = 0\\text{.}$ Since $\\alpha \\neq \\beta$ and $F$ is a field, $q(\\beta ) = 0\\text{.}$ By our induction hypothesis, $q(x)$ can have at most $n - 1$ zeros in $F$ that are distinct from $\\alpha\\text{.}$ Therefore, $p(x)$ has at most $n$ distinct zeros in $F\\text{.}$
Let $F$ be a field. A monic polynomial $d(x)$ is a greatest common divisor of polynomials $p(x), q(x) \\in F[x]$ if $d(x)$ evenly divides both $p(x)$ and $q(x)\\text{;}$ and, if for any other polynomial $d'(x)$ dividing both $p(x)$ and $q(x)\\text{,}$ $d'(x) \\mid d(x)\\text{.}$ We write $d(x) = \\gcd( p(x), q( x))\\text{.}$ Two polynomials $p(x)$ and $q(x)$ are relatively prime if $\\gcd(p(x), q(x) ) = 1\\text{.}$
Let $F$ be a field and suppose that $d(x)$ is a greatest common divisor of two polynomials $p(x)$ and $q(x)$ in $F[x]\\text{.}$ Then there exist polynomials $r(x)$ and $s(x)$ such that
Furthermore, the greatest common divisor of two polynomials is unique.
Let $d(x)$ be the monic polynomial of smallest degree in the set
We can write $d(x) = r(x) p(x) + s(x) q(x)$ for two polynomials $r(x)$ and $s(x)$ in $F[x]\\text{.}$ We need to show that $d(x)$ divides both $p(x)$ and $q(x)\\text{.}$ We shall first show that $d(x)$ divides $p(x)\\text{.}$ By the division algorithm, there exist polynomials $a(x)$ and $b(x)$ such that $p(x) = a(x) d(x) + b(x)\\text{,}$ where $b(x)$ is either the zero polynomial or $\\deg b(x) \\lt \\deg d(x)\\text{.}$ Therefore,
is a linear combination of $p(x)$ and $q(x)$ and therefore must be in $S\\text{.}$ However, $b(x)$ must be the zero polynomial since $d(x)$ was chosen to be of smallest degree; consequently, $d(x)$ divides $p(x)\\text{.}$ A symmetric argument shows that $d(x)$ must also divide $q(x)\\text{;}$ hence, $d(x)$ is a common divisor of $p(x)$ and $q(x)\\text{.}$
To show that $d(x)$ is a greatest common divisor of $p(x)$ and $q(x)\\text{,}$ suppose that $d'(x)$ is another common divisor of $p(x)$ and $q(x)\\text{.}$ We will show that $d'(x) \\mid d(x)\\text{.}$ Since $d'(x)$ is a common divisor of $p(x)$ and $q(x)\\text{,}$ there exist polynomials $u(x)$ and $v(x)$ such that $p(x) = u(x) d'(x)$ and $q(x) = v(x) d'(x)\\text{.}$ Therefore,
Since $d'(x) \\mid d(x)\\text{,}$ $d(x)$ is a greatest common divisor of $p(x)$ and $q(x)\\text{.}$
Finally, we must show that the greatest common divisor of $p(x)$ and $q(x)$ is unique. Suppose that $d'(x)$ is another greatest common divisor of $p(x)$ and $q(x)\\text{.}$ We have just shown that there exist polynomials $u(x)$ and $v(x)$ in $F[x]$ such that $d(x) = d'(x)[r(x) u(x) + s(x) v(x)]\\text{.}$ Since
and $d(x)$ and $d'(x)$ are both greatest common divisors, $\\deg d(x) = \\deg d'(x)\\text{.}$ Since $d(x)$ and $d'(x)$ are both monic polynomials of the same degree, it must be the case that $d(x) =~d'(x)\\text{.}$