In
algebraic number theory
Algebraic number theory is a branch of number theory that uses the techniques of abstract algebra to study the integers, rational numbers, and their generalizations. Number-theoretic questions are expressed in terms of properties of algebraic ob ...
, a
number field
In mathematics, an algebraic number field (or simply number field) is an extension field K of the field of rational numbers such that the field extension K / \mathbb has finite degree (and hence is an algebraic field extension).
Thus K is a ...
is called totally imaginary (or totally complex) if it cannot be
embedded in the
real number
In mathematics, a real number is a number that can be used to measure a continuous one- dimensional quantity such as a duration or temperature. Here, ''continuous'' means that pairs of values can have arbitrarily small differences. Every re ...
s. Specific examples include
imaginary quadratic fields,
cyclotomic field
In algebraic number theory, a cyclotomic field is a number field obtained by adjoining a complex root of unity to \Q, the field of rational numbers.
Cyclotomic fields played a crucial role in the development of modern algebra and number theory ...
s, and, more generally,
CM fields.
Any number field that is
Galois over the
rationals must be either
totally real or totally imaginary.
References
*Section 13.1 of
Algebraic number theory
{{numtheory-stub