Dummit And Foote Solutions Chapter 14

Mastering Abstract Algebra: A Comprehensive Guide to Dummit and Foote Solutions for Chapter 14 (Galois Theory)

For students of higher algebra, Abstract Algebra by David S. Dummit and Richard M. Foote is widely regarded as the "bible" of the discipline. It is rigorous, encyclopedic, and often daunting. Among its 19 chapters, Chapter 14: Galois Theory stands as the pinnacle of the first semester or full-year course. It is where all previous concepts—group theory, ring theory, and field extensions—converge into the elegant and powerful framework developed by Évariste Galois.

However, the difficulty spike in Chapter 14 is notorious. The exercises transition from computational verification to deep, conceptual proofs that require creativity. This is why searches for "Dummit And Foote Solutions Chapter 14" are among the most common queries by graduate students worldwide.

This article provides a roadmap through Chapter 14, offering detailed insight into the solution strategies for its most critical sections, common pitfalls, and how to approach the problems without simply copying answers.

2.7 Section 14.9: Solvability of Equations by Radicals

The historical motivation for the subject. Dummit And Foote Solutions Chapter 14

  • Solvability: A polynomial is solvable by radicals iff its Galois group is a solvable group.
  • Insolvability: Proving the quintic cannot be solved generally by finding a polynomial with $S_5$ as its Galois group (since $S_5$ is not solvable).

Sections 14.6 & 14.7: Solvable and Radical Extensions (Quintic Unsolvability)

This is the climax of the chapter. Solutions here are less computational and more proof-heavy.

Common Request: "Prove that $x^5 - 4x + 2$ is not solvable by radicals."

Dummit & Foote Solution Strategy:

  1. Show polynomial is irreducible over $\mathbbQ$ (Eisenstein with $p=2$).
  2. Compute discriminant (or use mod $p$ reduction). Show the polynomial has exactly 3 real roots (calculus: derivative $5x^4 - 4 = 0$ yields two critical points; evaluate polynomial to see sign changes). Thus the Galois group contains a transposition (complex conjugation).
  3. Mod 2 reduction: $x^5 + 1$ mod 2? Actually, reduce mod a prime like 3 or 5 to find a 5-cycle. For $x^5 -4x+2$, reduce mod 3: $x^5 - x - 1 \mod 3$; check it factors as $(x^2 + ax + b)(x^3...)$ – no, it's irreducible mod 3? Wait, the standard Dummit & Foote example uses mod 5. Let’s be precise: modulo 5, $x^5 -4x+2 \equiv x^5 + x + 2$ (since -4 ≡ 1 mod 5). This has no roots mod 5? Check x=0→2, x=1→4, x=2→32+2+2=36≡1, x=3→243+3+2=248≡3, x=4→1024+4+2=1030≡0? 4^5=1024≡4, 4+4+2=10≡0 mod 5. So x=4 is a root. So it factors – not irreducible mod 5. So try mod 7: $x^5 -4x+2$ mod7. x=0→2, x=1→-4+3? Wait, 1-4+2=-1≡6, not 0. But the point: by Dedekind's theorem, if mod p it factors into irreducibles of degrees, the Galois group contains an element of that cycle type. Eventually, you show the group contains a 5-cycle and a transposition, hence the full symmetric group $S_5$, which is not solvable.

Critical Note: Many "solutions" found online skip the verification of the 5-cycle. A complete Dummit And Foote Solutions Chapter 14 answer must include the mod $p$ reduction argument or a resolvent calculation.

Problem Type B: Finite Fields (Section 14.6)

Problem Statement: Factor $x^4 + x + 1$ over $\mathbbF_2$ and find its splitting field.

Solution Sketch:

  1. Check for roots in $\mathbbF_2$: $f(0)=1, f(1)=1$. No linear factors.
  2. Check quadratic factors. Only irreducible quadratic is $x^2+x+1$. $(x^2+x+1)^2 = x^4+x^2+1 \neq x^4+x+1$.
  3. Therefore, the polynomial is irreducible.
  4. Adjoin a root $\alpha$. The field is $\mathbbF2(\alpha) \cong \mathbbF2^4 = \mathbbF_16$.
  5. The splitting field is $\mathbbF_16$ because finite fields are perfect, and all roots lie in the extension generated by one root.

Problem Type A: Determining Galois Groups (Section 14.5)

Problem Statement: Determine the Galois group of $x^3 - 2$ over $\mathbbQ$ and find the lattice of intermediate fields.

Solution Sketch:

  1. Roots: $\sqrt[3]2, \omega\sqrt[3]2, \omega^2\sqrt[3]2$ where $\omega = e^2\pi i/3$.
  2. Splitting Field: $K = \mathbbQ(\sqrt[3]2, \omega)$.
  3. Degree: $[\mathbbQ(\sqrt[3]2) : \mathbbQ] = 3$, and since $\omega \notin \mathbbQ(\sqrt[3]2)$ (real vs complex), $[K : \mathbbQ(\sqrt[3]2)] = 2$. Total degree = 6.
  4. Group Identification: The group has order 6. It permutes the 3 roots, so it is a subgroup of $S_3$. Since the degree is 6, it must be $S_3$.
  5. Subgroups: $S_3$ has subgroups: $e$, three subgroups of order 2 (generated by transpositions), one subgroup of order 3 ($A_3$, generated by 3-cycles), and $S_3$.
  6. Intermediate Fields:
    • Corresponding to $A_3$: The quadratic subfield $\mathbbQ(\omega)$ (fixed by even permutations).
    • Corresponding to transpositions: Three subfields of degree 3: $\mathbbQ(\sqrt[3]2)$, $\mathbbQ(\omega\sqrt[3]2)$, $\mathbbQ(\omega^2\sqrt[3]2)$.

2. Overview of Chapter 14 Structure

The chapter is methodically structured to build the Fundamental Theorem before applying it to classical problems. Mastering Abstract Algebra: A Comprehensive Guide to Dummit