I'm having trouble identifying the subfields fixed by the Galois group of $x^4-4$ over $\mathbb{Q}$. I have the conjugation automorphism as $\phi$ and the automorphism $\psi$ defined by $\psi(\sqrt[4]{4})=i\sqrt[4]{4}$, with the Galois group calculated as $D_8$. I'm trying to identify the subfields fixed by the subgroups of the Galois group, but I'm stuck.
Subfields fixed by the Galois group of $x^4-4$
0
$\begingroup$
abstract-algebra
-
0ok...and that means what? – 2012-11-27
1 Answers
2
Notice that $x^4-4=(x^2-2)(x^2+2)$ so the splitting field is actually given by $\mathbb Q(\sqrt{2},i)$. In particular the Galois group is $\mathbb Z_2 \times \mathbb Z_2$ or klein-4 not $D_8$. So the non-trivial subfields are all degree $2$ extensions. I think you can finish it from here.
-
0Oh, crap. I totally screwed this one up. Thank you. – 2012-11-27