Totally imaginary number field (source code)

= Totally imaginary number field
{wiki}

= Totally complex number field
{synonym}

A <number field> is totally imaginary if it has no embedding into the real numbers. Its embeddings into the complex numbers occur entirely in conjugate pairs. This is also called totally complex; it does not assert that every element of the field is nonreal.