[Math] Efficient way to find Galois group

galois-theory

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.

Best Answer

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,