so and are both quadratic residues and and are quadratic nonresidues.
The quadratic reciprocity theorem is the deepest theorem that we will prove in this book. It connects the question of whether or not is a quadratic residue modulo to the question of whether is a quadratic residue modulo each of the prime divisors of . To express it precisely, we introduce some new notation.
We call this symbol the Legendre Symbol.
This notation is well entrenched in the literature even though it is also the notation for `` divided by ''; be careful not to confuse the two.
sage: legendre_symbol(2,3) -1 sage: legendre_symbol(1,3) 1 sage: legendre_symbol(3,5) -1 sage: legendre_symbol(Mod(3,5), 5) -1
Since only depends on , it makes sense to define for to be for any lift of to .
Recall (see Definition 3.3.6) that a group homomorphism is a map such that for every we have . Moreover, we say that is surjective if for every there is an with . The next lemma explains how the quadratic residue symbol defines a surjective group homomorphism.
Since is even, the squares of elements of are
Note that the powers of starting with all appeared earlier on the list. Thus the perfect squares in are exactly the powers with , even, and the nonsquares the powers with , odd. It follows that is a homomorphism since an odd plus an odd is even, the sum of two evens is even, and and odd plus an even is odd. Moreover, since is not a square, , so is surjective.
The symbol
only depends on the residue class of
modulo
, so making a table of values
for many values
of
would be easy. Would it be easy to make a table of
for many
? Perhaps, since there appears to be a simple pattern in
Table 4.1.
Based on similar observations, in the 18th century various mathematicians found a conjectural explanation for the mystery suggested by Table 4.1. Finally, on April 8, 1796, at the age of 19, Gauss proved the following theorem.
We will give two proofs of Gauss's formula relating to . The first elementary proof is in Section 4.3, and the second more algebraic proof is in Section 4.4.
In our example Gauss's theorem implies that
As an application, the following example illustrates how to answer questions like ``is a square modulo '' using Theorem 4.1.7.
Here
and
sage: legendre_symbol(69,389) 1
Though we know that is a square modulo , we don't know an explicit such that ! This is reminiscent of how we could prove using Theorem 2.1.19 that certain numbers are composite without knowing a factorization.
William 2007-06-01