Efficient way to find Galois group In the book Abstract Algebra of Dummit and Foote, there is a problem as follows :

Let $K=\mathbb{Q}(\sqrt[8]{2},i), F_1=\mathbb{Q}(i), F_2=\mathbb{Q}(\sqrt{2}), F_3=\mathbb{Q}(\sqrt{-2})$.
  Prove that: $Gal(K/F_1)\cong Z_{8}, Gal(K/F_2)\cong D_8, Gal(K/F_3)\cong Q_8$

Here is my argument : 

Note that $K$ is the splitting field of $(x^8-2)(x^2+1)=0$ over $\mathbb{Q}$ so, $K$ is an extension field of $Q$ of degree 16. Since $F_1=\mathbb{Q}(i)$ is an extension field of degree 2 over $\mathbb{Q}$, using the fundamental theorem of Galois theory, we have |Gal(K/F_1)|=8$.

Now, my question is : How can I find the group $Gal(K/F_1)$ exactly and efficiently ? I have no way except trying to list all the possible elements, find the relationships between them, and then conclude, it may take too long for an extension of large degree.
 A: The field $K$ is an extension of $F_1$ of degree $8$. The minimal polynomial of $\sqrt[8]2$ over $F_1$ divides $x^8-2$ since $\sqrt[8]2$ is a root. Since adding $\sqrt[8]2$ to $F_1$ generates an extension of degree $8$ of $F_1$, the minimal polynomial of $\sqrt[8]2$ over $F_1$ must have degree $8$, hence it is $x^8-2$. Therefore the extension is cyclic, hence its Galois group is cyclic. 
To check this last claim, use Proposition $36$ of chapter 14 section 7 : since $L = \Bbb Q(\sqrt 2, i)$ contains the $8^{\text{th}}$ roots of unity, the extension $L(\sqrt[8]2)/L = K/L$ is cyclic. Therefore, $\mathrm{Gal}(K/L)$ is a cyclic subgroup of $\mathrm{Gal}(K/F)$. Since $\mathrm{Gal}(K/L)$ has index $2$ in $\mathrm{Gal}(K/F)$, it is normal, so let $\sigma_1 \in \mathrm{Gal}(K/F) - \mathrm{Gal}(K/L)$. Check that $\sigma_1$ generates $\mathrm{Gal}(K/F)$ using the above information.
EDIT : I admit I can't finish the proof... I thought it had a neat end. I'll leave it there just in case someone can finish it.
Perhaps using chapter 14.7 is a little harsh because it comes later on, but if you look at the proof of that proposition you see that the ideas are not quite fancy, you can read them already and get a good idea of what it is about.
Hope that helps,
A: One approach that works here is a result of Kummer. Suppose that $L = F(\sqrt[n]{a})$ for some $a\in F$. If $L/F$ is Galois, then $\operatorname{Gal}(L/F) \simeq \mathbb{Z}/d\mathbb{Z}$ for some $d\mid n$.
Edit: In general, the result is for extensions $L/F$ where $F$ contains an $n$-th root of unity. However, the assumption that $F$ contains an $n$-th root of unity is required only in showing that $L/F$ is Galois, which I believe you're already sure of from you question. Feel free to ask if I'm interpreting falsely!
In your case, you already know that $K/F_1$ is Galois, and so, if you know the Galois group has order 8, and must be $\mathbb{Z}/d\mathbb{Z}$ for some $d\mid 8$, you are done!
The proof of this result is fairly easy to push to full generality, so I'll just look at what's left for the case with $K/F_1$. As the roots of $x^8 - 2$ are of the form $\omega^i\sqrt[8]{2}$ for $1\leq i\leq 8$, where $\omega$ is a primitive 8-th root of unity, each automorphism must map $\sqrt[8]{2}$ to one of these multiples, which is well-defined mod 8. So you have a map $\operatorname{Gal}(K/F_1) \to \mathbb{Z}/8\mathbb{Z}$ that is (check!) an injective homomorphism, and so $\operatorname{Gal}(K/F_1)$ is a subgroup of $\mathbb{Z}/8\mathbb{Z}$.
I don't think there is a "general method" that easily computes the Galois group of any extension, ever, (I could see showing an extension has Galois group isomorphic to the Monster needing particularly resilient methods of attack!) but if you know tricks that handle most of the common extensions, you should be able to deal with most extensions that come your way.
