**Disclaimer:** This post is the second of a set of three(ish) about Baker’s Theorem and the Class Number Problem. It is intended to be informative and not too rigorous.*Find part one here!*

In this post, I’ll introduce the Class Number Problem, before (eventually) pulling these posts together and seeing how Baker’s Theorem is relevant to the problem. First, I’ll give some definitions, before stating the problem.

Given an algebraic number field , consider the ring of algebraic integers of , denoted by . Recall that the algebraic integers of are the elements of that is the root of some monic polynomial with coefficients in .

We next consider the fractional ideals of ; that is, the submodules of . It is sometimes easier to think of these in terms of the following lemma.

LemmaA subset is a fractional ideal if and only if there is an ideal of and an algebraic integer such that .

This kind of explains why we call them fractional ideals; they are “fractions” of ideals. Proving the above isn’t too hard; we can show the submodules are finitely generated, clear denominators and the job is basically done; for the proof, see almost any book on algebraic number theory.

These fractional ideals from a group under multiplication, which I will denote by . The set of principal fractional ideals forms a normal subgroup of , which we’ll call . We define the class group of to be the quotient group . We define the class number of to be the number of elements in the class group (we can show that the class number is finite using some clever tricks from Minkowski; think lattices!). The class number is 1 when all fractional ideals are principal, thus all ideals of are principal, thus is a unique factorisation domain. We can also show that if is a UFD, then it has class number 1.

The Class Number Problem was first formulated by Gauss in 1801 in terms of quadratic forms; I’ll write the problem in the modern phrasing, before discussing what it all means. Given an algebraic number field , we denote the class number of by or , or in the case of a quadratic field , by .

The Class Number Problem: Conjectures

- as tends to ;
- There are 9 imaginary quadratic fields with Class Number 1, namely where ;
- There are infinitely many real quadratic fields with class number 1.

The first two of these have been solved; indeed, the proof of the second part is where Baker’s Theorem comes in. I’ll save discussion of this till the next part in this series, and for now will just heuristically discuss some things related to the problem which I find interesting.

Part 1 was proved by Heilbronn in 1934; the proof here is very interesting, as it first assumes the truth of the Riemann Hypothesis and showing the statement holds, before assuming the falsity of the Riemann Hypothesis and showing it still holds. Indeed, there is a close connection between the Riemann Hypothesis and the class number problem. Indeed, it was shown that finding a 10th imaginary quadratic field with class number 1 would show that the Riemann Hypothesis is not true; unfortunately we now know this isn’t a route to the Riemann Hypothesis.

Part 3 is still open, in no small part due to fundamental units. By Dirichlet’s Unit Theorem, the group of units of is finitely generated, and we use these to define the regulator, which is an important part of the proof of part 2 of the problem. However, the ring of units for the case of an imaginary quadratic field consists of finitely many roots of unity (we can explicitly find which these are!), whereas we have infinitely many units in the real quadratic case. Finding these fundamental units depends on solving Diophantine equations, which is famously hard. This will be a topic of future posts, yet to come!

In the next post, I’ll discuss the proof of part 2 and why Baker’s Theorem can be used. There’ll also probably be a postscript, of stuff I’ve left out the main posts but that I still find interesting.

Any questions or corrections, leave them in the comments or drop me a tweet!

## One thought on “Baker’s Theorem and the Class Number Problem (Part 2)”