I have the field extension $E = \mathbb{Q}(z,w)$ over $F = \mathbb{Q}$ where $z = \sqrt[5]{2}$ and $w = e^{2i\pi / 5}$. I want to find the degree of the extension $[E:F]$.
I see that $E$ is the splitting field of $x^5 - 2$. And since this has degree $5$ I was initially thinking that the field extension has degree $5$. But then I was considering the tower $F \subseteq \mathbb{Q}(w) \subseteq \mathbb{Q}(z,w)$. I think each step has degree $5$, so by the tower law $[E:F] = 5^2 = 25$.
Is that correct?
Just out of curiosity, what does a specific basis look like?
It’s “well known” that $\Bbb Q(w)$ has degree $4$ over $\Bbb Q$, in fact the minimal polynomial for $w$ is $X^4+X^3+X^2+X+1$. Since $\sqrt[5]2$ is quintic over $\Bbb Q$, you expect that your larger field will have degree $20$ over $\Bbb Q$.
Let $K$ be the compositum of the fields $\Bbb Q(w)$ and $\Bbb Q(\sqrt[5]2\,)$. This is, by definition, the smallest field containing the two named fields, and its degree over $\Bbb Q$ must be divisible by both $4$ and $5$, thus by $20$. In particular, $[K:\Bbb Q]\ge20$, while on the other hand, you easily see that $\bigl[(\Bbb Q(w))(\sqrt[5]2\,):\Bbb Q(w)\bigr]\le 5$, with $K=(\Bbb Q(w))(\sqrt[5]2\,)$ and by the multiplicativity of field extension degree, $[K:\Bbb Q]\le20$.
An explicit basis? The collection $\lbrace \sqrt[5]2\,^iw^j\rbrace_{0\le i\le4,0\le j\le3}$ will do.