abstract: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.