p-class Groups of Cyclic Number Fields of Odd Prime Degree
|
|
- Jocelin Harmon
- 6 years ago
- Views:
Transcription
1 International Journal of Algebra, Vol. 10, 2016, no. 9, HIKARI Ltd, p-class Groups of Cyclic Number Fields of Odd Prime Degree Jose Valter Lopes Nunes Departamento de Matemática, Universidade Federal do Ceará Fortaleza, CE, Brazil J. Carmelo Interlando Department of Mathematics and Statistics San Diego State University, San Diego, CA, USA Trajano Pires da Nóbrega Neto Departamento de Matemática Universidade Estadual Paulista São José do Rio Preto, SP, Brazil José Othon Dantas Lopes Departamento de Matemática Universidade Federal do Ceará, Fortaleza, CE, Brazil Copyright c 2016 Jose Valter Lopes Nunes et al. This article is distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. Abstract Let L/Q be a cyclic extension of degree p where p is an odd unramified prime in L/Q, and let p 1,..., p s be the rational primes that are ramified in L/Q. A new method of proof for showing the existence of subgroups in H(L) p, the p-part of the class group of L, is introduced. It is purely arithmetical in the sense that it is solely based on the pth residuacity of p i modulo p j, p i p j. Mathematics Subject Classification: 11R18, 11R20, 11R37, 11A15
2 430 Jose Valter Lopes Nunes et al. Keywords: cyclic extensions, class groups, power residues 1 Introduction and Background Class groups of number fields play a central role in class field theory due to their connections with unit groups [9], unramified extensions, and other number field invariants. Determining the structure of the class group H(F ) of a number field F can be a formidable task and it is one of the main problems in computational number theory. The p-part, or the p-sylow subgroup, of H(F ) is relevant for example in Iwasawa theory, elliptic curves, and for a long time it was of interest to Fermat s last theorem due to Kummer s famous criterion, namely, if p H(Q(ζ p )) then x p + y p = z p has no nontrivial integer solutions [12]; as customary, for any integer k 3, ζ k C denotes a primitive kth root of unity and Q(ζ k ) the kth cyclotomic field. Throughout the paper, L/Q denotes a cyclic extension of degree p where p is an odd unramified prime in L/Q. One has H(L) = H(L) p H(L) p where H(L) p is the p-part of H(L) and H(L) p the prime-to-p part of H(L). The cardinality of H(L), that is, the class number of L, is denoted by h(l). Relevant results needed for the rest of the work are in order. First, the conductor of L, that is, the smallest positive integer n such that L is contained in the nth cyclotomic field K = Q(ζ n ), is of the form n = p 1 p s where p 1,..., p s are distinct odd primes with p i 1 (mod p), i = 1,..., s; furthermore, the discriminant of L, Disc(L), equals n p 1, see [4, p. 186]. Hence, p 1,..., p s are precisely the rational primes that are ramified in L/Q. Since each one of them ramifies completely, one has p i O L = p p p i where p pi is the prime ideal of O L lying above p i, i = 1,..., s. If θ is a generator of Gal(L/Q) and t = Tr K/L (ζ n ) then L can be expressed as L = Q(t) and {t, θ(t),..., θ p 1 (t)} is an integral basis for L, see [8, p. 166]. In [6], using class field theory, Gerth III proved that when the rational primes that ramify in L/Q satisfy certain pth power residuacity conditions, H p (L) = (Z/pZ) s 1. The contribution of the present paper is a self-contained and new proof that, under the same conditions, H p (L) contains a subgroup isomorphic to (Z/pZ) r for r = 1,..., s. Furthermore, each subgroup is given explicitly, and several examples are provided to illustrate the result. Before proceeding, we provide a brief history of the subject and introduce further notation. By a theorem of Leopoldt [7], it is known that p h(l) if and only if exactly one rational prime ramifies in L/Q. Conner and Hurrelbrink [3] proved that if p h(l) then exactly two rational primes ramify in L/Q. Conversely, by [3, Theorem 26.9], if exactly two primes p 1 and p 2 ramify and p p 1, p 2, then p h(l) if and only if either p 1 is not a pth power modulo p 2 or p 2 is not a pth power modulo p 1. Recall that a rational integer a is a pth residue modulo a prime q if a is not divisible by q and the congruence x p a
3 p-class groups of cyclic number fields 431 (mod q) has a solution [5, Section III]. By Euler s criterion, a is a pth residue modulo q if and only if a (q 1)/p 1 (mod q) [10, Chapter VII]. By an abuse of notation, but for convenience, we will write (a q) p = 1 or (a q) p = 1 according to whether a is a pth residue modulo q or not. In regards to more recent work, an algorithm for computing H(F ) p with F/Q Abelian was proposed in [1]. However, in contrast to the present paper, the assumption in the former is that p [F : Q]. The main result, namely, Theorem 2, is presented in the next section along with auxiliary results and examples. The Conclusion is presented in Section 3. 2 pth Power Residuacity and the Structure of H(L) p All of L/Q, p, n, p 1,..., p s, and p p1,..., p ps remain exactly as defined in the previous section. Given any fractional ideal a of O L, we use [a] to denote the equivalence class of a in H(L). Lemma 1. Let i be any integer in {1,..., s}. If p pi is principal then (p i p j ) p = 1 for all j in {1,..., s} \ {i}. Proof. Let p pi = (α i ) for some α i O L. Without loss of generality, we may assume N L/Q (α i ) = p i. For all j {1,..., s} \ {i}, since α i / p pj, we have α i c j (mod p pj ) for some c j {1,..., p j 1}. Thus, whence c p j p i (mod p j ). p 1 p i = N L/Q (α i ) = θ k (α i ) c p j (mod p pj ), k=0 Corollary 1. If (p i p j ) p = 1 for any i, j in {1,..., s} with i j then [p pi ] = (Z/pZ), and consequently H(L) p is non-trivial. Example 1. Let p = 3, p 1 = 7, p 2 = 13 and L a subfield of Q(ζ 91 ) with [L : Q] = 3 and conductor 91. By Theorem 26.9 in [3] (as stated in the Introduction), H(L) 3 = 3. From Corollary 1, p 7 is non-principal for (7 13) 3 = 1. Thus, H(L) 3 = [p 7 ]. Table 1 lists H(L) 3 where L is a subfield of Q(ζ n ) with [L : Q] = 3 and conductor n = p 1 p 2 with p 1, p 2 in {7, 13, 19, 31, 37, 43}, and p 1 p 2. In all cases, H(L) 3 = 3. Example 2. Let p = 3, p 1 = 7, p 2 = 13, p 3 = 19, n = p 1 p 2 p 3 = 1729, and L a subfield of Q(ζ n ) of conductor n. Then p 7, p 13, and p 19 are all non-principal
4 432 Jose Valter Lopes Nunes et al. n p 1 p 2 (p 1 p 2 ) 3 (p 2 p 1 ) 3 H(L) [p 7 ] [p 19 ] [p 7 ] [p 7 ] [p 7 ] [p 13 ] [p 13 ] [p 13 ] [p 13 ] [p 19 ] [p 19 ] [p 19 ] [p 37 ] [p 31 ] [p 37 ] Table 1: H(L) 3 for certain cubic fields of conductor p 1 p 2 for (7 13) 3 = (13 19) 3 = (19 7) 3 = 1. Thus, 3 divides h(l). If we can show that [p 7 ] [p 13 ], we can immediately conclude that H(L) 3 has a subgroup isomorphic to (Z/3Z) 2 and h(l) is a multiple of 3 2. This will be done after we state and prove a corollary to the next theorem. Theorem 1. [11, p. 184] Let Q be a principal fractional ideal of O L and q 1,..., q r prime ideals of O L. Then Q can be written as the quotient (α)/(β) of two integral principal ideals such that none of the ideals q i, i = 1,..., r divides both (α) and (β). Corollary 2. Let a = p a 1 p i1... p au p iu and b = p b 1 pj1... p bv p jv where 1 r < i 1 < < i u s and 1 r < j 1 < j v s. If [a] = [b] then ( u ) pa l i l v pb l p k = 1 for k = 1,..., r. j l p ( u ) ( v ) 1. Proof. Consider the ideal I = pa l p il pb l p jl By hypothesis, I = ((a)/(b)) for some a, b O L, b 0. By Theorem 1, we may assume that neither a nor b belongs to any of the ideals p p1,..., p pr. On the other hand, taking the (ideal) norm N( ) on both sides of u pa l p il = ((a)/(b)) v pb l p jl, we obtain u v p a l i l = N((a)/(b)) p b l j l
5 p-class groups of cyclic number fields 433 For each 1 k r, there exists c k {1,..., p k 1} such that a/b c k (mod p pk ), whence θ j (a/b) c k (mod p pk ) for j = 0,..., p 1. From N((a)/(b)) = N L/Q (a/b), it follows that p 1 N L/Q (a/b) = θ j (a/b) c p k j=0 and the corollary is proved. (i) ( 13 7 (mod p pk ), that is, u p a l i l c p k v p b l j l (mod p k ), Example 3 (Example 2, cont d). We have already seen that the ideals p 7, p 13, and p 19 are non-principal. Now, 19 )3 = (10 19) 3 = 1, so by Corollary 2, [p 7 ] [p 13 ]. (ii) ( ) 19 = (16 19) 3 = 1, so by Corollary 2, [p 7 ] [p 13 ] 2. 3 In conclusion, h(l) is a multiple of 3 2. Moreover, [p 7 ] [p 13 ] is a subgroup of H(L) p isomorphic to (Z/3Z) 2. The next theorem is the main result of the present work. When its hypotheses are satisfied, it immediately provides a method for determining subgroups of H(L) p. Theorem 2. Notation as before, let p 1,..., p r, 2 r s, be such that (p 1 p k ) p = = (p k 2 p k ) p = 1 and (p k 1 p k ) p = 1 for k = 2,..., r. Then [p p1 ],..., [p pr 1 ] = (Z/pZ) r 1. Proof. We will use induction on r. The case r = 2 can be handled by Corollary 1, so we will treat the case 2 < r < s. Assuming that (p 1 p k ) p = = (p k 2 p k ) p = 1 and (p k 1 p k ) p = 1 for k = 2,..., r + 1, we will show that [p p1 ],..., [p pr 1 ], [p pr ] = (Z/pZ) r. (1) By Corollary 1, [p pr ] = (Z/pZ), so the isomorphism in (1) can be justified by showing that [p pr ] [p p1 ],..., [p pr 1 ]. By way of contradiction, suppose [p pr ] = [p p1 ] e1 [p pr 1 ] e r 1 for some choice of non-negative integers e 1,..., e r 1, that is, [p pr ] = [p e 1 p 1 p e r 1 N ( p e 1 p 1 p e r 1 p pr p r 1 p r 1 ]. By Corollary 2, ) r 1 c p r+1 (mod p pr+1 ), that is, i=1 p e i i c p r+1 p r (mod p r+1 ) for some c r+1 {1,..., p r+1 1}. Since (p i p r+1 ) p = 1 for i = 1,..., r 1, the latter congruence implies (p r p r+1 ) p = 1, a contradiction. Thus, [p pr ] [p p1 ],..., [p pr 1 ], as desired.
6 434 Jose Valter Lopes Nunes et al. Example 4. Let p = 3, p 1 = 7, p 2 = 13, p 3 = 19, p 4 = 223, p 5 = 373, n = p 1 p 5 = , and L a subfield of Q(ζ n ) of conductor n. We have: (i) (p 1 p 2 ) 3 = 1; (ii) (p 1 p 3 ) 3 = 1, (p 2 p 3 ) = 1; (iii) (p 1 p 4 ) 3 = (p 2 p 4 ) 3 = 1, (p 3 p 4 ) 3 = 1; (iv) (p 1 p 5 ) 3 = (p 2 p 5 ) 3 = (p 3 p 5 ) 3 = 1, (p 4 p 5 ) 3 = 1. By Theorem 2, H(L) 3 has a subgroup generated by [p 7 ], [p 13 ], [p 19 ], and [p 223 ]. Hence, h(l) is a multiple of 3 4. Example 5. Let p = 5, p 1 = 11, p 2 = 31, p 3 = 61, p 4 = 191, p 5 = 541, n = p 1 p 5 = , and L a subfield of Q(ζ n ) of conductor n. We have: (i) (p 1 p 2 ) 5 = 1; (ii) (p 1 p 3 ) 5 = 1, (p 2 p 3 ) = 1; (iii) (p 1 p 4 ) 5 = (p 2 p 4 ) 5 = 1, (p 3 p 4 ) 5 = 1; (iv) (p 1 p 5 ) 5 = (p 2 p 5 ) 5 = (p 3 p 5 ) 5 = 1, (p 4 p 5 ) 5 = 1. By Theorem 2, H(L) 5 has a subgroup generated by [p 11 ], [p 31 ], [p 61 ], and [p 191 ]. Hence, h(l) is a multiple of Conclusion A method for explicitly determining subgroups of the p-part of the class group of L where L/Q is a cyclic extension of degree p and conductor n = p 1 p s with p i 1 (mod p), i = 1,..., s, was introduced. Its effectiveness relies on the assumption that p i is a pth residue modulo p j for j = 1,..., i 2, but not a pth residue modulo p i 1 for i = 2,..., r. Despite this limitation, the method allowed us to easily tackle several cases that may have been otherwise computationally challenging even for state-of-the-art algorithms [2]. Therefore, the technique could conceivably be applied prior to those algorithms, hence reducing their computational costs to a reasonable degree. The actual limitation of the presented technique is unknown to us, so we leave this as a topic for future research.
7 p-class groups of cyclic number fields 435 References [1] M. Aoki and T. Fukuda, An Algorithm for Computing p-class Groups of Abelian Number Fields, Chapter in Algorithmic Number Theory, Springer, 2006, [2] W. Bosma, J. Cannon and C. Playoust, The Magma algebra system I: The user language, J. Symbolic Comput., 24 (1997), [3] P. E. Conner and J. Hurrelbrink, Class Number Parity, World Scientific Publishing Co Pte Ltd., Singapore, [4] P. E. Conner and R. Perlis, A Survey of Trace Forms of Algebraic Number Fields, World Scientific Publishing Co Pte Ltd., Singapore, [5] C. F. Gauss, Disquisitiones Arithmeticae, Yale University Press, [6] F. Gerth III, Number fields with prescribed l-class groups, Proceedings of the American Mathematical Society, 49 (1975), [7] H. W. Leopoldt, Zur Geschlechtertheorie in abelschen Zahlkörpern, Math. Nachr., 9 (1953), [8] W. Narkiewicz, Elementary and Analytic Theory of Algebraic Numbers, Springer Monographs in Mathematics, 3rd. ed., Springer-Verlag, Berlin, [9] F. Thaine, On the ideal class groups of real Abelian number fields, Ann. Math., 128 (1988), [10] J. V. Uspensky and M. A. Heaslet, Elementary Number Theory, McGraw- Hill, New York and London, [11] B. L. van der Waerden, Algebra, 5th edition, vol. 2, based in part on lectures by E. Artin and E. Noether, Springer, New York, [12] L. Washington, Introduction to Cyclotomic Fields, 2nd ed., Springer- Verlag, New York, Received: August 12, 2016; Published: October 7, 2016
ON GALOIS GROUPS OF ABELIAN EXTENSIONS OVER MAXIMAL CYCLOTOMIC FIELDS. Mamoru Asada. Introduction
ON GALOIS GROUPS OF ABELIAN ETENSIONS OVER MAIMAL CYCLOTOMIC FIELDS Mamoru Asada Introduction Let k 0 be a finite algebraic number field in a fixed algebraic closure Ω and ζ n denote a primitive n-th root
More informationarxiv: v1 [math.nt] 2 Jul 2009
About certain prime numbers Diana Savin Ovidius University, Constanţa, Romania arxiv:0907.0315v1 [math.nt] 2 Jul 2009 ABSTRACT We give a necessary condition for the existence of solutions of the Diophantine
More informationGalois theory (Part II)( ) Example Sheet 1
Galois theory (Part II)(2015 2016) Example Sheet 1 c.birkar@dpmms.cam.ac.uk (1) Find the minimal polynomial of 2 + 3 over Q. (2) Let K L be a finite field extension such that [L : K] is prime. Show that
More informationCONSTRUCTION OF THE HILBERT CLASS FIELD OF SOME IMAGINARY QUADRATIC FIELDS. Jangheon Oh
Korean J. Math. 26 (2018), No. 2, pp. 293 297 https://doi.org/10.11568/kjm.2018.26.2.293 CONSTRUCTION OF THE HILBERT CLASS FIELD OF SOME IMAGINARY QUADRATIC FIELDS Jangheon Oh Abstract. In the paper [4],
More informationQuasi-reducible Polynomials
Quasi-reducible Polynomials Jacques Willekens 06-Dec-2008 Abstract In this article, we investigate polynomials that are irreducible over Q, but are reducible modulo any prime number. 1 Introduction Let
More informationSome algebraic number theory and the reciprocity map
Some algebraic number theory and the reciprocity map Ervin Thiagalingam September 28, 2015 Motivation In Weinstein s paper, the main problem is to find a rule (reciprocity law) for when an irreducible
More informationDiophantine Equations. Elementary Methods
International Mathematical Forum, Vol. 12, 2017, no. 9, 429-438 HIKARI Ltd, www.m-hikari.com https://doi.org/10.12988/imf.2017.7223 Diophantine Equations. Elementary Methods Rafael Jakimczuk División Matemática,
More informationGalois Theory TCU Graduate Student Seminar George Gilbert October 2015
Galois Theory TCU Graduate Student Seminar George Gilbert October 201 The coefficients of a polynomial are symmetric functions of the roots {α i }: fx) = x n s 1 x n 1 + s 2 x n 2 + + 1) n s n, where s
More informationFERMAT S LAST THEOREM FOR REGULAR PRIMES KEITH CONRAD
FERMAT S LAST THEOREM FOR REGULAR PRIMES KEITH CONRAD For a prime p, we call p regular when the class number h p = h(q(ζ p )) of the pth cyclotomic field is not divisible by p. For instance, all primes
More informationClass groups and Galois representations
and Galois representations UC Berkeley ENS February 15, 2008 For the J. Herbrand centennaire, I will revisit a subject that I studied when I first came to Paris as a mathematician, in 1975 1976. At the
More informationThe Kronecker-Weber Theorem
The Kronecker-Weber Theorem November 30, 2007 Let us begin with the local statement. Theorem 1 Let K/Q p be an abelian extension. Then K is contained in a cyclotomic extension of Q p. Proof: We give the
More informationDiscrete Logarithms. Let s begin by recalling the definitions and a theorem. Let m be a given modulus. Then the finite set
Discrete Logarithms Let s begin by recalling the definitions and a theorem. Let m be a given modulus. Then the finite set Z/mZ = {[0], [1],..., [m 1]} = {0, 1,..., m 1} of residue classes modulo m is called
More informationNUMBER FIELDS WITH PRESCRIBED /-CLASS GROUPS i
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 49, Number 2, June 1975 NUMBER FIELDS WITH PRESCRIBED /-CLASS GROUPS i FRANK GERTH III ABSTRACT. Let G be any finite elementary abelian /-group,
More informationON 3-CLASS GROUPS OF CERTAIN PURE CUBIC FIELDS. Frank Gerth III
Bull. Austral. ath. Soc. Vol. 72 (2005) [471 476] 11r16, 11r29 ON 3-CLASS GROUPS OF CERTAIN PURE CUBIC FIELDS Frank Gerth III Recently Calegari and Emerton made a conjecture about the 3-class groups of
More informationA SIMPLE PROOF OF KRONECKER-WEBER THEOREM. 1. Introduction. The main theorem that we are going to prove in this paper is the following: Q ab = Q(ζ n )
A SIMPLE PROOF OF KRONECKER-WEBER THEOREM NIZAMEDDIN H. ORDULU 1. Introduction The main theorem that we are going to prove in this paper is the following: Theorem 1.1. Kronecker-Weber Theorem Let K/Q be
More informationCONSTRUCTING SUPERSINGULAR ELLIPTIC CURVES. Reinier Bröker
CONSTRUCTING SUPERSINGULAR ELLIPTIC CURVES Reinier Bröker Abstract. We give an algorithm that constructs, on input of a prime power q and an integer t, a supersingular elliptic curve over F q with trace
More informationApplication of Explicit Hilbert s Pairing to Constructive Class Field Theory and Cryptography
Applied Mathematical Sciences, Vol. 10, 2016, no. 45, 2205-2213 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/10.12988/ams.2016.64149 Application of Explicit Hilbert s Pairing to Constructive Class Field
More informationFive peculiar theorems on simultaneous representation of primes by quadratic forms
Five peculiar theorems on simultaneous representation of primes by quadratic forms David Brink January 2008 Abstract It is a theorem of Kaplansky that a prime p 1 (mod 16) is representable by both or none
More informationREDUCTION OF ELLIPTIC CURVES OVER CERTAIN REAL QUADRATIC NUMBER FIELDS
MATHEMATICS OF COMPUTATION Volume 68, Number 228, Pages 1679 1685 S 0025-5718(99)01129-1 Article electronically published on May 21, 1999 REDUCTION OF ELLIPTIC CURVES OVER CERTAIN REAL QUADRATIC NUMBER
More informationA BRIEF INTRODUCTION TO LOCAL FIELDS
A BRIEF INTRODUCTION TO LOCAL FIELDS TOM WESTON The purpose of these notes is to give a survey of the basic Galois theory of local fields and number fields. We cover much of the same material as [2, Chapters
More informationTWO CLASSES OF NUMBER FIELDS WITH A NON-PRINCIPAL EUCLIDEAN IDEAL
TWO CLASSES OF NUMBER FIELDS WITH A NON-PRINCIPAL EUCLIDEAN IDEAL CATHERINE HSU Abstract. This paper introduces two classes of totally real quartic number fields, one of biquadratic extensions and one
More informationUnderstanding hard cases in the general class group algorithm
Understanding hard cases in the general class group algorithm Makoto Suwama Supervisor: Dr. Steve Donnelly The University of Sydney February 2014 1 Introduction This report has studied the general class
More informationAN APPLICATION OF THE p-adic ANALYTIC CLASS NUMBER FORMULA
AN APPLICATION OF THE p-adic ANALYTIC CLASS NUMBER FORMULA CLAUS FIEKER AND YINAN ZHANG Abstract. We propose an algorithm to compute the p-part of the class number for a number field K, provided K is totally
More informationAn Additive Characterization of Fibers of Characters on F p
An Additive Characterization of Fibers of Characters on F p Chris Monico Texas Tech University Lubbock, TX c.monico@ttu.edu Michele Elia Politecnico di Torino Torino, Italy elia@polito.it January 30, 2009
More informationCYCLOTOMIC FIELDS CARL ERICKSON
CYCLOTOMIC FIELDS CARL ERICKSON Cyclotomic fields are an interesting laboratory for algebraic number theory because they are connected to fundamental problems - Fermat s Last Theorem for example - and
More informationFORMAL GROUPS OF CERTAIN Q-CURVES OVER QUADRATIC FIELDS
Sairaiji, F. Osaka J. Math. 39 (00), 3 43 FORMAL GROUPS OF CERTAIN Q-CURVES OVER QUADRATIC FIELDS FUMIO SAIRAIJI (Received March 4, 000) 1. Introduction Let be an elliptic curve over Q. We denote by ˆ
More informationTAMAGAWA NUMBERS OF ELLIPTIC CURVES WITH C 13 TORSION OVER QUADRATIC FIELDS
TAMAGAWA NUMBERS OF ELLIPTIC CURVES WITH C 13 TORSION OVER QUADRATIC FIELDS FILIP NAJMAN Abstract. Let E be an elliptic curve over a number field K c v the Tamagawa number of E at v and let c E = v cv.
More informationStickelberger s congruences for absolute norms of relative discriminants
Stickelberger s congruences for absolute norms of relative discriminants Georges Gras To cite this version: Georges Gras. Stickelberger s congruences for absolute norms of relative discriminants. Journal
More informationORAL QUALIFYING EXAM QUESTIONS. 1. Algebra
ORAL QUALIFYING EXAM QUESTIONS JOHN VOIGHT Below are some questions that I have asked on oral qualifying exams (starting in fall 2015). 1.1. Core questions. 1. Algebra (1) Let R be a noetherian (commutative)
More informationBulletin of the Transilvania University of Braşov Vol 7(56), No Series III: Mathematics, Informatics, Physics, 59-64
Bulletin of the Transilvania University of Braşov Vol 756), No. 2-2014 Series III: Mathematics, Informatics, Physics, 59-64 ABOUT QUATERNION ALGEBRAS AND SYMBOL ALGEBRAS Cristina FLAUT 1 and Diana SAVIN
More informationThe Kronecker-Weber Theorem
The Kronecker-Weber Theorem Lucas Culler Introduction The Kronecker-Weber theorem is one of the earliest known results in class field theory. It says: Theorem. (Kronecker-Weber-Hilbert) Every abelian extension
More informationExplicit Methods in Algebraic Number Theory
Explicit Methods in Algebraic Number Theory Amalia Pizarro Madariaga Instituto de Matemáticas Universidad de Valparaíso, Chile amaliapizarro@uvcl 1 Lecture 1 11 Number fields and ring of integers Algebraic
More informationPart II. Number Theory. Year
Part II Year 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2017 Paper 3, Section I 1G 70 Explain what is meant by an Euler pseudoprime and a strong pseudoprime. Show that 65 is an Euler
More information1 The Galois Group of a Quadratic
Algebra Prelim Notes The Galois Group of a Polynomial Jason B. Hill University of Colorado at Boulder Throughout this set of notes, K will be the desired base field (usually Q or a finite field) and F
More informationIDEAL CLASSES AND THE KRONECKER BOUND
IDEAL CLASSES AND THE KRONECKER BOUND KEITH CONRAD 1. Introduction Let A be a domain with fraction field F. A fractional A-ideal is a nonzero A-submodule a F such that da A for some nonzero d A. These
More informationThe primitive root theorem
The primitive root theorem Mar Steinberger First recall that if R is a ring, then a R is a unit if there exists b R with ab = ba = 1. The collection of all units in R is denoted R and forms a group under
More informationarxiv: v1 [math.nt] 13 May 2018
Fields Q( 3 d, ζ 3 ) whose 3-class group is of type (9, 3) arxiv:1805.04963v1 [math.nt] 13 May 2018 Siham AOUISSI, Mohamed TALBI, Moulay Chrif ISMAILI and Abdelmalek AZIZI May 15, 2018 Abstract: Let k
More informationGalois groups with restricted ramification
Galois groups with restricted ramification Romyar Sharifi Harvard University 1 Unique factorization: Let K be a number field, a finite extension of the rational numbers Q. The ring of integers O K of K
More informationTHE SPIEGELUNGSSATZ FOR p = 5 FROM A CONSTRUCTIVE APPROACH
Math. J. Okayama Univ. 47 (2005), 1 27 THE SPIEGELUNGSSATZ FOR p = 5 FROM A CONSTRUCTIVE APPROACH Yasuhiro KISHI Abstract. We describe explicitly the relation between the 5-ranks of the ideal class groups
More informationSolutions of exercise sheet 6
D-MATH Algebra I HS 14 Prof. Emmanuel Kowalski Solutions of exercise sheet 6 1. (Irreducibility of the cyclotomic polynomial) Let n be a positive integer, and P Z[X] a monic irreducible factor of X n 1
More informationD-MATH Algebra II FS18 Prof. Marc Burger. Solution 26. Cyclotomic extensions.
D-MAH Algebra II FS18 Prof. Marc Burger Solution 26 Cyclotomic extensions. In the following, ϕ : Z 1 Z 0 is the Euler function ϕ(n = card ((Z/nZ. For each integer n 1, we consider the n-th cyclotomic polynomial
More informationCM-Fields with Cyclic Ideal Class Groups of 2-Power Orders
journal of number theory 67, 110 (1997) article no. T972179 CM-Fields with Cyclic Ideal Class Groups of 2-Power Orders Ste phane Louboutin* Universite de Caen, UFR Sciences, De partement de Mathe matiques,
More informationPrimes, Polynomials, Progressions. B.Sury Indian Statistical Institute Bangalore NISER Bhubaneshwar February 15, 2016
Indian Statistical Institute Bangalore NISER Bhubaneshwar February 15, 2016 Primes and polynomials It is unknown if there exist infinitely many prime numbers of the form n 2 + 1. Primes and polynomials
More informationMath 210B: Algebra, Homework 6
Math 210B: Algebra, Homework 6 Ian Coley February 19, 2014 Problem 1. Let K/F be a field extension, α, β K. Show that if [F α) : F ] and [F β) : F ] are relatively prime, then [F α, β) : F ] = [F α) :
More informationCLASS FIELD THEORY WEEK Motivation
CLASS FIELD THEORY WEEK 1 JAVIER FRESÁN 1. Motivation In a 1640 letter to Mersenne, Fermat proved the following: Theorem 1.1 (Fermat). A prime number p distinct from 2 is a sum of two squares if and only
More informationKUMMER S CRITERION ON CLASS NUMBERS OF CYCLOTOMIC FIELDS
KUMMER S CRITERION ON CLASS NUMBERS OF CYCLOTOMIC FIELDS SEAN KELLY Abstract. Kummer s criterion is that p divides the class number of Q(µ p) if and only if it divides the numerator of some Bernoulli number
More informationA Remark on Certain Filtrations on the Inner Automorphism Groups of Central Division Algebras over Local Number Fields
International Journal of lgebra, Vol. 10, 2016, no. 2, 71-79 HIKRI Ltd, www.m-hikari.com http://dx.doi.org/10.12988/ija.2016.612 Remark on Certain Filtrations on the Inner utomorphism Groups of Central
More informationON TAMELY RAMIFIED IWASAWA MODULES FOR THE CYCLOTOMIC p -EXTENSION OF ABELIAN FIELDS
Itoh, T. Osaka J. Math. 51 (2014), 513 536 ON TAMELY RAMIFIED IWASAWA MODULES FOR THE CYCLOTOMIC p -EXTENSION OF ABELIAN FIELDS TSUYOSHI ITOH (Received May 18, 2012, revised September 19, 2012) Abstract
More informationLemma 1.1. The field K embeds as a subfield of Q(ζ D ).
Math 248A. Quadratic characters associated to quadratic fields The aim of this handout is to describe the quadratic Dirichlet character naturally associated to a quadratic field, and to express it in terms
More informationKUMMER S LEMMA KEITH CONRAD
KUMMER S LEMMA KEITH CONRAD Let p be an odd prime and ζ ζ p be a primitive pth root of unity In the ring Z[ζ], the pth power of every element is congruent to a rational integer mod p, since (c 0 + c 1
More informationTOTALLY RAMIFIED PRIMES AND EISENSTEIN POLYNOMIALS. 1. Introduction
TOTALLY RAMIFIED PRIMES AND EISENSTEIN POLYNOMIALS KEITH CONRAD A (monic) polynomial in Z[T ], 1. Introduction f(t ) = T n + c n 1 T n 1 + + c 1 T + c 0, is Eisenstein at a prime p when each coefficient
More informationOn p-groups having the minimal number of conjugacy classes of maximal size
On p-groups having the minimal number of conjugacy classes of maximal size A. Jaikin-Zapirain, M.F. Newman and E.A. O Brien Abstract A long-standing question is the following: do there exist p-groups of
More informationTOTALLY RAMIFIED PRIMES AND EISENSTEIN POLYNOMIALS. 1. Introduction
TOTALLY RAMIFIED PRIMES AND EISENSTEIN POLYNOMIALS KEITH CONRAD A (monic) polynomial in Z[T ], 1. Introduction f(t ) = T n + c n 1 T n 1 + + c 1 T + c 0, is Eisenstein at a prime p when each coefficient
More informationOn a Theorem of Dedekind
On a Theorem of Dedekind Sudesh K. Khanduja, Munish Kumar Department of Mathematics, Panjab University, Chandigarh-160014, India. E-mail: skhand@pu.ac.in, msingla79@yahoo.com Abstract Let K = Q(θ) be an
More informationON THE SEMIPRIMITIVITY OF CYCLIC CODES
ON THE SEMIPRIMITIVITY OF CYCLIC CODES YVES AUBRY AND PHILIPPE LANGEVIN Abstract. We prove, without assuming the Generalized Riemann Hypothesis, but with at most one exception, that an irreducible cyclic
More informationOn a Diophantine Equation 1
International Journal of Contemporary Mathematical Sciences Vol. 12, 2017, no. 2, 73-81 HIKARI Ltd, www.m-hikari.com https://doi.org/10.12988/ijcms.2017.728 On a Diophantine Equation 1 Xin Zhang Department
More informationIDEAL CLASS GROUPS OF CYCLOTOMIC NUMBER FIELDS I
IDEA CASS GROUPS OF CYCOTOMIC NUMBER FIEDS I FRANZ EMMERMEYER Abstract. Following Hasse s example, various authors have been deriving divisibility properties of minus class numbers of cyclotomic fields
More informationNUNO FREITAS AND ALAIN KRAUS
ON THE DEGREE OF THE p-torsion FIELD OF ELLIPTIC CURVES OVER Q l FOR l p NUNO FREITAS AND ALAIN KRAUS Abstract. Let l and p be distinct prime numbers with p 3. Let E/Q l be an elliptic curve with p-torsion
More informationPart II Galois Theory
Part II Galois Theory Theorems Based on lectures by C. Birkar Notes taken by Dexter Chua Michaelmas 2015 These notes are not endorsed by the lecturers, and I have modified them (often significantly) after
More informationOn the Power of Standard Polynomial to M a,b (E)
International Journal of Algebra, Vol. 10, 2016, no. 4, 171-177 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/10.12988/ija.2016.6214 On the Power of Standard Polynomial to M a,b (E) Fernanda G. de Paula
More informationField Theory Problems
Field Theory Problems I. Degrees, etc. 1. Answer the following: (a Find u R such that Q(u = Q( 2, 3 5. (b Describe how you would find all w Q( 2, 3 5 such that Q(w = Q( 2, 3 5. 2. If a, b K are algebraic
More informationUniversität Regensburg Mathematik
Universität Regensburg Mathematik On projective linear groups over finite fields as Galois groups over the rational numbers Gabor Wiese Preprint Nr. 14/2006 On projective linear groups over finite fields
More informationA Generalization of p-rings
International Journal of Algebra, Vol. 9, 2015, no. 8, 395-401 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/10.12988/ija.2015.5848 A Generalization of p-rings Adil Yaqub Department of Mathematics University
More informationFinite Groups with ss-embedded Subgroups
International Journal of Algebra, Vol. 11, 2017, no. 2, 93-101 HIKARI Ltd, www.m-hikari.com https://doi.org/10.12988/ija.2017.7311 Finite Groups with ss-embedded Subgroups Xinjian Zhang School of Mathematical
More informationFIELD THEORY. Contents
FIELD THEORY MATH 552 Contents 1. Algebraic Extensions 1 1.1. Finite and Algebraic Extensions 1 1.2. Algebraic Closure 5 1.3. Splitting Fields 7 1.4. Separable Extensions 8 1.5. Inseparable Extensions
More informationHermitian modular forms congruent to 1 modulo p.
Hermitian modular forms congruent to 1 modulo p. arxiv:0810.5310v1 [math.nt] 29 Oct 2008 Michael Hentschel Lehrstuhl A für Mathematik, RWTH Aachen University, 52056 Aachen, Germany, hentschel@matha.rwth-aachen.de
More informationRepresentation of prime numbers by quadratic forms
Representation of prime numbers by quadratic forms Bachelor thesis in Mathematics by Simon Hasenfratz Supervisor: Prof. R. Pink ETH Zurich Summer term 2008 Introduction One of the most famous theorems
More informationNecessary and Sufficient Conditions for the Central Norm to Equal 2 h in the Simple Continued Fraction Expansion of 2 h c for Any Odd Non-Square c > 1
Necessary and Sufficient Conditions for the Central Norm to Equal 2 h in the Simple Continued Fraction Expansion of 2 h c for Any Odd Non-Square c > 1 R.A. Mollin Abstract We look at the simple continued
More informationAlgebra SEP Solutions
Algebra SEP Solutions 17 July 2017 1. (January 2017 problem 1) For example: (a) G = Z/4Z, N = Z/2Z. More generally, G = Z/p n Z, N = Z/pZ, p any prime number, n 2. Also G = Z, N = nz for any n 2, since
More informationMATH 25 CLASS 21 NOTES, NOV Contents. 2. Subgroups 2 3. Isomorphisms 4
MATH 25 CLASS 21 NOTES, NOV 7 2011 Contents 1. Groups: definition 1 2. Subgroups 2 3. Isomorphisms 4 1. Groups: definition Even though we have been learning number theory without using any other parts
More informationSOLVING SOLVABLE QUINTICS. D. S. Dummit
D. S. Dummit Abstract. Let f(x) = x 5 + px 3 + qx + rx + s be an irreducible polynomial of degree 5 with rational coefficients. An explicit resolvent sextic is constructed which has a rational root if
More informationCYCLOTOMIC EXTENSIONS
CYCLOTOMIC EXTENSIONS KEITH CONRAD 1. Introduction For a positive integer n, an nth root of unity in a field is a solution to z n = 1, or equivalently is a root of T n 1. There are at most n different
More informationMaximal Class Numbers of CM Number Fields
Maximal Class Numbers of CM Number Fields R. C. Daileda R. Krishnamoorthy A. Malyshev Abstract Fix a totally real number field F of degree at least 2. Under the assumptions of the generalized Riemann hypothesis
More informationSolutions to Practice Final
s to Practice Final 1. (a) What is φ(0 100 ) where φ is Euler s φ-function? (b) Find an integer x such that 140x 1 (mod 01). Hint: gcd(140, 01) = 7. (a) φ(0 100 ) = φ(4 100 5 100 ) = φ( 00 5 100 ) = (
More informationTwisted L-Functions and Complex Multiplication
Journal of umber Theory 88, 104113 (2001) doi:10.1006jnth.2000.2613, available online at http:www.idealibrary.com on Twisted L-Functions and Complex Multiplication Abdellah Sebbar Department of Mathematics
More informationOn Permutation Polynomials over Local Finite Commutative Rings
International Journal of Algebra, Vol. 12, 2018, no. 7, 285-295 HIKARI Ltd, www.m-hikari.com https://doi.org/10.12988/ija.2018.8935 On Permutation Polynomials over Local Finite Commutative Rings Javier
More informationCS 5319 Advanced Discrete Structure. Lecture 9: Introduction to Number Theory II
CS 5319 Advanced Discrete Structure Lecture 9: Introduction to Number Theory II Divisibility Outline Greatest Common Divisor Fundamental Theorem of Arithmetic Modular Arithmetic Euler Phi Function RSA
More informationDONG QUAN NGOC NGUYEN
REPRESENTATION OF UNITS IN CYCLOTOMIC FUNCTION FIELDS DONG QUAN NGOC NGUYEN Contents 1 Introduction 1 2 Some basic notions 3 21 The Galois group Gal(K /k) 3 22 Representation of integers in O, and the
More informationA new family of character combinations of Hurwitz zeta functions that vanish to second order
A new family of character combinations of Hurwitz zeta functions that vanish to second order A. Tucker October 20, 2015 Abstract We prove the second order vanishing of a new family of character combinations
More informationCover Page. The handle holds various files of this Leiden University dissertation
Cover Page The handle http://hdl.handle.net/1887/25833 holds various files of this Leiden University dissertation Author: Palenstijn, Willem Jan Title: Radicals in Arithmetic Issue Date: 2014-05-22 Chapter
More informationSection X.55. Cyclotomic Extensions
X.55 Cyclotomic Extensions 1 Section X.55. Cyclotomic Extensions Note. In this section we return to a consideration of roots of unity and consider again the cyclic group of roots of unity as encountered
More informationIdeal class groups of cyclotomic number fields I
ACTA ARITHMETICA XXII.4 (1995) Ideal class groups of cyclotomic number fields I by Franz emmermeyer (Heidelberg) 1. Notation. et K be number fields; we will use the following notation: O K is the ring
More informationThe Kummer Pairing. Alexander J. Barrios Purdue University. 12 September 2013
The Kummer Pairing Alexander J. Barrios Purdue University 12 September 2013 Preliminaries Theorem 1 (Artin. Let ψ 1, ψ 2,..., ψ n be distinct group homomorphisms from a group G into K, where K is a field.
More informationSEVERAL PROOFS OF THE IRREDUCIBILITY OF THE CYCLOTOMIC POLYNOMIALS
SEVERAL PROOFS OF THE IRREDUCIBILITY OF THE CYCLOTOMIC POLYNOMIALS STEVEN H. WEINTRAUB ABSTRACT. We present a number of classical proofs of the irreducibility of the n-th cyclotomic polynomial Φ n (x).
More informationSome Properties of D-sets of a Group 1
International Mathematical Forum, Vol. 9, 2014, no. 21, 1035-1040 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/10.12988/imf.2014.45104 Some Properties of D-sets of a Group 1 Joris N. Buloron, Cristopher
More informationClass Field Theory. Peter Stevenhagen. 1. Class Field Theory for Q
Class Field Theory Peter Stevenhagen Class field theory is the study of extensions Q K L K ab K = Q, where L/K is a finite abelian extension with Galois grou G. 1. Class Field Theory for Q First we discuss
More informationMINIMAL GENERATING SETS OF GROUPS, RINGS, AND FIELDS
MINIMAL GENERATING SETS OF GROUPS, RINGS, AND FIELDS LORENZ HALBEISEN, MARTIN HAMILTON, AND PAVEL RŮŽIČKA Abstract. A subset X of a group (or a ring, or a field) is called generating, if the smallest subgroup
More informationALGEBRA PH.D. QUALIFYING EXAM SOLUTIONS October 20, 2011
ALGEBRA PH.D. QUALIFYING EXAM SOLUTIONS October 20, 2011 A passing paper consists of four problems solved completely plus significant progress on two other problems; moreover, the set of problems solved
More informationPRIME NUMBERS IN CERTAIN ARITHMETIC PROGRESSIONS M. Ram Murty 1 & Nithum Thain Introduction
Functiones et Approximatio XXXV (2006), 249 259 PRIME NUMBERS IN CERTAIN ARITHMETIC PROGRESSIONS M. Ram Murty 1 & Nithum Thain 2 Dedicated to Professor Eduard Wirsing on the occasion of his 75th birthday
More informationDirichlet Series Associated with Cubic and Quartic Fields
Dirichlet Series Associated with Cubic and Quartic Fields Henri Cohen, Frank Thorne Institut de Mathématiques de Bordeaux October 23, 2012, Bordeaux 1 Introduction I Number fields will always be considered
More informationClassifying Camina groups: A theorem of Dark and Scoppola
Classifying Camina groups: A theorem of Dark and Scoppola arxiv:0807.0167v5 [math.gr] 28 Sep 2011 Mark L. Lewis Department of Mathematical Sciences, Kent State University Kent, Ohio 44242 E-mail: lewis@math.kent.edu
More informationClass Numbers and Iwasawa Invariants of Certain Totally Real Number Fields
Journal of Number Theory 79, 249257 (1999) Article ID jnth.1999.2433, available online at htt:www.idealibrary.com on Class Numbers and Iwasawa Invariants of Certain Totally Real Number Fields Dongho Byeon
More informationARITHMETIC PROGRESSIONS OF SQUARES, CUBES AND n-th POWERS
ARITHMETIC PROGRESSIONS OF SQUARES, CUBES AND n-th POWERS L. HAJDU 1, SZ. TENGELY 2 Abstract. In this paper we continue the investigations about unlike powers in arithmetic progression. We provide sharp
More informationKolyvagin's ``Euler Systems'' in Cyclotomic Function Fields
journal of number theory 57, 114121 article no. 0037 Kolyvagin's ``Euler Systems'' in Cyclotomic Function Fields Keqin Feng and Fei Xu Department of Mathematics, University of Science and Technology of
More information14 Ordinary and supersingular elliptic curves
18.783 Elliptic Curves Spring 2015 Lecture #14 03/31/2015 14 Ordinary and supersingular elliptic curves Let E/k be an elliptic curve over a field of positive characteristic p. In Lecture 7 we proved that
More informationCLASS GROUPS, TOTALLY POSITIVE UNITS, AND SQUARES
proceedings of the american mathematical society Volume 98, Number 1. September 1986 CLASS GROUPS, TOTALLY POSITIVE UNITS, AND SQUARES H. M. EDGAR, R. A. MOLLIN1 AND B. L. PETERSON Abstract. Given a totally
More informationA MOD-p ARTIN-TATE CONJECTURE, AND GENERALIZED HERBRAND-RIBET. March 7, 2017
A MOD-p ARTIN-TATE CONJECTURE, AND GENERALIZED HERBRAND-RIBET DIPENDRA PRASAD March 7, 2017 Abstract. Following the natural instinct that when a group operates on a number field then every term in the
More informationOn non-hamiltonian circulant digraphs of outdegree three
On non-hamiltonian circulant digraphs of outdegree three Stephen C. Locke DEPARTMENT OF MATHEMATICAL SCIENCES, FLORIDA ATLANTIC UNIVERSITY, BOCA RATON, FL 33431 Dave Witte DEPARTMENT OF MATHEMATICS, OKLAHOMA
More information24 Artin reciprocity in the unramified case
18.785 Number theory I Fall 2017 ecture #24 11/29/2017 24 Artin reciprocity in the unramified case et be an abelian extension of number fields. In ecture 22 we defined the norm group T m := N (I m )R m
More informationA Generalization of Wilson s Theorem
A Generalization of Wilson s Theorem R. Andrew Ohana June 3, 2009 Contents 1 Introduction 2 2 Background Algebra 2 2.1 Groups................................. 2 2.2 Rings.................................
More information