CM-field (source code)

= CM-field
{c}
{wiki}

= CM number field
{c}
{synonym}

A CM-field is a <totally imaginary number field> that is a quadratic extension of a <totally real number field>. Its nontrivial automorphism over that real subfield acts as <complex conjugation> in every complex embedding. Imaginary <quadratic number fields> are examples. An arbitrary <totally imaginary number field> need not have such a real subfield of index two.