Hilbert class field

In algebraic number theory, the Hilbert class field E of a number field K is the maximal abelian unramified extension of K. Its degree over K equals the class number of K and the Galois group of E over K is canonically isomorphic to the ideal class group of K using Frobenius elements for prime ideals in K.