[Math] Trying to understand the definition of Hilbert Class Field

Question

I am trying to understand the definition of the Hilbert Class Field. From here I got this definition.

Given a number field $K$, there exists a unique maximal unramified Abelian extension $L$ of $K$ which contains all other unramified Abelian extensions of $K$. This finite field extension $L$ is called the Hilbert class field of $K$.

I have the following question

1. What exactly is an an unramified extension of $K$ (Give definition)?

Please make the explanation as simple as possible ?

Also, how is it related to the Kronecker-Weber Theorem ?

Answer 1

Based on your previous participation on this site, I'm going to assume you know what it means for a given prime ideal of $K$ to be ramified in $L$.

An everywhere unramified extension $L/K$ is one which:

• is unramified at every prime ideal of $K$
• is "unramified at the infinite places". Put simply, this means that if we take any real embedding $K\hookrightarrow\mathbb R$ and extend it to an embedding $L\hookrightarrow \mathbb C$, then this embedding has real image.

An example is $\mathbb Q(\sqrt{-5},i)/\mathbb Q(\sqrt{-5})$, where one can check that every prime is unramified (you only need to check the primes dividing the discriminant - i.e. those above $2$ and $5$), and both fields have only complex embeddings, so the extension is unramified at the infinite places by default.

A key point of class field theory is to show that if $H$ is the Hilbert class field of $K$, then $\mathrm{Gal}(H/K)$ is the class group of $K$. This means that $K$ already contains all the information about its abelian unramified extensions. This can be seen as a generalisation of quadratic reciprocity. In particular, there are no non-trivial examples of everywhere unramified abelian extensions of $\mathbb Q$.

Class field theory goes further, and allows you to completely classify the abelian extensions of $K$ which are unramified outside of a finite set of primes. However, this classification is non-explicit: class field theory can say that an extension exists, but does not give a way to construct it. The Kronecker-Weber theorem can be viewed as an example of explicit class field theory over $\mathbb Q$: it allows us to actually construct all the abelian extensions of $\mathbb Q$.