The goal for this section is to state a version of fundamental theorem of arithmetic for polynomials. We will first need the concept of βprime numbersβ in . Conveniently, the prime elements in will be called the irreducible polynomials.
Irreducible Polynomials
Definition
A non-constant polynomial in is called irreducible if its only divisors are the units and the constant multiples of . A non-constant, non-irreducible polynomial is called reducible.
This definition should be compared with prime numbers. Where we stated the number is prime iff its only divisors are and . The are the units in , so the definition above is a consistent generalization.
The irreducible polynomials are the prime elements in , the terminology is justified by the following proposition.
Proposition
A non-constant polynomial is reducible if and only if there exist non-constant polynomials and such that .
proof of the proposition
If a non-constant polynomial is reducible, then there exist polynomials and such that , we may assume is non-constant and not a constant multiple of .
Then in this case, we will have:
This implies , so both and are non-constant.
The proposition tells us reducible polynomials can be thought as the ones that can be factored into two smaller degree polynomials. So in particular, when we have the minimal possible degree for non-constant polynomials, it is automatically irreducible.
Proposition
A non-constant polynomial of degree is irreducible.
Irreducibility depends on the field . For example:
- is irreducible in but reducible in .
- is irreducible in but reducible in .
Recall we have the following property for prime numbers:
If is prime, and , then or .
We will have a similar property for irreducible polynomials.
Proposition
Let be a non-constant polynomial in . TFAE:
- is irreducible.
- If , then or .
- If , then or is a unit.
The generalization of the second property to arbitrary number of polynomials is also correct:
Proposition
Let be an irreducible polynomial in . For any polynomials , if , then for some .
Unique Factorization
We finally state the fundamental theorem of arithmetic for polynomials.
Theorem
Let be a non-constant polynomial in . Then can be factored into a product of irreducible polynomials in in the following way:
The factorization is unique in the following sense:
Then , and after relabeling, we have for some non-zero constant .
When we have factorizations into irreducible polynomials, we can find the greatest common divisor of two polynomials by looking for common factors in the factorizations and take the minimum of the exponents.
Example
Let and be two polynomials in . Then we have: