Using Elliptic Curves

Size: px
Start display at page:

Download "Using Elliptic Curves"

Transcription

1 Using Elliptic Curves Keith Conrad May 17, 2014

2

3 Proving Compositeness In practice it is easy to prove a positive integer N is composite without knowing any nontrivial factor. The most common way is by a counterexample to Fermat s Little Congruence: a N 1 1 mod N for some 1 < a < N = N is composite. There is an a for any composite N, but might take a while to find one, e.g., if N = there is no such a < Suppose an N is proved composite (by Fermat, Solovay Strassen, Miller Rabin, etc.). How can we find a nontrivial factor of N? Example. Set N = F 5 = = , the fifth Fermat number. Since 3 N mod N, it s composite. Euler famously discovered the prime factorization N = We will get this by Lenstra s elliptic curve factorization algorithm.

4 Euler s Method (1732) Let p be an unknown prime factor of N = Then mod N mod p, so 2 mod p has order 64, and thus 64 divides (Z/pZ) = p 1, so p 1 mod 64. In fact p 1 mod 128: since p 1 mod 8, by quadratic reciprocity 2 mod p is a square, say 2 r 2 mod p. Then r 64 1 mod p, so r mod p has order 128 and thus 128 (p 1), so p 1 mod 128. The first few integers > 1 that are 1 mod 128 are 129, 257, 385, 513, 641, 769, 897. Easily 129, 385, 513, and 897 are composite (why?). We see p 257 since 2 8 = mod mod 257. The second prime to try is 641, and it divides N.

5 Pollard s p 1 method (1974) To find a prime factor p of a number N that we know (or believe) is composite, seek a and k such that a k 1 mod N and (p 1) k. Then gcd(a k 1, N) is divisible by p and is probably not N. Pick bound B and let M be divisible by all prime powers up to B, e.g., lcm(2,..., B) or B!. If N has a prime factor p such that all prime-power factors of p 1 are less than B, then (p 1) M, so (a, N) = 1 a M 1 mod p, and thus p (a M 1). Thus computing (a M 1, N) should reveal a nontrivial factor of N. Example. For N = try B = 10, so M = = Letting a = 2, 3, 4, 5,... and computing (a M 1, N), it is 1 until a = 13, when ( , N) = 641: success! This worked since = 640 = has all prime factors less than B and 13 mod 641 has order 20, which is a factor of M. If a s aren t making (a M 1, N) > 1 after a reasonable number of steps then increase B, recompute M, and start again.

6 Lenstra s Elliptic Curve Method (1987) In the p 1 method (Z/NZ) is a proxy for (Z/pZ) where p N, and seek 1 < (a M 1, N) < N for fixed M and random a. Success depends on p 1, for some p N, having small prime factors. If no p N is like that, the p 1 method won t be practical. Lenstra s idea: for each p there s only one group (Z/pZ) but many elliptic curves mod p, all with roughly p points: Hasse s theorem says p p < E(Z/pZ) < p p. Even if p 1 doesn t have all small prime factors, a number t near p 1 might. An E mod p with E(Z/pZ) = t could be used in place of (Z/pZ), with a k replaced by [k](p). Instead of E(Z/pZ) we use an elliptic curve mod N : solutions to y 2 x 3 + ax + b mod N.

7 Lenstra s Elliptic Curve Method (1987) Treating N as if it were prime, we ll add points on E : y 2 = x 3 + ax + b mod N as if it were smooth: (N, 6) = 1 and (N, 4a b 2 ) = 1. For (x 1, y 1 ) and (x 2, y 2 ) on E(Z/NZ), set ( (y2 ) y 2 ( ) ) 1 y2 y 1 (x 3, y 3 ) := x 1 x 2, (x 1 x 3 ) y 1 x 2 x 1 x 2 x 1 if x 1 x 2 mod N and ( (3x ) 2 2 ( ) ) (x 3, y 3 ) := 1 + a 3x 2 2x 1, 1 + a (x 1 x 3 ) y 1 2y 1 2y 1 if x 1 x 2 mod N and y 1 y 2 0 mod N. If we can t invert x 2 x 1 mod N or 2y 1 mod N, then (x 2 x 1, N) or (2y 1, N) is greater than 1, which will be a factor of N that is likely to be nontrivial: if the math breaks down, we probably win!

8 Lenstra s Elliptic Curve Method (1987) How to find a point on a random elliptic curve mod N? Do not pick the equation first: choose pick P = (x 0, y 0 ), then a mod N, and set b : y 2 0 (x ax 0) mod N, so (x 0, y 0 ) satisfies y 2 x 3 + ax + b mod N. Example: Set P = (0, 1). For any a, set b = 1 2 (0 3 + a 0) = 1, so P lies on y 2 x 3 + ax + 1 mod N. Example: If P = (1, 1), for any a set b = 1 2 (1 3 + a 1) = a, so P lies on y 2 x 3 + ax a mod N. We will use the first example to factor N = by an elliptic analogue of the p 1 method.

9 Factoring with Elliptic Curves: Attempt #1 Set N = For a = 1, 2,..., make multiples of P = (0, 1) on E a : y 2 x 3 + ax + 1 mod N. The number k! is divisible by all prime powers up to k. Compute [k!](p) mod N for k = 1, 2,... and check if math breaks down. If it does, we get a factor of N greater than 1 (likely not N itself). Try E 1 : y 2 x 3 + x + 1 mod N and P = (0, 1). k! [k!](p) mod N 2 ( , ) 6 ( , ) 24 ( , ) 120 ( , ) We can compute [k!](p) by repeated doubling when possible: [24](P) = [4]([6](P)), [120](P) = [4]([24](P)) + [24](P). This is taking too long ; let s check another elliptic curve mod N.

10 Factoring with Elliptic Curves: Attempt #2 Try E 2 : y 2 x 3 + 2x + 1 mod N and again P = (0, 1). k! [k!](p) mod N 2 (1, ) 6 ( , ) 24 ( , ) To find [120](P) = [4]([24](P)) + [24](P) = [96](P) + [24](P), we first double [24](P) twice to get [4]([24](P)) = [96](P) ( , ) mod N. Adding [96](P) and [24](P) requires inverting the difference of x-coordinates: x 2 x 1 = mod N. But (x 2 x 1, N) = 641: we ve found a nontrivial factor of N.

11 What is going on? For N = , adding on E(Z/NZ) is adding on E(Z/641Z) and E(Z/ Z) at the same time. For P = (0, 1) on E 2 : y 2 = x 3 + 2x + 1, we have E 2 (Z/641Z) = 660 = , E 2 (Z/ Z) = with P mod 641 of order 30 and P mod of order How preparing for [120](P) = [24](P) + [96](P) looks mod primes: n [n](p) mod 641 [n](p) mod (272, 579) ( , ) 96 (272, 62) ( , ) Adding [24](P) = (x 1, y 1 ) and [96](P) = (x 2, y 2 ) needs inverse of x 2 x 1, but x 2 x 1 0 mod 641 and x 2 x 1 0 mod That is why we found (x 2 x 1, N) = 641. Why was E 1 : y 2 = x 3 + x + 1 not as useful? The order of P on E 1 (Z/641Z) is We d need [101!](P) to factor N.

12 A Problem in Art

13 Escher s Print Gallery In 2000, Lenstra saw this 1956 Escher work in an airline magazine. The picture suggests a spiral symmetry around the center and Lenstra wondered: how to correctly fill in the hole?

14 Escher s Print Gallery Lenstra saw that the empty central hole should be filled in by a self-replicating process that is a twisted analogue of a classical self-replicating process in ordinary geometry.

15 Escher s Print Gallery This repeating pattern is called the Droste effect, because the popular Dutch chocolate company Droste (left) uses it in their packaging. They claim it goes back to 1900, inspired by the middle painting, but the image from the Einem chocolate company on the right from 1897 looks like a more plausible source.

16 Multiplicative Model for Elliptic Curves To continue Escher s twisting pattern into the central region, Lenstra realized he should use a multiplicatively periodic function. Traditionally, E(C) = C/L with L = Z + Zτ, τ R. The complex exponential map exp: C C induces an isomorphism C/(Z + Zτ) C /q Z, q = e 2πiτ. The group C /q Z is Tate s model for complex elliptic curves.

17 Filling in the hole in Print Gallery With help from Bart de Smit and others, Lenstra filled the hole:

18 Filling in the hole in Print Gallery With help from Bart de Smit and others, Lenstra filled the hole:

19 A Field Embedding Question

20 Field Embedding For sets, X Y and Y X implies card(x ) = card(y ). For vector spaces, V W and W V imples V = W. What about for fields: if K L and L K, is K = L? Consider isogenous elliptic curves over Q: ϕ: E E, ϕ: E E. These lead to embeddings of function fields Q(E ) Q(E) and Q(E) Q(E ). Check Q(E) = Q(E ) with j-invariants. Example. E : y 2 = x 3 + x 2 + x and E : Y 2 = X 3 2X 2 3X. There are isogenies ( y 2 (x, y) x 2, y(1 x 2 ) ( ) Y 2 x 2, (X, Y ) 4X 2, Y (3 + X 2 ) ) 8X 2, and j(e) = 2048/3, j(e ) = 35152/9. Thus the fields Q(x, x 3 + x 2 + x), Q(X, X 3 2X 2 3X ) embed into each other but are not isomorphic (unequal j-values).

21 The Class Number Problem

22 Class Numbers In a number field K, with integers O K, an ideal class is a set of nonzero ideals in O K that are equal up to scaling: I = γj for a γ K. There are finitely many ideal classes, their number being the class number h(k), which is 1 if and only if O K is a UFD. Example. Every nonzero ideal in Z[ 5] is a scalar multiple of (1) or (2, 1 + 5): h(q( 5)) = 2. Class numbers of quadratic fields, going back to Gauss: d h(q( d)) h(q( d)) Application 1. If p doesn t divide h(q(ζ p )) then Kummer settled Fermat s Last Theorem for x p + y p = z p ; h(q(ζ p )) = 1 p 19. Application 2. Action of SL 2 (O K ) on P 1 (K) by linear-fractional transformations (( c a d b )[x, y] = [ax + by, cx + dy]) has h(k) orbits.

23 Class Number Formula Let K be an imaginary quadratic field. The ζ-function of K factors into the Riemann zeta-function times a Dirichlet L-function: ζ K (s) := J (0) 1 O K /J s = ζ(s)l(s, χ) = n 1 1 n s n 1 χ(n) n s for a quadratic Dirichlet character χ that s odd (χ( 1) = 1), and Dirichlet s analytic class number formula for K says L(1, χ) = n 1 χ(n) n = 2πh(K) µ(k) disc(k), where µ(k) is roots of unity in K and disc(k) is the discriminant. This links class numbers of imaginary quadratic fields to the value of an L-function at s = 1. Example. For K = Q(i), L(s, χ) = 1 1/3 s + 1/5 s 1/7 s +. Then L(1, χ) = π/4 by calculus, and (2πh)/(4 4) = (π/4)h, so h = 1: an analytic proof that Z[i] is a UFD.

24 Class Number Problem Gauss s tables suggest finitely many imaginary quadratic fields have any particular class number. Setting h d = h(q( d)) for squarefree d > 0, the conjecture is that h d as d. 1918: Hecke showed if L(s, χ) satisfies the Generalized Riemann Hypothesis (GRH) for all odd quadratic χ then h d > c d/ log d for some positive constant c. 1934: Heilbronn showed if L(s, χ) violates GRH for some odd quadratic χ, then h d as d. Combining these, h d as d, but not effectively. Note: Heilbronn s idea (now called the Deuring Heilbronn phenomenon) was to use a violation of GRH for one L(s, χ) to get a lower bound on L(1, χ) for other χ. 1934: Heilbronn and Linfoot showed there are at most 10 imaginary quadratic fields with class number 1. Nine were known. Nobody expected there to be a tenth. (Note: Their paper is curious today for referring to fields as corpora.)

25 Class Number Problem More progress: 1935: Siegel showed that for all ε > 0 there s c ε > 0 such that h d > c ε d 1/2 ε for all d, but c ε can t be explicitly determined. 1952/ : Heegner and then Baker and Stark settled the class number 1 problem: 9 fields. 1971: Baker & Stark settle class number 2 problem: 18 fields. 1976: Goldfeld showed h d c ε (log d) 1 ε with computable c ε, provided there is an elliptic curve E /Q whose L-function L(E, s) = good p 1 1 a p /p s + p/p 2s bad p 1 1 a p /p s = n 1 vanishes to order at least 3 at s = 1 (makes exponent on log d at least 1 ε). Proof uses a Heilbronn-like idea: high-order zero of L(E, s) at s = 1 leads to a lower bound on L(1, χ) for odd quadratic χ. a n n s

26 Class Number Problem Therefore one elliptic curve E /Q whose L-function vanishes to order at least 3 at s = 1 would, in principle, computably settle the class number problem for imaginary quadratic fields. How to find it? Birch and Swinnerton-Dyer Conjecture. For any E /Q, ord s=1 L(E, s) = rank(e(q)). So any E /Q with E(Q) = Z 3 (torsion) is a candidate for L(E, s) having a third-order zero at s = 1: want L(E, 1) = 0, L (E, 1) = 0, L (E, 1) = 0, L (E, 1) 0. Example: E : y 2 = x 3 112x has E(Q) = Z 3, generated by ( 8, 28), ( 4, 28), (0, 20). A computer could prove L (E, 1) 0 numerically, but it s less clear how to prove lower derivatives are 0: being is not a proof. There is a functional equation L(E, 2 s) = ±(fudge)l(e, s), so if ± = 1 then L(E, 1) = 0 and L (E, 1) = 0. The Gross Zagier formula can prove L (E, 1) = 0 in specific examples.

27 Class Number One We expect infinitely many real quadratic fields have class number 1, but it is not yet proved there there are even infinitely many number fields with class number 1. Here s a concrete proposal: Conjecture (Weber). For all n, Q(cos(2π/2 n )) has h = 1. Evidence. Fukuda and Komatsu (2009) showed none of these class numbers have a prime factor less than 10 7, and later increased this bound to 10 8 (2010) and then to 10 9 (2011). It s true for n 8 (case n = 8 posted on arxiv on 5/5/2014). These fields fill the Z 2 -extension of Q. Morisawa (2009) showed no number field in the Z 3 -extension of Q has class number divisible by a prime less than Coates (2010) asked if every number field in the Z p -extension of Q has class number 1 for every prime p. A future task for Iwasawa theory of elliptic curves?

28 References K. Conrad, Applying Quotient Groups to an Unsolved Problem in Art, grouptheory/cstarqz.pdf. T. Fukuda and K. Komatsu, Weber s Class Number Problem, fukuda-komatsu.pdf. D. Goldfeld, The Class Numbers of Quadratic Fields and the Conjecture of Birch and Swinnerton-Dyer, Annali della Scuola Normale Superiore de Pisa, Classe die Scienze 3 (1976), H. Lenstra, Factoring Integers with Elliptic Curves, Annals of Mathematics 126 (1987), W. Trappe, L. C. Washington, Introduction to Cryptography and Coding Theory, Prentice-Hall, See Chapter 15. Escher and the Droste Effect (explanation and animations):

The Arithmetic of Elliptic Curves

The Arithmetic of Elliptic Curves The Arithmetic of Elliptic Curves Sungkon Chang The Anne and Sigmund Hudson Mathematics and Computing Luncheon Colloquium Series OUTLINE Elliptic Curves as Diophantine Equations Group Laws and Mordell-Weil

More information

Why is the Riemann Hypothesis Important?

Why is the Riemann Hypothesis Important? Why is the Riemann Hypothesis Important? Keith Conrad University of Connecticut August 11, 2016 1859: Riemann s Address to the Berlin Academy of Sciences The Zeta-function For s C with Re(s) > 1, set ζ(s)

More information

IDEAL CLASSES AND THE KRONECKER BOUND

IDEAL 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 information

Introduction to Elliptic Curves

Introduction to Elliptic Curves IAS/Park City Mathematics Series Volume XX, XXXX Introduction to Elliptic Curves Alice Silverberg Introduction Why study elliptic curves? Solving equations is a classical problem with a long history. Starting

More information

Rank-one Twists of a Certain Elliptic Curve

Rank-one Twists of a Certain Elliptic Curve Rank-one Twists of a Certain Elliptic Curve V. Vatsal University of Toronto 100 St. George Street Toronto M5S 1A1, Canada vatsal@math.toronto.edu June 18, 1999 Abstract The purpose of this note is to give

More information

The complexity of Diophantine equations

The complexity of Diophantine equations The complexity of Diophantine equations Colloquium McMaster University Hamilton, Ontario April 2005 The basic question A Diophantine equation is a polynomial equation f(x 1,..., x n ) = 0 with integer

More information

Material covered: Class numbers of quadratic fields, Valuations, Completions of fields.

Material covered: Class numbers of quadratic fields, Valuations, Completions of fields. ALGEBRAIC NUMBER THEORY LECTURE 6 NOTES Material covered: Class numbers of quadratic fields, Valuations, Completions of fields. 1. Ideal class groups of quadratic fields These are the ideal class groups

More information

BSD and the Gross-Zagier Formula

BSD and the Gross-Zagier Formula BSD and the Gross-Zagier Formula Dylan Yott July 23, 2014 1 Birch and Swinnerton-Dyer Conjecture Consider E : y 2 x 3 +ax+b/q, an elliptic curve over Q. By the Mordell-Weil theorem, the group E(Q) is finitely

More information

Class groups and Galois representations

Class 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 information

THE SOLOVAY STRASSEN TEST

THE SOLOVAY STRASSEN TEST THE SOLOVAY STRASSEN TEST KEITH CONRAD 1. Introduction The Jacobi symbol satisfies many formulas that the Legendre symbol does, such as these: for a, b Z and odd m, n Z +, (1) a b mod n ( a n ) = ( b n

More information

Abstracts of papers. Amod Agashe

Abstracts of papers. Amod Agashe Abstracts of papers Amod Agashe In this document, I have assembled the abstracts of my work so far. All of the papers mentioned below are available at http://www.math.fsu.edu/~agashe/math.html 1) On invisible

More information

Math 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 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 information

On the low-lying zeros of elliptic curve L-functions

On the low-lying zeros of elliptic curve L-functions On the low-lying zeros of elliptic curve L-functions Joint Work with Stephan Baier Liangyi Zhao Nanyang Technological University Singapore The zeros of the Riemann zeta function The number of zeros ρ of

More information

IRREDUCIBILITY TESTS IN F p [T ]

IRREDUCIBILITY TESTS IN F p [T ] IRREDUCIBILITY TESTS IN F p [T ] KEITH CONRAD 1. Introduction Let F p = Z/(p) be a field of prime order. We will discuss a few methods of checking if a polynomial f(t ) F p [T ] is irreducible that are

More information

The 3-Part of Class Numbers of Quadratic Fields. Lillian Beatrix Pierce Master of Science Oxford University

The 3-Part of Class Numbers of Quadratic Fields. Lillian Beatrix Pierce Master of Science Oxford University The 3-Part of Class Numbers of Quadratic Fields Lillian Beatrix Pierce Master of Science Oxford University Trinity 2004 Acknowledgements I am most grateful to D. R. Heath-Brown for the suggestion of this

More information

Congruent number problem

Congruent number problem Congruent number problem A thousand year old problem Maosheng Xiong Department of Mathematics, Hong Kong University of Science and Technology M. Xiong (HKUST) Congruent number problem 1 / 41 Congruent

More information

Elliptic curves and modularity

Elliptic curves and modularity Elliptic curves and modularity For background and (most) proofs, we refer to [1]. 1 Weierstrass models Let K be any field. For any a 1, a 2, a 3, a 4, a 6 K consider the plane projective curve C given

More information

Laval University, Québec September 2010

Laval University, Québec September 2010 Conférence Québec-Maine Laval University, Québec September 2010 The Birch and Swinnerton-Dyer conjecture for Q-curves and Oda s period relations... Joint work in progress with Victor Rotger (Barcelona),

More information

Modern Number Theory: Rank of Elliptic Curves

Modern Number Theory: Rank of Elliptic Curves Modern Number Theory: Rank of Elliptic Curves Department of Mathematics University of California, Irvine October 24, 2007 Rank of Outline 1 Introduction Basics Algebraic Structure 2 The Problem Relation

More information

Part II. Number Theory. Year

Part 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 information

6.5 Elliptic Curves Over the Rational Numbers

6.5 Elliptic Curves Over the Rational Numbers 6.5 Elliptic Curves Over the Rational Numbers 117 FIGURE 6.5. Louis J. Mordell 6.5 Elliptic Curves Over the Rational Numbers Let E be an elliptic curve defined over Q. The following is a deep theorem about

More information

GALOIS GROUPS OF CUBICS AND QUARTICS (NOT IN CHARACTERISTIC 2)

GALOIS GROUPS OF CUBICS AND QUARTICS (NOT IN CHARACTERISTIC 2) GALOIS GROUPS OF CUBICS AND QUARTICS (NOT IN CHARACTERISTIC 2) KEITH CONRAD We will describe a procedure for figuring out the Galois groups of separable irreducible polynomials in degrees 3 and 4 over

More information

The Birch & Swinnerton-Dyer conjecture. Karl Rubin MSRI, January

The Birch & Swinnerton-Dyer conjecture. Karl Rubin MSRI, January The Birch & Swinnerton-Dyer conjecture Karl Rubin MSRI, January 18 2006 Outline Statement of the conjectures Definitions Results Methods Birch & Swinnerton-Dyer conjecture Suppose that A is an abelian

More information

CLASS FIELD THEORY NOTES

CLASS 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 information

Verification of the Birch and Swinnerton-Dyer Conjecture for Specific Elliptic Curves

Verification of the Birch and Swinnerton-Dyer Conjecture for Specific Elliptic Curves Verification of the Birch and Swinnerton-Dyer Conjecture for Specific Elliptic Curves William Stein University of California, San Diego http://modular.fas.harvard.edu/ Bremen: July 2005 1 This talk reports

More information

Solving Cubic Equations: An Introduction to the Birch and Swinnerton-Dyer Conjecture

Solving Cubic Equations: An Introduction to the Birch and Swinnerton-Dyer Conjecture Solving Cubic Equations: An Introduction to the Birch and Swinnerton-Dyer Conjecture William Stein (http://modular.ucsd.edu/talks) December 1, 2005, UCLA Colloquium 1 The Pythagorean Theorem c a 2 + b

More information

Math Topics in Algebra Course Notes: A Proof of Fermat s Last Theorem. Spring 2013

Math 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 information

w d : Y 0 (N) Y 0 (N)

w d : Y 0 (N) Y 0 (N) Upper half-plane formulas We want to explain the derivation of formulas for two types of objects on the upper half plane: the Atkin- Lehner involutions and Heegner points Both of these are treated somewhat

More information

FERMAT S LAST THEOREM FOR REGULAR PRIMES KEITH CONRAD

FERMAT 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 information

Projects on elliptic curves and modular forms

Projects on elliptic curves and modular forms Projects on elliptic curves and modular forms Math 480, Spring 2010 In the following are 11 projects for this course. Some of the projects are rather ambitious and may very well be the topic of a master

More information

Infinite rank of elliptic curves over Q ab and quadratic twists with positive rank

Infinite rank of elliptic curves over Q ab and quadratic twists with positive rank Infinite rank of elliptic curves over Q ab and quadratic twists with positive rank Bo-Hae Im Chung-Ang University The 3rd East Asian Number Theory Conference National Taiwan University, Taipei January

More information

The Gauss Class-Number Problems

The Gauss Class-Number Problems Clay Mathematics Proceedings Volume 7, 007 The Gauss Class-Number Problems H. M. Stark 1. Gauss In Articles 303 and 304 of his 1801 Disquisitiones Arithmeticae [Gau86], Gauss put forward several conjectures

More information

Some remarks on signs in functional equations. Benedict H. Gross. Let k be a number field, and let M be a pure motive of weight n over k.

Some remarks on signs in functional equations. Benedict H. Gross. Let k be a number field, and let M be a pure motive of weight n over k. Some remarks on signs in functional equations Benedict H. Gross To Robert Rankin Let k be a number field, and let M be a pure motive of weight n over k. Assume that there is a non-degenerate pairing M

More information

Are ζ-functions able to solve Diophantine equations?

Are ζ-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 information

Polygonal Numbers, Primes and Ternary Quadratic Forms

Polygonal Numbers, Primes and Ternary Quadratic Forms Polygonal Numbers, Primes and Ternary Quadratic Forms Zhi-Wei Sun Nanjing University Nanjing 210093, P. R. China zwsun@nju.edu.cn http://math.nju.edu.cn/ zwsun August 26, 2009 Modern number theory has

More information

Elliptic Curves Spring 2013 Lecture #12 03/19/2013

Elliptic Curves Spring 2013 Lecture #12 03/19/2013 18.783 Elliptic Curves Spring 2013 Lecture #12 03/19/2013 We now consider our first practical application of elliptic curves: factoring integers. Before presenting the elliptic curve method (ECM) for factoring

More information

Curves, Cryptography, and Primes of the Form x 2 + y 2 D

Curves, Cryptography, and Primes of the Form x 2 + y 2 D Curves, Cryptography, and Primes of the Form x + y D Juliana V. Belding Abstract An ongoing challenge in cryptography is to find groups in which the discrete log problem hard, or computationally infeasible.

More information

Introduction to Arithmetic Geometry

Introduction to Arithmetic Geometry Introduction to Arithmetic Geometry 18.782 Andrew V. Sutherland September 5, 2013 What is arithmetic geometry? Arithmetic geometry applies the techniques of algebraic geometry to problems in number theory

More information

TORSION AND TAMAGAWA NUMBERS

TORSION AND TAMAGAWA NUMBERS TORSION AND TAMAGAWA NUMBERS DINO LORENZINI Abstract. Let K be a number field, and let A/K be an abelian variety. Let c denote the product of the Tamagawa numbers of A/K, and let A(K) tors denote the finite

More information

denote the Dirichlet character associated to the extension Q( D)/Q, that is χ D

denote the Dirichlet character associated to the extension Q( D)/Q, that is χ D January 0, 1998 L-SERIES WITH NON-ZERO CENTRAL CRITICAL VALUE Kevin James Department of Mathematics Pennsylvania State University 18 McAllister Building University Park, Pennsylvania 1680-6401 Phone: 814-865-757

More information

arxiv: v1 [math.gr] 15 Oct 2017

arxiv: v1 [math.gr] 15 Oct 2017 ON TYPES OF ELLIPTIC PSEUDOPRIMES L. BABINKOSTOVA, A. HERNÁNDEZ-ESPIET, AND H. KIM arxiv:70.0564v [math.gr] 5 Oct 07 Abstract. We generalize Silverman s [9] notions of elliptic pseudoprimes and elliptic

More information

Counting points on hyperelliptic curves

Counting points on hyperelliptic curves University of New South Wales 9th November 202, CARMA, University of Newcastle Elliptic curves Let p be a prime. Let X be an elliptic curve over F p. Want to compute #X (F p ), the number of F p -rational

More information

THE MILLER RABIN TEST

THE MILLER RABIN TEST THE MILLER RABIN TEST KEITH CONRAD 1. Introduction The Miller Rabin test is the most widely used probabilistic primality test. For odd composite n > 1 at least 75% of numbers from to 1 to n 1 are witnesses

More information

Congruent Number Problem and Elliptic curves

Congruent Number Problem and Elliptic curves Congruent Number Problem and Elliptic curves December 12, 2010 Contents 1 Congruent Number problem 2 1.1 1 is not a congruent number.................................. 2 2 Certain Elliptic Curves 4 3 Using

More information

HISTORY OF CLASS FIELD THEORY

HISTORY OF CLASS FIELD THEORY HISTORY OF CLASS FIELD THEORY KEITH CONRAD 1. Introduction Class field theory is the description of abelian extensions of global fields and local fields. The label class field refers to a field extension

More information

Gauss and Riemann versus elementary mathematics

Gauss and Riemann versus elementary mathematics 777-855 826-866 Gauss and Riemann versus elementary mathematics Problem at the 987 International Mathematical Olympiad: Given that the polynomial [ ] f (x) = x 2 + x + p yields primes for x =,, 2,...,

More information

Possibilities for Shafarevich-Tate Groups of Modular Abelian Varieties

Possibilities for Shafarevich-Tate Groups of Modular Abelian Varieties Possibilities for Shafarevich-Tate Groups of Modular Abelian Varieties William Stein Harvard University August 22, 2003 for Microsoft Research Overview of Talk 1. Abelian Varieties 2. Shafarevich-Tate

More information

ON THE SEMIPRIMITIVITY OF CYCLIC CODES

ON 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 information

Elliptic curves and Hilbert s Tenth Problem

Elliptic curves and Hilbert s Tenth Problem Elliptic curves and Hilbert s Tenth Problem Karl Rubin, UC Irvine MAA @ UC Irvine October 16, 2010 Karl Rubin Elliptic curves and Hilbert s Tenth Problem MAA, October 2010 1 / 40 Elliptic curves An elliptic

More information

EXAMPLES OF MORDELL S EQUATION

EXAMPLES OF MORDELL S EQUATION EXAMPLES OF MORDELL S EQUATION KEITH CONRAD 1. Introduction The equation y 2 = x 3 +k, for k Z, is called Mordell s equation 1 on account of Mordell s long interest in it throughout his life. A natural

More information

ORDERS OF ELEMENTS IN A GROUP

ORDERS OF ELEMENTS IN A GROUP ORDERS OF ELEMENTS IN A GROUP KEITH CONRAD 1. Introduction Let G be a group and g G. We say g has finite order if g n = e for some positive integer n. For example, 1 and i have finite order in C, since

More information

FINITE GROUPS AND EQUATIONS OVER FINITE FIELDS A PROBLEM SET FOR ARIZONA WINTER SCHOOL 2016

FINITE GROUPS AND EQUATIONS OVER FINITE FIELDS A PROBLEM SET FOR ARIZONA WINTER SCHOOL 2016 FINITE GROUPS AND EQUATIONS OVER FINITE FIELDS A PROBLEM SET FOR ARIZONA WINTER SCHOOL 2016 PREPARED BY SHABNAM AKHTARI Introduction and Notations The problems in Part I are related to Andrew Sutherland

More information

Lemma 1.1. The field K embeds as a subfield of Q(ζ D ).

Lemma 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 information

Some. Manin-Mumford. Problems

Some. Manin-Mumford. Problems Some Manin-Mumford Problems S. S. Grant 1 Key to Stark s proof of his conjectures over imaginary quadratic fields was the construction of elliptic units. A basic approach to elliptic units is as follows.

More information

Independence of Heegner Points Joseph H. Silverman (Joint work with Michael Rosen)

Independence of Heegner Points Joseph H. Silverman (Joint work with Michael Rosen) Independence of Heegner Points Joseph H. Silverman (Joint work with Michael Rosen) Brown University Cambridge University Number Theory Seminar Thursday, February 22, 2007 0 Modular Curves and Heegner Points

More information

Math/Mthe 418/818. Review Questions

Math/Mthe 418/818. Review Questions Math/Mthe 418/818 Review Questions 1. Show that the number N of bit operations required to compute the product mn of two integers m, n > 1 satisfies N = O(log(m) log(n)). 2. Can φ(n) be computed in polynomial

More information

Imaginary Quadratic Fields With Isomorphic Abelian Galois Groups

Imaginary Quadratic Fields With Isomorphic Abelian Galois Groups Imaginary Quadratic Fields With Isomorphic Abelian Galois Groups Universiteit Leiden, Université Bordeaux 1 July 12, 2012 - UCSD - X - a Question Let K be a number field and G K = Gal(K/K) the absolute

More information

LECTURE 2 FRANZ LEMMERMEYER

LECTURE 2 FRANZ LEMMERMEYER LECTURE 2 FRANZ LEMMERMEYER Last time we have seen that the proof of Fermat s Last Theorem for the exponent 4 provides us with two elliptic curves (y 2 = x 3 + x and y 2 = x 3 4x) in the guise of the quartic

More information

HISTORY OF CLASS FIELD THEORY

HISTORY OF CLASS FIELD THEORY HISTORY OF CLASS FIELD THEORY KEITH CONRAD 1. Introduction Class field theory is the description of abelian extensions of global fields and local fields. The label class field refers to a field extension

More information

CONSTRUCTING SUPERSINGULAR ELLIPTIC CURVES. Reinier Bröker

CONSTRUCTING 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 information

FERMAT S WORLD A TOUR OF. Outline. Ching-Li Chai. Philadelphia, March, Samples of numbers. 2 More samples in arithemetic. 3 Congruent numbers

FERMAT S WORLD A TOUR OF. Outline. Ching-Li Chai. Philadelphia, March, Samples of numbers. 2 More samples in arithemetic. 3 Congruent numbers Department of Mathematics University of Pennsylvania Philadelphia, March, 2016 Outline 1 2 3 4 5 6 7 8 9 Some familiar whole numbers 1. Examples of numbers 2, the only even prime number. 30, the largest

More information

Class numbers of quadratic fields Q( D) and Q( td)

Class numbers of quadratic fields Q( D) and Q( td) Class numbers of quadratic fields Q( D) and Q( td) Dongho Byeon Abstract. Let t be a square free integer. We shall show that there exist infinitely many positive fundamental discriminants D > 0 with a

More information

THE JOHNS HOPKINS UNIVERSITY Faculty of Arts and Sciences FINAL EXAM - FALL SESSION ADVANCED ALGEBRA I.

THE JOHNS HOPKINS UNIVERSITY Faculty of Arts and Sciences FINAL EXAM - FALL SESSION ADVANCED ALGEBRA I. THE JOHNS HOPKINS UNIVERSITY Faculty of Arts and Sciences FINAL EXAM - FALL SESSION 2006 110.401 - ADVANCED ALGEBRA I. Examiner: Professor C. Consani Duration: take home final. No calculators allowed.

More information

YOUNESS LAMZOURI H 2. The purpose of this note is to improve the error term in this asymptotic formula. H 2 (log log H) 3 ζ(3) H2 + O

YOUNESS LAMZOURI H 2. The purpose of this note is to improve the error term in this asymptotic formula. H 2 (log log H) 3 ζ(3) H2 + O ON THE AVERAGE OF THE NUMBER OF IMAGINARY QUADRATIC FIELDS WITH A GIVEN CLASS NUMBER YOUNESS LAMZOURI Abstract Let Fh be the number of imaginary quadratic fields with class number h In this note we imrove

More information

Outline of the Seminar Topics on elliptic curves Saarbrücken,

Outline of the Seminar Topics on elliptic curves Saarbrücken, Outline of the Seminar Topics on elliptic curves Saarbrücken, 11.09.2017 Contents A Number theory and algebraic geometry 2 B Elliptic curves 2 1 Rational points on elliptic curves (Mordell s Theorem) 5

More information

Rational points on elliptic curves. cycles on modular varieties

Rational points on elliptic curves. cycles on modular varieties Rational points on elliptic curves and cycles on modular varieties Mathematics Colloquium January 2009 TIFR, Mumbai Henri Darmon McGill University http://www.math.mcgill.ca/darmon /slides/slides.html Elliptic

More information

Arithmetic Statistics Lecture 1

Arithmetic Statistics Lecture 1 Arithmetic Statistics Lecture 1 Álvaro Lozano-Robledo Department of Mathematics University of Connecticut May 28 th CTNT 2018 Connecticut Summer School in Number Theory Question What is Arithmetic Statistics?

More information

CONGRUENT NUMBERS AND ELLIPTIC CURVES

CONGRUENT NUMBERS AND ELLIPTIC CURVES CONGRUENT NUMBERS AND ELLIPTIC CURVES JIM BROWN Abstract. In this short paper we consider congruent numbers and how they give rise to elliptic curves. We will begin with very basic notions before moving

More information

Stark-Heegner points

Stark-Heegner points Stark-Heegner points Course and Student Project description Arizona Winter School 011 Henri Darmon and Victor Rotger 1. Background: Elliptic curves, modular forms, and Heegner points Let E /Q be an elliptic

More information

Balanced subgroups of the multiplicative group

Balanced subgroups of the multiplicative group Balanced subgroups of the multiplicative group Carl Pomerance, Dartmouth College Hanover, New Hampshire, USA Based on joint work with D. Ulmer To motivate the topic, let s begin with elliptic curves. If

More information

Elliptic Curves & Number Theory. R. Sujatha School of Mathematics TIFR

Elliptic Curves & Number Theory. R. Sujatha School of Mathematics TIFR Elliptic Curves & Number Theory R. Sujatha School of Mathematics TIFR Aim: To explain the connection between a simple ancient problem in number theory and a deep sophisticated conjecture about Elliptic

More information

p = This is small enough that its primality is easily verified by trial division. A candidate prime above 1000 p of the form p U + 1 is

p = This is small enough that its primality is easily verified by trial division. A candidate prime above 1000 p of the form p U + 1 is LARGE PRIME NUMBERS 1. Fermat Pseudoprimes Fermat s Little Theorem states that for any positive integer n, if n is prime then b n % n = b for b = 1,..., n 1. In the other direction, all we can say is that

More information

Elliptic Curves over Finite Fields

Elliptic Curves over Finite Fields Elliptic Curves over Finite Fields Katherine E. Stange Stanford University Boise REU, June 14th, 2011 Consider a cubic curve of the form E : y 2 + a 1 xy + a 3 y = x 3 + a 2 x 2 + a 4 x + a 6 If you intersect

More information

Hans Wenzl. 4f(x), 4x 3 + 4ax bx + 4c

Hans Wenzl. 4f(x), 4x 3 + 4ax bx + 4c MATH 104C NUMBER THEORY: NOTES Hans Wenzl 1. DUPLICATION FORMULA AND POINTS OF ORDER THREE We recall a number of useful formulas. If P i = (x i, y i ) are the points of intersection of a line with the

More information

OLIVIA BECKWITH. 3 g+2

OLIVIA BECKWITH. 3 g+2 CLASS NUMBER DIVISIBILITY FOR IMAGINARY QUADRATIC FIELDS arxiv:809.05750v [math.nt] 5 Sep 208 OLIVIA BECKWITH Abstract. In this note we revisit classic work of Soundararajan on class groups of imaginary

More information

CONICS - A POOR MAN S ELLIPTIC CURVES arxiv:math/ v1 [math.nt] 18 Nov 2003

CONICS - A POOR MAN S ELLIPTIC CURVES arxiv:math/ v1 [math.nt] 18 Nov 2003 CONICS - A POOR MAN S ELLIPTIC CURVES arxiv:math/0311306v1 [math.nt] 18 Nov 2003 FRANZ LEMMERMEYER Contents Introduction 2 1. The Group Law on Pell Conics and Elliptic Curves 2 1.1. Group Law on Conics

More information

Elliptic Curves: An Introduction

Elliptic Curves: An Introduction Elliptic Curves: An Introduction Adam Block December 206 Introduction The goal of the following paper will be to explain some of the history of and motivation for elliptic curves, to provide examples and

More information

Sums of squares, sums of cubes, and modern number theory

Sums of squares, sums of cubes, and modern number theory Sums of squares, sums of cubes, and modern number theory Kimball Martin Original version: October 14, 2015 Minor revisions: June 9, 2016 Abstract These are notes which grew out of a talk for general math

More information

On The Weights of Binary Irreducible Cyclic Codes

On 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 information

Don Zagier s work on singular moduli

Don Zagier s work on singular moduli Don Zagier s work on singular moduli Benedict Gross Harvard University June, 2011 Don in 1976 The orbit space SL 2 (Z)\H has the structure a Riemann surface, isomorphic to the complex plane C. We can fix

More information

Uniqueness of Factorization in Quadratic Fields

Uniqueness of Factorization in Quadratic Fields Uniqueness of Factorization in Quadratic Fields Pritam Majumder Supervisors: (i Prof. G. Santhanam, (ii Prof. Nitin Saxena A project presented for the degree of Master of Science Department of Mathematics

More information

Congruent number elliptic curves of high rank

Congruent number elliptic curves of high rank Michaela Klopf, BSc Congruent number elliptic curves of high rank MASTER S THESIS to achieve the university degree of Diplom-Ingenieurin Master s degree programme: Mathematical Computer Science submitted

More information

On congruences for the coefficients of modular forms and some applications. Kevin Lee James. B.S. The University of Georgia, 1991

On congruences for the coefficients of modular forms and some applications. Kevin Lee James. B.S. The University of Georgia, 1991 On congruences for the coefficients of modular forms and some applications by Kevin Lee James B.S. The University of Georgia, 1991 A Dissertation Submitted to the Graduate Faculty of The University of

More information

Some algebraic number theory and the reciprocity map

Some 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 information

FORMAL GROUPS OF CERTAIN Q-CURVES OVER QUADRATIC FIELDS

FORMAL 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 information

A Classical Introduction to Modern Number Theory

A Classical Introduction to Modern Number Theory Kenneth Ireland Michael Rosen A Classical Introduction to Modern Number Theory Second Edition Springer Contents Preface to the Second Edition Preface v vii CHAPTER 1 Unique Factorization 1 1 Unique Factorization

More information

THE ARTIN-SCHREIER THEOREM KEITH CONRAD

THE ARTIN-SCHREIER THEOREM KEITH CONRAD THE ARTIN-SCHREIER THEOREM KEITH CONRAD 1. Introduction The algebraic closure of R is C, which is a finite extension. Are there other fields which are not algebraically closed but have an algebraic closure

More information

20 The modular equation

20 The modular equation 18.783 Elliptic Curves Lecture #20 Spring 2017 04/26/2017 20 The modular equation In the previous lecture we defined modular curves as quotients of the extended upper half plane under the action of a congruence

More information

CONGRUENCES FOR POWERS OF THE PARTITION FUNCTION

CONGRUENCES FOR POWERS OF THE PARTITION FUNCTION CONGRUENCES FOR POWERS OF THE PARTITION FUNCTION MADELINE LOCUS AND IAN WAGNER Abstract. Let p tn denote the number of partitions of n into t colors. In analogy with Ramanujan s work on the partition function,

More information

Quartic and D l Fields of Degree l with given Resolvent

Quartic and D l Fields of Degree l with given Resolvent Quartic and D l Fields of Degree l with given Resolvent Henri Cohen, Frank Thorne Institut de Mathématiques de Bordeaux January 14, 2013, Bordeaux 1 Introduction I Number fields will always be considered

More information

Math 4310 Solutions to homework 1 Due 9/1/16

Math 4310 Solutions to homework 1 Due 9/1/16 Math 0 Solutions to homework Due 9//6. An element [a] Z/nZ is idempotent if [a] 2 [a]. Find all idempotent elements in Z/0Z and in Z/Z. Solution. First note we clearly have [0] 2 [0] so [0] is idempotent

More information

Basic Algorithms in Number Theory

Basic Algorithms in Number Theory Basic Algorithms in Number Theory Algorithmic Complexity... 1 Basic Algorithms in Number Theory Francesco Pappalardi Discrete Logs, Modular Square Roots & Euclidean Algorithm. July 20 th 2010 Basic Algorithms

More information

CYCLOTOMIC FIELDS CARL ERICKSON

CYCLOTOMIC 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 information

Elliptic Curves. 6.1 The Definition. This is page 103 Printer: Opaque this

Elliptic Curves. 6.1 The Definition. This is page 103 Printer: Opaque this 6 Elliptic Curves This is page 103 Printer: Opaque this We introduce elliptic curves and describe how to put a group structure on the set of points on an elliptic curve. We then apply elliptic curves to

More information

Explicit Methods in Algebraic Number Theory

Explicit 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 information

Math 259: Introduction to Analytic Number Theory Primes in arithmetic progressions: Dirichlet characters and L-functions

Math 259: Introduction to Analytic Number Theory Primes in arithmetic progressions: Dirichlet characters and L-functions Math 259: Introduction to Analytic Number Theory Primes in arithmetic progressions: Dirichlet characters and L-functions Dirichlet extended Euler s analysis from π(x) to π(x, a mod q) := #{p x : p is a

More information

disc f R 3 (X) in K[X] G f in K irreducible S 4 = in K irreducible A 4 in K reducible D 4 or Z/4Z = in K reducible V Table 1

disc f R 3 (X) in K[X] G f in K irreducible S 4 = in K irreducible A 4 in K reducible D 4 or Z/4Z = in K reducible V Table 1 GALOIS GROUPS OF CUBICS AND QUARTICS IN ALL CHARACTERISTICS KEITH CONRAD 1. Introduction Treatments of Galois groups of cubic and quartic polynomials usually avoid fields of characteristic 2. Here we will

More information

(Not only on the Paramodular Conjecture)

(Not only on the Paramodular Conjecture) Experiments on Siegel modular forms of genus 2 (Not only on the Paramodular Conjecture) Modular Forms and Curves of Low Genus: Computational Aspects ICERM October 1st, 2015 Experiments with L-functions

More information

Twisted L-Functions and Complex Multiplication

Twisted 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 information

KUMMER S CRITERION ON CLASS NUMBERS OF CYCLOTOMIC FIELDS

KUMMER 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 information