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.
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.
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)
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)
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)
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,
A Beginner's Guide to Constructing the Universe: Mathematical Archetypes of N...
 List Price: $18.95 Buy New: $7.50 You Save: $11.45 (60%) New (32) Used (23) from $7.50The Universe May Be a Mystery,But It's No SecretMichael Schneider leads us on a spectacular, lavishly illustrated journey along the numbers one through ten to explore the mathematical principles made visible (more)
|
Prime Obsession: Bernhard Riemann and the Greatest Unsolved Problem in Mathem...
 List Price: $16.00 Buy New: $8.75 You Save: $7.25 (45%) New (38) Used (19) from $7.49In 1859, Bernhard Riemann, a little-known thirty-two year old mathematician, made a hypothesis while presenting a paper to the Berlin Academy titled "On the Number of Prime Numbers Less Than a Given Quantity." (more)
|
Bayesian Computation with R (Use R)
 List Price: $49.95 Buy New: $37.86 You Save: $12.09 (24%) New (36) Used (13) from $35.00There has been a dramatic growth in the development and application of Bayesian inferential methods. Some of this growth is due to the availability of powerful simulation-based algorithms to summarize (more)
|
Euler's Gem: The Polyhedron Formula and the Birth of Topology
 List Price: $27.95 Buy New: $16.98 You Save: $10.97 (39%) New (31) Used (4) from $16.98Leonhard Euler's polyhedron formula describes the structure of many objects--from soccer balls and gemstones to Buckminster Fuller's buildings and giant all-carbon molecules. Yet Euler's formula is so (more)
|
e: The Story of a Number
 List Price: $19.95 Buy Used: $2.94 You Save: $17.01 (85%) New (11) Used (37) Collectible (1) from $2.94The interest earned on a bank account, the arrangement of seeds in a sunflower, and the shape of the Gateway Arch in St. Louis are all intimately connected with the mysterious number e. In this informal (more)
|
Not Even Wrong: The Failure of String Theory and the Search for Unity in Phys...
 List Price: $16.95 Buy New: $7.61 You Save: $9.34 (55%) New (33) Used (11) from $7.27When does physics depart the realm of testable hypothesis and come to resemble theology? Peter Woit argues that string theory isn't just going in the wrong direction, it's not even science. Not Even Wrong (more)
|
Killer Poker By the Numbers: Mathematical Edge for Winning Play
 List Price: $14.95 Buy New: $6.99 You Save: $7.96 (53%) New (34) Used (13) from $6.99Killer Poker By the Numbers: Mathematical Edge for Winning Play (more)
|
Elementary Number Theory (5th Edition)
 List Price: $124.00 Buy New: $99.20 You Save: $24.80 (20%) New (10) Used (17) from $95.50Elementary Number Theory and Its Applications is noted for its outstanding exercise sets, including basic exercises, exercises designed to help students explore key concepts, and challenging exercises. (more)
|
Complex Analysis for Mathematics and Engineering
 List Price: $124.95 Buy New: $44.94 You Save: $80.01 (64%) New (14) Used (14) from $44.94Revised and updated, the new Fifth Edition of Complex Analysis for Mathematics and Engineering presents a comprehensive, student-friendly introduction to Complex Analysis. It's clear, concise writing (more)
|
Dr. Euler's Fabulous Formula: Cures Many Mathematical Ills
 List Price: $29.95 Buy New: $14.75 You Save: $15.20 (51%) New (42) Used (16) from $14.49I used to think math was no fun'Cause I couldn't see how it was doneNow Euler's my heroFor I now see why zeroEquals e[pi] i+1--Paul Nahin, electrical engineer In the mid-eighteenth century, Swiss-born (more)
|
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
|