DOCSLIB.ORG

Arxiv:2103.04184V1 [Math.NT] 6 Mar 2021 of Eeal,I Sdffiutt Eemn H E Fiel Fkwihcapitula Which K of Ideals of Set the Determine to Difficult Is It Generally

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Arxiv:2103.04184V1 [Math.NT] 6 Mar 2021 of Eeal,I Sdffiutt Eemn H E Fiel Fkwihcapitula Which K of Ideals of Set the Determine to Difficult Is It Generally 3-PRINCIPALIZATION OVER S3-FIELDS S. AOUISSI, M. TALBI, D. C. MAYER, AND M. C. ISMAILI Abstract. Let p 1 (mod 9) be a prime number and ζ3 be a primitive cube root of ≡3 unity. Then k = Q(√p, ζ3) is a pure metacyclic field with group Gal(k/Q) S3. In the ≃ case that k possesses a 3-class group Ck,3 of type (9, 3), the capitulation of 3-ideal classes of k in its unramified cyclic cubic extensions is determined, and conclusions concerning (∞) the maximal unramified pro-3-extension k3 of k are drawn. 1. Introduction Let k be a number field, and L be an unramified abelian extension of k. We say that an ideal of k or its class capitulates in L if becomes principal by extending it to an ideal of L. I I . Generally, it is difficult to determine the set of ideals of k which capitulate in L. Among the first mathematicians who were concerned with this kind of problem is Kronecker, who in 1882 studied the capitulation problem for imaginary quadratic fields. In 1902, Hilbert [12] conjectured that “any ideal of a number field k capitulates in the Hilbert class field k(1) of k”. This conjecture was demonstrated in 1930 by Furtw¨angler [7] after Artin had reduced it to a problem of group theory. Hilbert’s famous Theorem 94 states that “if L/k is an unramified cyclic extension of prime degree p, then there exists an ideal of k of order p which capitulates in L”. The number of ideal classes of k that capitulate in such an extension L is equal to [L : k][Ek : L/k(EL)], where Ek and EL are respectively the groups of the units of k and L, and Nis the relative norm of the extension L/k. Around NL/k 1971, F. Terada, in his famous Tannaka-Terada theorem [24] asserted that “if k/k0 is a cyclic extension, then all the ambiguous classes of k, relative to k0, capitulate in the genus field of k”. A generalization of Hilbert’s Theorem 94 has been conjectured by Miyake arXiv:2103.04184v1 [math.NT] 6 Mar 2021 [20] as follows: “the degree of an unramified abelian extension L/k divides the number of classes of k that capitulate in L”. This conjecture was proved by Suzuki [21] in 1991, who also succeeded, after 7 years of research, in proving a theorem [22] which generalizes all previous results as follows: “if k/k0 is a cyclic extension, and L is an unramified extension Date: Saturday, 06 March 2021. 2010 Mathematics Subject Classification. Primary 11R37, 11R29, 11R32, 11R20, 11R16, secondary 20D15, 20E22, 20F05, 20–04. Key words and phrases. Maximal unramified pro-3-extension, capitulation, Galois action, pure metacyclic fields of degree 6, pure cubic fields; finite 3-groups, descendant trees, presentations. Research of the third author supported by the Austrian Science Fund (FWF): projects J0497-PHY and P26008-N25. 1 2 S.AOUISSI,M.TALBI,D.C.MAYER,ANDM.C.ISMAILI of k abelian over k0, the degree [L : k] divides the number of classes of k invariant under Gal(k/k0)”. Several mathematicians were interested in the study of the problem of capitulation for particular cases of number fields. We cite, for example, the study of capitulation in the intermediate extensions of k(1)/k. When the p-class group of k is of type (p,p), this study was made by S. M. Chang and R. Foote. For other studies we cite the works [4], [5], [14], [15]. Here we contribute to this study with results on the problem of capitulation of the 3 (1) 3-ideal classes of the field k = Q(√p,ζ3) in the intermediate extensions of k3 /k, where p (1) is a prime such that p 1(mod9) and k3 denotes the Hilbert 3-class field of k. ≡ (1) . When the 3-class group Ck,3 is of type (9, 3), the extension k3 /k admits eight interme- diate fields. Figure 1 schematizes the situation. Figure 1. (1) The unramified cubic and nonic sub-extensions of k3 /k k(1) ♦7 3 ❄g❖❖ ♦♦♦ ⑧? _ ❄ ❖❖❖ ♦♦♦ ⑧⑧ ❄❄ ❖❖❖ ♦♦♦ ⑧⑧ ❄❄ ❖❖❖ ♦♦♦ ⑧⑧ ❄❄ ❖❖❖ ♦♦ ⑧⑧ ❄❄ ❖❖ ♦♦♦ ⑧ ❖❖ K K K K 7 4,9 gP 3,9 2,9 7 1,9 ♥♥♥⑥> `❆❆PPP `❆❆ ⑥> ♥♥♥ ♥♥♥ ⑥⑥ ❆❆ PPP ❆❆ ⑥⑥ ♥♥♥ ♥♥♥ ⑥⑥ ❆❆ PPP ❆❆ ⑥⑥ ♥♥♥ ♥♥♥ ⑥⑥ ❆❆ PPP ❆❆ ⑥⑥ ♥♥♥ ♥♥ ⑥⑥ ❆❆ PP ❆❆ ⑥⑥ ♥♥ ♥♥♥ ⑥ PP ⑥♥♥♥ K K K K 1,3 hPP 2,3 3,3 ♥6 4,3 PPP `❇❇ ⑥> ♥♥♥ PPP ❇❇ ⑥⑥ ♥♥♥ PP ❇❇ ⑥ ♥♥ PPP ❇ ⑥⑥ ♥♥♥ PPP ❇❇ ⑥⑥ ♥♥♥ PPP❇ ⑥⑥♥♥♥ k ♥ In section 2, we propose to determine the family (Ki,j) of all intermediate sub-fields of k K k(1), where 1 i 4 and j 3, 9 , the object of Theorem 2.5, and we then ⊆ i,j ⊆ 3 ≤ ≤ ∈ { } study, in Theorem 3.1 of section 3, the capitulation of 3-ideal classes of k in the fields Ki,j. (∞) Section 4 is devoted to the identification of the maximal unramified pro-3-extension k3 3 of k = Q(√p,ζ3), and to the proof that the dominating proportion (at least 94%) of the (∞) fields k has a metabelian 3-class field tower k3 with exactly two stages. All our theoretical results are based on exhaustive computer results. The usual notation is as follows: 3-PRINCIPALIZATION OVER S3-FIELDS 3 The letter p designates a prime number congruent to 1 modulo 3; • Γ= Q(√3 d): a pure cubic field, where d 2 is a cube-free integer; • k = Q(ζ ): the cyclotomic field, where ζ≥ = e2iπ/3 ; • 0 3 3 k=Γ(ζ3): the normal closure of Γ; • Γ′ and Γ′′: the two conjugate cubic fields of Γ, contained in k; • u = [E : E ]: the index of the sub-group E generated by the units of intermediate • k 0 0 fields of the extension k/Q in the group of units Ek of k; 2 2 3 3 τ = Gal(k/Γ), τ = id, τ(ζ3)= ζ3 and τ(√d)= √d; • h i 3 3 3 σ = Gal(k/k0), σ = id, σ(ζ3)= ζ3 and σ(√d)= ζ3√d; •For h i an algebraic number field L: • – CL,3: the 3-class group of L; (1) – L3 : the Hilbert 3-class field of L; – [ ]: the class of a fractional ideal in the class group of L. I I Unramified cubic and nonic sub-extensions of (1) 2. k3 /k 2.1. Preliminaries. 3 . In his thesis [14], M. C. Ismaili established that the 3-class group Ck,3 of k= Q(√d, ζ3) is of type (3, 3) if and only if 3 divides exactly the class number of Γ and u = 3, where u is the units index defined in the notations, and he determined all the integers d which satisfy this property by distinguishing three types of fields k, namely type I, II, and III. Here, we are interested in the case where the 3-class group Ck,3 is of type (3, 9). Assuming that the number of classes of Γ is divisible exactly by 9, Theorem 2.1 describes the structure of Ck,3 as follows: Theorem 2.1. Let Γ be a pure cubic field, k be its normal closure, Ck,3 (resp. CΓ,3) the 3-class group of k (resp. Γ), and u be the units index defined in the notations, then: C Z/9Z Z/3Z [C Z/9Z and u = 1]. k,3 ≃ × ⇐⇒ Γ,3 ≃ Proof. See [1, Lemma 2.5, p. 4]. . Further, we have classified all the integers d for which the 3-class group Ck,3 is of type (3, 9) in the following Theorem: Theorem 2.2. Let Γ= Q(√3 d) be a pure cubic field, where d 2 is a cube free integer, and 3 ≥ let k = Q(√d, ζ3) be its normal closure. Denote by u the index of the subgroup generated by the units of the intermediate fields of the extension k/Q in the unit group of k. 1) If the field k has a 3-class group of type (9, 3), then d = pe, where p is a prime congruent to 1(mod9) and e =1 or 2. 2) Conversely, if p is a prime congruent to 1(mod9), and if 9 divides exactly the class number of Γ= Q(√3 p) and u =1, then the 3-class group of k is of type (3, 9). Proof. See [1, Theorem 1.1, p. 2]. 4 S.AOUISSI,M.TALBI,D.C.MAYER,ANDM.C.ISMAILI 3 . This being the case, let k be the special field Q(√p,ζ3), with p 1(mod9). Calegari and Emerton [6, Lemma 5.11] proved that the rank of the 3-class group≡ of this field k is equal to 2 if 9 divides the class number of Q(√3 p). The converse of the Calegari-Emerton result is shown by Frank Gerth III in [10, Thm. 1, p. 471]. Assume that 9 divides exactly the 3 class number of Γ = Q(√p), where p 1 (mod 9), then Ck,3 is of type (9, 3) if and only if ≡ u = 1. The generators of Ck,3 when Ck,3 is of type (9, 3) are determined as follows: 3 3 Theorem 2.3. Let k= Q(√p,ζ3), where p is a prime such that p 1(mod9), Γ= Q(√p), (1) ≡ k0 = Q(ζ3), k3 the 3-Hilbert class field of k, Ck,3 the 3-class group of k, we note also C+ = C τ = , and C− = C τ = −1 , where τ = Gal(k/Γ). k,3 {C ∈ k,3 | C C} k,3 {C ∈ k,3 | C C } h i Suppose that C is of type (9, 3).
Load more

Recommended publications
  • The Geometry of Syzygies
    The Geometry of Syzygies A second course in Commutative Algebra and Algebraic Geometry David Eisenbud University of California, Berkeley with the collaboration of Freddy Bonnin, Clement´ Caubel and Hel´ ene` Maugendre For a current version of this manuscript-in-progress, see www.msri.org/people/staff/de/ready.pdf Copyright David Eisenbud, 2002 ii Contents 0 Preface: Algebra and Geometry xi 0A What are syzygies? . xii 0B The Geometric Content of Syzygies . xiii 0C What does it mean to solve linear equations? . xiv 0D Experiment and Computation . xvi 0E What’s In This Book? . xvii 0F Prerequisites . xix 0G How did this book come about? . xix 0H Other Books . 1 0I Thanks . 1 0J Notation . 1 1 Free resolutions and Hilbert functions 3 1A Hilbert’s contributions . 3 1A.1 The generation of invariants . 3 1A.2 The study of syzygies . 5 1A.3 The Hilbert function becomes polynomial . 7 iii iv CONTENTS 1B Minimal free resolutions . 8 1B.1 Describing resolutions: Betti diagrams . 11 1B.2 Properties of the graded Betti numbers . 12 1B.3 The information in the Hilbert function . 13 1C Exercises . 14 2 First Examples of Free Resolutions 19 2A Monomial ideals and simplicial complexes . 19 2A.1 Syzygies of monomial ideals . 23 2A.2 Examples . 25 2A.3 Bounds on Betti numbers and proof of Hilbert’s Syzygy Theorem . 26 2B Geometry from syzygies: seven points in P3 .......... 29 2B.1 The Hilbert polynomial and function. 29 2B.2 . and other information in the resolution . 31 2C Exercises . 34 3 Points in P2 39 3A The ideal of a finite set of points .
    [Show full text]
  • On the Class Group and the Local Class Group of a Pullback
    JOURNAL OF ALGEBRA 181, 803]835Ž. 1996 ARTICLE NO. 0147 On the Class Group and the Local Class Group of a Pullback Marco FontanaU Dipartimento di Matematica, Uni¨ersitaÁ degli Studi di Roma Tre, Rome, Italy View metadata, citation and similar papers at core.ac.ukand brought to you by CORE provided by Elsevier - Publisher Connector Stefania GabelliU Dipartimento di Matematica, Uni¨ersitaÁ di Roma ``La Sapienza'', Rome, Italy Communicated by Richard G. Swan Received October 3, 1994 0. INTRODUCTION AND PRELIMINARY RESULTS Let M be a nonzero maximal ideal of an integral domain T, k the residue field TrM, w: T ª k the natural homomorphism, and D a proper subring of k. In this paper, we are interested in deepening the study of the Ž.fractional ideals and of the class group of the integral domain R arising from the following pullback of canonical homomorphisms: R [ wy1 Ž.DD6 6 6 Ž.I w6 TksTrM More precisely, we compare the Picard group, the class group, and the local class group of R with those of the integral domains D and T.We recall that as inwx Bo2 the class group of an integral domain A, CŽ.A ,is the group of t-invertibleŽ. fractional t-ideals of A modulo the principal ideals. The class group contains the Picard group, PicŽ.A , and, as inwx Bo1 , U Partially supported by the research funds of Ministero dell'Uni¨ersitaÁ e della Ricerca Scientifica e Tecnologica and by Grant 9300856.CT01 of Consiglio Nazionale delle Ricerche. 803 0021-8693r96 $18.00 Copyright Q 1996 by Academic Press, Inc.
    [Show full text]
  • Gsm073-Endmatter.Pdf
    http://dx.doi.org/10.1090/gsm/073 Graduat e Algebra : Commutativ e Vie w This page intentionally left blank Graduat e Algebra : Commutativ e View Louis Halle Rowen Graduate Studies in Mathematics Volum e 73 KHSS^ K l|y|^| America n Mathematica l Societ y iSyiiU ^ Providence , Rhod e Islan d Contents Introduction xi List of symbols xv Chapter 0. Introduction and Prerequisites 1 Groups 2 Rings 6 Polynomials 9 Structure theories 12 Vector spaces and linear algebra 13 Bilinear forms and inner products 15 Appendix 0A: Quadratic Forms 18 Appendix OB: Ordered Monoids 23 Exercises - Chapter 0 25 Appendix 0A 28 Appendix OB 31 Part I. Modules Chapter 1. Introduction to Modules and their Structure Theory 35 Maps of modules 38 The lattice of submodules of a module 42 Appendix 1A: Categories 44 VI Contents Chapter 2. Finitely Generated Modules 51 Cyclic modules 51 Generating sets 52 Direct sums of two modules 53 The direct sum of any set of modules 54 Bases and free modules 56 Matrices over commutative rings 58 Torsion 61 The structure of finitely generated modules over a PID 62 The theory of a single linear transformation 71 Application to Abelian groups 77 Appendix 2A: Arithmetic Lattices 77 Chapter 3. Simple Modules and Composition Series 81 Simple modules 81 Composition series 82 A group-theoretic version of composition series 87 Exercises — Part I 89 Chapter 1 89 Appendix 1A 90 Chapter 2 94 Chapter 3 96 Part II. AfRne Algebras and Noetherian Rings Introduction to Part II 99 Chapter 4. Galois Theory of Fields 101 Field extensions 102 Adjoining
    [Show full text]
  • Computing the Power Residue Symbol
    Radboud University Master Thesis Computing the power residue symbol Koen de Boer supervised by dr. W. Bosma dr. H.W. Lenstra Jr. August 28, 2016 ii Foreword Introduction In this thesis, an algorithm is proposed to compute the power residue symbol α b m in arbitrary number rings containing a primitive m-th root of unity. The algorithm consists of three parts: principalization, reduction and evaluation, where the reduction part is optional. The evaluation part is a probabilistic algorithm of which the expected running time might be polynomially bounded by the input size, a presumption made plausible by prime density results from analytic number theory and timing experiments. The principalization part is also probabilistic, but it is not tested in this thesis. The reduction algorithm is deterministic, but might not be a polynomial- time algorithm in its present form. Despite the fact that this reduction part is apparently not effective, it speeds up the overall process significantly in practice, which is the reason why it is incorporated in the main algorithm. When I started writing this thesis, I only had the reduction algorithm; the two other parts, principalization and evaluation, were invented much later. This is the main reason why this thesis concentrates primarily on the reduction al- gorithm by covering subjects like lattices and lattice reduction. Results about the density of prime numbers and other topics from analytic number theory, on which the presumed effectiveness of the principalization and evaluation al- gorithm is based, are not as extensively treated as I would have liked to. Since, in the beginning, I only had the reduction algorithm, I tried hard to prove that its running time is polynomially bounded.
    [Show full text]
  • Principalization Algorithm Via Class Group Structure
    Principalization Algorithm via Class Group Structure Conference: Joint CSASC Conference 2011 Place: Krems, Austria Date and time: Sunday, September 25th, 2011, 16:15 { 16:45 Author: Daniel C. Mayer 1 2 Abstract. For an algebraic number field K with 3-class group Cl3(K) of type (3; 3) or (9; 3), the structure of the 3-class groups Cl3(Ni) of the four unramified cyclic cubic extension fields Ni, 1 ≤ i ≤ 4, of K 2 2 is calculated with the aid of presentations for the metabelian Galois group G3(K) = Gal(F3(Kp)jK) 2 of the second Hilbert 3-class field F3(K) of K. In the case of a quadratic base field K = Q( D) it is shown that the structure of the 3-class groups of the four S3-fields N1;:::;N4 determines the type of principalization of the 3-class group of K in N1;:::;N4. This provides an alternative to the classical principalization algorithm by Scholz and Taussky. The new algorithm, which is easily automatizable and executes very quickly, is implemented in PARI/GP and applied to all 4 596, resp. 1 146, quadratic fields with discriminant −106 < D < 107 and 3-class group of type (3; 3), resp. (9; 3), to obtain extensive statistics of their principalization types and the distribution of 2 their second 3-class groups G3(K) on the coclass graphs G(3; r), 1 ≤ r ≤ 6, in the sense of Eick, Leedham-Green, and Newman. References. [1] D. C. Mayer, Transfers of metabelian p-groups, Monatsh. Math. (2010), DOI 10.1007/s00605-010-0277-x.
    [Show full text]
  • Algebraic Number Theory Notes
    Math 223b : Algebraic Number Theory notes Alison Miller 1 January 22 1.1 Where we are and what’s next Last semester we covered local class field theory. The central theorem we proved was Theorem 1.1. If L/K is a finite Galois extension of local fields there exists a canonical map, the local Artin map × × ab θL/K : K /NL (Gal(L/K)) We proved this by methods of Galois cohomology, intepreting both sides as Tate ! cohomology groups. To prove this, we needed the following two lemmas: • H1(L/K, L×) =∼ 0 • H2(L/K, L×) is cyclic of order [L : K]. This semester: we’ll do the analogous thing for L and K global fields. We will need × × × to replace K with CK = AK /K . Then the analogues of the crucial lemmas are true, but harder to prove. Our agenda this semester: • start with discussion of global fields and adeles. • then: class formations, axiomatize the parts of the argument that are common to the global and local cases. • algebraic proofs of global class field theory • then we’ll take the analytic approach e.g. L-functions, class number formula, Ceb- otarev density, may mention the analytic proofs • finally talk about complex multiplication, elliptic curves. 1 1.2 Global fields, valuations, and adeles Recall: have a notion of a global field K. equivalent definitions: • every completion of K is a local field. • K is a finite extension of Q (number field) or of Fp((t)) (function field). The set of global fields is closed under taking finite extensions.
    [Show full text]
  • Class Field Towers
    Class Field Towers Franz Lemmermeyer September 7, 2010 Contents 1 Some History 1 1.1 The Prehistory . 1 1.1.1 Fermat, Euler, and Gauß: Binary Quadratic Forms . 1 1.1.2 Kummer and Dedekind: Ideals . 2 1.1.3 Kummer and Weber: Kummer Theory . 3 1.2 The Genesis of the Hilbert Class Field . 5 1.2.1 Kronecker and Weber: Complex Multiplication . 5 1.2.2 Hilbert: Hilbert Class Fields . 6 1.2.3 Furtw¨angler: Singular Numbers . 6 1.2.4 Takagi: Class Field Theory . 7 1.2.5 From Hilbert to Hasse . 8 1.3 Genus Class Fields . 9 1.3.1 Quadratic Number Fields . 9 1.3.2 Abelian Number Fields . 10 1.3.3 General Number Fields . 10 1.3.4 Central Extensions . 11 1.4 2-Class fields . 15 1.4.1 Quadratic Number Fields . 15 1.4.2 Cubic Number Fields . 18 1.4.3 General Number Fields . 19 1.5 3-Class Fields . 19 1.5.1 Quadratic Number Fields . 19 1.5.2 Cubic Fields . 21 1.6 `-Class Fields . 22 1.6.1 Quadratic Number Fields . 22 1.6.2 Cyclic Number Fields . 22 1.7 Separants . 22 1.8 Capitulation of Ideal Classes . 23 1.8.1 Hilbert’s Theorem 94 . 23 1.8.2 Artin’s Reduction . 24 1.8.3 Scholz and Taussky . 25 1.8.4 Principal Ideal Theorems . 30 1.9 Class Field Towers . 31 1.9.1 Terminating Class Field Towers . 31 1.9.2 Golod-Shafarevic: Infinite Class Field Towers . 35 1.9.3 Odlyzko Bounds .
    [Show full text]
  • Invariant Generalized Ideal Classes--Structure Theorems for P
    INVARIANT GENERALIZED IDEAL CLASSES STRUCTURE THEOREMS FOR p-CLASS GROUPS IN p-EXTENSIONS A SURVEY GEORGES GRAS Abstract. We give, in Sections 2 and 3, an english translation of: Classes g´en´eralis´ees invariantes, J. Math. Soc. Japan, 46, 3 (1994), with some im- provements and with notations and definitions in accordance with our book: Class Field Theory: from theory to practice, SMM, Springer-Verlag, 2nd cor- rected printing 2005. We recall, in Section 4, some structure theorems for finite Zp[G]-modules (G Z/p Z) obtained in: Sur les ℓ-classes d’id´eaux dans les ≃ extensions cycliques relatives de degr´epremier ℓ, Annales de l’Institut Fourier, 23, 3 (1973). Then we recall the algorithm of local normic computations which allows to obtain the order and (potentially) the structure of a p-class group in a cyclic extension of degree p. In Section 5, we apply this to the study of the structure of relative p-class groups of Abelian extensions of prime to p degree, using the Thaine–Ribet– Mazur–Wiles–Kolyvagin “principal theorem”, and the notion of “admissible sets of prime numbers” in a cyclic extension of degree p, from: Sur la structure des groupes de classes relatives, Annales de l’Institut Fourier, 43, 1 (1993). In conclusion, we suggest the study, in the same spirit, of some deep invariants attached to the p-ramification theory (as dual form of non-ramification theory) and which have become standard in a p-adic framework. Since some of these techniques have often been rediscovered, we give a sub- stantial (but certainly incomplete) bibliography which may be used to have a broad view on the subject.
    [Show full text]
  • Algebraic Number Theory
    Algebraic Number Theory J.S. Milne Version 3.01 September 28, 2008 An algebraic number field is a finite extension of Q; an algebraic number is an element of an algebraic number field. Algebraic number theory studies the arithmetic of algebraic number fields — the ring of integers in the number field, the ideals and units in the ring of integers, the extent to which unique factorization holds, and so on. An abelian extension of a field is a Galois extension of the field with abelian Galois group. Class field theory describes the abelian extensions of a number field in terms of the arithmetic of the field. These notes are concerned with algebraic number theory, and the sequel with class field theory. The original version was distributed during the teaching of a second-year graduate course. BibTeX information @misc{milneANT, author={Milne, James S.}, title={Algebraic Number Theory (v3.01)}, year={2008}, note={Available at www.jmilne.org/math/}, pages={155+viii} } v2.01 (August 14, 1996). First version on the web. v2.10 (August 31, 1998). Fixed many minor errors; added exercises and an index; 138 pages. v3.00 (February 11, 2008). Corrected; revisions and additions; 163 pages. v3.01 (September 28, 2008). Fixed problem with hyperlinks; 163 pages. Available at www.jmilne.org/math/ Please send comments and corrections to me at the address on my web page. The photograph is of the Fork Hut, Huxley Valley, New Zealand. Copyright c 1996, 1998, 2008, J.S. Milne. Single paper copies for noncommercial personal use may be made without explicit permis- sion from the copyright holder.
    [Show full text]
  • Algebraic Number Theory
    Algebraic Number Theory Fall 2014 These are notes for the graduate course Math 6723: Algebraic Number Theory taught by Dr. David Wright at the Oklahoma State University (Fall 2014). The notes are taken by Pan Yan ([email protected]), who is responsible for any mistakes. If you notice any mistakes or have any comments, please let me know. Contents 1 Introduction I (08/18) 4 2 Introduction II (08/20) 5 3 Introduction III (08/22) 6 4 Introduction IV (08/25) 7 5 Group Rings, Field Algebras, Tensor Products (08/27) 9 6 More on Tensor Products, Polynomials (08/29) 11 7 Discriminant, Separable Extensions (09/03) 12 8 Trace and Norm, Commutative F -algebras (09/05) 13 9 Idempotent and Radical (09/08) 16 10 Integrality (09/10) 17 11 Noetherian Rings and Modules (09/12) 18 12 Dedekind Domains I (09/15) 19 13 Dedekind Domains II (09/17) 21 1 14 Dedekind Domains III (09/19) 23 15 Chinese Remainder Theorem for Rings(09/22) 23 16 Valuation (09/24) 24 17 Ideal Class Group in a Dedekind Domain (09/26) 25 18 Extensions of Dedekind Domain I (09/29) 26 19 Extensions of Dedekind Domain II (10/01) 28 20 Extensions of Dedekind Domain III (10/03) 29 21 Valuation Theory I (10/06) 31 22 Valuation Theory II (10/08) 32 23 Valuation Theory III (10/10) 34 24 Valuations of a Function Field (10/13) 34 25 Ostrowski's Theorem I (10/15) 36 26 Ostrowski's Theorem II (10/17) 37 27 Weak Approximation Theorem (10/20) 39 28 Completions of Valued Fields I (10/22) 41 29 Completions of Valued Fields II, Inverse Limits(10/27) 43 30 Compactness (10/29) 45 31 Hensel's Lemma (10/31)
    [Show full text]
  • Notes on Class Field Theory (Updated 17 Mar 2017) Kiran S. Kedlaya
    Notes on class field theory (updated 17 Mar 2017) Kiran S. Kedlaya Department of Mathematics, University of California, San Diego E-mail address: [email protected] AMS Open Math Notes: Works in Progress; Reference # OMN:201710.110715; Last Revised: 2017-10-24 13:53:29 AMS Open Math Notes: Works in Progress; Reference # OMN:201710.110715; Last Revised: 2017-10-24 13:53:29 Contents Preface iii Part 1. Trailer: Abelian extensions of the rationals 1 Chapter 1. The Kronecker-Weber theorem 3 Chapter 2. Kummer theory 7 Chapter 3. The local Kronecker-Weber theorem 11 Part 2. The statements of class field theory 15 Chapter 4. The Hilbert class field 17 Chapter 5. Generalized ideal class groups and the Artin reciprocity law 19 Chapter 6. The principal ideal theorem 23 Chapter 7. Zeta functions and the Chebotarev density theorem 27 Part 3. Cohomology of groups 29 Chapter 8. Cohomology of finite groups I: abstract nonsense 31 Chapter 9. Cohomology of finite groups II: concrete nonsense 35 Chapter 10. Homology of finite groups 41 Chapter 11. Profinite groups and infinite Galois theory 45 Part 4. Local class field theory 49 Chapter 12. Overview of local class field theory 51 Chapter 13. Cohomology of local fields: some computations 55 Chapter 14. Local class field theory via Tate's theorem 61 Chapter 15. Abstract class field theory 67 Part 5. The adelic formulation 75 Chapter 16. Ad`elesand id`eles 77 Chapter 17. Ad`elesand id`elesin field extensions 83 i AMS Open Math Notes: Works in Progress; Reference # OMN:201710.110715; Last Revised: 2017-10-24 13:53:29 ii CONTENTS Chapter 18.
    [Show full text]
  • The Golod-Shafarevich Theorem and the Class Field Tower Problem
    THE GOLOD-SHAFAREVICH THEOREM AND THE CLASS FIELD TOWER PROBLEM Kathleen Zhou A thesis submitted in partial fulfillment of the requirements for the degree of Bachelor of Arts in mathematics with honors. Harvard College, 2017 Advisor: Barry Mazur Contents Chapter 1. Introduction 1 1. Historical Context and Motivation 1 2. Infinite p-Class Field Towers 2 Chapter 2. Preliminaries 5 1. Group Theory Reminders 5 2. Group Algebras/Rings 5 3. Group Cohomology 6 Chapter 3. Pro-p Groups 9 1. Basic Definitions 9 2. Presentations of Pro-p Groups 10 3. Cohomological Interpretation of Generators and Relations 11 4. Completed Group Algebras 13 5. Filtrations 14 Chapter 4. Golod-Shafarevich Theorem 17 1. Setup and Outline 17 2. Proof 18 Chapter 5. Further Work & Ramifications 23 1. Quadratic Imaginary Fields 23 2. Other Fields 25 3. Ramifications 25 References 27 i CHAPTER 1 Introduction 1. Historical Context and Motivation The mid-19th century found number theorists tackling the mystery left by Fermat's marvelously offhand marginalia and developing the field of algebraic number theory. Of great importance to this theory was the ideal class group, since its structure indicates how far the ring of integers of a number field is from being a unique factorization domain, which occurs if and only if the ideal class group is trivial. As Gabriel \Fool's Gold" Lam´eobserved in 1847, Fermat's Last Theorem would be easily proven if the pth cyclotomic fields Q(ζp) had class number 1 for odd primes p. However, sadly for Lam´e,Ernst Kummer had shown three years earlier that this is in fact false for most p, with p = 23 being the famous first example.
    [Show full text]