In which we meet the law of quadratic reciprocity.
- Proposition 23 (Gauss‘s Lemma): Let be an odd prime, and let be coprime to . Then , where . We proved this by showing that , , …, correspond to , , …, in some order, where each of these has a definite sign, and then multiplying them all together to show that . Then we finished off using Euler’s criterion.
- Corollary 24: Let be an odd prime. Then . We used Gauss’s lemma to prove that is a quadratic residue modulo if and is a quadratic non-residue modulo if .
- Theorem 25 (Law of quadratic reciprocity): Let and be odd primes. Then . We proved this using Gauss’s lemma, thinking about counting lattice points in regions within a rectangle.
- Exercise: Use the law of quadratic reciprocity to show that if and are odd primes with then .
Understanding today’s lecture
Can you use Gauss’s lemma to prove any other results with the flavour of Corollary 24 (the one about )?
Can you find the values of the Legendre symbols and ? We’ll do these as examples at the start of the next lecture.
Can you use the exercise to give another proof of quadratic reciprocity (first prove the result in the exercise directly from Gauss’s lemma, then deduce quadratic reciprocity from the result in the exercise).
Davenport (The Higher Arithmetic), Baker (A concise introduction to the theory of numbers), and Jones and Jones (Elementary number theory) all deal with these topics, as do many other books. There are several ways to prove the law of quadratic reciprocity; Davenport and Baker (for example) choose different approaches. The exercise above is to deduce a result from the law of quadratic reciprocity. I encourage you to try to prove the result directly from Gauss’s lemma, and then to deduce the law of quadratic reciprocity from the result. This is the approach that Davenport describes, and that Gareth Taylor has summarised in these online notes. Baker and Jones & Jones both give the lattice-point proof of quadratic reciprocity that we saw in lectures.
The law of quadratic reciprocity is really central to number theory. The Wikipedia page about quadratic reciprocity has a bit of discussion about the history of the ideas involved, and about ways in which mathematicians moved on to study higher reciprocity laws, with more suggestions for further reading.
Preparation for Lecture 8
Next time, following a couple of numerical examples, we’ll think about how to generalise the Legendre symbol to situations when the number on the bottom isn’t prime (we’ll end up defining the Jacobi symbol). Which of the results we’ve proved for the Legendre symbol will turn out to hold for the Jacobi symbol too?