QUADRATIC RECIPROCITY JORDAN SCHETTLER Abstract. The goals of this roject are to have the reader(s) gain an areciation for the usefulness of Legendre symbols and ultimately recreate Eisenstein s slick roof of Gauss s Theorema Aureum of quadratic recirocity. 1. Quadratic Residues and Legendre Symbols Definition 0.1. Let m, n Z with (m, n) 1 (recall: the gcd (m, n) is the nonnegative generator of the ideal mz + nz). Then m is called a quadratic residue mod n if m x 2 (mod n) for some x Z, and m is called a quadratic nonresidue mod n otherwise. Prove the following remark by considering the kernel and image of the ma x x 2 on the grou of units (Z/nZ) {m + nz : (m, n) 1}. Remark 1. For 2 < n N the set {m+nz : m is a quadratic residue mod n} is a subgrou of the grou of units of order ϕ(n)/2 where ϕ(n) #(Z/nZ) is the Euler totient function. If n is an odd rime, then the order of this grou is equal to ϕ()/2 ( 1)/2, so the equivalence classes of all quadratic nonresidues form a coset of this grou. Definition 1.1. Let be an odd rime and let n Z. The Legendre symbol (n/) is defined as 1 if n is a quadratic residue mod 1 if n is a quadratic nonresidue mod 0 if n. The law of quadratic recirocity (the main theorem in this roject) gives a recise relationshi between the recirocal Legendre symbols (/q) and (q/) where, q are distinct odd rimes. We ll rove quadratic recirocity in section 2, and we ll see alications thereof to Diohantine equations and comutations of Legendre symbols in section 3. In the meantime, use remark 1 to establish the following roosition. Proosition 2. Let be an odd rime and let m, n Z. Then ( ) ( ) ( ) mn m n (1.1) and (1.2) m n (mod ) ( ) m. Show the following lemma by recalling that an element of a finite grou has order dividing the size of the grou. Lemma 3 (Fermat s Little Theorem). Let be an odd rime and let n Z with (n, ) 1. Then (1.3) n 1 1 (mod ). 1
2 JORDAN SCHETTLER Now aly lemma 3 to get the roceeding fundamental result about Legendre symbols (Hint: factor n 1 1 (n ( 1)/2 1)(n ( 1)/2 + 1) and use the fact that the grou of units of a finite field is cyclic). Theorem 4 (Euler s Criterion). Let be an odd rime and let n Z with (n, ) 1. Then (1.4) n ( 1)/2 (mod ). Next, lug in n 1 into theorem 4 to get the following immediate consequence. Corollary 5. Let be an odd rime. Then ( ) 1 (1.5) ( 1) ( 1)/2. 2. Quadratic Recirocity Flesh out the sketch of the roof for the crucial lemma which follows where for x R we take x : max{n Z : n x}. Lemma 6 (Eisenstein). Let be an odd rime and let n Z with (n, ) 1. Then (2.1) ( 1) s where s ( 1)/2 2kn Sketch. For each k {1,..., ( 1)/2} define 2kn 2kn r k : 2kn Then n ( 1)/2 ( 1)/2 (2k) ( 1)/2 ( 1) P k r k. r k ( 1) P k r k ( 1)/2 (2k) so by theorem 4 we get (n ) P n ( 1)/2 ( 1) k r k ( 1) s ( 1)/2 (mod ), (mod ). [( 1) r k r k ] Deduce the following corollary which is traditionally established with a result called Gauss s lemma. Corollary 7. Let be an odd rime. Then ( ) 2 (2.2) ( 1) (2 1)/8.
Proof. Note that ( 1)/2 QUADRATIC RECIPROCITY 3 #{k N : /4 < k /2}, 2 4 so if 8m ± 1, then ( 1)/2 4m ± 1/2 2m ± 1/4 2m 0 2 1 8 and if 8m ± 3, then ( 1)/2 4m ± 3/2 2m ± 3/4 2m ± 1 1 2 1 8 (mod 2), Finally, fill in the details of the following roof (originally suggested by Eisenstein) of the quadratic recirocity theorem (originally roved by Gauss). Theorem 8 (Quadratic Recirocity). Let, q be distinct odd rimes. Then ( ) ( ) q (2.3) ( 1) [( 1)/2][(q 1)/2]. q Sketch. Consider the following diagram in the (x, y)-lane. Let µ be the number of lattice oints (i.e., oints in the lane with integer coefficients) in the interior of the triangle EF G. Note that number of lattice oints with odd x-coordinates
4 JORDAN SCHETTLER in EF G is equal to the number of lattice oints with even x-coordinates in BCE, which has the same arity as the number of lattice oints with even x-coordinates in CEGH. Hence µ #{P : P is a lattice oint in CF H and has even x-coordinate} (mod 2), but for each ositive integer m <, the number of lattice oints in CF H with x-coordinate m is mq/, so ( 1)/2 2kq µ Therefore lemma 6 now imlies A symmetric argument shows that ( ) q ( 1) µ. ( ) ( 1) ν q where ν is the number of lattice oints in DEF. Thus the statement follows from the observation µ + ν #{P : P is a lattice oint in DEGF } 1 q 1 2 2. 3. Examles and Alications Remark 9. For a fixed odd rime, we can reasonably obtain the quadratic residues mod by simly squaring the integers 1,..., ( 1)/2 and reducing modulo. On the other hand, the inverse roblem of determining those rimes for which a fixed integer n is a quadratic residue mod requires recirocity as the next examle illustrates. Examle 10. To determine all odd rimes for which 5 is a quadratic residue mod we note that ( ) ( ) 5 ( 1) 5 [( 1)/2][(5 1)/2] 1, so (5/) 1 (/5) 1 ±1 (mod 5). Exercise 11. Determine all odd rimes for which n 3 is a quadratic residue mod. Do the same for n 7 and n 6. The recirocity law can also be utilized to comute Legendre symbols with large arguments as seen in the following examle. Examle 12. Suose we wanted to comute (21/53). We could start squaring the integers 1,..., 26 and reducing modulo 53, but this would be laborious. It s easier to accomlish this by reeated alications of theorem 8 and roosition 2; e.g., ( ) ( ) ( ) ( ) ( ) ( ) ( ) 21 3 7 53 53 2 4 ( 1) 1 26 ( 1) 3 26 53 53 53 3 7 3 7 ( ) 2 2 ( 1) ( 1)( 1) (72 1)/4 ( 1)( 1) 12 1. 7
QUADRATIC RECIPROCITY 5 Exercise 13. Use the techniques of the above examle to comute (143/409). Another use of quadratic recirocity includes (as one would exect) finding integer solutions to degree two olynomial equations. Prove the next lemma, which follows easily from the recirocity law. Lemma 14. Let, q be distinct odd rimes with 3 q (mod 4). Then the equation (3.1) x 2 qy 2 has no solutions in integers x, y. We can in turn aly this lemma along with a little algebraic number theory to deduce the following theorem. Read the outline of the roof and try to justify the tools used. Theorem 15. Let be a rime. Then 1 (mod 12) if and only if the equation (3.2) x 2 3y 2 has a solution in integers x, y. Proof. ( ) If equation 3.2 has integer solutions, then 1 (mod 4) by the contraositive of lemma 14, but also 1 (mod 3) since is a quadratic residue mod 3, whence (3, 4) 1 imlies 1 (mod 12) as needed. ( ) Now suose 1 (mod 12). Then 3 is a quadratic residue modulo by exercise 11, so there are integers m, n such that m n 2 3 (n 3)(n + 3). Thus divides the roduct (n 3)(n+ 3) in the ring Z[ 3], but does not divide n± 3 in Z[ 3], so is not a rime element in Z[ 3]. Hence is not an irreducible element in Z[ 3] since Z[ 3] is a UFD, so there are x, y, s, t Z such that neither x + y 3 nor s + t 3 is a unit in Z[ 3] with (x + y 3)(s + t 3). Moreover, the norm ma N : Z[ 3] Z given by a + b 3 a 2 3b 2 is multilicative, so 2 N() (x 2 3y 2 )(s 2 3t 2 ), but this imlies x 2 3y 2 ± since units have norm ±1 and is a rime in Z. Therefore x 2 3y 2 since otherwise 3y 2 x 2 1 (mod 3), which is a contradiction. References [1] Pete L. Clark, Instructor s Name. Quadratic Reciroctity I. Course notes. Math 4400/6400 Number Theory. Course home age. Deartment of Mathematics, University of Georgia. htt://math.uga.edu/ ete/4400qrlaw.df. [2] Kenneth Ireland and Michael Rosen, A Classical Introduction to Modern Number Theory, 2th ed., Sringer, 2000. [3] Reinhard C. Laubenbacher and David J. Pengelley, Eisenstein s Misunderstood Geometric Proof of the Quadratic Recirocity Theorem, The College Mathematics Journal, Vol. 25, No. 1, (Jan., 1994),. 29-34.