- Definition of the Jacobi symbol.
- Really important remark: the Jacobi symbol does not record whether is a quadratic residue modulo .
- Lemma 26 (Multiplicativity of the Jacobi symbol): The Jacobi symbol is totally multiplicative in two senses.
- If is an odd natural number and if and are integers, then .
- If and are odd natural numbers and if is an integer, then .
Both proofs followed very quickly from the definition of the Jacobi symbol and the total multiplicativity of the Legendre symbol.
- Lemma 27: Let be an odd natural number. Then and . We proved this using the definition of the Jacobi symbol and the corresponding results for the Legendre symbol.
- Theorem 28 (Law of quadratic reciprocity for the Jacobi symbol): Let and be odd natural numbers. Then . We proved this using the definition of the Jacobi symbol and the corresponding result for the Legendre symbol.
Understanding today’s lecture
Pick some Jacobi symbols to compute explicitly. Can you find examples so that you use all of the results we proved about the Jacobi symbol?
Can you find another example (in addition to the one we saw in lectures) of a Jacobi symbol where but is not a quadratic residue modulo ?
The same selection that I suggested last time.
Preparation for Lecture 9
Next time, we’ll start a section of the course in which we’ll study binary quadratic forms. These are objects of the form , where the coefficients , and are integers (and we think of and as integer variables). We are going to be interested in questions to do with which numbers can be represented by such forms (that is, as and range over the integers, which values do we get from ). Here are some questions that you could usefully try yourself before the lecture.
- Which numbers are represented by the form ?
- Which numbers are represented by the form ? (That is, which numbers can be written as a sum of two squares?)
- What about other forms? Try your own example(s).
- When do two forms represent the same set of numbers? For example, can you find any forms that give the same set of numbers as the form , or the same set of the numbers as the form ?
- What is the link between binary quadratic forms and integer matrices with determinant (that is, elements of )?