Quadratic Residue
(1) Explain why it suffices to know when
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
and 2.
(5) Law of Quadratic Reciprocity with examples.
Solving Quadratic Congruences
Consider the congruence
where
is an odd prime and
Inspired by completing the square, we have
![quadratic residue _gr_6.gif]](pages/quadratic-residue/Images/quadratic-residue_gr_6.gif)
![quadratic residue _gr_7.gif]](pages/quadratic-residue/Images/quadratic-residue_gr_7.gif)
![quadratic residue _gr_8.gif]](pages/quadratic-residue/Images/quadratic-residue_gr_8.gif)
![quadratic residue _gr_9.gif]](pages/quadratic-residue/Images/quadratic-residue_gr_9.gif)
![quadratic residue _gr_10.gif]](pages/quadratic-residue/Images/quadratic-residue_gr_10.gif)
Let
and
then we have a simplified version of the original namely;
![quadratic residue _gr_13.gif]](pages/quadratic-residue/Images/quadratic-residue_gr_13.gif)
Here is an example which illustrates how to take advantage of this.
Quadratic Residue
Definition (Quadratic Residue) Let
be a positive integer with
(i) If
has a solution then
is a quadratic residue of
(ii) If
does not have solution then
is a quadratic non-residue of
Example (Quadratic Residue) Determine the quadratic residues of
![quadratic residue _gr_22.gif]](pages/quadratic-residue/Images/quadratic-residue_gr_22.gif)
Solution.
We compute the squares of the positive integers less than 13 namely:
and
Therefore, the quadratic residues of 13 are
and the quadratic non-residues of 13 are
Example (Quadratic Residue) Determine the quadratic residues of
![quadratic residue _gr_32.gif]](pages/quadratic-residue/Images/quadratic-residue_gr_32.gif)
Solution.
We compute the squares of the positive integers less than 13 namely:
and
Therefore, the quadratic residues of 17 are
and the quadratic non-residues of 17 are
Definition (Legendre Symbol) Let
be an odd prime with
The Legendre symbol is defined as follows:
![quadratic residue _gr_46.gif]](pages/quadratic-residue/Images/quadratic-residue_gr_46.gif)
Example (Legendre Symbol) Since the quadratic residues of 13 are
and the quadratic non-residues of 13 are
We find that
![quadratic residue _gr_49.gif]](pages/quadratic-residue/Images/quadratic-residue_gr_49.gif)
![quadratic residue _gr_50.gif]](pages/quadratic-residue/Images/quadratic-residue_gr_50.gif)
Since the quadratic residues of 17 are
and the quadratic non-residues of 17 are
We find that
![quadratic residue _gr_53.gif]](pages/quadratic-residue/Images/quadratic-residue_gr_53.gif)
![quadratic residue _gr_54.gif]](pages/quadratic-residue/Images/quadratic-residue_gr_54.gif)
Euler's Criterion
Notice the relationship the quadratic residues and quadratic non-residues of 13 satisfies:
![quadratic residue _gr_56.gif]](pages/quadratic-residue/Images/quadratic-residue_gr_56.gif)
![quadratic residue _gr_57.gif]](pages/quadratic-residue/Images/quadratic-residue_gr_57.gif)
So for each of these
we have
And again for
![quadratic residue _gr_61.gif]](pages/quadratic-residue/Images/quadratic-residue_gr_61.gif)
![quadratic residue _gr_62.gif]](pages/quadratic-residue/Images/quadratic-residue_gr_62.gif)
So for each of these
we have
Proposition (Euler's Criterion) Let
be an odd prime and
Then
![quadratic residue _gr_68.gif]](pages/quadratic-residue/Images/quadratic-residue_gr_68.gif)
Quadratic Characters
Example (Quadratic Character of -1) If
is an odd prime, then
![quadratic residue _gr_70.gif]](pages/quadratic-residue/Images/quadratic-residue_gr_70.gif)
![quadratic residue _gr_71.gif]](pages/quadratic-residue/Images/quadratic-residue_gr_71.gif)
Law of Quadratic Reciprocity
Proposition (Quadratic Reciprocity - Gauss's Form) Let
and
be distinct odd primes, then
![quadratic residue _gr_74.gif]](pages/quadratic-residue/Images/quadratic-residue_gr_74.gif)
Proposition (Quadratic Reciprocity - Legendre's Form) Let
and
be distinct odd primes, then
![quadratic residue _gr_77.gif]](pages/quadratic-residue/Images/quadratic-residue_gr_77.gif)
Proposition (Properties of the Legendre Symbol) Let
be an odd prime with
and
Then
(i) if
then
![quadratic residue _gr_82.gif]](pages/quadratic-residue/Images/quadratic-residue_gr_82.gif) (ii)
![quadratic residue _gr_83.gif]](pages/quadratic-residue/Images/quadratic-residue_gr_83.gif) (iii)
![quadratic residue _gr_84.gif]](pages/quadratic-residue/Images/quadratic-residue_gr_84.gif) (iv)
![quadratic residue _gr_86.gif]](pages/quadratic-residue/Images/quadratic-residue_gr_86.gif) (v) if
has prime factorization
and
is a prime not dividing
, then
![quadratic residue _gr_91.gif]](pages/quadratic-residue/Images/quadratic-residue_gr_91.gif)
Example (Quadratic Reciprocity) Evaluate the following Legendre symbols
(a)
Solution.
Since
we have
Since
and
we have
![quadratic residue _gr_97.gif]](pages/quadratic-residue/Images/quadratic-residue_gr_97.gif)
(b)
![quadratic residue _gr_98.gif]](pages/quadratic-residue/Images/quadratic-residue_gr_98.gif)
Solution.
To evaluate
we note that
So we have
and since
we see that
![quadratic residue _gr_103.gif]](pages/quadratic-residue/Images/quadratic-residue_gr_103.gif)
Finally since
and
we have
![quadratic residue _gr_107.gif]](pages/quadratic-residue/Images/quadratic-residue_gr_107.gif)
(c)
![quadratic residue _gr_108.gif]](pages/quadratic-residue/Images/quadratic-residue_gr_108.gif)
Solution. Since
we have
So we break these down into cases as follows
since
since
since
![quadratic residue _gr_116.gif]](pages/quadratic-residue/Images/quadratic-residue_gr_116.gif)
since
![quadratic residue _gr_118.gif]](pages/quadratic-residue/Images/quadratic-residue_gr_118.gif)
since
![quadratic residue _gr_120.gif]](pages/quadratic-residue/Images/quadratic-residue_gr_120.gif)
since
![quadratic residue _gr_122.gif]](pages/quadratic-residue/Images/quadratic-residue_gr_122.gif)
since
![quadratic residue _gr_124.gif]](pages/quadratic-residue/Images/quadratic-residue_gr_124.gif)
since
![quadratic residue _gr_126.gif]](pages/quadratic-residue/Images/quadratic-residue_gr_126.gif) and
since
since
![quadratic residue _gr_131.gif]](pages/quadratic-residue/Images/quadratic-residue_gr_131.gif)
![quadratic residue _gr_133.gif]](pages/quadratic-residue/Images/quadratic-residue_gr_133.gif)
![quadratic residue _gr_134.gif]](pages/quadratic-residue/Images/quadratic-residue_gr_134.gif)
![quadratic residue _gr_135.gif]](pages/quadratic-residue/Images/quadratic-residue_gr_135.gif)
![quadratic residue _gr_136.gif]](pages/quadratic-residue/Images/quadratic-residue_gr_136.gif)
![quadratic residue _gr_137.gif]](pages/quadratic-residue/Images/quadratic-residue_gr_137.gif)
![quadratic residue _gr_138.gif]](pages/quadratic-residue/Images/quadratic-residue_gr_138.gif)
Therefore,
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
|