In number theory, a number field K is called totally real if for each embedding of K into the complex numbers the image lies inside the real numbers. Equivalent conditions are that K is generated over Q by one root of an integer polynomial P, all of the roots of P being real; or that the tensor product algebra of K with the real field, over Q, is a product of copies of R.
For example, quadratic fields K of degree 2 over Q are either real (and then totally real), or complex, depending on whether the square root of a positive or negative number is adjoined to Q. In the case of cubic fields, a cubic integer polynomial P irreducible over Q will have at least one real root. If it has one real and two complex roots the corresponding cubic extension of Q defined by adjoining the real root will not be totally real, although it is a field of real numbers.
The totally real number fields play a significant special role in algebraic number theory. An abelian extension of Q is either totally real, or contains a totally real subfield over which it has degree two.
Any number field that is Galois over the rationals must be either totally real or totally imaginary.
Famous quotes containing the words totally, real, number and/or field:
“In short, the building becomes a theatrical demonstration of its functional ideal. In this romanticism, High-Tech architecture is, of course, no different in spiritif totally different in formfrom all the romantic architecture of the past.”
—Dan Cruickshank (b. 1949)
“I have no connections here; only gusty collisions,
rootless seedlings forced into bloom, that collapse.
...
I am the Visiting Poet: a real unicorn,
a wind-up plush dodo, a wax museum of the Movement.
People want to push the buttons and see me glow.”
—Marge Piercy (b. 1936)
“After a certain number of years our faces become our biographies. We get to be responsible for our faces.”
—Cynthia Ozick (b. 1928)
“He stung me first and stung me afterward.
He rolled me off the field head over heels
And would not listen to my explanations.”
—Robert Frost (18741963)