Polynomial Congruences
This topic is the study of polynomial congruences and some theorems related to solving them.
Definition (Polynomial Congruence) Given a polynomial
with integer coefficients, the congruence equation
is called a polynomial congruence.
Example (Polynomial Congruence) (a) Consider the example
Any solution of this satisfies
Trying
and
in the latter congruence gives us the complete solution
thus we can restrict our search for solutions of
to the integers in some complete residues system modulo
congruent to 1 modulo
and 7 for example. Substitution shows that none of these work; the congruence has no solutions. (b) As another example, let us look at
We start with
a complete solution is
Thus the possible solutions of
are
and
Substitution shows that only
works. Since all solutions of
must be congruent to
modulo 4, we try
and
in this congruence. Since
and
only
works. We note that
is a solution of
is the only other possibility. But
and so
is a complete solution to
Proposition (Polynomial Congruence Reduction) Let
be the unique factorization of
Then the polynomial congruence
has the same set of solutions as the system of simultaneous congruences
![polynomial congruences _gr_36.gif]](pages/polynomial-congruences/Images/polynomial-congruences_gr_36.gif)
Proof. As consequence of the fundamental theorem of arithmetic,
if and only if
for each
This follows easily since, for some integer
![polynomial congruences _gr_41.gif]](pages/polynomial-congruences/Images/polynomial-congruences_gr_41.gif)
for each
Hence,
if and only if all of the congruences
![polynomial congruences _gr_44.gif]](pages/polynomial-congruences/Images/polynomial-congruences_gr_44.gif)
also hold. It follows that
![polynomial congruences _gr_45.gif]](pages/polynomial-congruences/Images/polynomial-congruences_gr_45.gif)
has the same set of solutions as the system of simultaneous congruences
![polynomial congruences _gr_46.gif]](pages/polynomial-congruences/Images/polynomial-congruences_gr_46.gif)
Example (Polynomial Congruence Reduction) Consider trying to solve the polynomial congruence equation
![polynomial congruences _gr_48.gif]](pages/polynomial-congruences/Images/polynomial-congruences_gr_48.gif)
Since
by inspection we solve the following congruences, and we have
![polynomial congruences _gr_50.gif]](pages/polynomial-congruences/Images/polynomial-congruences_gr_50.gif)
![polynomial congruences _gr_51.gif]](pages/polynomial-congruences/Images/polynomial-congruences_gr_51.gif)
![polynomial congruences _gr_52.gif]](pages/polynomial-congruences/Images/polynomial-congruences_gr_52.gif)
Thus there are a total of 18 solutions to
; for example to find one of them we solve
![polynomial congruences _gr_54.gif]](pages/polynomial-congruences/Images/polynomial-congruences_gr_54.gif)
Using the Chinese remainder theorem we obtain the solution
The other 17 solutions are also found by using the Chinese remainder theorem.
In order to solve a polynomial congruence
we can reduce to the case of moduli that are powers of primes. Thus solving these polynomial congruences becomes the main focus. In order to solve
where
is some prime power, we would actually like to reduce even further and just solve,
So our first goal will be how to solve polynomial congruences with a prime moduli, and then to see how to lift these solutions to
However, the general procedure for solving
is non-rival; instead, we set a limit to the number of solutions, which will help in some cases.
Proposition (Factor Theorem for Polynomial Congruences) Let
with integers
and
is a prime such that
, then the congruence
has at most
mutually incongruent solutions modulo
Solving
where
is some prime power, our strategy is to solve the case for when
(if possible) and then to lift these solutions to the case for
and then to the case for
eventually we can reach
In order to state the main theorem and understand its proof we need some results from calculus; in particular, the derivative of a polynomial. Given
recall that the derivative is
Assuming
and
are polynomials with integer coefficients, here are three other properties from calculus that we will use,
![polynomial congruences _gr_80.gif]](pages/polynomial-congruences/Images/polynomial-congruences_gr_80.gif)
![polynomial congruences _gr_81.gif]](pages/polynomial-congruences/Images/polynomial-congruences_gr_81.gif)
and (the Taylor expansion),
These results will lead to a proof of the next theorem which states when a solution to
lifts to a unique solution of
and when such a solution lifts to
incongruent solutions modulo
or to none at all. Let
denote the inverse
modulo
that is, given a prime
and an integer
any integer
for which
We are now reading for the main theorem of this topic.
Proposition (Hensel's Lifting Theorem) If
is a polynomial with integers coefficients and
is a solution to
with
and prime
, then
(i) if
then there is a unique integer
such that
given by
![polynomial congruences _gr_103.gif]](pages/polynomial-congruences/Images/polynomial-congruences_gr_103.gif)
(ii) if
and
then
for all integers
![polynomial congruences _gr_107.gif]](pages/polynomial-congruences/Images/polynomial-congruences_gr_107.gif)
(iii) if
and
then
has no solutions with
Furthermore, if
and
then there is a unique solution
modulo
for
such that
Example (Solving Polynomial Congruences) Solve the polynomial congruence equations.
(a) Solve the polynomial congruence equation
![polynomial congruences _gr_118.gif]](pages/polynomial-congruences/Images/polynomial-congruences_gr_118.gif)
Solution. Since
first we consider the equation
By inspection, we see that the solutions are
and
Note that,
For
we find that
Thus
lifts successively to unique solutions modulo each power of
We set
Then, since
we have
and so
![polynomial congruences _gr_131.gif]](pages/polynomial-congruences/Images/polynomial-congruences_gr_131.gif)
![polynomial congruences _gr_132.gif]](pages/polynomial-congruences/Images/polynomial-congruences_gr_132.gif)
![polynomial congruences _gr_133.gif]](pages/polynomial-congruences/Images/polynomial-congruences_gr_133.gif) So we have lifted
to a solution
For
we find that
Thus
lifts successively to unique solutions modulo each power of
We set
Then, since
we have
and so
![polynomial congruences _gr_143.gif]](pages/polynomial-congruences/Images/polynomial-congruences_gr_143.gif)
![polynomial congruences _gr_144.gif]](pages/polynomial-congruences/Images/polynomial-congruences_gr_144.gif)
![polynomial congruences _gr_145.gif]](pages/polynomial-congruences/Images/polynomial-congruences_gr_145.gif) So we have lifted
to a solution
(b) Solve the polynomial congruence equation
![polynomial congruences _gr_148.gif]](pages/polynomial-congruences/Images/polynomial-congruences_gr_148.gif)
Solution. Since
first we consider the equation
By inspection, we see that the solutions are
and
modulo 5. Note that,
![polynomial congruences _gr_153.gif]](pages/polynomial-congruences/Images/polynomial-congruences_gr_153.gif) For
we find that
Thus we check,
and so
does not lift to a solution modulo
. For
we find that
and so
has unique lifts modulo
We set
Then, since
we have
and so
![polynomial congruences _gr_166.gif]](pages/polynomial-congruences/Images/polynomial-congruences_gr_166.gif)
![polynomial congruences _gr_167.gif]](pages/polynomial-congruences/Images/polynomial-congruences_gr_167.gif) So we have lifted
to a solution
; that is we have solved
Now we consider the case for
By inspection, we see that the solutions are
and
modulo 7. For
we find that
Thus we check,
and so
does not lift to a solution modulo
. For
we find that
and so
has unique lifts modulo
We set
Then, since
we have
and so
![polynomial congruences _gr_186.gif]](pages/polynomial-congruences/Images/polynomial-congruences_gr_186.gif) So we have lifted
to a solution
; that is we have solved
It remains to solve the system:
![polynomial congruences _gr_190.gif]](pages/polynomial-congruences/Images/polynomial-congruences_gr_190.gif)
This is easy since
and we have
and so
![polynomial congruences _gr_193.gif]](pages/polynomial-congruences/Images/polynomial-congruences_gr_193.gif) as desired.
Cite this as: Polynomial Congruences Published by Library of Math -- Online math organized by subject into topics.
Written by Smith, David A.
http://www.libraryofmath.com/polynomial-congruences.html
|