Are there simple/canonical examples for totally real number fields of degree $n$ for any natural number $n \in \mathbb{N}$? Of course, the question can be reformulated by asking if there exists an irreducible polynomial of degree $n$ with real roots only, i.e. all roots in the algebraic closure $\mathbb{C}$ are real.
Currently, I just started to read about field theory, but in the standard books (and soucres) I could not find an answer to my question.
- $\mathbb{Q}(\cos(2\pi/n))$ is an example of degree $\varphi(n)/2$.
- In the Paper On 2-Rank of the Ideal Class Groups of Totally Real Number Fields of Ichimura one can find a construction of such polynomials (with some additional properties), using Hilbert's Irreducibility Theorem.
My question arose from Geometry of Numbers/Analytic Number Theory: Any totally real number field gives rise for an 'admissible lattice' $\Lambda$, that means $\inf_{(m_1,\ldots,m_n) \in \Lambda \setminus \{0\}} |m_1 \cdots m_d| >0$ in standard coordinates, as follows. Under the map $\mathbb{K} \rightarrow \mathbb{R}^n$, $x \mapsto (\sigma_1(x),\ldots,\sigma_n(n))$, where $\sigma_1,\ldots,\sigma_n$ denote all embeddings (which are real since $\mathbb{K}$ is totally real) of the number field $\mathbb{K}$, the image of the ring of integers $\mathcal{O}_{\mathbb{K}}$ is an admissible lattice.
Skriganov has shown in Constructions of Uniform Distributions in Terms of Geometry of Numbers, 1994, that 'admissible lattices' are very uniformly distributed in parallelepipeds. (The remainder term is only of type $\log^{d-1}{r}$.)
