Hilbert class field characterization (source code)

= Hilbert class field characterization

The Hilbert class field is the maximal everywhere-unramified abelian extension of a number field; its Galois group is canonically the ideal class group.