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

Quadratic Residue

    (1) Explain why it suffices to know when quadratic residue _gr_1.gif] is solvable when trying to solve quadratic congruences.

    (2) Define quadratic residues, the Legendre symbol, and determine all quadratic residues of 13 and 17.
    
    (3) Use the quadratic residues for 13 and 17 to state and use Euler's Criterion.

    (4) Quadratic characters of quadratic residue _gr_2.gif] and 2.

    (5) Law of Quadratic Reciprocity with examples.

Solving Quadratic Congruences

    Consider the congruence

quadratic residue _gr_3.gif]

where quadratic residue _gr_4.gif] is an odd prime and quadratic residue _gr_5.gif] Inspired by completing the square, we have

quadratic residue _gr_6.gif]

quadratic residue _gr_7.gif]

quadratic residue _gr_8.gif]

quadratic residue _gr_9.gif]

quadratic residue _gr_10.gif]

Let quadratic residue _gr_11.gif] and quadratic residue _gr_12.gif] then we have a simplified version of the original namely;

quadratic residue _gr_13.gif]

Here is an example which illustrates how to take advantage of this.

Quadratic Residue

Definition (Quadratic Residue) Let   quadratic residue _gr_14.gif] be a positive integer with quadratic residue _gr_15.gif]    
    
    (i) If quadratic residue _gr_16.gif] has a solution then quadratic residue _gr_17.gif] is a quadratic residue of quadratic residue _gr_18.gif]
    
    (ii) If quadratic residue _gr_19.gif] does not have solution then quadratic residue _gr_20.gif] is a quadratic non-residue of quadratic residue _gr_21.gif]
        

Example (Quadratic Residue) Determine the quadratic residues of quadratic residue _gr_22.gif]

    Solution. We compute the squares of the positive integers less than 13 namely: quadratic residue _gr_23.gif] quadratic residue _gr_24.gif] quadratic residue _gr_25.gif] quadratic residue _gr_26.gif] quadratic residue _gr_27.gif] and quadratic residue _gr_28.gif] Therefore, the quadratic residues of 13 are quadratic residue _gr_29.gif] and the quadratic non-residues of 13 are quadratic residue _gr_30.gif] quadratic residue _gr_31.gif]

Example (Quadratic Residue) Determine the quadratic residues of quadratic residue _gr_32.gif]

    Solution. We compute the squares of the positive integers less than 13 namely: quadratic residue _gr_33.gif] quadratic residue _gr_34.gif] quadratic residue _gr_35.gif] quadratic residue _gr_36.gif] quadratic residue _gr_37.gif] quadratic residue _gr_38.gif] quadratic residue _gr_39.gif] and quadratic residue _gr_40.gif] Therefore, the quadratic residues of 17 are quadratic residue _gr_41.gif] and the quadratic non-residues of 17 are quadratic residue _gr_42.gif] quadratic residue _gr_43.gif]

Definition (Legendre Symbol) Let quadratic residue _gr_44.gif] be an odd prime with quadratic residue _gr_45.gif] The Legendre symbol is defined as follows:

quadratic residue _gr_46.gif]

Example (Legendre Symbol)  Since the quadratic residues of 13 are quadratic residue _gr_47.gif] and the quadratic non-residues of 13 are quadratic residue _gr_48.gif] We find that

quadratic residue _gr_49.gif]

quadratic residue _gr_50.gif]

Since the quadratic residues of 17 are quadratic residue _gr_51.gif] and the quadratic non-residues of 17 are quadratic residue _gr_52.gif] We find that

quadratic residue _gr_53.gif]

quadratic residue _gr_54.gif]
quadratic residue _gr_55.gif]

Euler's Criterion

Notice the relationship the quadratic residues and quadratic non-residues of 13 satisfies:

quadratic residue _gr_56.gif]

quadratic residue _gr_57.gif]

So for each of these quadratic residue _gr_58.gif] we have quadratic residue _gr_59.gif]

And again for quadratic residue _gr_60.gif]

quadratic residue _gr_61.gif]

quadratic residue _gr_62.gif]

So for each of these quadratic residue _gr_63.gif] we have quadratic residue _gr_64.gif]   quadratic residue _gr_65.gif]

Proposition (Euler's Criterion) Let quadratic residue _gr_66.gif] be an odd prime and quadratic residue _gr_67.gif] Then

quadratic residue _gr_68.gif]

Quadratic Characters

Example (Quadratic Character of -1) If quadratic residue _gr_69.gif] is an odd prime, then

quadratic residue _gr_70.gif]

quadratic residue _gr_71.gif]

Law of Quadratic Reciprocity

Proposition (Quadratic Reciprocity - Gauss's Form) Let quadratic residue _gr_72.gif] and quadratic residue _gr_73.gif]be distinct odd primes, then

quadratic residue _gr_74.gif]

Proposition (Quadratic Reciprocity - Legendre's Form) Let quadratic residue _gr_75.gif] and quadratic residue _gr_76.gif] be distinct odd primes, then

quadratic residue _gr_77.gif]

Proposition (Properties of the Legendre Symbol) Let quadratic residue _gr_78.gif] be an odd prime with quadratic residue _gr_79.gif] and quadratic residue _gr_80.gif] Then

    (i) if quadratic residue _gr_81.gif] then quadratic residue _gr_82.gif]
    
    (ii)   quadratic residue _gr_83.gif]
    
    (iii)   quadratic residue _gr_84.gif]
    
    (iv) quadratic residue _gr_85.gif] quadratic residue _gr_86.gif]
    
    (v) if quadratic residue _gr_87.gif] has prime factorization

quadratic residue _gr_88.gif]

and quadratic residue _gr_89.gif] is a prime not dividing quadratic residue _gr_90.gif], then
    
quadratic residue _gr_91.gif]

Example (Quadratic Reciprocity) Evaluate the following Legendre symbols

(a) quadratic residue _gr_92.gif]

    Solution. Since quadratic residue _gr_93.gif] we have quadratic residue _gr_94.gif] Since quadratic residue _gr_95.gif] and quadratic residue _gr_96.gif] we have

quadratic residue _gr_97.gif]


(b) quadratic residue _gr_98.gif]

    Solution. To evaluate quadratic residue _gr_99.gif] we note that quadratic residue _gr_100.gif] So we have quadratic residue _gr_101.gif] and since quadratic residue _gr_102.gif] we see that

quadratic residue _gr_103.gif]

Finally since quadratic residue _gr_104.gif] quadratic residue _gr_105.gif] and quadratic residue _gr_106.gif] we have

quadratic residue _gr_107.gif]


(c) quadratic residue _gr_108.gif]

    Solution.  Since quadratic residue _gr_109.gif] we have

quadratic residue _gr_110.gif]

So we break these down into cases as follows

quadratic residue _gr_111.gif]  since quadratic residue _gr_112.gif]

quadratic residue _gr_113.gif]  since quadratic residue _gr_114.gif]

quadratic residue _gr_115.gif]  since quadratic residue _gr_116.gif]

quadratic residue _gr_117.gif]  since quadratic residue _gr_118.gif]

quadratic residue _gr_119.gif]  since quadratic residue _gr_120.gif]

quadratic residue _gr_121.gif]  since quadratic residue _gr_122.gif]

quadratic residue _gr_123.gif]  since quadratic residue _gr_124.gif]

quadratic residue _gr_125.gif] since quadratic residue _gr_126.gif]
and

quadratic residue _gr_127.gif] since quadratic residue _gr_128.gif]

quadratic residue _gr_129.gif] since quadratic residue _gr_130.gif]

quadratic residue _gr_131.gif]

quadratic residue _gr_132.gif]

quadratic residue _gr_133.gif]

quadratic residue _gr_134.gif]

quadratic residue _gr_135.gif]

quadratic residue _gr_136.gif]

quadratic residue _gr_137.gif]

quadratic residue _gr_138.gif]

Therefore, quadratic residue _gr_139.gif] quadratic residue _gr_140.gif]

Cite this as:
Quadratic Residue
Published by Library of Math -- Online math organized by subject into topics.
Written by Smith, David A.
http://www.libraryofmath.com/quadratic-residue.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. math rss