Let $K=\mathbb{Q}(\sqrt[n]a)$ where $a\in\mathbb{Q}$, $a>0$ and suppose $[K:\mathbb{Q}]=n$. Let $E$ be any subfield of $K$ and let $[E:\mathbb{Q}]=d.$ Prove that $E=\mathbb{Q}(\sqrt[d]a)$.
It's quite clear that $\mathbb{Q}(\sqrt[d]a)$ must have $x^d-a$ as its minimal polynomial in order to have degree $d$. And also $d|n$. We also have $x^n-a$ is irreduicible. How does it follow that $x^d-a$ must also be irreducible? Also I'm having trouble showing $\mathbb{Q}(\sqrt[d]a)$ is the unique subfield of degree $d$. If we consider $N_{K/E}(\mathbb{Q}(\sqrt[d]a))$, which is in $E$, what are all the automorphisms? If $n$ is even the conjugation $\sqrt[n]a\mapsto-\sqrt[n]a$ is an automorphism.
For the second part, I have to show that if $n$ is odd then $K$ has no nontrivial subfields which are Galois over $\mathbb{Q}$ and if $n$ is even then the only nontrivial subfield of $K$ which is Galois over $\mathbb{Q}$ is $\mathbb{Q}(\sqrt{a})$.
Any help is appreciated!
Best Answer
Here is a more general situation. Let $F$ be a field, $a \in F^\times$, and assume $X^n - a$ is irreducible over $F$.
(1) We want to show for each $d|n$ that $X^d - a$ is irreducible over $F$.
(2) Writing $\sqrt[n]{a}$ as notation for a root of $X^n - a$, assume any $n$th roots of unity in $F(\sqrt[n]{a})$ in fact lie in $F$. (Example: $F = {\mathbf Q}$ and $a > 0$, so ${\mathbf Q}(\sqrt[n]{a})$ is isomorphic to a subfield of ${\mathbf R}$, which makes it clear that the only roots of unity at all in ${\mathbf Q}(\sqrt[n]{a})$ are $\pm 1$, which lie in ${\mathbf Q}$.) We want to show, for each $d|n$, that the only field between $F$ and $F(\sqrt[n]{a})$ of degree $d$ is $F(\sqrt[d]{a})$, where $\sqrt[d]{a} := \sqrt[n]{a}^{n/d}$.
Proof of (1): Write $\sqrt[d]{a}$ for $\sqrt[n]{a}^{n/d}$, so $\sqrt[d]{a}$ is a root of $X^d - a$. In the tower $F \subset F(\sqrt[d]{a}) \subset F(\sqrt[n]{a})$, we have $[F(\sqrt[d]{a}):F] \leq d$ and $[F(\sqrt[n]{a}):F(\sqrt[d]{a})] \leq n/d$, since $\sqrt[d]{a}$ is a root of $X^d - a \in F[X]$ and $\sqrt[n]{a}$ is a root of $X^{n/d} - \sqrt[d]{a} \in F(\sqrt[d]{a})[X]$. Because $$[F(\sqrt[n]{a}):F] = [F(\sqrt[n]{a}):F(\sqrt[d]{a})][F(\sqrt[d]{a}):F]$$ and we assume the left side is $n$, it follows that our upper bounds for the terms on the right must be equalities. In particular, $[F(\sqrt[d]{a}):F] = d$, so $X^d - a$ must be irreducible over $F$ (it has a root with degree $d$ over $F$).
Proof of (2): Let $d|n$ and suppose $E$ is a field with $F \subset E \subset F(\sqrt[n]{a})$ and $[E:F] = d$. To prove $E = F(\sqrt[d]{a})$, it suffices to show $\sqrt[d]{a} \in E$, since that would give us $F(\sqrt[d]{a}) \subset E$ and we already saw in (1) that $F(\sqrt[d]{a})$ has degree $d$ over $F$, so the containment $F(\sqrt[d]{a}) \subset E$ would have to be an equality.
Let $f(X)$ be the minimal polynomial of $\sqrt[n]{a}$ over $E$, so $f(X)|(X^n - a)$ and $\deg f = n/d$. Any two roots of $f(X)$ are $n$th roots of $a$, and thus have a ratio that is an $n$th root of unity, so in terms of the one root $\sqrt[n]{a}$ we can write any other root of $f(X)$ as $\zeta\sqrt[n]{a}$ for some $n$th root of unity $\zeta$. (I am not making any assumptions about the $n$th roots of unity being distinct, in case $F$ has positive characteristic, and these individual $n$th roots of unity need not lie in $F(\sqrt[n]{a})$.) In a splitting field, the factorization of $f(X)$ is $\prod_{i \in I} (X - \zeta_i\sqrt[n]{a})$ for some $n$th roots of unity $\zeta_i$ ($I$ is just an index set). The constant term of $f(X)$ is in $E$, so $(\prod_{i \in I} \zeta_i)\sqrt[n]{a}^{n/d} \in E$. Therefore $(\prod_{i \in I} \zeta_i)\sqrt[n]{a}^{n/d} \in F(\sqrt[n]{a})$, so $\prod_{i \in I} \zeta_i \in F(\sqrt[n]{a})$. The only $n$th roots of unity in $F(\sqrt[n]{a})$ are, by hypothesis, in $F$, so $\prod_{i \in I} \zeta_i \in F \subset E$. Therefore $\sqrt[n]{a}^{n/d} = \sqrt[d]{a}$ is in $E$, so we're done.
To see an example of this not involving the rational numbers, let $k$ be a field and $F = k(t)$, the rational functions over $k$ in one indeterminate. The polynomial $X^n - t$ is irreducible over $k(t)$, since it is Eisenstein at $t$. We let $\sqrt[n]{t}$ denote one root of $X^n - t$, so $F(\sqrt[n]{t}) = k(\sqrt[n]{t})$ has degree $n$ over $k(t)$. All roots of unity in $k(\sqrt[n]{t})$ -- not just $n$th roots of unity -- are in $k$, because $k(\sqrt[n]{t})$ is a rational function field in one indeterminate over $k$ (it's $k$-isomorphic to $k(t)$) and there's a general theorem that any roots of unity in a rational function field over $k$ are in the constant field $k$. By the above work, the only fields between $k(t)$ and $k(\sqrt[n]{t})$ are $k(\sqrt[d]{t})$ for $d|n$.
An example where the hypothesis that all $n$th roots of unity in $F(\sqrt[n]{a})$ are in $F$ is false, and the conclusion is nevertheless true, is $F = {\mathbf Q}(i)$, $a = 2$, and $n = 8$: $[{\mathbf Q}(i,\sqrt[8]{2}):{\mathbf Q}(i)] = 8$. The extension ${\mathbf Q}(i,\sqrt[8]{2})/{\mathbf Q}(i)$ is Galois with a cyclic Galois group, but not all 8th roots of unity are in ${\mathbf Q}(i)$.