existence of Hilbert class field
Let be a number field. There exists a finite extension of with the following properties:
-
1.
, where is the class number of .
-
2.
is Galois over .
-
3.
The ideal class group of is isomorphic to the Galois group of over .
-
4.
Every ideal of is a principal ideal of the ring extension .
-
5.
Every prime ideal of decomposes into the product of prime ideals in , where is the order (http://planetmath.org/Order) of in the ideal class group of .
There is a unique field satisfying the above five properties, and it is known as the Hilbert class field of .
The field may also be characterized as the maximal abelian unramified (http://planetmath.org/AbelianExtension) extension of . Note that in this context, the term ‘unramified’ is meant not only for the finite places (the classical ideal theoretic ) but also for the infinite places. That is, every real embedding of extends to a real embedding of . As an example of why this is necessary, consider some real quadratic field.
Title | existence of Hilbert class field |
Canonical name | ExistenceOfHilbertClassField |
Date of creation | 2013-03-22 12:36:45 |
Last modified on | 2013-03-22 12:36:45 |
Owner | mathcam (2727) |
Last modified by | mathcam (2727) |
Numerical id | 16 |
Author | mathcam (2727) |
Entry type | Theorem |
Classification | msc 11R32 |
Classification | msc 11R29 |
Classification | msc 11R37 |
Related topic | IdealClass |
Related topic | Group |
Related topic | NumberField |
Related topic | ClassNumberDivisibilityInExtensions |
Related topic | RootDiscriminant |
Related topic | ExtensionsWithoutUnramifiedSubextensionsAndClassNumberDivisibility |
Related topic | ClassNumbersAndDiscriminantsTopicsOnClassGroups |
Defines | Hilbert class field |