Cyclotomic Fields with Applications
Total Page:16
File Type:pdf, Size:1020Kb
Cyclotomic Fields with applications G Eric Moorhouse CYCLOTOMIC FIELDS WITH APPLICATIONS Lecture Notes for Math 5590 Fall 2018 G. Eric Moorhouse University of Wyoming c 2018 ii Preface These notes were written during the summer of 2018, while planning a graduate course for the Fall 2018 semester. The theme was chosen to appeal to students of varying backgrounds, some with interest primarily in number theory, and others more interested in combinatorics, graph theory and finite geometry. As it happens, my research has led me into areas of overlap between these two areas, with cyclotomic fields arising as a common theme. And so beyond the immediate goal of appealing to students with multiple interests, this course was conceived also as a way of crystallizing in my mind some of the finer points of the theory of cyclotomic fields, many of which I had less familiarity with. Students were referred primarily to Washington's book [Wa] for further details on cyclotomic fields, and various other sources as needed. The realities of my teaching environment (perhaps yours too?) mean that I now apportion less lecture time on theory and proofs, with more on examples and applications, than when I first began teaching. In the grand tradition of mathematics, these applications arise largely in ::: (wait for it!) ::: other areas of mathematics. (That may not be strictly true; but as usual, our description of these applications has been rather simplified, sometimes oversimplified, to their mathematical essence, for the sake of brevity.) These applications include algorithms for fast arithmetic with polynomials and integers; constructions and nonexistence results for Hadamard matrices, difference sets, and designs, particularly nets finite affine and projective planes; spectra of Cayley graphs and digraphs over abelian groups; counting solutions to equations over finite fields; the MacWilliams relations for error-correcting codes; Dirichlet's theorem on primes on arithmetic progressions; and mutually unbiased bases (quantum information theory). Given the demands of this pedagogical emphasis, there has been no single reference avail- able where all of these developments can be found. Another design constraint on these notes has been the varying backgrounds of our students, some will have had advanced courses in field theory or number theory, and others not. In order to keep these notes as self-contained as possible, I have included appendices containing many of the results needed from field theory and number theory, omitting the longer proofs; also omitting major results in the theory which to not bear directly upon our particular development or featured applications. I expect that during this fall semester, I will actually summarize much of the content in these appendices during the lectures, rather than leaving students to read these solely on their own. I am indebted to many sources from which I have borrowed extensively, particularly [IR], [LN], [Sa] and [Wa]. Often this has meant rewriting content in my own way, and iii adding details which other authors have left as exercises. I have also looked for ways to avoid explicitly developing all the tools required in some of the standard proofs| not that I feel these tools are unimportant for students to learn, but due to concern that the proliferation of technical definitions and warmup lemmas would overly distract students from the main points. One of my goals, in particular, is a presentation of Gluck's Theorem 14.2 (a beautiful and very accessible argument using cyclotomic integers in a nontrivial and surprising way). Its proof, however, invokes a theorem of Segre usually formulated in the language of projective plane geometry. Not wanting to spend the extra time on such an extended detour for the majority of our students without this conceptual background, I strove instead for an alternative presentation of Segre's Theorem in the language of affine plane geometry. I am very happy with the resulting Theorem 3.14, which I feel is also better adapted to the proof of Gluck's Theorem than the original. I regret omitting several major topics which a more comprehensive textbook would have included: Stickelberger's Theorem, higher reciprocity laws, applications to algebraic coding theory and cryptology, and Bernhard Schmidt's definitive work on the circulant Hadamard conjecture. However, in the spirit of a set of working lecture notes, my priority has been to limit the scope to only what I believe can be accomplished in a single semester. But perhaps in a future revision::: Throughout all my rewriting of standard material, I will certainly have added many of my own errors, for which I take full responsibility. A list of errata will be posted at http://ericmoorhouse.org/courses/5590/ With each mistake/misprint that you encounter in this manuscript, please first check the website to see if it has already been listed; if not, please email me at [email protected] with the necessary correction to add to this list. Thank you! Eric Moorhouse August, 2018 Notational Conventions Throughout these notes, I compose functions right-to-left, as in (στ)(a) = σ(τ(a)). Groups are multiplicative unless otherwise indicated. The symbol ζ denotes a complex root of unity, except when it represents a zeta function (`ala Riemann, Dedekind, Hasse, etc.). Likewise, `i' signifies either an integer index (sometimes a dummy index of summation), p or −1, again depending on the context. So deal with it. iv Contents Preface ::::: ::::::::::::::::::::::::::::::::::::: iii 1. Finite Cyclic Groups :::::::::::::::::::::::::::::: 1 2. Cyclotomic Polynomials:::::::::::::::::::::::::::4 3. Finite Fields :::::::::::::::::::::::::::::::::::::: 8 Squares and Nonsquares 9 Automorphisms of Finite Fields 12 Polynomials versus Functions 13 Counting Irreducible Polynomials 15 Segre's Theorem 16 4. Cyclotomic Fields and Integers:::::::::::::::::::19 5. Fermat's Last Theorem :::::::::::::::::::::::::: 29 6. Characters of Finite Abelian Groups ::::::::::::: 35 Spectra of Cayley Graphs and Digraphs 40 Error-Correcting Codes 41 The Fast Fourier Transform 44 Fast Polynomial Multiplication 46 Fast Integer Multiplication 47 7. Group Rings R[G] ::::::::::::::::::::::::::::::: 49 The Rational Group Algebra of a Finite Cyclic Group 50 Direct Products 52 8. Difference Sets:::::::::::::::::::::::::::::::::::54 9. Hadamard Matrices :::::::::::::::::::::::::::::: 64 Skew-Type Hadamard Matrices 66 Williamson-Hadamard Matrices 67 Regular Hadamard Matrices 73 Circulant Hadamard Matrices 74 10. Quadratic Reciprocity ::::::::::::::::::::::::::: 76 11. Gauss and Jacobi Sums :::::::::::::::::::::::::: 84 12. Zeta Functions and L-Functions::::::::::::::::::91 13. Exponential Sums ::::::::::::::::::::::::::::::: 96 14. Affine Planes ::::::::::::::::::::::::::::::::::: 104 15. Nets::::::::::::::::::::::::::::::::::::::::::::107 16. Mutually Unbiased Bases ::::::::::::::::::::::: 116 17. Weil's Bound ::::::::::::::::::::::::::::::::::: 124 Appendices A1. Fields and Extensions:::::::::::::::::::::::::::129 Matrix Representations of Field Extensions 132 A2. Polynomials and Irreducibility :::::::::::::::::: 136 A3. Algebraic Integers :::::::::::::::::::::::::::::: 138 v A4. Normal and Separable Extensions :: ::::::::::::: 148 A5. Field Automorphisms and Galois Theory::::::::153 A6. Dedekind Zeta Functions and Dirichlet Series ::: 163 A7. Symmetric Polynomials ::::::::::::::::::::::::: 167 A8. Computational Software :::::::::::::::::::::::: 170 PARI/GP 171 Mathematica 172 Bibliography :::::::::::::::::::::::::::::::::::: 175 Index ::::::::::::::::::::::::::::::::::::::::::: 179 vi 1. Finite Cyclic Groups A cyclic group is a group generated by a single element. A cyclic group may be finite or infinite. Every infinite cyclic group is isomorphic to the additive group of Z; or equivalently, the multiplicative subgroup hπi = fπk : k 2 Zg ⊂ C×. (Here C× is the multiplicative group of nonzero complex numbers; and one can replace π by any nonzero complex number which is not a root of unity.) Every finite cyclic group of order n is isomorphic to the additive group Z=nZ of integers mod n; equivalently, the multiplicative subgroup of complex nth roots of unity. The latter group is n 2 n−1 fz 2 C : z = 1g = hζi = f1; ζ; ζ ; : : : ; ζ g × where ζ = ζn is a primitive n-th root of unity, i.e. an element of order n in C . 2πki=n Recall that C contains exactly φ(n) primitive n-th roots of unity e where 1 6 k 6 n, gcd(k; n) = 1 and Euler's totient function φ(n) denotes the number of values of k satisfying the latter conditions. Evidently φ(n) is the number of generators in an arbitrary cyclic group of order n. In the preceding context, we have used the additive cyclic group Z=nZ in which the generators are the elements relatively prime to n. But we will often prefer that our groups be written multiplicatively. Thus in the generic case, an arbitrary cyclic group of order n > 1 may be expressed (up to isomorphism) as a multiplicative group G = hx : xn = 1i = f1; x; x2; : : : ; xn−1g generated by an element x of order n. Theorem 1.1. Let G = hxi be a (multiplicative) cyclic group of order n > 1. Then k G has φ(n) generators x , 1 6 k 6 n, gcd(k; n) = 1. Every subgroup of G is cyclic of order d dividing n. Conversely, for every positive d n, G has a unique subgroup of order d given by hxn=di. Thus X n = φ(d): 16djn Proof. Most of Theorem 1.1 is proved by the Division Algorithm. For example if H is a subgroup of G, let d 2 f1; 2; : : : ; ng be minimal such that xd 2 H. (Note that the set of d 2 f1; 2; : : : ; ng satisfying xd 2 H is nonempty since xn = 1 2 H; so the minimum such d d is defined.) So hx i ⊆ H. We have n = qd + r for some integers q; r with 0 6 r < d. If 0 < r < d then xr = xn(xd)−q 2 H, contradicting the minimality of d; so we must have d n. Now hxdi ⊆ H; and to prove equality, let h 2 H, so h = xj for some j. Again by the 0 0 0 Division Algorithm, j = q d + r where 0 6 r < d; and again using the minimality of d, 0 j d q0 d d P we have r = 0, so x = (x ) 2 hx i.