Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

How do I show that $\mathbb{Q}(\sqrt[4]{7},\sqrt{-1})$ is Galois?

At first I thought it was the splitting field of $x^4-7$, but I was only able to prove that it was a subfield of the splitting field. Any ideas?

I'm trying to find all the intermediate fields in terms of their generators, but I don't understand how. I am trying to imitate Dummit and Foote on this. I am looking at the subgroups of the Galois group in terms of $\tau$ where $\tau$ is the automorphism that takes $\sqrt[4]{7}$ to itself and $i$ to $-i$, and $\sigma$ that takes $\sqrt[4]{7}$ to $i\sqrt[4]{7}$ and $i$ to itself. How do I, for example, find the subfield corresponding to $\{1, \tau\sigma^3\}$? I know I am supposed to find four elements of the galois group that $\tau\sigma^3$ fixes, but so far i can only find $-\sqrt[4]{7}^3$.

share|cite|improve this question
If you can show that $\mathbb{Q}(\sqrt[4]{7},i)$ is a subfield of the splitting field, then show that every root of $x^4-7$ is in $\mathbb{Q}(\sqrt[4]{7})$ and you'll be done. – Arturo Magidin Dec 4 '11 at 6:55
@MathMastersStudent: You are on the right track with only a small step left, what went wrong? – Eric Naslund Dec 4 '11 at 6:58
You have asked 9 questions, and you haven't accepted any answers. Do you know how to accept answers? Do you understand the importance to this website of accepting answers? – Gerry Myerson Dec 4 '11 at 7:00
Gerry, so sorry! I didn't know there was such a thing. I will check the meta-section and accept ASAP. This ite is wonderful. – MathTeacher Dec 4 '11 at 7:24
up vote 3 down vote accepted

The splitting field of your polynomial is generated by the $a=\sqrt 7$, $-a$, $ia$ and $-ia$, its roots. It therefore contains $a$ and $i=\frac{ia}{a}$. Obviously, the field generated by $a$ and $i$ also contains the four roots.

share|cite|improve this answer
Thanks Mariano. I am also asked to find explicit generators of the intermediate fields between $\mathbb{Q}$ and $\mathbb{Q}(\sqrt[4]{7},i)$. Should I just first look at the subgroups of the Galois group, or would this be doing down the wrong path? – MathTeacher Dec 4 '11 at 9:28
You should :) ${}$ – Mariano Suárez-Alvarez Dec 4 '11 at 13:08

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.