En teoría algebraica de números , un cuerpo numérico se llama totalmente imaginario (o totalmente complejo ) si no puede incluirse en los números reales . Los ejemplos específicos incluyen campos cuadráticos imaginarios , campos ciclotómicos y, más generalmente, campos CM .
Cualquier campo numérico que sea Galois sobre los racionales debe ser totalmente real o totalmente imaginario.