ON THE EQUATION X n 1 = BZ n. 1. Introduction
|
|
- Dulcie Wright
- 5 years ago
- Views:
Transcription
1 ON THE EQUATION X n 1 = BZ n PREDA MIHĂILESCU Abstract. We consider the Diophantine equation X n 1 = BZ n ; here B Z is understood as a parameter. We give new conditions for existence of solutions to this equation. These reduce the possible solutions to at most one explicite pair X, Z) for given n, B). The proof uses recent results on the diagonal Nagell Ljunggren equation X p 1 X 1 = pe Y p, e {0, 1} together with a new estimate approach, specific for the equation under consideration. 1) Let B, n N >1 be such that 1. Introduction ϕ B) := ϕrad B)) and n, ϕ B)) = 1. Here rad B) is the radical of B and the condition implies that B has no prime factors t 1 mod n. In particular, none of its prime factors split completely in the n th cyclotomic field. We consider the binary Thue equation 2) X n 1 = B Z n, where solutions with Z { 1, 0, 1} are considered to be trivial. This equation is encountered as a particlar case of binary Thue equations of the type ax n by n = c, see [BGMP]. Current results on 2) are restricted to values of B which are built up from small primes p 13. It is natural to consider the case when the exponent n is a prime, since existence of solutions X, Z) for composite n imply the existence of some solutions with n prime, by raising X, Z to a power. We prove the following: Theorem 1. Let n be a prime and B > 1 an integer with φ B), n) = 1. Suppose that the equation 2) has a non trivial integer solution different from n = 3 and X, Z; B) = 18, 7; 17). Let X mod n u, 0 u < p and e = 0 if u 1 and e = 1 otherwise. Then: A. n > B. X 1 = ±B/n e and B < n n. C. If u ±1 then 2 n 3 n 1 mod n 2, and r n 1 1 mod n 2 for all r XX 2 1). If u = ±1, then n h + n, the class number of the totally real subfield of the n th cyclotomic extension. D. Furthermore, if u = 1 then B/2) n 1 ±1 mod n 2. Date: Version 3.0 November 2, The research was completed while the author is holding a research chair sponsored by the Volkswagen Stiftung. 1
2 2 PREDA MIHĂILESCU The proof of this Theorem is given below on base of results from [Mi1]. 2. Proof of Theorem 1 We relate 2) to the diagonal Nagell Ljunggren equation { X n 1 X 1 = ne Y n 0 if X 1 mod n 3), e =, 1 otherwise. ) X Note that D = n 1 n X 1, X 1 and D = n exactly when X 1 mod n. Indeed, from the expansion D = Xn 1 X 1 = X 1) + 1)n 1 = n + kx 1), X 1 for some k Z, one deduces the claim D n. If D 1, then n X 1) must hold. Conversely, inserting X 1 mod n in the previous expression shows that in this case D = n. The case X 1 mod n corresponds to e = 1; it follows that any integer solution of 2) induces one of 3), both for e = 0 and for e = 1. Indeed, if ζ C is a primitive n th root of unity, then the numbers α c = X ζ c 1 ζ c ) Z[ζ], by definition of e and α e c, n) = 1. Since for distinct c, d 0 mod n we have 1 ζ c ) e α d 1 ζ d ) e α c = ζ d ζ c, it follows that α c, α d ) 1 ζ) and in view of α c, n) = 1, it follows that the α c are coprime. But p 1 α c = Xn 1 X n 1 n e X 1) n e X 1) and thus the rational primes r are all split in the n th cyclotomic extension. For such a prime r, if X, Z; B) is a solution of 2), it follows from 1) that r, B) = 1 and thus r Z; furthermore, the equation 2) implies that r in Z n, i > 0 and thus r in X n 1 n e X 1). This holds for all primes r X n 1 n e X 1) and it follows that 3) is verified for Y = r ri X, Y Z, where the product ranges over all the primes r n 1 n e X 1). If X, Z) is a solution of 2) for the prime n and Z = C Y with Y as above, then we proved that 4) 5) X n 1 n e = Y n and X 1) X 1 = B C n /n e. Conversely, if X, Y ) is a solution of 3), then X, Y ; n e X 1)) is a solution of 2). For instance, the particular solution X, Y ; B) = 18, 7; 17) of 2) stems from 6) = 73, which is supposed to be the only non trivial solution of 3). It is proved in [Mi1] that 3) has no solutions for n except 6). For values of n > , either n h + n or 2 n 1 3 n 1 1 mod n 2 must hold, if there is a non trivial solution. This confirms the respective claims of the Theorem. In the sequel we shall show that the only possible solutions are X = B/n e ± 1. Remark 1. Note that if X, Z) verify 2), then X, Z) is a solution of Un +1 U+1 = BZ n, so the results apply also to the equation: 7) U n + 1 = BZ n.
3 ON THE EQUATION X n 1 = BZ n 3 The points A. and C. of Theorem 1 are proved in [Mi1], in connection with 3), so we may assume in particular that n > Let X, Z) be an integer solution of 2) verifying 1) for a prime n > and s = ±1 be the sign of X. The point D. is known in the literature see e.g. [BGMP] but we prove it briefly here. If X 1 mod n, then BZ n = X n 1 2 mod n 2 and thus B/2) n 1 1/Z) nn 1) 1 mod n 2, which implies the claim. We shall use the following Theorem from [Mi1]: Theorem 2. Suppose that X, Y are integers verifying 3) with n 17 being a prime. Let u = X mod n). Then there is a D R + such that X < D. The values of D in the various cases of the equation are the following: 4 ) n+2 n if u { 1, 0, 1} 8) D = 4n) n 1 2 if u = 0, 4 n 2) n otherwise. By comparing the bounds 8) with the second equation in 4) it follows that C < 2n. In particular, the primes dividing C do not split completely in Q[ζ n ] since a prime splitting in this field has the form r = 2kn + 1 > 2n. Remark 2. Note that C < 2n implies a fortiori that for all primes r C, r 2 1 mod n. Thus the 2 - part of the group < r mod n > has at least for elements. The rest of this paper gives the proof that C = ±1. If C = ±1, then X 1 = ±B/n e, as stated in point B. of the Theorem and X is a solution of 3). The bounds on X in 8) imply B < n n, the second claim of B. We begin with a combinatorial Lemma 1. Let p be an odd prime, k N with 1 < k < log 2 p) and P = {1, 2,..., p 1}. If S = {a 1, a 2,..., a k } P is a set of distinct numbers and A = p 1/k, then there are k numbers b i Z, i = 1, 2,..., k, not all zero, with 0 b i A and such that k a i b i 0 mod p. i=1 Proof. Let T = {1, 2,..., A} P. Consider the functional f : Ti k Z/p Z) given by k f t) t i a i mod p, with t = t 1, t 2,...,t k ) T k. i=1 Since T k > p, by the pigeon hole principle there are two vectors t t such that f t) f t ) mod p. Let b i = t i t i ; by construction, 0 b i A and not all b i are zero, since t t. The choice of these vectors implies k i=1 a ib i 0 mod p, as claimed. Assume that X, Z; B) is an integer solution of 2) for the exponent n and X is given by 4). It follows that 3) holds for Y = Z/C. We shall use a series of results on Stickelberger elements and their relations to solutions of 2). All these results are deduced in [Mi1] and they shall only be mentioned here without proof.
4 4 PREDA MIHĂILESCU 2.1. Auxiliary facts on the Stickelberger module. Let ζ be a primitive n th root of unity, K = Qζ) the n th cyclotomic field and G = Gal K/Q) the Galois group. The automorphisms σ a G are given by ζ ζ a, a = 1, 2,...,p 1; complex conjugation is denoted by j Z[G]. The Stickelberger module is I = ϑ Z[G] Z[G], where ϑ = 1 n 1 n c σ 1 c is the Stickelberger element. For Θ I we have the relation Θ + jθ = ςθ) N, where ςθ) Z is the relative weight of Θ. The Fueter elements are ψ n = 1 + σ n σ n+1 )ϑ, 1 n < p 1, They generate I as a Z - module of rank p + 1)/2) and ςψ n ) = 1 for all n. The Fermat quotient map I Z/n Z) is given by and enjoys the properties: 9) p 1 ϕ : Θ = n c σc 1 ζ Θ = ζ ϕθ), 1 + ζ) Θ = ζ ϕθ)/2 ) Θ = ζ ϕθ)/2 p 1 n c /c mod p ) ςθ)/2 1 n). n The last relation holds up to a sign which depends on the embedding of ζ. For a fixed embedding, we let ν = 1 ) n n be defined by ) Θ = ζ ϕθ)/2 ν. Note that for Θ I with ςθ) = 2 we have ) 2Θ = ζ ϕθ) n 2 for any embedding. Let α = X ζ 1 ζ) Z[ζ], as before, and define c e x 1/X 1) mod n if e = 0 and c x = 0 if e = 1. For any θ I, there is a Jacobi integer β[θ] Z[ζ] such that β[θ] n = ζ cx α) θ, normed by β[θ] 1 mod ) 2 [Mi1]. The definition of ςθ) implies that 10) β[θ] β[θ] = N K/Q α) ςθ) = Y ςθ) The proof of C = ±1. We assume there is a prime r C with r in C. Let R Z[ζ] be a prime ideal lying above r, let dr) G be its decomposition group and d be its size. The proof uses local approximations based on expansions in binomial series. We next derive the relations which lead to these expansions. Let D = B C n with C defined by 4) and note that p, D) = 1 in this case, so 1/) is congruent to an algebraic integer modulo D Z[ζ]. We have for any θ I, β[θ] n = ζ cx α) θ = ζ cx ) 1 e ) θ 1 + X 1 ) θ 11) Let θ 0 I be such that ϕθ 0 ) = 0 and ςθ 0 ) = 2, so by the relation 9) and the remark after it, ) 2θ0 = n 2 ζ ϕθ0) = n 2. Such an element can be easily constructed: indeed, let a = ϕψ 2 ), b = ϕψ 3 ), with ψ i being the Fueter elements above. If a = 0 or b = 0, then one takes the double of the respective element. Otherwise, set θ 0 = σ b ψ 2 + σ p a ψ 3 : it follows from the definition of the Fermat quotient that ϕθ 0 ) = 0. Finally, we let θ = 2θ 0 and note that from 10) we have Y 2n = β[θ 0 ] n β[θ 0 ] n here we use again the fact that θ is
5 ON THE EQUATION X n 1 = BZ n 5 the double of a group ring element. Thus β[θ] n = Y 2n β[θ 0 ]/β[θ 0 ]. Using 11) and the previous observations, we find: β[θ] n = Y 2n ζ cx ) 1 e) θ 0 jθ X 1 ) θ0 jθ 0 = ζ 2cx+1)ϕθ0) 1 + D/)) θ0 jθ0 = 1 + D/)) θ0 jθ0. Thus 12) β[θ] n = Y 2n 1 + X 1 ) θ0 jθ 0 = Y 2n 1 + D ) θ0 jθ 0, and for any prime ideal R D there is a κ = κ R θ) Z/n Z) such that 13) β[θ] ζ κ Y 2 mod R and β[θ] ζ κ Y 2 mod R. The second relation follows from 10) and does not require that R be fixed under complex conjugation. Note that the two relations 12) and 13) lead to a binomial series expansion for β[θ]. The typical obstruction in this case is the presence of the unknown exponent κ; it can be overcome here by using the decomposition group. We claim that there are σ 1, σ 2 dr) such that σ 1 j σ 2. If dr) is not a pure 2 - group, it contains a non trivial subgroup of odd order, which fixes the claim. If dr) is a 2 - group and thus j dr), it has, by Remark 2, at least 4 elements; this implies our claim in this case too. Let σ i ζ) = ζ ci, c i Z/p Z). It follows from Lemma 1 that there are a, b Z with a, b p 1/2 and ac 1 + bc 2 0 mod p; after eventually changing the signs of a and b, we may assume that a > 0. Let µ = aσ 1 + bσ 2 Z[dr)] Z[G]. By construction, µζ) = 1. Since K/Q is abelian and all the primes R r) have the decomposition group dr), µ has the following stronger property: let R r), S G be a set of representatives of G/dr) and γ Z[ζ] be such that γ ζ cσ mod σr) for all σ S. Then µγ) 1 mod rz[ζ], as follows directly from µζ) 1 mod σr). With θ like above, we now let 14) Θ = Θ 0 = Θ/2 I. { aσ 1 θ + bσ 2 θ if b 0 aσ 1 θ bσ 2 jθ) otherwise. Let h = 2a + b ) = ςθ 0 ) < 4n 1/2. It follows from 13) that in both cases we have β[θ] µζ κ ) Y h mod R and thus 15) β[θ] Y h mod rz[ζ]. Let Θ 0 = p 1 n cσ c ; for any prime R r), the binomial series of the n th root of the right hand side in 12) converges in the R - adic valuation and its sum is equal to β[θ] up to a possible n th root of unity ζ c. For any N > 0, we have R inn D N
6 6 PREDA MIHĂILESCU and thus β[θ] p 1 N 1 ζ c Y h p 1 N 1 k=0 k=0 nc /n k nc /n ) ) ) k D k c ) ) ) k D c mod R inn. Here we make use of the choice of Θ: comparing 15) with the product above, it follows that ζ c = 1 for all primes R r). Thus the congruence above holds modulo r inn. We transform the produc into a sum and obtain a uniform expansion in powers of r which is Galois covariant: ) N 1 σ d β[θ]) = Y 1 h + σ d γ k [Θ]) D k + Or inn ), k=1 for any N > 0 and γ k [Θ] K. It can be shown by using the results and methods in [Mi1] that for Ek) = k n+1 n 1, the numbers Γ k = n Ek) γ k Z[ζ] and Γ k < n 2k ; the previous equation becomes ) N 1 σ d β[θ]) = Y 1 h σ d Γ k [Θ]) 16) + D k + Or inn ). n Ek) k=1 We let J G be a set of A = 4h logn) < 16 n logn) < n 3/5 automorphisms and consider the linear combination = σ J λσ)β[σ Θ] where λσ) Z[ζ] are subject to the linear system 17) λσ)γ k σ Θ) = 0, for k = 0, 1,..., A 2 and 18) σ J λσ)γ A 1 σ Θ) 0 mod r. σ J Results from [Mi1] based on estimates for solutions of linear systems, imply that the system has a solution with λσ) Λ = n 2A 1) A ) A. Since β[σ Θ] = Y h < n nh and given the bound h < 4n 1/2, we find that σ J λσ) n nh < AΛn nh < n 2nh, and thus 19) N K/Q ) < n 2nn 1)h. The homogeneous conditions 17) imply 0 mod r A 1)n and it follows from 18) that 0. Hence N K/Q ) 0 mod r A 1)nn 1) > n 4nn 1)h, in contradiction with 19). This shows that C = ±1, which completes the proof of Theorem 1. Acknowledgments: I am grateful to Professor Kálmán Győry for having pointed my attention to this problem and for an emulating exchange on this topic. Thanks go to the anonymous referee for helpful suggestions.
7 ON THE EQUATION X n 1 = BZ n 7 References [BGMP] [BHM] [Mi1] M. A. Bennett, K. Győry, M. Mignotte and Á. Pintér: Binomial Thue equations a nd polynomial powers, Compositio Math ), pp Y. Bugeaud, G. Hanrot and M. Mignotte: Sur l équation diophantienne xn 1 x 1 = yq, III, Proc. London. Math. Soc ), pp P. Mihăilescu: Class Number Conditions for the Diagonal Case of the Equation of Nagell Ljunggren, To appear in the Wolfgang Schmidt - Jubilaeum Volume, Springer Verlag, New York. P. Mihăilescu) Mathematisches Institut der Universität Göttingen address, P. Mihăilescu: preda@uni-math.gwdg.de
NEW BOUNDS AND CONDITIONS FOR THE EQUATION OF NAGELL LJUNGGREN
Ma ora capisco il mio non capire, Che una risposta non ci sarà, Che la risposta sull avvenire È in una voce che chiederà: Shomèr ma mi-llailah, shomèr ma mi-lell, Shomèr ma mi-llailah, ma mi-lell 1 To
More informationAttempt QUESTIONS 1 and 2, and THREE other questions. penalised if you attempt additional questions.
UNIVERSITY OF EAST ANGLIA School of Mathematics Main Series UG Examination 2017 18 FERMAT S LAST THEOREM MTHD6024B Time allowed: 3 Hours Attempt QUESTIONS 1 and 2, and THREE other questions. penalised
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 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 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 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 informationON A THEOREM OF TARTAKOWSKY
ON A THEOREM OF TARTAKOWSKY MICHAEL A. BENNETT Dedicated to the memory of Béla Brindza Abstract. Binomial Thue equations of the shape Aa n Bb n = 1 possess, for A and B positive integers and n 3, at most
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 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 informationA parametric family of quartic Thue equations
A parametric family of quartic Thue equations Andrej Dujella and Borka Jadrijević Abstract In this paper we prove that the Diophantine equation x 4 4cx 3 y + (6c + 2)x 2 y 2 + 4cxy 3 + y 4 = 1, where c
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 informationON 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 informationA Journey through Galois Groups, Irreducible Polynomials and Diophantine Equations
A Journey through Galois Groups, Irreducible Polynomials and Diophantine Equations M. Filaseta 1, F. Luca, P. Stănică 3, R.G. Underwood 3 1 Department of Mathematics, University of South Carolina Columbia,
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 informationOn squares in Lucas sequences
On squares in Lucas sequences A. Bremner N. Tzanakis July, 2006 Abstract Let P and Q be non-zero integers. The Lucas sequence {U n (P, Q)} is defined by U 0 = 0, U 1 = 1, U n = P U n 1 QU n 2 (n 2). The
More informationPRODUCTS OF CONSECUTIVE INTEGERS
PRODUCTS OF CONSECUTIVE INTEGERS MICHAEL A. BENNETT Abstract. In this paper, we deduce a number of results on the arithmetic structure of products of integers in short intervals. By way of example, we
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 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 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 informationThus, the integral closure A i of A in F i is a finitely generated (and torsion-free) A-module. It is not a priori clear if the A i s are locally
Math 248A. Discriminants and étale algebras Let A be a noetherian domain with fraction field F. Let B be an A-algebra that is finitely generated and torsion-free as an A-module with B also locally free
More informationAlgebra Exam, Spring 2017
Algebra Exam, Spring 2017 There are 5 problems, some with several parts. Easier parts count for less than harder ones, but each part counts. Each part may be assumed in later parts and problems. Unjustified
More informationA GLIMPSE OF ALGEBRAIC K-THEORY: Eric M. Friedlander
A GLIMPSE OF ALGEBRAIC K-THEORY: Eric M. Friedlander During the first three days of September, 1997, I had the privilege of giving a series of five lectures at the beginning of the School on Algebraic
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 informationOn The Weights of Binary Irreducible Cyclic Codes
On The Weights of Binary Irreducible Cyclic Codes Yves Aubry and Philippe Langevin Université du Sud Toulon-Var, Laboratoire GRIM F-83270 La Garde, France, {langevin,yaubry}@univ-tln.fr, WWW home page:
More informationAlgebra Exam Topics. Updated August 2017
Algebra Exam Topics Updated August 2017 Starting Fall 2017, the Masters Algebra Exam will have 14 questions. Of these students will answer the first 8 questions from Topics 1, 2, and 3. They then have
More informationPerfect powers with few binary digits and related Diophantine problems
Ann. Sc. Norm. Super. Pisa Cl. Sci. (5) Vol. XII (2013), 941-953 Perfect powers with few binary digits and related Diophantine problems MICHAEL A. BENNETT, YANN BUGEAUD AND MAURICE MIGNOTTE Abstract. We
More informationMath 109 HW 9 Solutions
Math 109 HW 9 Solutions Problems IV 18. Solve the linear diophantine equation 6m + 10n + 15p = 1 Solution: Let y = 10n + 15p. Since (10, 15) is 5, we must have that y = 5x for some integer x, and (as we
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 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 informationPacific Journal of Mathematics
Pacific Journal of Mathematics ON THE DIOPHANTINE EQUATION xn 1 x 1 = y Yann Bugeaud, Maurice Mignotte, and Yves Roy Volume 193 No. 2 April 2000 PACIFIC JOURNAL OF MATHEMATICS Vol. 193, No. 2, 2000 ON
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 informationA talk given at University of Wisconsin at Madison (April 6, 2006). Zhi-Wei Sun
A tal given at University of Wisconsin at Madison April 6, 2006. RECENT PROGRESS ON CONGRUENCES INVOLVING BINOMIAL COEFFICIENTS Zhi-Wei Sun Department of Mathematics Nanjing University Nanjing 210093,
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 informationFermat s Last Theorem for Regular Primes
Fermat s Last Theorem for Regular Primes S. M.-C. 22 September 2015 Abstract Fermat famously claimed in the margin of a book that a certain family of Diophantine equations have no solutions in integers.
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 informationMICHAEL A. BENNETT, YANN BUGEAUD AND MAURICE MIGNOTTE
PERFECT POWERS WITH FEW BINARY DIGITS AND RELATED DIOPHANTINE PROBLEMS MICHAEL A. BENNETT, YANN BUGEAUD AND MAURICE MIGNOTTE Abstract. We prove that, for any fixed base x 2 and sufficiently large prime,
More informationProfinite Groups. Hendrik Lenstra. 1. Introduction
Profinite Groups Hendrik Lenstra 1. Introduction We begin informally with a motivation, relating profinite groups to the p-adic numbers. Let p be a prime number, and let Z p denote the ring of p-adic integers,
More informationMICHAEL A. BENNETT, YANN BUGEAUD AND MAURICE MIGNOTTE
PERFECT POWERS WITH FEW BINARY DIGITS AND RELATED DIOPHANTINE PROBLEMS MICHAEL A. BENNETT, YANN BUGEAUD AND MAURICE MIGNOTTE Abstract. We prove that, for any fixed base x 2 and sufficiently large prime,
More informationSOLVING FERMAT-TYPE EQUATIONS x 5 + y 5 = dz p
MATHEMATICS OF COMPUTATION Volume 79, Number 269, January 2010, Pages 535 544 S 0025-5718(09)02294-7 Article electronically published on July 22, 2009 SOLVING FERMAT-TYPE EQUATIONS x 5 + y 5 = dz p NICOLAS
More informationPostmodern Primality Proving
Preda Mihăilescu (University of Göttingen) Postmodern Primality Proving June 28, 2013 1 / 29 Postmodern Primality Proving Preda Mihăilescu Mathematical Institute, University of Göttingen, Germany June
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 informationUnits generating the ring of integers of complex cubic fields. Robert Tichy and Volker Ziegler. Project Area(s): Algorithmische Diophantische Probleme
FoSP Algorithmen & mathematische Modellierung FoSP Forschungsschwerpunkt Algorithmen und mathematische Modellierung Units generating the ring of integers of complex cubic fields Robert Tichy and Volker
More informationFINITE-ORDER AUTOMORPHISMS OF A CERTAIN TORUS
FINITE-ORDER AUTOMORPHISMS OF A CERTAIN TORUS BRIAN CONRAD 1. Introduction A classical result of Higman [H], [S, Exer. 6.3], asserts that the roots of unity in the group ring Z[Γ] of a finite commutative
More informationp-adic fields Chapter 7
Chapter 7 p-adic fields In this chapter, we study completions of number fields, and their ramification (in particular in the Galois case). We then look at extensions of the p-adic numbers Q p and classify
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 informationLINEAR FORMS IN LOGARITHMS
LINEAR FORMS IN LOGARITHMS JAN-HENDRIK EVERTSE April 2011 Literature: T.N. Shorey, R. Tijdeman, Exponential Diophantine equations, Cambridge University Press, 1986; reprinted 2008. 1. Linear forms in logarithms
More informationAlgebra Qualifying Exam Solutions. Thomas Goller
Algebra Qualifying Exam Solutions Thomas Goller September 4, 2 Contents Spring 2 2 2 Fall 2 8 3 Spring 2 3 4 Fall 29 7 5 Spring 29 2 6 Fall 28 25 Chapter Spring 2. The claim as stated is false. The identity
More informationSOME CONGRUENCES ASSOCIATED WITH THE EQUATION X α = X β IN CERTAIN FINITE SEMIGROUPS
SOME CONGRUENCES ASSOCIATED WITH THE EQUATION X α = X β IN CERTAIN FINITE SEMIGROUPS THOMAS W. MÜLLER Abstract. Let H be a finite group, T n the symmetric semigroup of degree n, and let α, β be integers
More informationTHE DENOMINATORS OF POWER SUMS OF ARITHMETIC PROGRESSIONS. Bernd C. Kellner Göppert Weg 5, Göttingen, Germany
#A95 INTEGERS 18 (2018) THE DENOMINATORS OF POWER SUMS OF ARITHMETIC PROGRESSIONS Bernd C. Kellner Göppert Weg 5, 37077 Göttingen, Germany b@bernoulli.org Jonathan Sondow 209 West 97th Street, New Yor,
More informationA POSITIVE PROPORTION OF THUE EQUATIONS FAIL THE INTEGRAL HASSE PRINCIPLE
A POSITIVE PROPORTION OF THUE EQUATIONS FAIL THE INTEGRAL HASSE PRINCIPLE SHABNAM AKHTARI AND MANJUL BHARGAVA Abstract. For any nonzero h Z, we prove that a positive proportion of integral binary cubic
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 informationK-groups of rings of algebraic integers and Iwasawa theory
K-groups of rings of algebraic integers and Iwasawa theory Miho AOKI Okayama University of Science 1 F/Q : finite abelian extension O F : the ring of algebraic integers of F K n (O F ) (n 0) H i (O F,
More informationTwo Diophantine Approaches to the Irreducibility of Certain Trinomials
Two Diophantine Approaches to the Irreducibility of Certain Trinomials M. Filaseta 1, F. Luca 2, P. Stănică 3, R.G. Underwood 3 1 Department of Mathematics, University of South Carolina Columbia, SC 29208;
More informationNOTES ON DIOPHANTINE APPROXIMATION
NOTES ON DIOPHANTINE APPROXIMATION Jan-Hendrik Evertse December 11, 2007 8 Approximation of algebraic numbers Literature: W.M. Schmidt, Diophantine approximation, Lecture Notes in Mathematics 785, Springer
More informationTHE JOHNS HOPKINS UNIVERSITY Faculty of Arts and Sciences FINAL EXAM - SPRING SESSION ADVANCED ALGEBRA II.
THE JOHNS HOPKINS UNIVERSITY Faculty of Arts and Sciences FINAL EXAM - SPRING SESSION 2006 110.402 - ADVANCED ALGEBRA II. Examiner: Professor C. Consani Duration: 3 HOURS (9am-12:00pm), May 15, 2006. No
More informationAre ζ-functions able to solve Diophantine equations?
Are ζ-functions able to solve Diophantine equations? An introduction to (non-commutative) Iwasawa theory Mathematical Institute University of Heidelberg CMS Winter 2007 Meeting Leibniz (1673) L-functions
More informationA short proof of Klyachko s theorem about rational algebraic tori
A short proof of Klyachko s theorem about rational algebraic tori Mathieu Florence Abstract In this paper, we give another proof of a theorem by Klyachko ([?]), which asserts that Zariski s conjecture
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 informationGraduate Preliminary Examination
Graduate Preliminary Examination Algebra II 18.2.2005: 3 hours Problem 1. Prove or give a counter-example to the following statement: If M/L and L/K are algebraic extensions of fields, then M/K is algebraic.
More informationRECIPES FOR TERNARY DIOPHANTINE EQUATIONS OF SIGNATURE (p, p, k)
RECIPES FOR TERNARY DIOPHANTINE EQUATIONS OF SIGNATURE (p, p, k) MICHAEL A. BENNETT Abstract. In this paper, we survey recent work on ternary Diophantine equations of the shape Ax n + By n = Cz m for m
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 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 Harvard Sampler. Evan Chen. February 23, I crashed a few math classes at Harvard on February 21, Here are notes from the classes.
A Harvard Sampler Evan Chen February 23, 2014 I crashed a few math classes at Harvard on February 21, 2014. Here are notes from the classes. 1 MATH 123: Algebra II In this lecture we will make two assumptions.
More informationERIC LARSON AND LARRY ROLEN
PROGRESS TOWARDS COUNTING D 5 QUINTIC FIELDS ERIC LARSON AND LARRY ROLEN Abstract. Let N5, D 5, X) be the number of quintic number fields whose Galois closure has Galois group D 5 and whose discriminant
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 informationTo Professor W. M. Schmidt on his 60th birthday
ACTA ARITHMETICA LXVII.3 (1994) On the irreducibility of neighbouring polynomials by K. Győry (Debrecen) To Professor W. M. Schmidt on his 60th birthday 1. Introduction. Denote by P the length of a polynomial
More informationCertain monomial characters of p -degree
Arch. Math. 99 (2012), 407 411 c 2012 Springer Basel 0003-889X/12/050407-5 published online November 16, 2012 DOI 10.1007/s00013-012-0449-0 Archiv der Mathematik Certain monomial characters of p -degree
More informationLECTURE 15, WEDNESDAY
LECTURE 15, WEDNESDAY 31.03.04 FRANZ LEMMERMEYER 1. The Filtration of E (1) Let us now see why the kernel of reduction E (1) is torsion free. Recall that E (1) is defined by the exact sequence 0 E (1)
More informationODD REPDIGITS TO SMALL BASES ARE NOT PERFECT
#A34 INTEGERS 1 (01) ODD REPDIGITS TO SMALL BASES ARE NOT PERFECT Kevin A. Broughan Department of Mathematics, University of Waikato, Hamilton 316, New Zealand kab@waikato.ac.nz Qizhi Zhou Department of
More informationAlgebraic integers of small discriminant
ACTA ARITHMETICA LXXV.4 (1996) Algebraic integers of small discriminant by Jeffrey Lin Thunder and John Wolfskill (DeKalb, Ill.) Introduction. For an algebraic integer α generating a number field K = Q(α),
More informationMATH 361: NUMBER THEORY FOURTH LECTURE
MATH 361: NUMBER THEORY FOURTH LECTURE 1. Introduction Everybody knows that three hours after 10:00, the time is 1:00. That is, everybody is familiar with modular arithmetic, the usual arithmetic of the
More informationAlgebra Qualifying Exam, Fall 2018
Algebra Qualifying Exam, Fall 2018 Name: Student ID: Instructions: Show all work clearly and in order. Use full sentences in your proofs and solutions. All answers count. In this exam, you may use the
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 informationNOTES ON FINITE FIELDS
NOTES ON FINITE FIELDS AARON LANDESMAN CONTENTS 1. Introduction to finite fields 2 2. Definition and constructions of fields 3 2.1. The definition of a field 3 2.2. Constructing field extensions by adjoining
More informationarxiv: v1 [math.nt] 9 Sep 2017
arxiv:179.2954v1 [math.nt] 9 Sep 217 ON THE FACTORIZATION OF x 2 +D GENERALIZED RAMANUJAN-NAGELL EQUATION WITH HUGE SOLUTION) AMIR GHADERMARZI Abstract. Let D be a positive nonsquare integer such that
More informationPILLAI S CONJECTURE REVISITED
PILLAI S COJECTURE REVISITED MICHAEL A. BEETT Abstract. We prove a generalization of an old conjecture of Pillai now a theorem of Stroeker and Tijdeman) to the effect that the Diophantine equation 3 x
More informationNOTES FOR DRAGOS: MATH 210 CLASS 12, THURS. FEB. 22
NOTES FOR DRAGOS: MATH 210 CLASS 12, THURS. FEB. 22 RAVI VAKIL Hi Dragos The class is in 381-T, 1:15 2:30. This is the very end of Galois theory; you ll also start commutative ring theory. Tell them: midterm
More informationALGEBRA PH.D. QUALIFYING EXAM September 27, 2008
ALGEBRA PH.D. QUALIFYING EXAM September 27, 2008 A passing paper consists of four problems solved completely plus significant progress on two other problems; moreover, the set of problems solved completely
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 informationOn metacyclic extensions
On metacyclic extensions Masanari Kida 1 Introduction A group G is called metacyclic if it contains a normal cyclic subgroup N such that the quotient group G/N is also cyclic. The category of metacyclic
More informationHigher Ramification Groups
COLORADO STATE UNIVERSITY MATHEMATICS Higher Ramification Groups Dean Bisogno May 24, 2016 1 ABSTRACT Studying higher ramification groups immediately depends on some key ideas from valuation theory. With
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 informationφ(xy) = (xy) n = x n y n = φ(x)φ(y)
Groups 1. (Algebra Comp S03) Let A, B and C be normal subgroups of a group G with A B. If A C = B C and AC = BC then prove that A = B. Let b B. Since b = b1 BC = AC, there are a A and c C such that b =
More informationTernary Diophantine Equations via Galois Representations and Modular Forms
Canad. J. Math. Vol. 56 (1), 2004 pp. 23 54 Ternary Diophantine Equations via Galois Representations and Modular Forms Michael A. Bennett and Chris M. Skinner Abstract. In this paper, we develop techniques
More informationAlmost fifth powers in arithmetic progression
Almost fifth powers in arithmetic progression L. Hajdu and T. Kovács University of Debrecen, Institute of Mathematics and the Number Theory Research Group of the Hungarian Academy of Sciences Debrecen,
More informationNumber Theory Fall 2016 Problem Set #3
18.785 Number Theory Fall 2016 Problem Set #3 Description These problems are related to the material covered in Lectures 5-7. Your solutions are to be written up in latex and submitted as a pdf-file via
More informationALGEBRA 11: Galois theory
Galois extensions Exercise 11.1 (!). Consider a polynomial P (t) K[t] of degree n with coefficients in a field K that has n distinct roots in K. Prove that the ring K[t]/P of residues modulo P is isomorphic
More informationJOURNAL DE THÉORIE DES NOMBRES DE BORDEAUX
JOURNAL DE THÉORIE DES NOMBRES DE BORDEAUX RADAN KUČERA A note on circular units in Z p -extensions Journal de Théorie des Nombres de Bordeaux, tome 15, n o 1 (2003), p. 223-229
More informationNew Restrictions on Possible Orders of Circulant Hadamard Matrices
New Restrictions on Possible Orders of Circulant Hadamard Matrices Ka Hin Leung Department of Mathematics National University of Singapore Kent Ridge, Singapore 119260 Republic of Singapore Bernhard Schmidt
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 informationPOWER VALUES OF SUMS OF PRODUCTS OF CONSECUTIVE INTEGERS. 1. Introduction. (x + j).
POWER VALUES OF SUMS OF PRODUCTS OF CONSECUTIVE INTEGERS L. HAJDU, S. LAISHRAM, SZ. TENGELY Abstract. We investigate power values of sums of products of consecutive integers. We give general finiteness
More informationPractice problems for first midterm, Spring 98
Practice problems for first midterm, Spring 98 midterm to be held Wednesday, February 25, 1998, in class Dave Bayer, Modern Algebra All rings are assumed to be commutative with identity, as in our text.
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 informationA 4 -SEXTIC FIELDS WITH A POWER BASIS. Daniel Eloff, Blair K. Spearman, and Kenneth S. Williams
A 4 -SEXTIC FIELDS WITH A POWER BASIS Daniel Eloff, Blair K. Spearman, and Kenneth S. Williams Abstract. An infinite family of monogenic sextic fields with Galois group A 4 is exhibited. 1. Introduction.
More informationSchool of Mathematics and Statistics. MT5836 Galois Theory. Handout 0: Course Information
MRQ 2017 School of Mathematics and Statistics MT5836 Galois Theory Handout 0: Course Information Lecturer: Martyn Quick, Room 326. Prerequisite: MT3505 (or MT4517) Rings & Fields Lectures: Tutorials: Mon
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 informationKeywords and phrases: Fundamental theorem of algebra, constructible
Lecture 16 : Applications and Illustrations of the FTGT Objectives (1) Fundamental theorem of algebra via FTGT. (2) Gauss criterion for constructible regular polygons. (3) Symmetric rational functions.
More informationMath Topics in Algebra Course Notes: A Proof of Fermat s Last Theorem. Spring 2013
Math 847 - Topics in Algebra Course Notes: A Proof of Fermat s Last Theorem Spring 013 January 6, 013 Chapter 1 Background and History 1.1 Pythagorean triples Consider Pythagorean triples (x, y, z) so
More informationAbstract Algebra, Second Edition, by John A. Beachy and William D. Blair. Corrections and clarifications
1 Abstract Algebra, Second Edition, by John A. Beachy and William D. Blair Corrections and clarifications Note: Some corrections were made after the first printing of the text. page 9, line 8 For of the
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 information