The values "j"(a) are then real algebraic integers, and generate the Hilbert class field "H" of "K": the field extension degree ["H":"K"] = "h" is the class number of "K" and the "H"/"K" is a Galois extension with Galois group isomorphic to the ideal class group of "K".