NT2009qrproof - QUADRATIC RECIPROCITY II: THE PROOFS PETE...

Info iconThis preview shows pages 1–2. Sign up to view the full content.

View Full Document Right Arrow Icon

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: QUADRATIC RECIPROCITY II: THE PROOFS PETE L. CLARK We shall prove the Quadratic Reciprocity Law and its second supplement. 1. Preliminaries on congruences in cyclotomic rings For a positive integer n , let n = e 2 i n be a primitive n th root of unity, and let R n = Z [ n ] = { a + a 1 n + . . . + a n- 1 n- 1 n | a i Z } . Recall that an algebraic integer is a complex number which satisfies a monic polynomial relation with Z-coefficients: there exist n and a , . . . , a n- 1 such that n + a n- 1 n- 1 + . . . + a 1 + a . We need the following purely algebraic fact: Proposition 1. The algebraic integers form a subring of the complex numbers. This amounts to showing that if and are algebraic integers, then + and are algebraic integers (which is plausible but not so trivial to prove). We have relegated the proof to [Integral Elements and Extensions]. Let p be a prime number; for x, y R n , we will write x y (mod p ) to mean that there exists a z R n such that x- y = pz . Otherwise put, this is congruence modulo the principal ideal pR n of R n . Since Z R n , if x and y are ordinary integers, the notation x y (mod p ) is ambiguous: interpreting it as a usual congruence in the integers, it means that there exists an integer n such that x- y = pn ; and interpreting it as a congruence in R n , it means that x- y = pz for some z R n . The key technical point is that these two notions of congruence are in fact the same: Lemma 2. If x, y Z and z R n are such that x- y = pz , then z Z . Proof: Just dividing by p , we find that the complex number z = x- y p is visibly an element of Q . Now we need the fact, proved in Handout 2, that the only algebraic integers which are rational numbers are the usual integers. (This is the reason why we needed to assert that every element of R n was an algebraic integer.) To prove the second supplement we will take n = 8. To prove the QR law we will take n = p an odd prime. These choices will be constant throughout each of the proofs so we will abbreviate = 8 (resp. p ) and R = R 8 (resp. R p ). 2. Proof of the Second Supplement Put = 8 , a primitive eighth root of unity and R = R 8 = Z [ 8 ]. We have: 0 = 8- 1 = ( 4 + 1)( 4- 1) ....
View Full Document

This note was uploaded on 10/26/2011 for the course MATH 4400 taught by Professor Staff during the Spring '11 term at University of Georgia Athens.

Page1 / 6

NT2009qrproof - QUADRATIC RECIPROCITY II: THE PROOFS PETE...

This preview shows document pages 1 - 2. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online