Is the subextension of a cyclotomic extension Galois?

146 Views Asked by At

If $\alpha$ is a root of the polynomial $f(X)=X^p-a$ over field $F$ of characteristic not $p$, where $p$ is a prime and $a$ is not a $p$-th power. Assume that $F(\alpha) \subset F(\zeta_p)$, do we have $F(\alpha)/F$ is Galois?

1

There are 1 best solutions below

0
On BEST ANSWER

@DonAntonio essentially answered this in his comment. The extension $F(\zeta_p)/F$ is Galois with abelian Galois group, hence every intermediate subfield $E$ (i.e. field $E$ with $F\subset E \subset F(\zeta_p)$) is Galois over F by the Fundamental Theorem of Galois Theory. Here we've used the fact that every subgroup of an abelian group is normal.