Getting back to polynomials, we know that each polynomial
of degree
with coefficients in a field can have at
most
factors. We don't yet have any strategies
(a) for finding these factors, or
(b) for determining whether or not the polynomial has any factors.
Note that a polynomial may factor yet have no roots in the
field, for example
has no real roots.
However, if the polynomial has a root then it factors.
Irreducible polynomials are analogous
to prime numbers.
One of the properties of a prime number was that
if
was a prime and
then either
or
(``Euclid's First Theorem'', Proposition
1.5.8). The analogous result also holds for
irreducible polynomials.
The proof is analogous to the proof of Proposition 1.5.8, and so is omitted.
If a polynomial
has a root in
, say
, then it is not irreducible since,
by the division algorithm,
is a factor.
One would like to be able to determine
whether or not a polynomial
is irreducible
simply by means of its roots (or lack of them)
in
. This will not work in general, as we saw with the
example
(
which obviously factors but has no real roots).
However, if the polynomial is either a quadratic or a cubic, then
it's a different story.
proof:
If
has degree
then it can only factor into
a product of two degree
polynomials, each of which will
have a root.
If
has degree
then it can only factor into
either a product of three degree
polynomials or a degree
and
a degree
polynomial, at least one of which will
have a root.
In the previous chapter, we found out one can always factor an integer into prime powers (the fundamental theorem of arithmetic) and we considered a basic technique for factoring integers which is practical for integers of ``small'' degree. Here we want to know