7. Let f(x) be irreducible over Q, and let F be its splitting field over Q. Show that if Gal (F/Q) is abelian, then F = Q(u) for all roots u of f(x).
Solution: Since F has characteristic zero, we are in the situation of the fundamental theorem of Galois theory. Because Gal (F/Q) is abelian, every intermediate extension between Q and F must be normal. Therefore if we adjoin any root u of f(x), the extension Q(u) must contain all other roots of f(x), since it is irreducible over Q. Thus Q(u) is a splitting field for f(x), so Q(u) = F.
Next problem | Next solution | Table of Contents
8. Find the Galois group of x^{9}-1 over Q.
Solution: We can construct the splitting field F of x^{9}-1 over Q by adjoining a primitive 9th root of unity to Q. We have the factorization
Comment: Section 8.5 of the text contains the full story. Theorem 8.5.4 shows that the Galois group of x^{n}-1 over Q is isomorphic to Z_{n}^{×} and so the Galois group is cyclic of order (n) iff n = 2, 4, p^{k}, or 2p^{k}, for an odd prime p.
Next problem | Next solution | Table of Contents
9. Show that x^{4}-x^{3}+x^{2}-x+1 is irreducible over Q, and use it to find the Galois group of x^{10}-1 over Q.
Solution: We can construct the splitting field F of x^{10}-1 over Q by adjoining a primitive 10th root of unity to Q. We have the factorization
The roots of this factor are the primitive 10th roots of unity, so it follows that [F:Q] = 4. The proof of Theorem 8.4.2 shows that Gal (F/Q) Z_{10}^{×} and so the Galois group is cyclic of order 4.
Next problem | Next solution | Table of Contents
10. Show that p(x) = x^{5}-4x+2 is irreducible over Q, and find the number of real roots. Find the Galois group of p(x) over Q, and explain why the group is not solvable.
Solution: The polynomial p(x) is irreducible over Q since it satisfies Eisenstein's criterion for p = 2. Since p(-2) = -22, p(-1) = 5, p(0) = 2, p(1) = -1, and p(2) = 26, we see that p(x) has a real root between -2 and -1, another between 0 and 1, and a third between 1 and 2. The derivative p'(x) = 5x^{4}-4 has two real roots, so p(x) has one relative maximum and one relative minimum, and thus it must have exactly three real roots. It follows as in the proof of Theorem 8.4.8 that the Galois group of p(x) over Q is S_{5}, and so it is not solvable.
Back to §8.3 Solutions | Up | Table of Contents