Section 17.2 The Division Algorithm
Recall that the division algorithm for integers (Theorem 2.9) says that if and are integers with then there exist unique integers and such that where The algorithm by which and 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.
Proof.
We will first consider the existence of and If is the zero polynomial, then
hence, both and must also be the zero polynomial. Now suppose that is not the zero polynomial and that and If then we can let and Hence, we may assume that and proceed by induction on If
the polynomial
has degree less than or is the zero polynomial. By induction, there exist polynomials and such that
where or the degree of is less than the degree of Now let
Then
with the zero polynomial or
To show that and are unique, suppose that there exist two other polynomials and such that with or so that
and
If is not the zero polynomial, then
However, the degrees of both and are strictly less than the degree of therefore, and
Example 17.7.
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 by
Hence,
Let be a polynomial in and We say that is a zero or root of if is in the kernel of the evaluation homomorphism All we are really saying here is that is a zero of if
Corollary 17.8.
Proof.
Suppose that and By the division algorithm, there exist polynomials and such that
and the degree of must be less than the degree of Since the degree of is less than 1, for therefore,
But
consequently, and is a factor of
Conversely, suppose that is a factor of say Then
Corollary 17.9.
Proof.
We will use induction on the degree of If then is a constant polynomial and has no zeros. Let Then for some and in If and are zeros of then or
Now assume that If does not have a zero in then we are done. On the other hand, if is a zero of then for some by Corollary 17.8. The degree of is by Proposition 17.4. Let be some other zero of that is distinct from Then Since and is a field, By our induction hypothesis, can have at most zeros in that are distinct from Therefore, has at most distinct zeros in
Let be a field. A monic polynomial is a greatest common divisor of polynomials if evenly divides both and and, if for any other polynomial dividing both and We write Two polynomials and are relatively prime if
Proposition 17.10.
Proof.
Let be the monic polynomial of smallest degree in the set
We can write for two polynomials and in We need to show that divides both and We shall first show that divides By the division algorithm, there exist polynomials and such that where is either the zero polynomial or Therefore,
is a linear combination of and and therefore must be in However, must be the zero polynomial since was chosen to be of smallest degree; consequently, divides A symmetric argument shows that must also divide hence, is a common divisor of and
To show that is a greatest common divisor of and suppose that is another common divisor of and We will show that Since is a common divisor of and there exist polynomials and such that and Therefore,
Since is a greatest common divisor of and
Finally, we must show that the greatest common divisor of and is unique. Suppose that is another greatest common divisor of and We have just shown that there exist polynomials and in such that Since
and and are both greatest common divisors, Since and are both monic polynomials of the same degree, it must be the case that