On the order of unimodular matrices modulo integers
|
|
- Mavis Booker
- 6 years ago
- Views:
Transcription
1 ACTA ARITHMETICA 0.2 (2003) On the order of unimodular matrices modulo integers by Pär Kurlberg (Gothenburg). Introduction. Given an integer b and a prime p such that p b, let ord p (b) be the multiplicative order of b modulo p. In other words, ord p (b) is the smallest nonnegative integer k such that b k mod p. Clearly ord p (b) p, and if the order is maimal, b is said to be a primitive root modulo p. Artin conjectured (see the preface in []) that if b Z is not a square, then b is a primitive root for a positive proportion ( ) of the primes. What about the typical behaviour of ord p (b)? For instance, are there good lower bounds on ord p (b) that hold for a full density subset of the primes? In [3], Erdős and Murty proved that if b 0, ±, then there eists a δ > 0 so that ord p (b) is at least p /2 ep((log p) δ ) for a full density subset of the primes ( 2 ). However, we epect the typical order to be much larger. In [6] Hooley proved that the Generalized Riemann Hypothesis (GRH) implies Artin s conjecture. Moreover, if f : R + R + is an increasing function tending to infinity, Erdős and Murty [3] showed that GRH implies that the order of b modulo p is greater than p/f(p) for a full density subset of the primes. It is also interesting to consider lower bounds for ord N (b) where N is an integer. It is easy to see that ord N (b) can be as small as log N infinitely often (take N = b k ), but we epect the typical order to be quite large. Assuming GRH, we can prove that the lower bound ord N (b) N ε holds for most integers. Theorem. Let b 0, ± be an integer. Assuming GRH, the number of N such that ord N (b) N ε is o(). That is, the set of integers N such that ord N (b) N ε has density one. However, the main focus of this paper is to investigate a related question, namely lower bounds on the order of unimodular matrices modulo N Z Mathematics Subject Classification: Primary N37; Secondary A07. Author supported in part by the National Science Foundation (DMS ). ( ) The constant is given by an Euler product that depends on b. ( 2 ) Pappalardi has shown [9] that δ can be taken to be approimately 0.5. [4]
2 42 P. Kurlberg That is, if A SL 2 (Z), what can be said about lower bounds for ord N (A), the order of A modulo N, that hold for most N? It is a natural generalization of the previous questions, but our main motivation comes from mathematical physics (quantum chaos): In [7] Rudnick and I proved that if A is hyperbolic ( 3 ), then a strong form of quantum ergodicity for toral automorphisms follows from ord N (A) being slightly larger than N /2, and we then showed that this condition holds for a full density subset of the integers ( 4 ). Again, we epect that the typical order is much larger. In order to give lower bounds on ord N (A), it is essential to have good lower bounds on ord p (A) for p prime: Theorem 2. Let A SL 2 (Z) be hyperbolic, and let f : R + R + be an increasing function tending to infinity more slowly than log. Assuming GRH, there are at most O ( f() ε log ) primes p such that ordp (A) < p/f(p). In particular, the set of primes p such that ord p (A) p/f(p) has density one. Using this we obtain an improved lower bound on ord N (A) that is valid for most integers. Theorem 3. Let A SL 2 (Z) be hyperbolic. Assuming GRH, the number of N such that ord N (A) N ε is o(). That is, the set of integers N such that ord N (A) N ε has density one. Remarks. If A is elliptic ( tr(a) < 2) then A has finite order (in fact, at most 6). If A is parabolic ( tr(a) = 2), then ord p (A) = p unless A is congruent to the identity matri modulo p, and hence there eists a constant c A > 0 so that ord N (A) > c A N. Apart from the application in mind, it is thus natural to only treat the hyperbolic case. As far as unconditional results for primes go, we note that the proof in [3] relies entirely on analyzing the divisor structure of p, and we epect that their method should give a similar lower bound on the order of A modulo p. An unconditional lower bound of the form () ord p (b) p η for a full proportion of the primes and η > /2 would be quite interesting. In this direction, Goldfeld [5] proved that if η < 3/5, then () holds for a positive, but not full, proportion of the primes. Clearly ord p (A) is related to ord p (ε), where ε is one of the eigenvalues of A. Since A is assumed to be hyperbolic, ε is a power of a fundamental unit in a real quadratic field. The question of densities of primes p such ( 3 ) A is hyperbolic if tr(a) > 2. ( 4 ) More precisely: there eists δ > 0 so that ord N (A) N /2 ep((log N) δ ) for a full density subset of the integers.
3 Order of unimodular matrices modulo integers 43 that ord p (λ) is maimal, for λ a fundamental unit in a real quadratic field, does not seem to have received much attention until quite recently; in [0] Roskam proved that GRH implies that the set of primes p for which ord p (λ) is maimal has positive density. (The work of Weinberger [2], Cooke and Weinberger [2] and Lenstra [8] does treat the case ord p (λ) = p, but not the case ord p (λ) = p +.) 2. Preliminaries 2.. Notation. If O F is the ring of integers in a number field F, we let ζ F (s) = a O F N(a) s denote the zeta function of F. By GRH we mean that all nontrivial zeros of ζ F (s) lie on the line Re(s) = /2 for all number fields F. Let ε be an eigenvalue of A, satisfying the equation (2) ε 2 tr(a)ε + det(a) = 0. Since A is hyperbolic, K = Q(ε) is a real quadratic field. Let O K be the integers in K, and let D K be the discriminant of K. Since A has determinant one, ε is a unit in O K. For n Z + we let ζ n = e 2πi/n be a primitive nth root of unity, and α n = ε /n be an nth root of ε. Further, with Z n = K(ζ n ), K n = K(ζ n, α n ), and L n = K(α n ), we let σ p denote the Frobenius element in Gal(K n /Q) associated with p. We let F p k denote the finite field with p k elements, and we let Fp F be the norm one elements in F 2 p 2 p 2, i.e., the kernel of the norm map from F to F p 2 p. Let A p be the group generated by A in SL 2 (F p ). Then A p is contained in a maimal torus (of order p or p + ), and we let i p be the inde of A p in this torus. Finally, let π() = {p : p is prime} be the number of primes up to Kummer etensions and Frobenius elements. We want to characterize primes p such that n i p, and we can relate this to primes splitting in certain Galois etensions as follows: Reduce equation (2) modulo p and let ε denote a solution to equation (2) in F p or F p 2. (Note that if p does not ramify in K then the order of A modulo p equals the order of ε modulo p.) If p splits in K then ε F p, and if p is inert, then ε F p 2 \ F p. In the latter case, ε Fp since the norm 2 one property is preserved when reducing modulo p. Now, F p and Fp are 2 cyclic groups of order p and p + respectively. Thus, if p splits in K then ord p (ε) p, whereas if p is inert in K then ord p (ε) p +. Lemma 4. Let p be unramified in K n, and let C n = {, γ} Gal(K n /Q), where γ is given by γ(ζ n ) = ζn and γ(α n ) = αn. Then the condition that n i p is equivalent to σ p C n. Moreover, C n is invariant under conjugation.
4 44 P. Kurlberg Proof. The split case: Since n i p and i p p we have ζ n F p, i.e. F p contains all nth roots of unity. Moreover, ε is an nth power of some element in F p, and thus the polynomial n ε splits completely in F p. In other words, p splits completely in K n and σ p is trivial. The inert case: Since n divides i p, ε is an nth power of some element in and hence α n F p 2. Moreover, n p 2 implies that ζ n F p 2. Now, F p 2 N F p 2 F p (α n ) = and N F p 2 F p (ζ n ) = ζn p+ = implies that σ p (ζ n ) ζ n mod p, σ p (α n ) α n mod p. For p that does not ramify in K n we thus have (3) σ p (ζ n ) = ζ n, σ p (α n ) = α n. Now, an element τ Gal(K n /Q) is of the form { ζn ζ t τ : n, t Z, α n αnζ u n, s s Z, u {, }. Composing γ and τ then gives { ζn ζn τ γ : α n αn ζ t n, α u n and { ζn ζn t ζn t, γ τ : α n αnζ u n s αn u which shows that γ is invariant under conjugation. ζn s, ζn s, 2.3. The Chebotarev Density Theorem. In [] Serre proved that the Generalized Riemann Hypothesis (GRH) implies the following version of the Chebotarev Density Theorem: Theorem 5. Let E/Q be a finite Galois etension of degree [E : Q] and discriminant D E. For p a prime let σ p G = Gal(E/Q) denote the Frobenius conjugacy class, and let C G be a union of conjugacy classes. If the nontrivial zeros of ζ E (s) lie on the line Re(s) = /2, then for 2, {p : σ p C} = C G π() + O ( ) C G /2 (log D E + [E : Q] log ). Now, primes that ramify in K n divide nd K (see Lemma 0), so as far as densities are concerned, ramified primes can be ignored. The bounds on the size of D Kn (see Lemma 0) and Lemma 4 then give the following: Corollary 6. If GRH is true then 2 (4) {p : n i p } = [K n : Q] π() + O(/2 (log(n))).
5 Order of unimodular matrices modulo integers 45 Remark. For Theorems 2 and 3 to be true, it is enough to assume that the Riemann hypothesis holds for all ζ Kn, n > Bounds on degrees. In order to apply the Chebotarev Density Theorem we need bounds on the degree [K n : Q]. We will first assume that ε is a fundamental unit. Lemma 7. If ε is a fundamental unit in K and if n = 4 or n = q for q an odd prime, then Gal(K n /K) is nonabelian. Proof. We start by showing that [K n : Z n ] = n. Consider first the case n = q. If α q Z q then β = N Z q K (α q) = α [Z q:k] q ζq t K R for some integer t. Since q is odd we may assume that α q R, and this forces ζq t =, which in turn implies that α [Z q:k] q K. Because ε is a fundamental unit this means that q [Z q : K]. On the other hand, [Z q : K] φ(q), a contradiction. Thus α q Z q, and hence K q /Z q is a Kummer etension of degree q. For n = 4 we note that i Z 4 = K(i). Thus α 2 = ε Z 4 implies that ε Z4. However, either ε or ε is real and generates a real degree two etension of K, whereas K(i) is a nonreal quadratic etension of K, and hence α 2 Z 4. Now, if α 4 Z 4 (α 2 ) then N Z 4(α 2 ) Z 4 (α 4 ) = α4 2it Z 4 for some t Z, and thus α4 2 = α 2 Z 4, which contradicts α 2 Z 4. Therefore, [Z 4 (α 4 ) : Z 4 ] = [Z 4 (α 4 ) : Z 4 (α 2 )][Z 4 (α 2 ) : Z 4 ] = 4. Finally, we note that the commutator of any nontrivial element σ Gal(K n /Z n ) with any nontrivial element σ 2 Gal(K n /L n ) is nontrivial (we may regard Gal(K n /Z n ) and Gal(K n /L n ) as subgroups of Gal(K n /K)). Hence Gal(K n /K) is nonabelian. Lemma 8. If ε is a fundamental unit then [K n : Z n ] n/2. Proof. Clearly Z n (α q k) K n, and since field etensions of relative prime degrees are disjoint, it is enough to show that if q k n is a prime power then q k [Z n (α q k) : Z n ] if q is odd, and q k [Z n (α q k) : Z n ] if q = 2. If q is odd then Lemma 7 implies that α q Z n since Gal(Z n /K) is abelian. Hence, if m Z and α m Z q k n, we must have q k m. Now, if σ Gal(Z n (α q k)/z n ) then σ(α q k) = α q kζ t σ for some integer t q k σ. Thus there eists an integer t such that β = N Z n(α q k ) Z n (α q k) = α [Z n(α q k ):Z n ] q k ζ t q Z n. Multiplying β by ζq t Z n we find that α [Z n(α q k ):Z n ] q k q k [Z n (α q k) : Z n ]. Z n, and hence
6 46 P. Kurlberg For q = 2 the proof is similar, ecept that a factor of two is lost if α 2 Z n. Remark. K 2 /Q is a Galois etension of degree four, hence abelian and therefore contained in some cyclotomic etension by the Kronecker Weber Theorem, and it is thus possible that α 2 Z n for some values of n. Lemma 9. We have nφ(n) K [K n : Q] 2nφ(n). Proof. We first observe that [Z n : K] equals φ(n) or φ(n)/2 depending on whether K Q(ζ n ) or not. We also have the trivial upper bound [K n : Z n ] n. For a lower bound of [K n : Z n ] we argue as follows: Let γ K be a fundamental unit. Since the norm of ε is one we may write ε = γ k for some k Z. (Note that k does not depend on n.) As [Z n (γ /n ) : Z n (ε /n )] k, Lemma 8 gives [Z n (ε /n ) : Z n ] n/k. The upper and lower bounds now follow from [K n : Q] = [K n : Z n ][Z n : K][K : Q] Bounds on discriminants Lemma 0. If p ramifies in K n then p nd K. Moreover, Proof. First note that log(disc(k n /Q)) K [K n : K] log n. disc(k n /Q) = N K Q (disc(k n /K)) disc(k/q) [K n:k]. From the multiplicativity of the different we get disc(k n /K) = disc(z n /K) [K n:z n] N Z n K (disc(k n/z n )). Since ε is a unit, so is ε /n. Thus, if we let f() = n ε then f () = n n, and therefore the principal ideal f (ε /n )O Kn equals no Kn. In terms of discriminants this means that and similarly it can be shown that Thus disc(k n /Q) divides disc(k n /Z n ) N K n Z n (no Kn ) disc(z n /K) N Z n K (no Z n ). NQ K (N K n K (no K n ) N Z n K (no Z n ) [K n:z n ] ) disc(k/q) [K n:k] = n 4[K n:k] disc(k/q) [Kn:K], which proves the two assertions.
7 Order of unimodular matrices modulo integers Proof of Theorem 2. In order to bound the number of primes p < for which i p > /2 we will need the following lemma: Lemma. The number of primes p such that ord p (A) y is O(y 2 ). Proof. Given A there eists a constant C A such that det(a n I) = O(CA n ). Now, if the order of A modulo p is n, then certainly p divides det(a n I) 0. Putting M = y n= det(an I) we see that any prime p for which A has order n y must divide M. Finally, the number of prime divisors of M is bounded by y log M n log C A y 2. n= First step: We consider primes p such that i p ( /2 log, ). By Lemma the number of such primes is (( ) 2 ) ( ) (5) O /2 = O log log 2. Second step: Consider p such that q i p for some prime q ( /2 log 3, /2 log ). We may bound this by considering primes p such that p ± mod q for q ( /2 log 3, /2 log ). Since q /2 log, Brun s sieve gives (up to an absolute constant) the bound /(φ(q) log ), and the total contribution from these primes is at most (6) q ( /2 log 3,/2 log ) φ(q) log(/q) log q ( /2 log 3,/2 log ) Now, summing reciprocals of primes in a dyadic interval, we get q π(2m) M log M. Hence q ( /2 log 3,/2 log ) q [M,2M] q. q ( /2 ) log log log log log 2 /2 /log 3 log and the right hand side of (6) is O ( log log log 2 Third step: Now consider p such that q i p for some prime q ( f() 2, ) /2. We are now in the range where GRH is applicable; by Corollary 6 log 3 and Lemma 9 we have {p : q i p } ). qφ(q) log + O(/2 log(q 2 )).
8 48 P. Kurlberg Summing over q ( f() 2 ), /2 log 3 we find that the number of such p is bounded by ( ) (7) q 2 log + O(/2 log(q 2 )). Now, and thus (7) is q (f() 2, /2 log 3 ) q (f() 2, /2 log 3 ) q 2 f() f() log + log 2. Fourth step: For the remaining primes p, any prime divisor q i p is smaller than f() 2. Hence i p must be divisible by some integer d (f(), f() 3 ). Again Lemmas 6 and 9 give {p : d i p } dφ(d) log + O(/2 log(d 2 )). Noting that φ(d) d ε and summing over d (f(), f() 3 ) we find that the number of such p is bounded by ( ) (8) d 2 ε log + O(/2 log(d 2 )). Now, and therefore (8) is d (f(),f() 3 ) d (f(),f() 3 ) d (f(),f() 3 ) d 2 ε f() ε /2 log(d 2 ) f() 3 /2 log( 2 ), f() ε log. 4. Proof of Theorems and 3. Given a composite integer N = p N pa p we wish to use the lower bounds on ord p (b) (or ord p (A)) to obtain a lower bound on ord N (b). The main obstacle is that ord N (b) can be much smaller than p N ord p a p (b). Let λ(n) be the Carmichael lambda function, i.e., the eponent of the multiplicative group (Z/NZ). Clearly ord N (b) λ(n), and it turns out that λ(n) can be much smaller than N. However,
9 Order of unimodular matrices modulo integers 49 λ(n) N ε for most N (see [4]), and since ord N (b) λ(n) ord p (b) N it suffices to show that most integers are essentially given by a product of primes p such that ord p (b) p/log p. We will only give the details for Theorem 3 since the other case is very similar. If p is prime such that ord p (A) p/log p, or p ramifies in K, we say that p is bad. We let P B denote the set of all bad primes, and we let P B (z) be the set of primes p P B such that p z. Since only finitely many primes ramify in K, Theorem 2 implies that the number of bad primes p is O(/log 2 ε ). A key observation is the following: Lemma 2. We have In particular, if we let p N p P B p <. β(z) = p P B (z) /p, then β(z) tends to zero as z tends to infinity. Proof. Immediate from partial summation and the O(/log 2 ε ) estimate in Theorem 2. Given N Z, write N = s 2 N G N B where N G N B is square-free and N B is the product of bad primes dividing N. By the following lemma, we find that few integers have a large square factor: Lemma 3. We have {N : s 2 N, s y} = O(/y). Proof. The number of N such that s 2 N for s y is bounded by s y /s2 /y. Net we show that there are few N for which N B is divisible by p P B (z). In other words, for most N, N B is a product of small bad primes. Lemma 4. The number of N such that p P B (z) divides N B is O(β(z)). Proof. Let p P B (z). The number of N such that p N is less than /p. Thus, the total number of N such that some p P B (z) divides N, is bounded by p P B (z) p = p P B (z) p = β(z).
10 50 P. Kurlberg Combining the previous results we find that the number of N = s 2 N G N B such that N B is z-smooth and s y is ( + O(β(z) + /y)). For such N we have N B p z p ez. Letting z = log log and y = log we get N G = N s 2 N N B log 3 for N with at most O((β(log log ) + (log ) )) = o() eceptions. Now, the following proposition shows that, for most N, ord N (A) is essentially given by p N ord p(a). Proposition ([7, Proposition ]). Let D A = 4(tr(A) 2 4). For almost all ( 5 ) N, p d ord N (A) 0 ord p (A) ep(3(log log ) 4 ) where d 0 is given by writing N = ds 2, with d = d 0 gcd(d, D A ) square-free. Finally, since ord p (A) p/log p p ε for p N G and p sufficiently large, we find that p N ord N (A) G ord p (A) ep(3(log log ) 4 ) N ε G ep(3(log log ) 4 ) N 2ε for all but o() integers N. References [] E. Artin, The Collected Papers of Emil Artin, Addison-Wesley, Reading, 965. [2] G. Cooke and P. J. Weinberger, On the construction of division chains in algebraic number rings, with applications to SL 2, Comm. Algebra 3 (975), [3] P. Erdős and M. R. Murty, On the order of a (mod p), in: Number Theory (Ottawa, ON, 996), Amer. Math. Soc., Providence, RI, 999, [4] P. Erdős, C. Pomerance and E. Schmutz, Carmichael s lambda function, Acta Arith. 58 (99), [5] M. Goldfeld, On the number of primes p for which p + a has a large prime factor, Mathematika 6 (969), [6] C. Hooley, On Artin s conjecture, J. Reine Angew. Math. 225 (967), [7] P. Kurlberg and Z. Rudnick, On quantum ergodicity for linear maps of the torus, Comm. Math. Phys. 222 (200), [8] H. W. Lenstra, Jr., On Artin s conjecture and Euclid s algorithm in global fields, Invent. Math. 42 (977), [9] F. Pappalardi, On the order of finitely generated subgroups of q (mod p) and divisors of p, J. Number Theory 57 (996), ( 5 ) By for almost all N we mean that there are o() eceptional integers N that are smaller than.
11 Order of unimodular matrices modulo integers 5 [0] H. Roskam, A quadratic analogue of Artin s conjecture on primitive roots, ibid. 8 (2000), [] J.-P. Serre, Quelques applications du théorème de densité de Chebotarev, Inst. Hautes Études Sci. Publ. Math. 54 (98), [2] P. J. Weinberger, On Euclidean rings of algebraic integers, in: Analytic Number Theory, Proc. Sympos. Pure Math. 24 (St. Louis, MO, 972), Amer. Math. Soc., Providence, RI, 973, Department of Mathematics Chalmers University of Technology SE Gothenburg, Sweden kurlberg@math.chalmers.se URL: kurlberg Received on (4262)
ON THE ORDER OF UNIMODULAR MATRICES MODULO INTEGERS PRELIMINARY VERSION
ON THE ORDER OF UNIMODULAR MATRICES MODULO INTEGERS PRELIMINARY VERSION. Introduction Given an integer b and a prime p such that p b, let ord p (b) be the multiplicative order of b modulo p. In other words,
More informationarxiv: v1 [math.nt] 9 Jan 2019
NON NEAR-PRIMITIVE ROOTS PIETER MOREE AND MIN SHA Dedicated to the memory of Prof. Christopher Hooley (928 208) arxiv:90.02650v [math.nt] 9 Jan 209 Abstract. Let p be a prime. If an integer g generates
More informationTHE GENERALIZED ARTIN CONJECTURE AND ARITHMETIC ORBIFOLDS
THE GENERALIZED ARTIN CONJECTURE AND ARITHMETIC ORBIFOLDS M. RAM MURTY AND KATHLEEN L. PETERSEN Abstract. Let K be a number field with positive unit rank, and let O K denote the ring of integers of K.
More informationAVERAGE RECIPROCALS OF THE ORDER OF a MODULO n
AVERAGE RECIPROCALS OF THE ORDER OF a MODULO n KIM, SUNGJIN Abstract Let a > be an integer Denote by l an the multiplicative order of a modulo integers n We prove that l = an Oa ep 2 + o log log, n,n,a=
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 informationMath 259: Introduction to Analytic Number Theory How small can disc(k) be for a number field K of degree n = r 1 + 2r 2?
Math 59: Introduction to Analytic Number Theory How small can disck be for a number field K of degree n = r + r? Let K be a number field of degree n = r + r, where as usual r and r are respectively the
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 informationPrimitive roots in algebraic number fields
Primitive roots in algebraic number fields Research Thesis Submitted in partial fulfillment of the requirements for the Degree of Doctor of Philosophy Joseph Cohen Submitted to the Senate of the Technion
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 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 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 informationOrder and chaos. Carl Pomerance, Dartmouth College Hanover, New Hampshire, USA
Order and chaos Carl Pomerance, Dartmouth College Hanover, New Hampshire, USA Perfect shuffles Suppose you take a deck of 52 cards, cut it in half, and perfectly shuffle it (with the bottom card staying
More informationON A PROBLEM OF ARNOLD: THE AVERAGE MULTIPLICATIVE ORDER OF A GIVEN INTEGER
ON A PROBLEM OF ARNOLD: THE AVERAGE MULTIPLICATIVE ORDER OF A GIVEN INTEGER Abstract. For g, n coprime integers, let l g n denote the multiplicative order of g modulo n. Motivated by a conjecture of Arnold,
More informationCarmichael numbers and the sieve
June 9, 2015 Dedicated to Carl Pomerance in honor of his 70th birthday Carmichael numbers Fermat s little theorem asserts that for any prime n one has a n a (mod n) (a Z) Carmichael numbers Fermat s little
More informationEXPLICIT CONSTANTS IN AVERAGES INVOLVING THE MULTIPLICATIVE ORDER
EXPLICIT CONSTANTS IN AVERAGES INVOLVING THE MULTIPLICATIVE ORDER KIM, SUNGJIN DEPARTMENT OF MATHEMATICS UNIVERSITY OF CALIFORNIA, LOS ANGELES MATH SCIENCE BUILDING 667A E-MAIL: 70707@GMAILCOM Abstract
More informationON 2-CLASS FIELD TOWERS OF SOME IMAGINARY QUADRATIC NUMBER FIELDS
ON 2-CLASS FIELD TOWERS OF SOME IMAGINARY QUADRATIC NUMBER FIELDS FRANZ LEMMERMEYER Abstract. We construct an infinite family of imaginary quadratic number fields with 2-class groups of type (2, 2, 2 whose
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 informationIrreducible radical extensions and Euler-function chains
Irreducible radical extensions and Euler-function chains Florian Luca Carl Pomerance June 14, 2006 For Ron Graham on his 70th birthday Abstract We discuss the smallest algebraic number field which contains
More information1. Artin s original conjecture
A possible generalization of Artin s conjecture for primitive root 1. Artin s original conjecture Ching-Li Chai February 13, 2004 (1.1) Conjecture (Artin, 1927) Let a be an integer, a 0, ±1, and a is not
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 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 informationOn a Generalization of Artin s Conjecture
Pure and Applied Mathematics Quarterly Volume 4, Number 4 (Special Issue: In honor of Jean-Pierre Serre, Part 1 of 2 ) 1279 1290, 2008 On a Generalization of Artin s Conjecture Cameron Franc and M. Ram
More informationON THE AVERAGE RESULTS BY P. J. STEPHENS, S. LI, AND C. POMERANCE
ON THE AVERAGE RESULTS BY P J STEPHENS, S LI, AND C POMERANCE IM, SUNGJIN Abstract Let a > Denote by l ap the multiplicative order of a modulo p We look for an estimate of sum of lap over primes p on average
More informationOrder and chaos. Carl Pomerance, Dartmouth College Hanover, New Hampshire, USA
Order and chaos Carl Pomerance, Dartmouth College Hanover, New Hampshire, USA Perfect shuffles Suppose you take a deck of 52 cards, cut it in half, and perfectly shuffle it (with the bottom card staying
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 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 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 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 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 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 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 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 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 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 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 informationTitchmarsh divisor problem for abelian varieties of type I, II, III, and IV
Titchmarsh divisor problem for abelian varieties of type I, II, III, and IV Cristian Virdol Department of Mathematics Yonsei University cristian.virdol@gmail.com September 8, 05 Abstract We study Titchmarsh
More informationEuler s ϕ function. Carl Pomerance Dartmouth College
Euler s ϕ function Carl Pomerance Dartmouth College Euler s ϕ function: ϕ(n) is the number of integers m [1, n] with m coprime to n. Or, it is the order of the unit group of the ring Z/nZ. Euler: If a
More informationDefinitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations
Page 1 Definitions Tuesday, May 8, 2018 12:23 AM Notations " " means "equals, by definition" the set of all real numbers the set of integers Denote a function from a set to a set by Denote the image of
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 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 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 informationCover Page. The handle holds various files of this Leiden University dissertation.
Cover Page The handle http://hdl.handle.net/1887/20310 holds various files of this Leiden University dissertation. Author: Jansen, Bas Title: Mersenne primes and class field theory Date: 2012-12-18 Chapter
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 informationGALOIS THEORY. Contents
GALOIS THEORY MARIUS VAN DER PUT & JAAP TOP Contents 1. Basic definitions 1 1.1. Exercises 2 2. Solving polynomial equations 2 2.1. Exercises 4 3. Galois extensions and examples 4 3.1. Exercises. 6 4.
More informationNONABELIAN GROUPS WITH PERFECT ORDER SUBSETS
NONABELIAN GROUPS WITH PERFECT ORDER SUBSETS CARRIE E. FINCH AND LENNY JONES Abstract. Let G be a finite group and let x G. Define the order subset of G determined by x to be the set of all elements in
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 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 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 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 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 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 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 informationTC10 / 3. Finite fields S. Xambó
TC10 / 3. Finite fields S. Xambó The ring Construction of finite fields The Frobenius automorphism Splitting field of a polynomial Structure of the multiplicative group of a finite field Structure of the
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 informationCONJECTURES ON CHARACTER DEGREES FOR THE SIMPLE THOMPSON GROUP
Uno, K. Osaka J. Math. 41 (2004), 11 36 CONJECTURES ON CHARACTER DEGREES FOR THE SIMPLE THOMPSON GROUP Dedicated to Professor Yukio Tsushima on his sixtieth birthday KATSUHIRO UNO 1. Introduction (Received
More informationTwists of elliptic curves of rank at least four
1 Twists of elliptic curves of rank at least four K. Rubin 1 Department of Mathematics, University of California at Irvine, Irvine, CA 92697, USA A. Silverberg 2 Department of Mathematics, University of
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 informationContinuing the pre/review of the simple (!?) case...
Continuing the pre/review of the simple (!?) case... Garrett 09-16-011 1 So far, we have sketched the connection between prime numbers, and zeros of the zeta function, given by Riemann s formula p m
More informationArithmetic properties of periodic points of quadratic maps, II
ACTA ARITHMETICA LXXXVII.2 (1998) Arithmetic properties of periodic points of quadratic maps, II by Patrick Morton (Wellesley, Mass.) 1. Introduction. In this paper we prove that the quadratic map x f(x)
More informationAlgebraic proofs of Dirichlet s theorem on arithmetic progressions
Charles University in Prague Faculty of Mathematics and Physics BACHELOR THESIS Martin Čech Algebraic proofs of Dirichlet s theorem on arithmetic progressions Department of Algebra Supervisor of the bachelor
More informationCLASS FIELD THEORY NOTES
CLASS FIELD THEORY NOTES YIWANG CHEN Abstract. This is the note for Class field theory taught by Professor Jeff Lagarias. Contents 1. Day 1 1 1.1. Class Field Theory 1 1.2. ABC conjecture 1 1.3. History
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 informationVARIETIES WITHOUT EXTRA AUTOMORPHISMS II: HYPERELLIPTIC CURVES
VARIETIES WITHOUT EXTRA AUTOMORPHISMS II: HYPERELLIPTIC CURVES BJORN POONEN Abstract. For any field k and integer g 2, we construct a hyperelliptic curve X over k of genus g such that #(Aut X) = 2. We
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 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 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 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 information1, for s = σ + it where σ, t R and σ > 1
DIRICHLET L-FUNCTIONS AND DEDEKIND ζ-functions FRIMPONG A. BAIDOO Abstract. We begin by introducing Dirichlet L-functions which we use to prove Dirichlet s theorem on arithmetic progressions. From there,
More informationSOME REMARKS ON ARTIN'S CONJECTURE
Canad. Math. Bull. Vol. 30 (1), 1987 SOME REMARKS ON ARTIN'S CONJECTURE BY M. RAM MURTY AND S. SR1NIVASAN ABSTRACT. It is a classical conjecture of E. Artin that any integer a > 1 which is not a perfect
More informationbut no smaller power is equal to one. polynomial is defined to be
13. Radical and Cyclic Extensions The main purpose of this section is to look at the Galois groups of x n a. The first case to consider is a = 1. Definition 13.1. Let K be a field. An element ω K is said
More informationMath 429/581 (Advanced) Group Theory. Summary of Definitions, Examples, and Theorems by Stefan Gille
Math 429/581 (Advanced) Group Theory Summary of Definitions, Examples, and Theorems by Stefan Gille 1 2 0. Group Operations 0.1. Definition. Let G be a group and X a set. A (left) operation of G on X is
More informationRANK AND PERIOD OF PRIMES IN THE FIBONACCI SEQUENCE. A TRICHOTOMY
RANK AND PERIOD OF PRIMES IN THE FIBONACCI SEQUENCE. A TRICHOTOMY Christian Ballot Université de Caen, Caen 14032, France e-mail: ballot@math.unicaen.edu Michele Elia Politecnico di Torino, Torino 10129,
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 informationThe multiplicative order mod n, on average
The multiplicative order mod n, on average Carl Pomerance, Dartmouth College Hanover, New Hampshire, USA (Joint work with: Michel Balazard, Pär Kurlberg) Perfect shuffles Suppose you take a deck of 52
More informationarxiv:math/ v1 [math.nt] 21 Sep 2004
arxiv:math/0409377v1 [math.nt] 21 Sep 2004 ON THE GCD OF AN INFINITE NUMBER OF INTEGERS T. N. VENKATARAMANA Introduction In this paper, we consider the greatest common divisor (to be abbreviated gcd in
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 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 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 informationCOUNTING MOD l SOLUTIONS VIA MODULAR FORMS
COUNTING MOD l SOLUTIONS VIA MODULAR FORMS EDRAY GOINS AND L. J. P. KILFORD Abstract. [Something here] Contents 1. Introduction 1. Galois Representations as Generating Functions 1.1. Permutation Representation
More informationMATH 101A: ALGEBRA I, PART D: GALOIS THEORY 11
MATH 101A: ALGEBRA I, PART D: GALOIS THEORY 11 3. Examples I did some examples and explained the theory at the same time. 3.1. roots of unity. Let L = Q(ζ) where ζ = e 2πi/5 is a primitive 5th root of
More informationDirichlet Characters. Chapter 4
Chapter 4 Dirichlet Characters In this chapter we develop a systematic theory for computing with Dirichlet characters, which are extremely important to computations with modular forms for (at least) two
More informationThe Splitting of Primes in Division Fields of Elliptic Curves
The Splitting of Primes in Division Fields of Elliptic Curves W.Duke and Á. Tóth Introduction Dedicated to the memory of Petr Cižek Given a Galois extension L/K of number fields with Galois group G, a
More informationQUADRATIC RECURRENCES WITH A POSITIVE DENSITY OF PRIME DIVISORS
QUADRATIC RECURRENCES WITH A POSITIVE DENSITY OF PRIME DIVISORS RICHARD GOTTESMAN AND KWOKFUNG TANG Abstract. For f(x) Z[x] and a Z, we let f n (x) be the nth iterate of f(x), P (f, a) = {p prime : p f
More informationON THE EQUATION τ(λ(n)) = ω(n) + k
ON THE EQUATION τ(λ(n)) = ω(n) + k A. GLIBICHUK, F. LUCA AND F. PAPPALARDI Abstract. We investigate some properties of the positive integers n that satisfy the equation τ(λ(n)) = ω(n)+k providing a complete
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 informationFiniteness of the Moderate Rational Points of Once-punctured Elliptic Curves. Yuichiro Hoshi
Hokkaido Mathematical Journal ol. 45 (2016) p. 271 291 Finiteness of the Moderate Rational Points of Once-punctured Elliptic Curves uichiro Hoshi (Received February 28, 2014; Revised June 12, 2014) Abstract.
More informationOn the generation of the coefficient field of a newform by a single Hecke eigenvalue
On the generation of the coefficient field of a newform by a single Hecke eigenvalue Koopa Tak-Lun Koo and William Stein and Gabor Wiese November 2, 27 Abstract Let f be a non-cm newform of weight k 2
More informationNUMBER FIELDS WITHOUT SMALL GENERATORS
NUMBER FIELDS WITHOUT SMALL GENERATORS JEFFREY D. VAALER AND MARTIN WIDMER Abstract. Let D > be an integer, and let b = b(d) > be its smallest divisor. We show that there are infinitely many number fields
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 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 informationARITHMETIC OF THE 13-REGULAR PARTITION FUNCTION MODULO 3
ARITHMETIC OF THE 13-REGULAR PARTITION FUNCTION MODULO 3 JOHN J WEBB Abstract. Let b 13 n) denote the number of 13-regular partitions of n. We study in this paper the behavior of b 13 n) modulo 3 where
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 informationGarrett Z p. Few explicit parametrizations of algebraic closures of fields are known: not Q, for sure. But we do also know
Garrett 0-2-20 Examples (cont d): Function fields in one variable... as algebraic parallels to Z and Q. Theorem: All finite field extensions of C((X z)) are by adjoining solutions to Y e = X z for e =
More informationHONDA-TATE THEOREM FOR ELLIPTIC CURVES
HONDA-TATE THEOREM FOR ELLIPTIC CURVES MIHRAN PAPIKIAN 1. Introduction These are the notes from a reading seminar for graduate students that I organised at Penn State during the 2011-12 academic year.
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 informationAdmissible primes and Euclidean quadratic fields
J. Ramanujan Math. Soc. 33, No.2 (2018) 135 147 Admissible primes Euclidean quadratic fields M. Ram Murty 1, Kotyada Srinivas 2 Muthukrishnan Subramani 3 1 Department of Mthematics Statistics, Jeffery
More informationTOPICS IN NUMBER THEORY - EXERCISE SHEET I. École Polytechnique Fédérale de Lausanne
TOPICS IN NUMBER THEORY - EXERCISE SHEET I École Polytechnique Fédérale de Lausanne Exercise Non-vanishing of Dirichlet L-functions on the line Rs) = ) Let q and let χ be a Dirichlet character modulo q.
More informationx mv = 1, v v M K IxI v = 1,
18.785 Number Theory I Fall 2017 Problem Set #7 Description These problems are related to the material covered in Lectures 13 15. Your solutions are to be written up in latex (you can use the latex source
More informationOn the number of elements with maximal order in the multiplicative group modulo n
ACTA ARITHMETICA LXXXVI.2 998 On the number of elements with maximal order in the multiplicative group modulo n by Shuguang Li Athens, Ga.. Introduction. A primitive root modulo the prime p is any integer
More informationClass Field Theory. Anna Haensch. Spring 2012
Class Field Theory Anna Haensch Spring 202 These are my own notes put together from a reading of Class Field Theory by N. Childress [], along with other references, [2], [4], and [6]. Goals and Origins
More information