Totally real number field
= Totally real number field
{wiki}
A number field is totally real when every embedding into the complex numbers has image in the real numbers. The maximal real subfield of a <cyclotomic field> is a basic example. Ordinary <Hilbert class fields> split at real places and therefore retain this property.