Ideal Class Group and Units



Similar documents
How To Prove The Dirichlet Unit Theorem

The Ideal Class Group

A number field is a field of finite degree over Q. By the Primitive Element Theorem, any number

U.C. Berkeley CS276: Cryptography Handout 0.1 Luca Trevisan January, Notes on Algebra

Mathematics Course 111: Algebra I Part IV: Vector Spaces

I. GROUPS: BASIC DEFINITIONS AND EXAMPLES

7. Some irreducible polynomials

Factoring of Prime Ideals in Extensions

OSTROWSKI FOR NUMBER FIELDS

IRREDUCIBLE OPERATOR SEMIGROUPS SUCH THAT AB AND BA ARE PROPORTIONAL. 1. Introduction

EXERCISES FOR THE COURSE MATH 570, FALL 2010

Introduction to Finite Fields (cont.)

Continued Fractions and the Euclidean Algorithm

Cyclotomic Extensions

it is easy to see that α = a

11 Ideals Revisiting Z

On the representability of the bi-uniform matroid

Numerical Analysis Lecture Notes

ADDITIVE GROUPS OF RINGS WITH IDENTITY

Monogenic Fields and Power Bases Michael Decker 12/07/07

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 22

Chapter 13: Basic ring theory

The Open University s repository of research publications and other research outputs

Metric Spaces. Chapter Metrics

FUNCTIONAL ANALYSIS LECTURE NOTES: QUOTIENT SPACES

Prime Numbers and Irreducible Polynomials

Unique Factorization

Algebra 1 Course Title

ISU Department of Mathematics. Graduate Examination Policies and Procedures

GROUP ALGEBRAS. ANDREI YAFAEV

ZORN S LEMMA AND SOME APPLICATIONS

4.1 Modules, Homomorphisms, and Exact Sequences

1 = (a 0 + b 0 α) (a m 1 + b m 1 α) 2. for certain elements a 0,..., a m 1, b 0,..., b m 1 of F. Multiplying out, we obtain

BookTOC.txt. 1. Functions, Graphs, and Models. Algebra Toolbox. Sets. The Real Numbers. Inequalities and Intervals on the Real Number Line

s-convexity, model sets and their relation

Galois Theory III Splitting fields.

MOP 2007 Black Group Integer Polynomials Yufei Zhao. Integer Polynomials. June 29, 2007 Yufei Zhao

THE FUNDAMENTAL THEOREM OF ALGEBRA VIA PROPER MAPS

CONTINUED FRACTIONS AND FACTORING. Niels Lauritzen

Introduction to Modern Algebra

BANACH AND HILBERT SPACE REVIEW

G = G 0 > G 1 > > G k = {e}

SMALL SKEW FIELDS CÉDRIC MILLIET

SUBGROUPS OF CYCLIC GROUPS. 1. Introduction In a group G, we denote the (cyclic) group of powers of some g G by

The van Hoeij Algorithm for Factoring Polynomials

COMMUTATIVITY DEGREES OF WREATH PRODUCTS OF FINITE ABELIAN GROUPS

Mathematics Review for MS Finance Students

Chapter 4, Arithmetic in F [x] Polynomial arithmetic and the division algorithm.

PYTHAGOREAN TRIPLES KEITH CONRAD

PUTNAM TRAINING POLYNOMIALS. Exercises 1. Find a polynomial with integral coefficients whose zeros include

How To Know If A Domain Is Unique In An Octempo (Euclidean) Or Not (Ecl)

University of Lille I PC first year list of exercises n 7. Review

First and raw version september 2013 klokken 13:45

by the matrix A results in a vector which is a reflection of the given

Module MA3411: Abstract Algebra Galois Theory Appendix Michaelmas Term 2013

Group Theory. Contents

1 Sets and Set Notation.

3 1. Note that all cubes solve it; therefore, there are no more

Four Unsolved Problems in Congruence Permutable Varieties

The cover SU(2) SO(3) and related topics

POLYNOMIAL RINGS AND UNIQUE FACTORIZATION DOMAINS

CONTRIBUTIONS TO ZERO SUM PROBLEMS

THE DIMENSION OF A VECTOR SPACE

ALGEBRA HW 5 CLAY SHONKWILER

GROUPS ACTING ON A SET

Galois representations with open image

1 if 1 x 0 1 if 0 x 1

1 Local Brouwer degree

Elements of Abstract Group Theory

UNIVERSITY GRADUATE STUDIES PROGRAM SILLIMAN UNIVERSITY DUMAGUETE CITY. Master of Science in Mathematics

16.3 Fredholm Operators

Let H and J be as in the above lemma. The result of the lemma shows that the integral

ON TORI TRIANGULATIONS ASSOCIATED WITH TWO-DIMENSIONAL CONTINUED FRACTIONS OF CUBIC IRRATIONALITIES.

Some Polynomial Theorems. John Kennedy Mathematics Department Santa Monica College 1900 Pico Blvd. Santa Monica, CA

MATH10212 Linear Algebra. Systems of Linear Equations. Definition. An n-dimensional vector is a row or a column of n numbers (or letters): a 1.

minimal polyonomial Example

Linear Algebra I. Ronald van Luijk, 2012

March 29, S4.4 Theorems about Zeros of Polynomial Functions

Zeros of Polynomial Functions

THE FUNDAMENTAL THEOREM OF ARBITRAGE PRICING

Similarity and Diagonalization. Similar Matrices

MA651 Topology. Lecture 6. Separation Axioms.

ON GENERALIZED RELATIVE COMMUTATIVITY DEGREE OF A FINITE GROUP. A. K. Das and R. K. Nath

Classification of Cartan matrices

4: SINGLE-PERIOD MARKET MODELS

Lecture Notes on Polynomials

Row Ideals and Fibers of Morphisms

= = 3 4, Now assume that P (k) is true for some fixed k 2. This means that

1 VECTOR SPACES AND SUBSPACES

CORRELATED TO THE SOUTH CAROLINA COLLEGE AND CAREER-READY FOUNDATIONS IN ALGEBRA

How To Know The Limit Set Of A Fuchsian Group On A Boundary Of A Hyperbolic Plane

LINEAR ALGEBRA W W L CHEN

Primality - Factorization

MATH 304 Linear Algebra Lecture 20: Inner product spaces. Orthogonal sets.

CHAPTER II THE LIMIT OF A SEQUENCE OF NUMBERS DEFINITION OF THE NUMBER e.

INDISTINGUISHABILITY OF ABSOLUTELY CONTINUOUS AND SINGULAR DISTRIBUTIONS

ISOMETRIES OF R n KEITH CONRAD

ON THE NUMBER OF REAL HYPERSURFACES HYPERTANGENT TO A GIVEN REAL SPACE CURVE

Transcription:

Chapter 4 Ideal Class Group and Units We are now interested in understanding two aspects of ring of integers of number fields: how principal they are (that is, what is the proportion of principal ideals among all the ideals), and what is the structure of their group of units For the former task, we will introduce the notion of class number (as the measure of how principal a ring of integers is), and prove that the class number is finite We will then prove Dirichlet s Theorem for the structure of groups of units Both results will be derived in the spirit of geometry of numbers, that is as a consequence of Minkowski s theorem, where algebraic results are proved thanks to a suitable geometrical interpretation (mainly the fact that a ring of integers can be seen as a lattice in R n via the n embeddings of its number field) 41 Ideal class group Let K be a number field, and O K be its ring of integers We have seen in Chapter 2 that we can extend the notion of ideal to fractional ideal, and that with this new notion, we have a group structure (Theorem 25) Let I K denote the group of fractional ideals of K Let P K denote the subgroup of I K formed by the principal ideals, that is ideals of the form αo K, α K Definition 41 The ideal class group, denoted by Cl(K), is Cl(K) = I K /P K Definition 42 We denote by h K the cardinality Cl K, called the class number In particular, if O K is a principal ideal domain, then Cl(K) = 0, and h K = 1 Our goal is now to prove that the class number is finite for ring of integers of number fields The lemma below is a version of Minkowski s theorem 45

46 CHAPTER 4 IDEAL CLASS GROUP AND UNITS Lemma 41 Let Λ be a lattice of R n Let X R n be a convex, compact set (that is a closed and bounded set since we are in R n ), which is symmetric with respect to 0 (that is, x X x X) If Vol(X) 2 n Vol(R n /Λ), then there exists 0 λ Λ such that λ X Proof Let us first assume that the inequality is strict: Vol(X) > 2 n Vol(R n /Λ) Let us consider the map ψ : 1 2 X = {x 2 Rn x X} R n /Λ If ψ were injective, then ( ) 1 Vol 2 X = 1 2 n Vol(X) Vol(Rn /Λ) that is Vol(X) 2 n Vol(R n /Λ), which contradicts our assumption Thus ψ cannot be injective, which means that there exist x 1 x 2 1 2X such that ψ(x 1 ) = ψ(x 2 ) By symmetry, we have that x 2 1 2X, and by convexity of X (that is (1 t)x + ty X for t [0,1]), we have that ( 1 1 ) x 1 + 1 2 2 ( x 2) = x 1 x 2 1 2 2 X Thus 0 λ = x 1 x 2 X, and λ Λ (since ψ(x 1 x 2 ) = 0) Let us now assume that Vol(X) = 2 n Vol(R n /Λ) By what we have just proved, there exists 0 λ ǫ Λ such that λ ǫ (1 + ǫ)x for all ǫ > 0, since Vol((1 + ǫ)x) = (1 + ǫ) n Vol(X) = (1 + ǫ) n 2 n Vol(R n /Λ) > 2 n Vol(R n /Λ), for all ǫ > 0 In particular, if ǫ < 1, then λ ǫ 2X Λ The set 2X Λ is compact and discrete (since Λ is discrete), it is thus finite Let us now understand what is happening here On the one hand, we have a sequence λ ǫ with infinitely many terms since there is one for every 0 < ǫ < 1, while on the other hand, those infinitely many terms are all lattice points in 2X, which only contains finitely many of them This means that this sequence must converge to a point 0 λ Λ which belongs to (1 + ǫ)x for infinitely many ǫ > 0 Thus λ Λ ( ǫ 0 (1 + ǫ)x 0) Since X is closed, we have that λ X Let n = [K : Q] be the degree of K and let (r 1,r 2 ) be the signature of K Let σ 1,,σ r1 be the r 1 real embeddings of K into R We choose one of the two embeddings in each pair of complex embeddings, which we denote by

41 IDEAL CLASS GROUP 47 σ r1+1,,σ r1+r 2 We consider the following map, called canonical embedding of K: σ : K R r1 C r2 R n α (σ 1 (α),,σ r1 (α),σ r1+1(α),,σ r1+r 2 (α)) (41) We have that the image of O K by σ is a lattice σ(o K ) in R n (we have that σ(o K ) is a free abelian group, which contains a basis of R n ) Let α 1,,α n be a Z-basis of O K Let M be the generator matrix of the lattice σ(o K ), given by σ 1 (α 1 ) σ r1 (α 1 ) Re(σ r1+1(α 1 )) Im(σ r1+1(α 1 )) Re(σ r1+r 2 (α 1 )) Im(σ r1+r 2 (α 1 )) σ 1 (α n ) σ r1 (α n ) Re(σ r1+1(α n )) Im(σ r1+1(α n )) Re(σ r1+r 2 (α n )) Im(σ r1+r 2 (α n )) whose determinant is given by Vol(R n /σ(o K )) = det(m) = K 2 r2 Indeed, we have that Re(x) = (x + x)/2 and Im(x) = (x x)/2i, x C, and det(m) = det(m ) where M is given by σ 1 (α 1 ) σ r1 (α 1 ) σ r1+1(α 1 ) σ 1 (α n ) σ r1 (α n ) σ r1+1(α n ) σ r1 +1(α 1) σ r1 +1(α 1) 2i σ r1+r 2 (α 1 ) σ r1 +1(α n) σ r1 +1(α n) 2i σ r1+r 2 (α n ) Again, we have that det(m ) = 2 r2 det(m ), with M given by this time σ 1 (α 1 ) σ r1 (α 1 ) σ r1+1(α 1 ) σ r1+1(α 1 ) σ r1+r 2 (α 1 ) σ r1+r 2 (α 1 ), σ 1 (α n ) σ r1 (α n ) σ r1+1(α n ) σ r1+1(α n ) σ r1+r 2 (α n ) σ r1+r 2 (α n ) σ r1 +r 2 (α 1) σ r1 +r 2 (α 1) 2i σ r1 +r 2 (α n) σ r1 +r 2 (α n) 2i which concludes the proof, since (recall that complex embeddings come by pairs of conjugates) det(m) = 2 r2 det(m ) = 2 r2 K We are now ready to prove that Cl(K) = I K /P K is finite Theorem 42 Let K be a number field with discriminant K 1 There exists a constant C = C r1,r 2 > 0 (which only depends on r 1 and r 2 ) such that every ideal class (that is every coset of Cl(K)) contains an integral ideal whose norm is at most C K

48 CHAPTER 4 IDEAL CLASS GROUP AND UNITS 2 The group Cl(K) is finite Proof Recall first that by definition, a non-zero fractional ideal J is a finitely generated O K -submodule of K, and there exists β K such that βj O K (if β i span J as O K -module, write β i = δ i /γ i and set β = γ i ) The fact that βj O K exactly means that β J 1 by definition of the inverse of a fractional ideal (see Chapter 2) The idea of the proof consists of, given a fractional ideal J, looking at the norm of a corresponding integral ideal βj, which we will prove is bounded as claimed Let us pick a non-zero fractional ideal I Since I is a finitely generated O K - module, we have that σ(i) is a lattice in R n, and so is σ(i 1 ), with the property that Vol(R n /σ(i 1 )) = Vol(R n /σ(o K ))N(I 1 K ) = 2 r2 N(I), where the first equality comes from the fact that the volume is given by the determinant of the generator matrix of the lattice Now since we have two lattices, we can write the generator matrix of σ(i 1 ) as being the generator matrix of σ(o K ) multiplied by a matrix whose determinant in absolute value is the index of the two lattices Let X be a compact convex set, symmetrical with respect to 0 In order to get a set of volume big enough to use Minkowski theorem, we set a scaling factor so that the volume of λx is λ n = 2 n Vol(Rn /σ(i 1 )), Vol(X) Vol(λX) = λ n Vol(X) = 2 n Vol(R n /σ(i 1 )) By Lemma 41, there exists 0 σ(α) σ(i 1 ) and σ(α) λx Since α I 1, we have that αi is an integral ideal in the same ideal class as I, and N(αI) = N K/Q (α) N(I) = n σ i (α) N(I) Mλ n N(I), where M = max x X xi, x = (x 1,,x n ), so that the maximum over λx gives λ n M Thus, by definition of λ n, we have that N(αI) 2n Vol(R n /σ(i 1 )) MN(I) Vol(X) 2 n M = K 2 r2 Vol(X) M = 2r1+r2 K Vol(X) } {{ } C This completes the first part of the proof

42 DIRICHLET UNITS THEOREM 49 Figure 41: Johann Peter Gustav Lejeune Dirichlet (1805-1859) We are now left to prove that Cl(K) is a finite group By what we have just proved, we can find a system of representatives J i of I K /P K consisting of integral ideals J i, of norm smaller than C K In particular, the prime factors of J i have a norm smaller than C K Above the prime numbers p < C K, there are only finitely many prime ideals (or in other words, there are only finitely many integrals with a given norm) 42 Dirichlet Units Theorem By abuse of language, we call units of K the units of O K, that is the invertible elements of O K We have seen early on (Corollary 111) that units are characterized by their norm, namely units are exactly the elements of O K with norm ±1 Theorem 43 (Dirichlet Units Theorem) Let K be a number field of degree n, with signature (r 1,r 2 ) The group OK of units of K is the product of the group µ(o K ) of roots of unity in O K, which is cyclic and finite, and a free group on r 1 + r 2 1 generators In formula, we have that O K Z r1+r2 1 µ(o K ) The most difficult part of this theorem is actually to prove that the free group has exactly r 1 + r 2 1 generators This is nowadays usually proven using Minkowski s theorem Dirichlet though did not have Minkowski s theorem available: he proved the unit theorem in 1846 while Minkowski developed the geometry of numbers only around the end of the 19th century He used instead the pigeonhole principle It is said that Dirichlet got the main idea for his proof while attending a concert in the Sistine Chapel

50 CHAPTER 4 IDEAL CLASS GROUP AND UNITS Proof Let σ : K R r1 C r2 R n be the canonical embedding of K (see (41)) The logarithmic embedding of K is the mapping λ : K R r1+r2 α (log σ 1 (α),,log σ r1+r 2 (α)) Since λ(αβ) = λ(α)+λ(β), λ is a homomorphism from the multiplicative group K to the additive group of R r1+r2 Step 1 We first prove that the kernel of λ restricted to OK is a finite group In order to do so, we prove that if C is a bounded subset of R r1+r2, then C = {x OK, λ(x) C} is a finite set In words, we look at the preimage of a bounded set by the logarithmic embedding (more precisely, at the restriction of the preimage to the units of O K ) Proof Since C is bounded, all σ i (x), x OK, i = 1,,n belong to some interval say [a 1,a], a > 1 Thus the elementary polynomials in the σ i (x) will also belong to some interval of the same form Now they are the coefficients of the characteristic polynomial of x, which has integer coefficients since x OK Thus there are only finitely many possible characteristic polynomials of elements x C, hence only finitely many possible roots of minimal polynomials of elements x C, which shows that x can belong to C for only finitely many x Now if we set C = {0}, C is the kernel ker(λ) O K of λ restricted to OK and is thus finite Step 2 We now show that ker(λ) O K consists of exactly all the roots of unity µ(o K ) Proof That it does consist of roots of unity (and is cyclic) is a known property of any subgroup of the multiplicative group of any field Thus if x ker(λ) O K then x is a root of unity Now conversely, suppose that x m = 1 Then x is an algebraic integer, and σ i (x) m = σ i (x m ) = 1 = 1 so that σ i (x) = 1, and thus log σ i (x) = 0 for all i, showing that x ker(λ) O K Step 3 We are now ready to prove that OK is a finite generated abelian group, isomorphic to µ(o K ) Z s, s r 1 + r 2 Proof By Step 1, we know that λ(ok ) is a discrete subgroup of, that is, Rr1+r2 any bounded subset of R r1+r2 contains only finitely many points of λ(ok ) Thus λ(ok ) is a lattice in Rs, hence a free Z-module of rank s, for some s r 1 + r 2 Now by the first isomorphism theorem, we have that λ(o K) O K/µ(O K ) with λ(x) corresponding to the coset xµ(o K ) If x 1 µ(o K ),,x s µ(o K ) form a basis for OK /µ(o K) and x OK, then xµ(o K) is a finite produce of powers of the x i G, so x is an element of µ(o K ) times a finite product of powers of the x i Since the λ(x i ) are linearly independent, so are the x i (provided that the notion of linear independence is translated to a multiplicative setting: x 1,,x s are multiplicatively independent if x m1 1 x ms s = 1 implies that m i = 0 for all i,

42 DIRICHLET UNITS THEOREM 51 from which it follows that x m1 1 x ms s = x n1 1 xns s implies m i = n i for all i) The result follows Step 4 We now improve the estimate of s and show that s r 1 + r 2 1 Proof If x is a unit, then we know that its norm must be ±1 Then ±1 = N(x) = n σ i (x) = r 1 σ i (x) r 1+r 2 j=r 1+1 σ j (x)σ j (x) By taking the absolute values and applying the logarithmic embedding, we get 0 = r 1 log σ i (x) + r 1+r 2 j=r 1+1 log( σ j (x) σ j (x) ) and λ(x) = (y 1,,y r1+r 2 ) lies in the hyperplane W whose equation is r 1 y i + 2 r 1+r 2 j=r 1+1 y j = 0 The hyperplane has dimension r 1 +r 2 1, so as above, λ(ok ) is a free Z-module of rank s r 1 + r 2 1 Step 5 We are left with showing that s = r 1 +r 2 1, which is actually the hardest part of the proof This uses Minkowski theorem The proof may come later one proof can be found in the online lecture of Robert Ash Example 41 Consider K an imaginary quadratic field, that is of the form K = Q( d), with d a positive square free integer Its signature is (r 1,r 2 ) = (0,1) We thus have that its group of units is given by Z r1+r2 1 G = G, that is only roots of unity Actually, we have that the units are the 4rth roots of unity if K = Q( 1) (that is ±1, ±i), the 6th roots of unity if K = Q( 3) (that is ±1, ±ζ 3, ±ζ 2 3), and only ±1 otherwise Example 42 For K = Q( 3), we have (r 1,r 2 ) = (2,0), thus r 1 + r 2 1 = 1, and µ(o K ) = ±1 The unit group is given by O K ±(2 + 3) Z The main definitions and results of this chapter are Definition of ideal class group and class number The fact that the class number of a number field is finite The structure of units in a number field (the statement of Dirichlet s theorem)

52 CHAPTER 4 IDEAL CLASS GROUP AND UNITS