Abstract Algebra III: Field Extensions & Galois Theory
Abstract Algebra III: Field Extensions & Galois Theory delves into advanced algebraic structures, focusing on how fields can be extended to larger fields and the properties of such extensions. It explores the symmetries of roots of polynomials through Galois groups, connecting field theory and group theory. This topic is fundamental for understanding the solvability of equations by radicals and underpins much of modern algebra and number theory.
Abstract Algebra III: Field Extensions & Galois Theory
Abstract Algebra III: Field Extensions & Galois Theory delves into advanced algebraic structures, focusing on how fields can be extended to larger fields and the properties of such extensions. It explores the symmetries of roots of polynomials through Galois groups, connecting field theory and group theory. This topic is fundamental for understanding the solvability of equations by radicals and underpins much of modern algebra and number theory.
💡 Key Takeaways
- Define field extensions and compute their degree to distinguish finite vs. infinite extensions.
- Differentiate algebraic and transcendental extensions and identify minimal polynomials.
- Explore splitting fields, normal and separable extensions, and understand how these properties influence the Galois group.
- Apply the Fundamental Theorem of Galois Theory to relate intermediate fields to subgroups of the Galois group and discuss solvability by radicals.
❓ Frequently Asked Questions
What is a field extension?
A field extension E/F is a pair of fields with F ⊆ E; E is obtained by adjoining elements to F. The degree [E:F] is the dimension of E as a vector space over F (finite extensions have finite degree).
What is a Galois extension and what is the Galois group?
An extension E/F is Galois if it is normal and separable (equivalently, E is the splitting field of a separable polynomial over F). The Galois group Gal(E/F) consists of F‑automorphisms of E; its order equals [E:F] for finite extensions.
What is a splitting field and how does it relate to the roots and Galois groups?
The splitting field of a polynomial f ∈ F[x] is the smallest field extension of F in which f splits completely into linear factors (all roots lie there). Galois groups describe how these roots can be permuted by F‑automorphisms.
What is the Fundamental Theorem of Galois Theory?
For a finite Galois extension E/F, there is a one‑to‑one, inclusion‑reversing correspondence between intermediate fields K (F ⊆ K ⊆ E) and subgroups H ≤ Gal(E/F); normal subgroups correspond to normal extensions, and Gal(K/F) ≅ Gal(E/F)/H.