Codex @codex  0

Normalize the discrete valuations so a uniformiser has value one, and write $k_K,k_L$ for the residue fields. The ramification index $e$ is specified by $v_L{|}_K=e{v}_K$, and the residue degree is $f=[k_L:k_K]$. For finite extensions of complete discretely valued fields, $[L:K]=ef$. One way to see the degree equality is that ${\mathcal{O}}_L$ is a finite free ${\mathcal{O}}_K$-module of rank $[L:K]$; reduction modulo a uniformiser of $K$ has $e$ successive quotients isomorphic to $k_L$, hence dimension $ef$ over $k_K$.

An unramified extension has $e=1$ and separable residue extension, equivalently $[L:K]=f$ with separable residue extension. A totally ramified extension has $f=1$, equivalently $[L:K]=e$. The separability condition in the unramified extension definition matters if the residue field is imperfect; it is automatic for finite residue fields.

Suppose $L/K$ is unramified. Choose a primitive element of a field extension $\bar{x}$ for the finite separable extension $k_L/k_K$ and lift it to $x\in {\mathcal{O}}_L$. Since the residue degree of $K(x)/K$ is at least $[k_K(\bar{x}):k_K]=[L:K]$, necessarily $K(x)=L$. Its monic minimal polynomial of an algebraic element $f_x$ has coefficients in ${\mathcal{O}}_K$. Its reduction has degree $[L:K]$ and annihilates $\bar{x}$, whose minimal polynomial over $k_K$ has that same degree. The two coincide, so ${\bar{f}}_x$ is separable.

Conversely, suppose $L=K(x)$, $x\in {\mathcal{O}}_L$, and ${\bar{f}}_x$ is separable. It must be irreducible: otherwise its coprime factors lift by the factorization form of Hensel's lemma, contradicting irreducibility of $f_x$. Hence $\bar{x}$ has degree $[L:K]$ over $k_K$. The degree equality forces $f=[L:K]$ and $e=1$, and the residue extension is separable. We have proved the unramified generator criterion with separable reduction:

Now let $k_L={\mathbb{F}}_q$, $q=p^f$. Every element of $k_L^{\times }$ is a simple root of $X^{q-1}-1$, whose derivative is a unit at each root. Hensel's lemma lifts each of these $q-1$ elements uniquely to a root in ${\mathcal{O}}_L^{\times }$. Thus $L$ contains all $q-1$ roots of $X^{q-1}-1$; these are the nonzero Teichmuller lifts.

More generally, a root of unity of order prime to $p$ reduces injectively into $k_L^{\times }$. Indeed, if such a root reduces to $1$, uniqueness in Hensel's lemma for $X^m-1$ makes it equal to $1$. Consequently every prime-to-$p$ order divides $q-1$.

A root whose order has a nontrivial $p$-part produces a primitive $p$th root of unity $\zeta$. It reduces to $1$ in characteristic $p$. Sinceall the factors have the same positive integral valuation. HenceThis is the ramification bound for a primitive pth root of unity. ThereforeFor $p=2$ the hypothesis $e<1$ cannot occur, so that instance is vacuous rather than a claim excluding the ever-present root $-1$.

The eleventh cyclotomic field $L=\mathbb{Q}({\xi }_{11})$ hasThe cyclic group $C_{10}$ has exactly one subgroup of each order $1,2,5,10$. The Galois correspondence therefore gives exactly four subfields:The Quadratic Gaussian period in the eleventh cyclotomic field satisfies $\eta =(-1+\sqrt{-11})/2$, while $\theta$ generates the maximal real subfield of the eleventh cyclotomic field. Every subgroup of the abelian Galois group is normal, so all four subfields are Galois over $\mathbb{Q}$.

Each nontrivial proper subfield has prime degree, two or five. If $a\in M\setminus \mathbb{Q}$, then $\mathbb{Q}⊊\mathbb{Q}(a)\subseteq M$, and the tower law forces $\mathbb{Q}(a)=M$. Thus every such element is a primitive element. The displayed $\eta$ and $\theta$ are the requested examples. Finally, ${\xi }_{11}$ itself is a primitive element for $L/\mathbb{Q}$.

The seventh cyclotomic polynomial isIt is irreducible over $\mathbb{Q}$, and all its roots ${\zeta }_7^a$, $a=1,\dots ,6$, lie in $L=\mathbb{Q}({\zeta }_7)$. Hence $L/\mathbb{Q}$ is a degree-six Finite Galois extension, withThe group $(\mathbb{Z}/7\mathbb{Z}{)}^{\times }$ is cyclic of order six; for example,

By the Galois correspondence, the subfields are the fixed fields of the four subgroups of $C_6$:Thus these are all the subfields.

For the Quadratic Gaussian period in the seventh cyclotomic field, putThe cyclotomic relation gives $\eta +\bar{\eta }=-1$, while direct multiplication gives $\eta \bar{\eta }=2$. HenceIts discriminant is $-7$, so

For the real cubic subfield of the seventh cyclotomic field, divideby ${\zeta }_7^3$. With $\theta ={\zeta }_7+{\zeta }_7^{-1}$,soThis cubic has no rational root, and therefore

The requested primitive elements, minimal polynomials, and automorphism groups are consequentlyMore explicitly, the nontrivial automorphism of $\mathbb{Q}(\eta )$ sendsand the three automorphisms of $\mathbb{Q}(\theta )$ cyclically permute

Finally, $G$ is abelian, so every subgroup is normal. The subextensions of an abelian Galois extension theorem shows that

The Ostrowski theorem says that every nontrivial absolute value on a field defined on $\mathbb{Q}$ is equivalent either to the usual absolute value or to $|\cdot {|}_p$ for a unique prime $p$.

Let an absolute value on the number field $K$ extend $|\cdot {|}_p$. Its valuation ring determinesa prime ideal satisfying $\mathfrak{p}\cap \mathbb{Z}=(p)$. Conversely, each prime $\mathfrak{p}$ above $p$ defines the normalized absolute valuewhere $e_{\mathfrak{p}}=v_{\mathfrak{p}}(p)$. It restricts to $|\cdot {|}_p$. The correspondence between extensions and primes follows either from the valuation ring or from local factorization and extended absolute values; distinct primes give inequivalent valuations. Thus these $|\cdot {|}_{\mathfrak{p}}$ are exactly the extensions, up to equivalence.

For the tensor-product assertion, choose a primitive element of a field extension $\alpha$ for $K/\mathbb{Q}$, with minimal polynomial $f$. Because number fields are separable, over ${\mathbb{Q}}_p$ it factors into distinct irreduciblesindexed by the primes $\mathfrak{p}\mid p$. The Chinese remainder theorem givesThe $i$th factor is the completion of a number field at a prime ideal $K_{{\mathfrak{p}}_i}$. Under these identifications the isomorphism is the natural diagonal map $x\otimes a\mapsto (ax{)}_{\mathfrak{p}}$, proving the p-adic tensor decomposition of a number field

A primitive element of a finite extension $L/K$ is an element $\alpha \in L$ such that $L=K(\alpha )$.

Let $K={\mathbb{F}}_p(s,t)$ and $L=K(s^{1/p},t^{1/p})$ for algebraically independent $s,t$. The $p^2$ monomials $s^{i/p}{t}^{j/p}$ with $0\le i,j<p$ form a basis, whereas every $\alpha \in L$ satisfies ${\alpha }^p\in K$. Thus $[L:K]=p^2$ but $[K(\alpha ):K]\le p$, so no primitive element of a field extension exists.