A nonconstant polynomial is irreducible over a field if cannot be expressed as a product of two polynomials and in where the degrees of and are both smaller than the degree of Irreducible polynomials function as the βprime numbersβ of polynomial rings.
Example 6.18.
The polynomial is irreducible since it cannot be factored any further over the rational numbers. Similarly, is irreducible over the real numbers.
Example 6.19.
The polynomial is irreducible over Suppose that this polynomial was reducible over By the division algorithm there would have to be a factor of the form where is some element in Hence, it would have to be true that However,
Therefore, has no zeros in and must be irreducible.
Lemma 6.20.
Let Then
where are integers, the 's are relatively prime, and and are relatively prime.
Proof.
Suppose that
where the 's and the 's are integers. We can rewrite as
where are integers. Let be the greatest common divisor of Then
where and the 's are relatively prime. Reducing to its lowest terms, we can write
where
Theorem 6.21. Gauss's Lemma.
Let be a monic polynomial such that factors into a product of two polynomials and in where the degrees of both and are less than the degree of Then where and are monic polynomials in with and
Proof.
By Lemma 6.20, we can assume that
where the 's are relatively prime and the 's are relatively prime. Consequently,
where is the product of and expressed in lowest terms. Hence,
If then since is a monic polynomial. Hence, either or If then either or In the first case where and are monic polynomials with and In the second case and are the correct monic polynomials since The case in which can be handled similarly.
Now suppose that Since there exists a prime such that and Also, since the coefficients of are relatively prime, there exists a coefficient such that Similarly, there exists a coefficient of such that Let and be the polynomials in obtained by reducing the coefficients of and modulo Since in However, this is impossible since neither nor is the zero polynomial and is an integral domain. Therefore, and the theorem is proven.
Corollary 6.22.
Let be a polynomial with coefficients in and If has a zero in then also has a zero in Furthermore, divides
Proof.
Let have a zero Then must have a linear factor By Gauss's Lemma, has a factorization with a linear factor in Hence, for some
Thus and so
Example 6.23.
Let We shall show that is irreducible over Assume that is reducible. Then either has a linear factor, say where is a polynomial of degree three, or has two quadratic factors.
If has a linear factor in then it has a zero in By Corollary 6.22, any zero must divide 1 and therefore must be however, and Consequently, we have eliminated the possibility that has any linear factors.
Therefore, if is reducible it must factor into two quadratic polynomials, say
where each factor is in by Gauss's Lemma. Hence,
Since either or In either case and so
Since we know that This is impossible since is an integer. Therefore, must be irreducible over
Theorem 6.24. Eisenstein's Criterion.
Let be a prime and suppose that
If for but and then is irreducible over
Proof.
By Gauss's Lemma, we need only show that does not factor into polynomials of lower degree in Let
be a factorization in with and not equal to zero and Since does not divide either or is not divisible by Suppose that and Since and neither nor is divisible by Let be the smallest value of such that Then
is not divisible by since each term on the right-hand side of the equation is divisible by except for Therefore, since is divisible by for Hence, cannot be factored into polynomials of lower degree and therefore must be irreducible.
Example 6.25.
The polynomial
is easily seen to be irreducible over by Eisenstein's Criterion if we let
Eisenstein's Criterion is more useful in constructing irreducible polynomials of a certain degree over than in determining the irreducibility of an arbitrary polynomial in given an arbitrary polynomial, it is not very likely that we can apply Eisenstein's Criterion. The real value of Theorem 6.24 is that we now have an easy method of generating irreducible polynomials of any degree.
Subsection 6.4.1 Ideals in
Let be a field. Recall that a principal ideal in is an ideal generated by some polynomial that is,
Example 6.26.
The polynomial in generates the ideal consisting of all polynomials with no constant term or term of degree
Theorem 6.27.
If is a field, then every ideal in is a principal ideal.
Proof.
Let be an ideal of If is the zero ideal, the theorem is easily true. Suppose that is a nontrivial ideal in and let be a nonzero element of minimal degree. If then is a nonzero constant and 1 must be in Since 1 generates all of and is again a principal ideal.
Now assume that and let be any element in By the division algorithm there exist and in such that and Since and is an ideal, is also in However, since we chose to be of minimal degree, must be the zero polynomial. Since we can write any element in as for some it must be the case that
Example 6.28.
It is not the case that every ideal in the ring is a principal ideal. Consider the ideal of generated by the polynomials and This is the ideal of consisting of all polynomials with no constant term. Since both and are in the ideal, no single polynomial can generate the entire ideal.
Theorem 6.29.
Let be a field and suppose that Then the ideal generated by is maximal if and only if is irreducible.
Proof.
Suppose that generates a maximal ideal of Then is also a prime ideal of Since a maximal ideal must be properly contained inside cannot be a constant polynomial. Let us assume that factors into two polynomials of lesser degree, say Since is a prime ideal one of these factors, say is in and therefore be a multiple of But this would imply that which is impossible since is maximal.
Conversely, suppose that is irreducible over Let be an ideal in containing By Theorem 6.27, is a principal ideal; hence, for some Since it must be the case that for some However, is irreducible; hence, either or is a constant polynomial. If is constant, then and we are done. If is constant, then is a constant multiple of and Thus, there are no proper ideals of that properly contain