Class Field Theory. Peter Stevenhagen. 1. Class Field Theory for Q

Size: px
Start display at page:

Download "Class Field Theory. Peter Stevenhagen. 1. Class Field Theory for Q"

Transcription

1 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 the situation where K = Q. In this case, we have the cyclotomic extension K = Q L = Q(ζ m ), and (Z/mZ) = Gal(L/Q) a mod n (σ a : ζ m ζ a m) It is the theorem of Kronecker-Weber that Gal(Q ab /Q) = lim Gal(Q(ζ n )/Q) n = lim(z/nz) = Ẑ = n In addition to an exlicit descrition of the Galois grou, we also can describe the slitting behavior of a rime in Q Q(ζ m ) it is determined by mod m. For examle, a rime = x 2 + y 2 = (x + iy)(x iy) Z[i] = Z[ζ 4 ] if and only if = 2 or 1 (mod 4). In articular: (a) If ramifies in Q(ζ m ), then m; the ramification index e of the rimes over is φ( k ) = ( 1) k 1 if k m. (b) The rime is wildly ramified in Q(ζ m ) if and only if 2 m. (c) If m, then is unramified. In the ring of integers Z[ζ m ] of Q(ζ m ), we obtain O L = g i=1 i. The rimes i have residue class degree f = [F (ζ m ) : F ], which (by looking at the Frobenius x x acting on F (ζ m ) = k i ) is equal to the order of mod m in (Z/mZ). The number of such rimes is g = #{ i } = [(Z/mZ) : mod m ]. In articular, a rime slits cometely if and only if 1 (mod m). If Q L H L = Q(ζ m ) is a subfield given by a subgrou H (Z/mZ), then one has the Artin ma A : (Z/mZ) /H Gal(L/Q). If m is the minimal such number, it is called the conductor of L. Z.

2 2 Peter Stevenhagen 2. Weak Recirocity We would like to generalize this situation to a general number field K. Let K L be an abelian extension of number fields. We first would like to make sense of the statement that the slitting behavior of rimes of K in L is determined by mod m. Let G = Gal(L/K) be the Galois grou of L over K, and let K and L have ring of integers O K and O L, resectively. Let O K be an unramified rime. We see that O L / = g i=1 O L/q i, where O L /q i over O K / is a finite extension of finite fields. This extension has a cyclic Galois grou with a distinguished generator Frob, which mas x x N. We see that f = # Frob G, and g = #{q i } = [G : Frob ]. Lemma 2.1. If L/K is an abelian extension of number fields and is unramified in L/K, then the Frobenius Frob is locally induced by a unique element in G = Gal(L/K). We let I K be the grou of (fractional) O K -ideals, which is exactly I K = Z. O K rime Let D be the discriminant of L/K. We denote by I K (D) the subgrou of I K generated by ideals which are corime to D. We then define the Artin ma I K (D) G = Gal(L/K) Frob. As for the case of Q, we would like that the kernel of this ma contains all rimes which are 1 mod m. We must be careful: we have ideals, so we must restrict to the case of rincial ideals, and we must take care of units of the field. From this, we have the following first weak form of recirocity: Theorem 2.1. There exists an ideal m O K (divisible by all ramifying rimes) such that ker A {(π) : π 1 (O K /m), π totally ositive}. 3. Cycles We invent cycles to allow us to talk about these congruences in a uniform way. A cycle in K is m = m 0 m, where m 0 is an ideal in O K and m is a set of real rimes of K. We also write m = m(). so that m() Z 0 for all, m() is zero for almost all, and m() is 0 or 1 for a real rime, 0 for a comlex rime.

3 Class Field Theory 3 If α K, then we say α 1 (mod m) if and only if α 1 (O/m 0 O) and α > 0 for all real rimes. This says that: For m finite, ord (α 1) m(); For, given by σ : K R, then σ(α) > 0. For examle, 1/5 1 (mod 6). In this language, the theorem becomes: ker A {αo K : α 1 (mod m)} for a suitable cycle m. If m is a cycle in K, we define I(m) = {a I K : ord (a) = 0 if m 0 }. The denote by P (m) I(m) the subgrou of rincial ideals with this roerty. We also have the ray modulo m, R(m) = {αo K : α 1 (mod m)}, with the containment R(m) P (m). Since any element of the ideal class grou of K is generated by an ideal rime to the discriminant, we see that I(m) Cl K. We define the ray class grou of m, I(m)/R(m) = Cl m. It admits a surjection Cl m Cl K with kernel P (m)/r(m) = (O K /m) = (O K /m 0 ) m 1. All together, we have the exact sequence O K (O K /m) Cl m Cl K 0. For an examle, consider again Q. Then any cycle is m = (m) or m = (m). In the first case, we have the ray class grou (Z/mZ) /{±1}, and in the other case simly (Z/mZ), which is what we would exect from the descrition above. 4. Class Field Theory We now can state the main theorem of class field theory. Theorem 4.1. If K L is a finite abelian extension of number fields, then: (a) There exists a cycle m divisible by all ramifying rimes (a real rime ramifies if it has a comlex extension) such that the Artin ma A : I(D) Gal(L/K) factors through Cl m and the ma is surjective. Frob A : Cl m Gal(L/K) [] Frob

4 4 Peter Stevenhagen (b) There exists a minimal such cycle f, called the conductor of L/K, with the roerty that f if and only if is ramified in L/K, and 2 f if and only if is wildly ramified in L/K. (c) (Existence) Given a cycle m, there exists a ray class field H m K ab which is maximal in the sense that R(m) ker A, and Cl m Gal(Hm /K). Therefore, K ab = f H f Q. This construction is highly nontrivial. For examle, for m = (1), we see that from the exact sequence that Cl m = Cl K gives us H = H 1, the ray class field mod 1, which is usually called the Hilbert class field. It has the roerty that Cl K Gal(H/K), and H/K is unramified at all rimes of K (including the infinite rimes), which is often called totally unramified. For examle, the field K = Q( 5) has class grou Cl K = Z/2Z. In this case, the Hilbert class field is H = K( 5). Also, for K = Q( 23), Cl K = Z/3Z, with H = K(α) where α 3 α 1 = 0. In each case, these extensions are in fact unramified everywhere. 5. Idèles However, we would like to deal with the maximal abelian extension K ab /K in one stroke. We have seen that Gal(K ab /K) = lim Cl f, a rojective limit of ray class grous. For examle, for K = Q we get Gal(Q ab /Q) = lim(z/nz) = Ẑ. To realize this in general, we need to define the idèles. Let K be the comletion of K at, so that if is real or comlex, K = R or C, resectively. We denote by A K the valuation ring A = {x K : x 1} with unit grou A = {x K : x = 1}. Then we define the idèle grou as the restricted direct roduct J = K = {(x ) K : x A for almost all }. Each of these factors has a toology, and we make J into a locally comact grou by defining the oen subgrous U to be, for S a finite set of rimes, U = S where O K is an oen subgrou. We have a filtration K A = U (0) A S O, n = U (n)....

5 Class Field Theory 5 If is archimedean, we let U (0) = K, and if is real, we let U (1) = R >0. From this we see that H J is an oen subgrou if and only if H U n() with n() = 0 for almost all, n() {0, 1} for real, n() = 0 for comlex. In articular, if f = n() is a cycle, it corresonds to an oen subgrou W f = U n(), and H is oen in J if and only if H W f for some cycle f. We ma K J by x (x). We then obtain the idèle class grou C K = J/K. Lemma 5.1. There exists an isomorhism A : J/(K W ) Cl f π [], ( f). Corollary 5.1 (Idèlic Main Theorem). If L/K is abelian, the Artin ma gives a surjection C K Gal(L/K) 0 π Frob, ( f). This yields a surjection C K Gal(K ab /K), and we obtain a bijection between oen subgrous of C K and finite abelian extensions L/K inside an algebraic closure K, where L corresonds to N L/K C L. 6. Local Class Field Theory If is a finite rime, given an abelian extension L/K of number fields, we obtain for a rime q which lies over a corresonding local extension L q /K, with G = {σ Gal(L/K) : σq = q} = Gal(L q /K ) Gal(L/K). Then in the Artin surjection J Gal(L/K), if we restrict to the factor K, this mas surjectively onto exactly the factor Gal(L q /K ). We have 1 I Gal(L q /K ) Gal(k q /k ) = Frob 1, where I is the inertia grou, a factor which is nontrivial only if ramifies at q. We then obtain mas: J Gal(L/K) K Gal(L q /K ) A I

6 6 Peter Stevenhagen Theorem 6.1. Let F = K be a local field. Given E F a finite abelian extension, there is an Artin ma In fact, ker A = N E/F (E ) F, so π A F = F Gal(E/F ) π Frob modi A F I F /NE Gal(E/F ). One can show in fact that F Gal(F ab /F ), with dense image. (The discreancy occurs by relacing π = Z maing into the grou Ẑ = Gal(F unr /F ) consisting of owers of the Frobenius.) Local class field theory allows us to comute conductors f of L/K. We see that f = n(), is unramified if and only if n() = 0, is tamely ramified if and only if n() = 1, and is wildly ramified if and only if n() 2. From the exlicit descrition of the kernel of the Artin ma in the local case, we see that the exonent n() is the smallest integer k such that U (k) in U (k) N Lq/K (L q). A K is contained Examle 6.2. Let us find all quadratic extensions of Q. If we use class field theory, we see that every such extension corresonds to subgrous H = N E/Q E Q of index 2, with Q /H = Gal(E/Q ). We have that Q = Z, and (Q ) 2 = 2 (Z ) 2, and for 2 in between there are exactly three subfields of index 2, giving the three quadratic extensions of Q. It is in fact easy to find these fields directly: the extensions corresond to Q 2 Q ( x) for x Q /(Q ) 2, with x =, x = a, x = a, for a Z such that a F \ (F ) 2. More recisely: N(Q ( ) = (Z ) 2 (ramified) N(Q ( a) = a (Z ) 2 (ramified) N(Q ( a) = 2 (Z ) 2 (unramified) Exercises In the first three exercises, we let K be an algebraic number field, Cl K its ideal class grou, and h K = # Cl K its class number. Let K be an algebraic closure of K, and H(K) the Hilbert class field of K, which is the maximal abelian totally unramified extension of K inside K. It is a consequence of the main theorem of class field theory that H(K) is a finite abelian extension of K of degree h K, and that the Artin symbol induces a grou isomorhism Cl K Gal(H(K)/K). The three exercises below illustrate how roerties of the Hilbert class field can be used to obtain information about the class number.

7 Class Field Theory 7 Exercise 2.1. (a) Let E be a finite extension of K. Prove that H(K) H(E), and that h K divides h E [E : K]. (b) Let E, F be two finite extensions of Q inside Q. Prove: if h E = h F = 1, then h E F = 1. Exercise 2.2. (a) Let E be a finite extension of K, and denote by L the maximal abelian totally unramified extension of K inside E. Show that the cokernel of the norm ma N E/K : Cl E Cl K is isomorhic to Gal(L/K). (b) Let n be a ositive integer, and denote by ζ n a rimitive n-th root of unity. Prove that the class number of Q(ζ n + ζn 1 ) divides the class number of Q(ζ n ). Exercise 2.3. The Hilbert class field tower of K is the sequence of fields H (0) (K) = K H (1) (K) = H(K) H (2) (K) = H(H(K))... H (i) (K)..., where each H (i) (K) is the Hilbert class field of H (i 1) (K). It is said to be finite if H (i+1) (K) = H (i) (K) for some i. Prove that the Hilbert class field tower of K is finite if and only if there is a finite extension E of K with h E = 1. [Golod and Shafarevich roved in 1964 that there exist number fields K for which the Hilbert class field tower is infinite.] Exercise 2.4. Show that the Hilbert class field of Q( 5) equals Q( 5, 5). Exercise 2.5. Let α be a zero of X 3 X 1 Z[X] in an algebraic closure of Q, and write K = Q( 23), L = K(α). (a) Prove that L is the Galois closure of Q(α) over Q, and that K L is an abelian extension of degree 3. (b) Prove that exactly two rimes of Q(α) are ramified over Q, and that they lie over 23 and. Prove that in both cases the ramification index equals 2. (c) Prove that K L is totally unramified. (d) Prove that L is the Hilbert class field of K. Exercise 2.6. For a rime number, let m be the number of distinct zeros of X 3 X 1 in F. Prove the following: (a) m = 0 if and only if ( ) 23 = 1 and cannot be written as = a b 2 with a, b Z. (b) m = 1 if and only if ( 23) = 1. (c) m = 2 if and only if = 23. (d) m = 3 if and only if can be written as = a b 2 with a, b Z, a 0. Exercise 2.7.

8 8 Peter Stevenhagen (a) Prove that the field Q( 5) has class number 1, and that the grou of units of its ring of integers is generated by 1 and (1 + 5)/2. (b) Let be a rime number. Prove that there exists a field K satisfying [K : Q] = 4, 5 K, K/Q = 25 if and only if 2, 3 mod 5. Prove also that if such a field exists, it is uniquely determined by, u to isomorhism. We denote this field by K (). (c) Prove that among all fields K (), the only one that is Galois over Q is the field K (5). Can you embed K (5) in a cyclotomic extension of Q? Exercise 2.8. A number field is called totally real if it has no comlex rimes, totally comlex if it has no real rimes, and mixed if it is neither totally real nor totally comlex. The Fibonacci sequence (F n ) n=0 is inductively defined by F 0 = 0, F 1 = 1, F n+2 = F n+1 + F n. Let be a rime number with 1 or 4 mod 5, and K () as in the revious exercise. (a) Prove that K () is mixed if and only if 3 mod 4. (b) Suose that 1 mod 8. Prove that K () is totally real if divides F ( 1)/4, and totally comlex otherwise. (c) Suose that 5 mod 8. Prove that K () is totally comlex if divides F ( 1)/4, and totally real otherwise. Exercise 2.9. Let be a rime number with 11 or 19 mod 20, and let K () be as above. Prove that K () has exactly one rime lying over 5 if 11 mod 20, and exactly two rimes lying over 5 if 19 mod 20. In the next two exercises, we let K L be a finite abelian extension of number fields, and F(L/K) the conductor of L over K; this is the greatest common divisor of all cycles m of K for which L is contained in the ray class field modulo m of K. Denote by m the exonent to which a rime of K aears in F. It is art of the main theorem of class field theory that m 1 if and only if is ramified in L, and that m 2 if and only if is finite and wildly ramified in L. We want to find an uer bound for m. We may and do assume that is finite. Denote by be the rime of Q over which is lying, and let e = e(/) be the ramification index of over. Exercise For an integer i > 0, denote by U i the oen subgrou 1 + i of K. Prove the following assertions. (a) If i, j are ositive integers with j 0 mod, then the ma U i U i sending every x to x j is an isomorhism. (b) If i > e/( 1), then there is an isomorhism U i U i+e sending every x to x. (c) If j is a ositive integer, then (K) j is an oen subgrou of K, and it contains U e +ke, where e denotes the least integer > e/( 1) and k is the number of factors in j.

9 Class Field Theory 9 (d) If K E is a finite extension, then N E/K [E ] is an oen subgrou of K, and it contains U e +ke, with e as in (c) and k the number of factors in [E : K ]. Exercise (a) Prove that m e + ke, where e denotes the least integer > e/( 1) and k is the number of factors in [L : K]. (b) More recisely, rove that m e + ke, with e as before, but with k now equal to the number of factors in the exonent of the inertia grou of in Gal(L/K). Mathematisch Instituut, Universiteit Leiden, Postbus 9512, 2300 RA Leiden, The Netherlands address: sh@math.leidenuniv.nl

Frobenius Elements, the Chebotarev Density Theorem, and Reciprocity

Frobenius Elements, the Chebotarev Density Theorem, and Reciprocity Frobenius Elements, the Chebotarev Density Theorem, and Recirocity Dylan Yott July 30, 204 Motivation Recall Dirichlet s theorem from elementary number theory. Theorem.. For a, m) =, there are infinitely

More information

RECIPROCITY LAWS JEREMY BOOHER

RECIPROCITY LAWS JEREMY BOOHER RECIPROCITY LAWS JEREMY BOOHER 1 Introduction The law of uadratic recirocity gives a beautiful descrition of which rimes are suares modulo Secial cases of this law going back to Fermat, and Euler and Legendre

More information

DISCRIMINANTS IN TOWERS

DISCRIMINANTS IN TOWERS DISCRIMINANTS IN TOWERS JOSEPH RABINOFF Let A be a Dedekind domain with fraction field F, let K/F be a finite searable extension field, and let B be the integral closure of A in K. In this note, we will

More information

CLASS FIELD THEORY WEEK Motivation

CLASS FIELD THEORY WEEK Motivation CLASS FIELD THEORY WEEK 1 JAVIER FRESÁN 1. Motivation In a 1640 letter to Mersenne, Fermat proved the following: Theorem 1.1 (Fermat). A prime number p distinct from 2 is a sum of two squares if and only

More 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

Profinite Groups. Hendrik Lenstra. 1. Introduction

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

RINGS OF INTEGERS WITHOUT A POWER BASIS

RINGS OF INTEGERS WITHOUT A POWER BASIS RINGS OF INTEGERS WITHOUT A POWER BASIS KEITH CONRAD Let K be a number field, with degree n and ring of integers O K. When O K = Z[α] for some α O K, the set {1, α,..., α n 1 } is a Z-basis of O K. We

More information

Math 4400/6400 Homework #8 solutions. 1. Let P be an odd integer (not necessarily prime). Show that modulo 2,

Math 4400/6400 Homework #8 solutions. 1. Let P be an odd integer (not necessarily prime). Show that modulo 2, MATH 4400 roblems. Math 4400/6400 Homework # solutions 1. Let P be an odd integer not necessarily rime. Show that modulo, { P 1 0 if P 1, 7 mod, 1 if P 3, mod. Proof. Suose that P 1 mod. Then we can write

More information

The Kronecker-Weber Theorem

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

Jacobi symbols and application to primality

Jacobi symbols and application to primality Jacobi symbols and alication to rimality Setember 19, 018 1 The grou Z/Z We review the structure of the abelian grou Z/Z. Using Chinese remainder theorem, we can restrict to the case when = k is a rime

More information

A 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. 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 information

THE THEORY OF NUMBERS IN DEDEKIND RINGS

THE THEORY OF NUMBERS IN DEDEKIND RINGS THE THEORY OF NUMBERS IN DEDEKIND RINGS JOHN KOPPER Abstract. This aer exlores some foundational results of algebraic number theory. We focus on Dedekind rings and unique factorization of rime ideals,

More information

(Workshop on Harmonic Analysis on symmetric spaces I.S.I. Bangalore : 9th July 2004) B.Sury

(Workshop on Harmonic Analysis on symmetric spaces I.S.I. Bangalore : 9th July 2004) B.Sury Is e π 163 odd or even? (Worksho on Harmonic Analysis on symmetric saces I.S.I. Bangalore : 9th July 004) B.Sury e π 163 = 653741640768743.999999999999.... The object of this talk is to exlain this amazing

More information

A CONCRETE EXAMPLE OF PRIME BEHAVIOR IN QUADRATIC FIELDS. 1. Abstract

A CONCRETE EXAMPLE OF PRIME BEHAVIOR IN QUADRATIC FIELDS. 1. Abstract A CONCRETE EXAMPLE OF PRIME BEHAVIOR IN QUADRATIC FIELDS CASEY BRUCK 1. Abstract The goal of this aer is to rovide a concise way for undergraduate mathematics students to learn about how rime numbers behave

More information

A BRIEF INTRODUCTION TO LOCAL FIELDS

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

MATH 3240Q Introduction to Number Theory Homework 7

MATH 3240Q Introduction to Number Theory Homework 7 As long as algebra and geometry have been searated, their rogress have been slow and their uses limited; but when these two sciences have been united, they have lent each mutual forces, and have marched

More information

MATH342 Practice Exam

MATH342 Practice Exam MATH342 Practice Exam This exam is intended to be in a similar style to the examination in May/June 2012. It is not imlied that all questions on the real examination will follow the content of the ractice

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

FIELD THEORY. Contents

FIELD THEORY. Contents FIELD THEORY MATH 552 Contents 1. Algebraic Extensions 1 1.1. Finite and Algebraic Extensions 1 1.2. Algebraic Closure 5 1.3. Splitting Fields 7 1.4. Separable Extensions 8 1.5. Inseparable Extensions

More information

3 Properties of Dedekind domains

3 Properties of Dedekind domains 18.785 Number theory I Fall 2016 Lecture #3 09/15/2016 3 Proerties of Dedekind domains In the revious lecture we defined a Dedekind domain as a noetherian domain A that satisfies either of the following

More information

Class Numbers and Iwasawa Invariants of Certain Totally Real Number Fields

Class Numbers and Iwasawa Invariants of Certain Totally Real Number Fields Journal of Number Theory 79, 249257 (1999) Article ID jnth.1999.2433, available online at htt:www.idealibrary.com on Class Numbers and Iwasawa Invariants of Certain Totally Real Number Fields Dongho Byeon

More information

Block-transitive algebraic geometry codes attaining the Tsfasman-Vladut-Zink bound

Block-transitive algebraic geometry codes attaining the Tsfasman-Vladut-Zink bound Block-transitive algebraic geometry codes attaining the Tsfasman-Vladut-Zink bound María Chara*, Ricardo Podestá**, Ricardo Toledano* * IMAL (CONICET) - Universidad Nacional del Litoral ** CIEM (CONICET)

More information

Class Field Theory. Travis Dirle. December 4, 2016

Class Field Theory. Travis Dirle. December 4, 2016 Class Field Theory 2 Class Field Theory Travis Dirle December 4, 2016 2 Contents 1 Global Class Field Theory 1 1.1 Ray Class Groups......................... 1 1.2 The Idèlic Theory.........................

More information

Algebraic number theory LTCC Solutions to Problem Sheet 2

Algebraic number theory LTCC Solutions to Problem Sheet 2 Algebraic number theory LTCC 008 Solutions to Problem Sheet ) Let m be a square-free integer and K = Q m). The embeddings K C are given by σ a + b m) = a + b m and σ a + b m) = a b m. If m mod 4) then

More information

ANATOLY PREYGEL. def. (1 x k/d ) µ(d),

ANATOLY PREYGEL. def. (1 x k/d ) µ(d), L-FUNCTIONS AND THE DENSITIES OF PRIMES ANATOLY PREYGEL Abstract. We resent some of the easier to rove analytic roerties of Dirichlet-Hecke L-functions, including the Dedekind zeta functions. We use Artin

More information

Class number in non Galois quartic and non abelian Galois octic function fields over finite fields

Class number in non Galois quartic and non abelian Galois octic function fields over finite fields Class number in non Galois quartic and non abelian Galois octic function fields over finite fields Yves Aubry G. R. I. M. Université du Sud Toulon-Var 83 957 La Garde Cedex France yaubry@univ-tln.fr Abstract

More information

ORAL QUALIFYING EXAM QUESTIONS. 1. Algebra

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

Super Congruences. Master s Thesis Mathematical Sciences

Super Congruences. Master s Thesis Mathematical Sciences Suer Congruences Master s Thesis Mathematical Sciences Deartment of Mathematics Author: Thomas Attema Suervisor: Prof. Dr. Frits Beukers Second Reader: Prof. Dr. Gunther L.M. Cornelissen Abstract In 011

More information

RATIONAL RECIPROCITY LAWS

RATIONAL RECIPROCITY LAWS RATIONAL RECIPROCITY LAWS MARK BUDDEN 1 10/7/05 The urose of this note is to rovide an overview of Rational Recirocity and in articular, of Scholz s recirocity law for the non-number theorist. In the first

More information

QUADRATIC RESIDUES AND DIFFERENCE SETS

QUADRATIC RESIDUES AND DIFFERENCE SETS QUADRATIC RESIDUES AND DIFFERENCE SETS VSEVOLOD F. LEV AND JACK SONN Abstract. It has been conjectured by Sárközy that with finitely many excetions, the set of quadratic residues modulo a rime cannot be

More information

The Kronecker-Weber Theorem

The 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 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

MAT4250 fall 2018: Algebraic number theory (with a view toward arithmetic geometry)

MAT4250 fall 2018: Algebraic number theory (with a view toward arithmetic geometry) MAT450 fall 018: Algebraic number theory (with a view toward arithmetic geometry) Håkon Kolderu Welcome to MAT450, a course on algebraic number theory. This fall we aim to cover the basic concets and results

More information

MATH 210A, FALL 2017 HW 5 SOLUTIONS WRITTEN BY DAN DORE

MATH 210A, FALL 2017 HW 5 SOLUTIONS WRITTEN BY DAN DORE MATH 20A, FALL 207 HW 5 SOLUTIONS WRITTEN BY DAN DORE (If you find any errors, lease email ddore@stanford.edu) Question. Let R = Z[t]/(t 2 ). Regard Z as an R-module by letting t act by the identity. Comute

More information

CLASS FIELD THEORY FOR NUMBER FIELDS AND COMPLEX MULTIPLICATION

CLASS FIELD THEORY FOR NUMBER FIELDS AND COMPLEX MULTIPLICATION CLASS FIELD THEORY FOR NUMBER FIELDS AND COMPLEX MULTIPLICATION GWYNETH MORELAND Abstract. We state the main results of class field theory for a general number field, and then specialize to the case where

More information

A K,S =: K p. with the direct limit topology where. A K,S := K p O K p

A K,S =: K p. with the direct limit topology where. A K,S := K p O K p 42 M. FLACH 3. The idele class grou and idelic class field theory We have seen that for a global field K the modulus m aears as a arameter for the tower of ray class fields K(m). The content of class field

More information

CLASS FIELD THEORY AND COMPLEX MULTIPLICATION FOR ELLIPTIC CURVES

CLASS FIELD THEORY AND COMPLEX MULTIPLICATION FOR ELLIPTIC CURVES CLASS FIELD THEORY AND COMPLEX MULTIPLICATION FOR ELLIPTIC CURVES FRANK GOUNELAS 1. Class Field Theory We ll begin by motivating some of the constructions of the CM (complex multiplication) theory for

More information

Part II Galois Theory

Part II Galois Theory Part II Galois Theory Theorems Based on lectures by C. Birkar Notes taken by Dexter Chua Michaelmas 2015 These notes are not endorsed by the lecturers, and I have modified them (often significantly) after

More information

Class Field Theory. Anna Haensch. Spring 2012

Class 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

We collect some results that might be covered in a first course in algebraic number theory.

We collect some results that might be covered in a first course in algebraic number theory. 1 Aendices We collect some results that might be covered in a first course in algebraic number theory. A. uadratic Recirocity Via Gauss Sums A1. Introduction In this aendix, is an odd rime unless otherwise

More information

SHIMURA COVERINGS OF SHIMURA CURVES AND THE MANIN OBSTRUCTION. Alexei Skorobogatov. Introduction

SHIMURA COVERINGS OF SHIMURA CURVES AND THE MANIN OBSTRUCTION. Alexei Skorobogatov. Introduction Mathematical Research Letters 1, 10001 100NN (005) SHIMURA COVERINGS OF SHIMURA CURVES AND THE MANIN OBSTRUCTION Alexei Skorobogatov Abstract. We rove that the counterexamles to the Hasse rincile on Shimura

More information

MATH 371 Class notes/outline October 15, 2013

MATH 371 Class notes/outline October 15, 2013 MATH 371 Class notes/outline October 15, 2013 More on olynomials We now consider olynomials with coefficients in rings (not just fields) other than R and C. (Our rings continue to be commutative and have

More information

A review of the foundations of perfectoid spaces

A review of the foundations of perfectoid spaces A review of the foundations of erfectoid saces (Notes for some talks in the Fargues Fontaine curve study grou at Harvard, Oct./Nov. 2017) Matthew Morrow Abstract We give a reasonably detailed overview

More information

GEOMETRIC CLASS FIELD THEORY I

GEOMETRIC CLASS FIELD THEORY I GEOMETRIC CLASS FIELD THEORY I TONY FENG 1. Classical class field theory 1.1. The Artin map. Let s start off by reviewing the classical origins of class field theory. The motivating problem is basically

More information

Mobius Functions, Legendre Symbols, and Discriminants

Mobius Functions, Legendre Symbols, and Discriminants Mobius Functions, Legendre Symbols, and Discriminants 1 Introduction Zev Chonoles, Erick Knight, Tim Kunisky Over the integers, there are two key number-theoretic functions that take on values of 1, 1,

More information

arxiv: v2 [math.nt] 14 Jun 2014

arxiv: v2 [math.nt] 14 Jun 2014 THE DENSITY OF A FAMILY OF MONOGENIC NUMBER FIELDS MOHAMMAD BARDESTANI arxiv:202.2047v2 [math.nt] 4 Jun 204 Abstract. A monogenic olynomial f is a monic irreducible olynomial with integer coefficients

More information

RECIPROCITY, BRAUER GROUPS AND QUADRATIC FORMS OVER NUMBER FIELDS

RECIPROCITY, BRAUER GROUPS AND QUADRATIC FORMS OVER NUMBER FIELDS RECIPROCITY, BRAUER GROUPS AND QUADRATIC FORMS OVER NUMBER FIELDS THOMAS POGUNTKE Abstract. Artin s recirocity law is a vast generalization of quadratic recirocity and contains a lot of information about

More information

Galois theory (Part II)( ) Example Sheet 1

Galois theory (Part II)( ) Example Sheet 1 Galois theory (Part II)(2015 2016) Example Sheet 1 c.birkar@dpmms.cam.ac.uk (1) Find the minimal polynomial of 2 + 3 over Q. (2) Let K L be a finite field extension such that [L : K] is prime. Show that

More information

Class Field Theory. Abstract

Class Field Theory. Abstract Class Field Theory Abstract These notes are based on a course in class field theory given by Freydoon Shahidi at Purdue University in the fall of 2014. The notes were typed by graduate students Daniel

More information

THE FUNDAMENTAL EXACT SEQUENCES AND THE SCHEMATIC CURVE

THE FUNDAMENTAL EXACT SEQUENCES AND THE SCHEMATIC CURVE THE FUNDAMENTAL EXACT SEQUENCES AND THE SCHEMATIC CURVE 1. The sace Y ad and X ad 1.1. Notation. In this talk we continue with the following notation from revious talks: (1) Let C be an algebraically closed

More information

9 Artin representations

9 Artin representations 9 Artin representations Let K be a global field. We have enough for G ab K. Now we fix a separable closure Ksep and G K := Gal(K sep /K), which can have many nonabelian simple quotients. An Artin representation

More information

p-adic fields Chapter 7

p-adic fields Chapter 7 Chapter 7 p-adic fields In this chapter, we study completions of number fields, and their ramification (in particular in the Galois case). We then look at extensions of the p-adic numbers Q p and classify

More information

Nonabelian Cohen-Lenstra Moments for the Quaternion Group

Nonabelian Cohen-Lenstra Moments for the Quaternion Group Nonabelian Cohen-Lenstra Moments for the Quaternion Grou (University of Wisconsin-Madison) Featuring Joint Work with Jack Klys (University of Toronto) October 14, 2017 Cohen-Lenstra heuristics For a field

More information

ON 2-CLASS FIELD TOWERS OF SOME IMAGINARY QUADRATIC NUMBER FIELDS

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

On the Multiplicative Order of a n Modulo n

On the Multiplicative Order of a n Modulo n 1 2 3 47 6 23 11 Journal of Integer Sequences, Vol. 13 2010), Article 10.2.1 On the Multilicative Order of a n Modulo n Jonathan Chaelo Université Lille Nord de France F-59000 Lille France jonathan.chaelon@lma.univ-littoral.fr

More information

Elementary Analysis in Q p

Elementary Analysis in Q p Elementary Analysis in Q Hannah Hutter, May Szedlák, Phili Wirth November 17, 2011 This reort follows very closely the book of Svetlana Katok 1. 1 Sequences and Series In this section we will see some

More information

Primes of the Form x 2 + ny 2

Primes of the Form x 2 + ny 2 Primes of the Form x 2 + ny 2 Steven Charlton 28 November 2012 Outline 1 Motivating Examples 2 Quadratic Forms 3 Class Field Theory 4 Hilbert Class Field 5 Narrow Class Field 6 Cubic Forms 7 Modular Forms

More information

MATH 242: Algebraic number theory

MATH 242: Algebraic number theory MATH 4: Algebraic number theory Matthew Morrow (mmorrow@math.uchicago.edu) Contents 1 A review of some algebra Quadratic residues and quadratic recirocity 4 3 Algebraic numbers and algebraic integers 1

More information

Representation of prime numbers by quadratic forms

Representation of prime numbers by quadratic forms Representation of prime numbers by quadratic forms Bachelor thesis in Mathematics by Simon Hasenfratz Supervisor: Prof. R. Pink ETH Zurich Summer term 2008 Introduction One of the most famous theorems

More information

HARUZO HIDA. on the inertia I p for the p-adic cyclotomic character N ordered from top to bottom as a 1 a 2 0 a d. Thus. a 2 0 N. ( N a 1.

HARUZO HIDA. on the inertia I p for the p-adic cyclotomic character N ordered from top to bottom as a 1 a 2 0 a d. Thus. a 2 0 N. ( N a 1. L-INVARIANT OF -ADIC L-FUNCTIONS HARUZO HIDA 1. Lecture 1 Let Q C be the field of all algebraic numbers. We fix a rime >2and a -adic absolute value on Q. Then C is the comletion of Q under. We write W

More information

QUADRATIC RECIPROCITY

QUADRATIC RECIPROCITY QUADRATIC RECIPROCITY JORDAN SCHETTLER Abstract. The goals of this roject are to have the reader(s) gain an areciation for the usefulness of Legendre symbols and ultimately recreate Eisenstein s slick

More information

Elliptic Curves Spring 2015 Problem Set #1 Due: 02/13/2015

Elliptic Curves Spring 2015 Problem Set #1 Due: 02/13/2015 18.783 Ellitic Curves Sring 2015 Problem Set #1 Due: 02/13/2015 Descrition These roblems are related to the material covered in Lectures 1-2. Some of them require the use of Sage, and you will need to

More information

Lecture Notes: An invitation to modular forms

Lecture Notes: An invitation to modular forms Lecture Notes: An invitation to modular forms October 3, 20 Tate s thesis in the context of class field theory. Recirocity laws Let K be a number field or function field. Let C K = A K /K be the idele

More information

QUADRATIC RECIPROCITY

QUADRATIC RECIPROCITY QUADRATIC RECIPROCITY JORDAN SCHETTLER Abstract. The goals of this roject are to have the reader(s) gain an areciation for the usefulness of Legendre symbols and ultimately recreate Eisenstein s slick

More information

Artin reciprocity and

Artin reciprocity and 44 NAW 5/1 nr.1 maart 2000 Artin recirocity and Mersenne rimes H.W. Lenstra, Jr., P. Stevenhagen H.W. Lenstra, Jr. Deartment of Mathematics # 3840, University of California, Berkeley, CA 94720 3840, U.S.A.

More information

x 2 a mod m. has a solution. Theorem 13.2 (Euler s Criterion). Let p be an odd prime. The congruence x 2 1 mod p,

x 2 a mod m. has a solution. Theorem 13.2 (Euler s Criterion). Let p be an odd prime. The congruence x 2 1 mod p, 13. Quadratic Residues We now turn to the question of when a quadratic equation has a solution modulo m. The general quadratic equation looks like ax + bx + c 0 mod m. Assuming that m is odd or that b

More information

Algebraic Number Theory

Algebraic Number Theory Algebraic Number Theory Joseh R. Mileti May 11, 2012 2 Contents 1 Introduction 5 1.1 Sums of Squares........................................... 5 1.2 Pythagorean Triles.........................................

More information

On The j-invariants of CM-Elliptic Curves Defined Over Z p

On The j-invariants of CM-Elliptic Curves Defined Over Z p On The j-invariants of CM-Ellitic Curves Defined Over Z Andrew Fiori Deartment of Mathematics and Statistics, Queens University, Jeffery Hall, University Ave, Office 517, Kingston, ON, K7L 3N6, Canada

More information

The L-series Attached to a CM Elliptic Curve

The L-series Attached to a CM Elliptic Curve The L-series Attached to a CM Elliptic Curve Corina E. Pǎtraşcu patrascu@fas.harvard.edu May 19, 2005 Abstract In this paper we present the L-series attached to an elliptic curve with complex multiplication.

More information

Introduction to Arithmetic Geometry Fall 2013 Lecture #10 10/8/2013

Introduction to Arithmetic Geometry Fall 2013 Lecture #10 10/8/2013 18.782 Introduction to Arithmetic Geometry Fall 2013 Lecture #10 10/8/2013 In this lecture we lay the groundwork needed to rove the Hasse-Minkowski theorem for Q, which states that a quadratic form over

More information

ON GALOIS GROUPS OF ABELIAN EXTENSIONS OVER MAXIMAL CYCLOTOMIC FIELDS. Mamoru Asada. Introduction

ON GALOIS GROUPS OF ABELIAN EXTENSIONS OVER MAXIMAL CYCLOTOMIC FIELDS. Mamoru Asada. Introduction ON GALOIS GROUPS OF ABELIAN ETENSIONS OVER MAIMAL CYCLOTOMIC FIELDS Mamoru Asada Introduction Let k 0 be a finite algebraic number field in a fixed algebraic closure Ω and ζ n denote a primitive n-th root

More information

Galois Theory TCU Graduate Student Seminar George Gilbert October 2015

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

192 VOLUME 55, NUMBER 5

192 VOLUME 55, NUMBER 5 ON THE -CLASS GROUP OF Q F WHERE F IS A PRIME FIBONACCI NUMBER MOHAMMED TAOUS Abstract Let F be a rime Fibonacci number where > Put k Q F and let k 1 be its Hilbert -class field Denote by k the Hilbert

More information

arxiv: v2 [math.nt] 9 Oct 2018

arxiv: v2 [math.nt] 9 Oct 2018 ON AN EXTENSION OF ZOLOTAREV S LEMMA AND SOME PERMUTATIONS LI-YUAN WANG AND HAI-LIANG WU arxiv:1810.03006v [math.nt] 9 Oct 018 Abstract. Let be an odd rime, for each integer a with a, the famous Zolotarev

More information

δ(xy) = φ(x)δ(y) + y p δ(x). (1)

δ(xy) = φ(x)δ(y) + y p δ(x). (1) LECTURE II: δ-rings Fix a rime. In this lecture, we discuss some asects of the theory of δ-rings. This theory rovides a good language to talk about rings with a lift of Frobenius modulo. Some of the material

More information

MATH 361: NUMBER THEORY EIGHTH LECTURE

MATH 361: NUMBER THEORY EIGHTH LECTURE MATH 361: NUMBER THEORY EIGHTH LECTURE 1. Quadratic Recirocity: Introduction Quadratic recirocity is the first result of modern number theory. Lagrange conjectured it in the late 1700 s, but it was first

More information

NORM VARIETIES AND ALGEBRAIC COBORDISM

NORM VARIETIES AND ALGEBRAIC COBORDISM NORM VARIETIES AND ALGEBRAIC COBORDISM MARKUS ROST Abstract. We outline briefly results and examles related with the bijectivity of the norm residue homomorhism. We define norm varieties and describe some

More information

t s (p). An Introduction

t s (p). An Introduction Notes 6. Quadratic Gauss Sums Definition. Let a, b Z. Then we denote a b if a divides b. Definition. Let a and b be elements of Z. Then c Z s.t. a, b c, where c gcda, b max{x Z x a and x b }. 5, Chater1

More information

HONDA-TATE THEOREM FOR ELLIPTIC CURVES

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

Field Theory Qual Review

Field Theory Qual Review Field Theory Qual Review Robert Won Prof. Rogalski 1 (Some) qual problems ˆ (Fall 2007, 5) Let F be a field of characteristic p and f F [x] a polynomial f(x) = i f ix i. Give necessary and sufficient conditions

More information

Cover Page. The handle holds various files of this Leiden University dissertation

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

NUNO FREITAS AND ALAIN KRAUS

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

2 Asymptotic density and Dirichlet density

2 Asymptotic density and Dirichlet density 8.785: Analytic Number Theory, MIT, sring 2007 (K.S. Kedlaya) Primes in arithmetic rogressions In this unit, we first rove Dirichlet s theorem on rimes in arithmetic rogressions. We then rove the rime

More information

Cover Page. The handle holds various files of this Leiden University dissertation.

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

MATH 371 Class notes/outline September 24, 2013

MATH 371 Class notes/outline September 24, 2013 MATH 371 Class notes/outline Setember 24, 2013 Rings Armed with what we have looked at for the integers and olynomials over a field, we re in a good osition to take u the general theory of rings. Definitions:

More information

ON TAMELY RAMIFIED IWASAWA MODULES FOR THE CYCLOTOMIC p -EXTENSION OF ABELIAN FIELDS

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

Math 121 Homework 6 Solutions

Math 121 Homework 6 Solutions Math 11 Homework 6 Solutions Problem 14. # 17. Let K/F be any finite extension and let α K. Let L be a Galois extension of F containing K and let H Gal(L/F ) be the subgroup corresponding to K. Define

More information

On the Greatest Prime Divisor of N p

On the Greatest Prime Divisor of N p On the Greatest Prime Divisor of N Amir Akbary Abstract Let E be an ellitic curve defined over Q For any rime of good reduction, let E be the reduction of E mod Denote by N the cardinality of E F, where

More information

Modular forms and the Hilbert class field

Modular forms and the Hilbert class field Modular forms and the Hilbert class field Vladislav Vladilenov Petkov VIGRE 2009, Department of Mathematics University of Chicago Abstract The current article studies the relation between the j invariant

More information

Group Theory Problems

Group Theory Problems Grou Theory Problems Ali Nesin 1 October 1999 Throughout the exercises G is a grou. We let Z i = Z i (G) and Z = Z(G). Let H and K be two subgrous of finite index of G. Show that H K has also finite index

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

Galois representations on torsion points of elliptic curves NATO ASI 2014 Arithmetic of Hyperelliptic Curves and Cryptography

Galois representations on torsion points of elliptic curves NATO ASI 2014 Arithmetic of Hyperelliptic Curves and Cryptography Galois reresentations on torsion oints of ellitic curves NATO ASI 04 Arithmetic of Hyerellitic Curves and Crytograhy Francesco Paalardi Ohrid, August 5 - Setember 5, 04 Lecture - Introduction Let /Q be

More information

ABSTRACT. the characteristic polynomial of the Frobenius endomorphism. We show how this

ABSTRACT. the characteristic polynomial of the Frobenius endomorphism. We show how this ABSTRACT Title of dissertation: COMMUTATIVE ENDOMORPHISM RINGS OF SIMPLE ABELIAN VARIETIES OVER FINITE FIELDS Jeremy Bradford, Doctor of Philosohy, 01 Dissertation directed by: Professor Lawrence C. Washington

More information

Genus theory and the factorization of class equations over F p

Genus theory and the factorization of class equations over F p arxiv:1409.0691v2 [math.nt] 10 Dec 2017 Genus theory and the factorization of class euations over F Patrick Morton March 30, 2015 As is well-known, the Hilbert class euation is the olynomial H D (X) whose

More information

arxiv: v1 [math.nt] 2 Jul 2009

arxiv: 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 information

9 Artin representations

9 Artin representations 9 Artin representations Let K be a global field. We have enough for G ab K. Now we fix a separable closure Ksep and G K := Gal(K sep /K), which can have many nonabelian simple quotients. An Artin representation

More information

MATH 361: NUMBER THEORY ELEVENTH LECTURE

MATH 361: NUMBER THEORY ELEVENTH LECTURE MATH 361: NUMBER THEORY ELEVENTH LECTURE The subjects of this lecture are characters, Gauss sums, Jacobi sums, and counting formulas for olynomial equations over finite fields. 1. Definitions, Basic Proerties

More information

1 Integers and the Euclidean algorithm

1 Integers and the Euclidean algorithm 1 1 Integers and the Euclidean algorithm Exercise 1.1 Prove, n N : induction on n) 1 3 + 2 3 + + n 3 = (1 + 2 + + n) 2 (use Exercise 1.2 Prove, 2 n 1 is rime n is rime. (The converse is not true, as shown

More information

These warmup exercises do not need to be written up or turned in.

These warmup exercises do not need to be written up or turned in. 18.785 Number Theory Fall 2017 Problem Set #3 Description These problems are related to the material in Lectures 5 7. Your solutions should be written up in latex and submitted as a pdf-file via e-mail

More information

QUADRATIC FORMS, BASED ON (A COURSE IN ARITHMETIC BY SERRE)

QUADRATIC FORMS, BASED ON (A COURSE IN ARITHMETIC BY SERRE) QUADRATIC FORMS, BASED ON (A COURSE IN ARITHMETIC BY SERRE) HEE OH 1. Lecture 1:Introduction and Finite fields Let f be a olynomial with integer coefficients. One of the basic roblem is to understand if

More information