I am trying to find the degree of the splitting field for $ x^3-5 $ over $\mathbb{Q}$. I have so far:
The splitting field will be $\mathbb{Q}(\sqrt[3]{5},u)$ where u is the 3rd root of unity. So I'm looking for the degree of $\mathbb{Q}(\sqrt[3]{5},u):\mathbb{Q}$.
$ x^3-5 $ is irreducible by Eisenstein's criterion so the degree of $\mathbb{Q}(\sqrt[3]{5}):\mathbb{Q}$ = deg($ x^3-5 $) = 3
I think the next step would be to find the degree of $\mathbb{Q}(\sqrt[3]{5},u):\mathbb{Q}(\sqrt[3]{5})$ and apply the tower law but I'm not sure if this is correct or how to do this.
Also would the degree of the splitting field over $\mathbb{Q}$ be the same as the degree of Gal($\mathbb{Q}(\sqrt[3]{5},u):\mathbb{Q}$)
Best Answer
Let $\zeta$ be a third root of unity and $K = \mathbf{Q} ( \sqrt[3]{5}), \zeta)$. $K$ contains the cyclotomic field of $3$rd roots of unity and is generated over it by $\sqrt[3]{5}$. Thus the degree is at most 6. $\mathbf{Q} (\sqrt[3]{5})$ and $\mathbf{Q}(\zeta)$ are both subfields of degrees 3 and 2 respectively. Since the degrees are relatively prime, the degree must be divisible by $3*2 = 6$ and so $[K: \mathbf{Q}] = 6$.
An even more direct route is to just use the fact that it is a composite field of relatively prime degrees.
Your final query regarding the Galois group is a bit confusing to me. Gal represents a Galois group, so it doesn't make sense to talk about its degree. I am guessing you mean to say order of the group then. In that case, this is always true. By definition, $K/F$ is Galois extension if $|\textrm{Aut} (K/F) | = [K:F]$ and we denote $\textrm{Aut} (K/F)$ as $\textrm{Gal}(K/F)$