In
algebraic number theory, 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
Embedded or embedding (alternatively imbedded or imbedding) may refer to:
Science
* Embedding, in mathematics, one instance of some mathematical object contained within another instance
** Graph embedding
* Embedded generation, a distributed ge ...
in the
real number
In mathematics, a real number is a number that can be used to measurement, measure a ''continuous'' one-dimensional quantity such as a distance, time, duration or temperature. Here, ''continuous'' means that values can have arbitrarily small var ...
s. Specific examples include
imaginary quadratic field
In algebraic number theory, a quadratic field is an algebraic number field of degree two over \mathbf, the rational numbers.
Every such quadratic field is some \mathbf(\sqrt) where d is a (uniquely defined) square-free integer different from 0 a ...
s,
cyclotomic field
In number theory, a cyclotomic field is a number field obtained by adjoining a complex root of unity to , the field of rational numbers.
Cyclotomic fields played a crucial role in the development of modern algebra and number theory because o ...
s, and, more generally,
CM fields.
Any number field that is
Galois over the
rationals
In mathematics, a rational number is a number that can be expressed as the quotient or fraction of two integers, a numerator and a non-zero denominator . For example, is a rational number, as is every integer (e.g. ). The set of all ratio ...
must be either
totally real or totally imaginary.
References
*Section 13.1 of
Algebraic number theory
{{numtheory-stub