## You are here

Homeexistence of Hilbert class field

## Primary tabs

# existence of Hilbert class field

Let $K$ be a number field. There exists a finite extension $E$ of $K$ with the following properties:

1. $[E:K]=h_{K}$, where $h_{K}$ is the class number of $K$.

2. $E$ is Galois over $K$.

3. The ideal class group of $K$ is isomorphic to the Galois group of $E$ over $K$.

4. Every ideal of $\mathcal{O}_{{K}}$ is a principal ideal of the ring extension $\mathcal{O}_{{E}}$.

5. Every prime ideal ${\cal P}$ of $\mathcal{O}_{{K}}$ decomposes into the product of $\frac{h_{K}}{f}$ prime ideals in $\mathcal{O}_{{E}}$, where $f$ is the order of $[{\cal P}]$ in the ideal class group of $\mathcal{O}_{{E}}$.

There is a unique field $E$ satisfying the above five properties, and it is known as the Hilbert class field of $K$.

The field $E$ may also be characterized as the maximal abelian unramified extension of $K$. Note that in this context, the term ‘unramified’ is meant not only for the finite places (the classical ideal theoretic interpretation) but also for the infinite places. That is, every real embedding of $K$ extends to a real embedding of $E$. As an example of why this is necessary, consider some real quadratic field.

## Mathematics Subject Classification

11R32*no label found*11R29

*no label found*11R37

*no label found*

- Forums
- Planetary Bugs
- HS/Secondary
- University/Tertiary
- Graduate/Advanced
- Industry/Practice
- Research Topics
- LaTeX help
- Math Comptetitions
- Math History
- Math Humor
- PlanetMath Comments
- PlanetMath System Updates and News
- PlanetMath help
- PlanetMath.ORG
- Strategic Communications Development
- The Math Pub
- Testing messages (ignore)

- Other useful stuff

## Recent Activity

new image: information-theoretic-distributed-measurement-dds.png by rspuzio

new image: information-theoretic-distributed-measurement-4.2 by rspuzio

new image: information-theoretic-distributed-measurement-4.1 by rspuzio

new image: information-theoretic-distributed-measurement-3.2 by rspuzio

new image: information-theoretic-distributed-measurement-3.1 by rspuzio

new image: information-theoretic-distributed-measurement-2.1 by rspuzio

Apr 19

new collection: On the Information-Theoretic Structure of Distributed Measurements by rspuzio

Apr 15

new question: Prove a formula is part of the Gentzen System by LadyAnne

Mar 30

new question: A problem about Euler's totient function by mbhatia

new problem: Problem: Show that phi(a^n-1), (where phi is the Euler totient function), is divisible by n for any natural number n and any natural number a >1. by mbhatia