Library of Math
Online Math Organized by Subject Into Topics
Subscribe to the Library of Math Feed

Polynomial Congruences

    This topic is the study of polynomial congruences and some theorems related to solving them.

Definition (Polynomial Congruence) Given a polynomial polynomial congruences _gr_1.gif] with integer coefficients, the congruence equation polynomial congruences _gr_2.gif] is called a polynomial congruence.

Example (Polynomial Congruence) (a) Consider the example polynomial congruences _gr_3.gif] Any solution of this satisfies polynomial congruences _gr_4.gif]Trying polynomial congruences _gr_5.gif] and polynomial congruences _gr_6.gif] in the latter congruence gives us the complete solution polynomial congruences _gr_7.gif] thus we can restrict our search for solutions of polynomial congruences _gr_8.gif] to the integers in some complete residues system modulo polynomial congruences _gr_9.gif] congruent to 1 modulo polynomial congruences _gr_10.gif] polynomial congruences _gr_11.gif] and 7 for example. Substitution shows that none of these work; the congruence has no solutions.
    (b) As another example, let us look at polynomial congruences _gr_12.gif] We start with polynomial congruences _gr_13.gif] a complete solution is polynomial congruences _gr_14.gif] Thus the possible solutions of polynomial congruences _gr_15.gif] are polynomial congruences _gr_16.gif] and polynomial congruences _gr_17.gif] Substitution shows that only polynomial congruences _gr_18.gif] works. Since all solutions of polynomial congruences _gr_19.gif] must be congruent to polynomial congruences _gr_20.gif] modulo 4, we try polynomial congruences _gr_21.gif] and polynomial congruences _gr_22.gif] in this congruence. Since polynomial congruences _gr_23.gif]  and polynomial congruences _gr_24.gif] only polynomial congruences _gr_25.gif] works. We note that polynomial congruences _gr_26.gif] is a solution of polynomial congruences _gr_27.gif] polynomial congruences _gr_28.gif] is the only other possibility. But polynomial congruences _gr_29.gif] and so polynomial congruences _gr_30.gif] is a complete solution to polynomial congruences _gr_31.gif] polynomial congruences _gr_32.gif]

Proposition (Polynomial Congruence Reduction) Let polynomial congruences _gr_33.gif] be the unique factorization of polynomial congruences _gr_34.gif] Then the polynomial congruence polynomial congruences _gr_35.gif] has the same set of solutions as the system of simultaneous congruences

polynomial congruences _gr_36.gif]

    Proof. As consequence of the fundamental theorem of arithmetic, polynomial congruences _gr_37.gif] if and only if polynomial congruences _gr_38.gif] for each polynomial congruences _gr_39.gif] This follows easily since, for some integer polynomial congruences _gr_40.gif]
    
polynomial congruences _gr_41.gif]

for each polynomial congruences _gr_42.gif] Hence, polynomial congruences _gr_43.gif] if and only if all of the congruences
    
polynomial congruences _gr_44.gif]

also hold. It follows that

polynomial congruences _gr_45.gif]

has the same set of solutions as the system of simultaneous congruences

polynomial congruences _gr_46.gif]
polynomial congruences _gr_47.gif]

Example (Polynomial Congruence Reduction) Consider trying to solve the polynomial congruence equation

polynomial congruences _gr_48.gif]

Since polynomial congruences _gr_49.gif] by inspection we solve the following congruences, and we have  

polynomial congruences _gr_50.gif]

polynomial congruences _gr_51.gif]

polynomial congruences _gr_52.gif]

Thus there are a total of 18 solutions to polynomial congruences _gr_53.gif]; for example to find one of them we solve

polynomial congruences _gr_54.gif]

Using the Chinese remainder theorem we obtain the solution polynomial congruences _gr_55.gif] The other 17 solutions are also found by using the Chinese remainder theorem. polynomial congruences _gr_56.gif]

    In order to solve a polynomial congruence polynomial congruences _gr_57.gif] 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 polynomial congruences _gr_58.gif] where polynomial congruences _gr_59.gif] is some prime power, we would actually like to reduce even further and just solve, polynomial congruences _gr_60.gif] 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 polynomial congruences _gr_61.gif] However, the general procedure for solving polynomial congruences _gr_62.gif] 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 polynomial congruences _gr_63.gif] with integers polynomial congruences _gr_64.gif] and polynomial congruences _gr_65.gif] is a prime such that polynomial congruences _gr_66.gif], then the congruence polynomial congruences _gr_67.gif] has at most polynomial congruences _gr_68.gif] mutually incongruent solutions modulo polynomial congruences _gr_69.gif]

    Solving polynomial congruences _gr_70.gif] where polynomial congruences _gr_71.gif] is some prime power, our strategy is to solve the case for when polynomial congruences _gr_72.gif] (if possible) and then to lift these solutions to the case for polynomial congruences _gr_73.gif] and then to the case for polynomial congruences _gr_74.gif] eventually we can reach polynomial congruences _gr_75.gif] 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 polynomial congruences _gr_76.gif] recall that the derivative is polynomial congruences _gr_77.gif] Assuming polynomial congruences _gr_78.gif] and polynomial congruences _gr_79.gif] are polynomials with integer coefficients, here are three other properties from calculus that we will use,

polynomial congruences _gr_80.gif]

polynomial congruences _gr_81.gif]

and (the Taylor expansion),

polynomial congruences _gr_82.gif]

These results will lead to a proof of the next theorem which states when a solution to polynomial congruences _gr_83.gif] lifts to a unique solution of polynomial congruences _gr_84.gif] and when such a solution lifts to polynomial congruences _gr_85.gif] incongruent solutions modulo polynomial congruences _gr_86.gif] or to none at all.
    Let polynomial congruences _gr_87.gif] denote the inverse polynomial congruences _gr_88.gif] modulo polynomial congruences _gr_89.gif] that is, given a prime polynomial congruences _gr_90.gif] and an integer polynomial congruences _gr_91.gif] any integer polynomial congruences _gr_92.gif] for which polynomial congruences _gr_93.gif] We are now reading for the main theorem of this topic.

Proposition (Hensel's Lifting Theorem) If polynomial congruences _gr_94.gif] is a polynomial with integers coefficients and polynomial congruences _gr_95.gif] is a solution to polynomial congruences _gr_96.gif] with polynomial congruences _gr_97.gif] and prime polynomial congruences _gr_98.gif], then

(i) if polynomial congruences _gr_99.gif] then there is a unique integer polynomial congruences _gr_100.gif] polynomial congruences _gr_101.gif] such that polynomial congruences _gr_102.gif]  given by

polynomial congruences _gr_103.gif]

(ii) if polynomial congruences _gr_104.gif] and polynomial congruences _gr_105.gif] then polynomial congruences _gr_106.gif] for all integers polynomial congruences _gr_107.gif]

(iii) if polynomial congruences _gr_108.gif] and polynomial congruences _gr_109.gif] then polynomial congruences _gr_110.gif] has no solutions with polynomial congruences _gr_111.gif]

Furthermore, if polynomial congruences _gr_112.gif] and polynomial congruences _gr_113.gif] then there is a unique solution polynomial congruences _gr_114.gif] modulo polynomial congruences _gr_115.gif] for polynomial congruences _gr_116.gif] such that polynomial congruences _gr_117.gif]  

Example (Solving Polynomial Congruences) Solve the polynomial congruence equations.  

(a) Solve the polynomial congruence equation

polynomial congruences _gr_118.gif]

    Solution. Since polynomial congruences _gr_119.gif] first we consider the equation polynomial congruences _gr_120.gif] By inspection, we see that the solutions are polynomial congruences _gr_121.gif] and polynomial congruences _gr_122.gif] Note that, polynomial congruences _gr_123.gif]
    For polynomial congruences _gr_124.gif] we find that polynomial congruences _gr_125.gif] Thus polynomial congruences _gr_126.gif] lifts successively to unique solutions modulo each power of polynomial congruences _gr_127.gif] We set polynomial congruences _gr_128.gif] Then, since polynomial congruences _gr_129.gif] we have polynomial congruences _gr_130.gif] and so  
    
polynomial congruences _gr_131.gif]

polynomial congruences _gr_132.gif]

polynomial congruences _gr_133.gif]

So we have lifted polynomial congruences _gr_134.gif] to a solution polynomial congruences _gr_135.gif]
     For polynomial congruences _gr_136.gif] we find that polynomial congruences _gr_137.gif] Thus polynomial congruences _gr_138.gif] lifts successively to unique solutions modulo each power of polynomial congruences _gr_139.gif] We set polynomial congruences _gr_140.gif] Then, since polynomial congruences _gr_141.gif] we have polynomial congruences _gr_142.gif] and so  
    
polynomial congruences _gr_143.gif]

polynomial congruences _gr_144.gif]

polynomial congruences _gr_145.gif]

So we have lifted polynomial congruences _gr_146.gif] to a solution polynomial congruences _gr_147.gif]
    
(b) Solve the polynomial congruence equation

polynomial congruences _gr_148.gif]

    Solution.  Since polynomial congruences _gr_149.gif] first we consider the equation polynomial congruences _gr_150.gif] By inspection, we see that the solutions are polynomial congruences _gr_151.gif] and polynomial congruences _gr_152.gif] modulo 5. Note that, polynomial congruences _gr_153.gif]
    For polynomial congruences _gr_154.gif] we find that polynomial congruences _gr_155.gif] Thus we check, polynomial congruences _gr_156.gif] and so polynomial congruences _gr_157.gif] does not lift to a solution modulo polynomial congruences _gr_158.gif].
    For polynomial congruences _gr_159.gif] we find that polynomial congruences _gr_160.gif] and so polynomial congruences _gr_161.gif] has unique lifts modulo polynomial congruences _gr_162.gif] We set polynomial congruences _gr_163.gif] Then, since polynomial congruences _gr_164.gif] we have polynomial congruences _gr_165.gif] and so  
    
polynomial congruences _gr_166.gif]

polynomial congruences _gr_167.gif]

So we have lifted polynomial congruences _gr_168.gif] to a solution polynomial congruences _gr_169.gif]; that is we have solved polynomial congruences _gr_170.gif]
      Now we consider the case for polynomial congruences _gr_171.gif] By inspection, we see that the solutions are polynomial congruences _gr_172.gif] and polynomial congruences _gr_173.gif] modulo 7.
      For polynomial congruences _gr_174.gif] we find that polynomial congruences _gr_175.gif] Thus we check, polynomial congruences _gr_176.gif] and so polynomial congruences _gr_177.gif] does not lift to a solution modulo polynomial congruences _gr_178.gif].  
     For polynomial congruences _gr_179.gif] we find that polynomial congruences _gr_180.gif] and so polynomial congruences _gr_181.gif] has unique lifts modulo polynomial congruences _gr_182.gif] We set polynomial congruences _gr_183.gif] Then, since polynomial congruences _gr_184.gif] we have polynomial congruences _gr_185.gif] and so  
    
polynomial congruences _gr_186.gif]

So we have lifted polynomial congruences _gr_187.gif] to a solution polynomial congruences _gr_188.gif]; that is we have solved polynomial congruences _gr_189.gif]
     It remains to solve the system:

polynomial congruences _gr_190.gif]

This is easy since polynomial congruences _gr_191.gif] and we have polynomial congruences _gr_192.gif] and so

polynomial congruences _gr_193.gif]

as desired. polynomial congruences _gr_194.gif]

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
about us contact us privacy policy terms of use mision statement lom help
The Library of Math - Online Math Organized by Subject Into Topics. © 2005 - 2008 www.LibraryOfMath.com All rights reserved.
Page copy protected against web site content infringement by Copyscape   Valid CSS! Valid HTML 4.01 Transitional