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:
“The conduct of a man, who studies philosophy in this careless manner, is more truly sceptical than that of any one, who feeling in himself an inclination to it, is yet so over-whelm’d with doubts and scruples, as totally to reject it. A true sceptic will be diffident of his philosophical doubts, as well as of his philosophical conviction; and will never refuse any innocent satisfaction, which offers itself, upon account of either of them.”
—David Hume (1711–1776)
“The pleasures of the imagination are as it were only drawings and models which are played with by poor people who cannot afford the real thing.”
—G.C. (Georg Christoph)
“There are crimes which become innocent and even glorious through their splendor, number and excess.”
—François, Duc De La Rochefoucauld (1613–1680)
“... many American Jews have a morbid tendency to exaggerate their handicaps and difficulties. ... There is no doubt that the Jew ... has to be twice as good as the average non- Jew to succeed in many a field of endeavor. But to dwell upon these injustices to the point of self-pity is to weaken the personality unnecessarily. Every human being has handicaps of one sort or another. The brave individual accepts them and by accepting conquers them.”
—Agnes E. Meyer (1887–1970)