In algebraic number theory, the Hilbert class field E {\displaystyle E} of a number field K {\displaystyle K} is the maximal abelian unramified extension of K {\displaystyle K} . Its degree over K {\displaystyle K} equals the class number of K {\displaystyle K} and the Galois group of E {\displaystyle E} over K {\displaystyle K} is canonically isomorphic to the ideal class group of K {\displaystyle K} using Frobenius elements for prime ideals in K {\displaystyle K} . In this context, the Hilbert class field of K {\displaystyle K} is not just unramified at the finite places (the classical ideal theoretic interpretation) but also at the infinite places of K {\displaystyle K} . That is, every real embedding of K {\displaystyle K} extends to a real embedding of E {\displaystyle E} , rather than to a complex embedding of E {\displaystyle E} .
… excerpt ends here. Continue reading the full article.
