A global number field $K$ is always of the form $K=\Q(\alpha)$ where $\alpha$ has monic irreducible polynomial $f(x)\in\Q[x]$. The field is totally real if all of the roots of $f(x)$ in $\C$ lie in the real numbers $\R$.
Equivalently, $K$ is totally real if all the embeddings of $K$ into $\C$ have image contained in $\R$.
- Review status: reviewed
- Last edited by Alina Bucur on 2018-07-08 01:06:39
- 2018-07-08 01:06:39 by Alina Bucur (Reviewed)