Galois Theory

Relate a field extension to its automorphism group so subgroup structure encodes intermediate fields and polynomial solvability becomes a symmetry question.

Version

v3 · 2026-09-19 · History

Domain-specific #

1909

Domain group

Formal Sciences

Origin domain

Mathematics

Subdomain

Field Theory → Mathematics

Aliases

Classical Galois theory

Core Idea

Galois Theory studies field extensions through the groups of field automorphisms that fix a chosen base field. Given an extension \(L/K\), the group \(\mathrm{Gal}(L/K)\) consists of automorphisms of \(L\) that leave every element of \(K\) fixed. In the classical finite Galois case—finite, normal, and separable—the fundamental theorem establishes an inclusion-reversing correspondence between intermediate fields \(K\subseteq E\subseteq L\) and subgroups of \(\mathrm{Gal}(L/K)\). A larger intermediate field is fixed by a smaller subgroup, and a larger subgroup has a smaller fixed field. Lorenz develops the required progression from splitting fields and separability to Galois extensions, group actions, and solvability applications.

How would you explain it like I'm…

The Secret Answer Shuffle

Some number puzzles have secret answers hiding inside them. Galois Theory looks at all the ways you could swap those hidden answers around without breaking any of the puzzle's rules. Studying those swaps can tell you things about the puzzle, like whether there is a simple recipe for finding its answers.

Root-Swapping Groups

An equation like a polynomial has solutions called roots, and sometimes you can trade roots with each other so that every true rule about them still stays true. Galois Theory collects all these allowed trades into a group. Instead of hunting for the roots directly, mathematicians study the group of trades. This tells them, for example, whether the roots can be written using only adding, multiplying and taking roots like square roots. It explains why there is no general formula of that kind for every fifth-degree equation, even though some particular ones can be solved.

Fields Matched to Symmetry Groups

Start with a base field K, like the rational numbers, and extend it to a bigger field L, for example by adding the roots of a polynomial. The Galois group is the set of all ways to rearrange L that keep every element of K fixed and preserve addition and multiplication. When the extension is finite and has no missing or repeated roots (normal and separable), there is an exact matching between subgroups of this group and the fields lying between K and L. The matching flips size: a bigger in-between field is fixed by a smaller subgroup. This turns questions about roots into questions about groups. For example, a polynomial is solvable by radicals when its group is 'solvable', which is why there is no general formula for degree-five equations, even though some particular quintics can be solved.

 

Galois Theory studies a field extension L/K through Gal(L/K), the group of automorphisms of L that fix every element of K. For a separable polynomial, you pass to its splitting field. The Galois group then acts on the roots by permutations that respect every algebraic relation over K. In the finite Galois case (finite, normal, separable), the fundamental theorem gives an inclusion-reversing bijection: each intermediate field E corresponds to the subgroup fixing it, and each subgroup corresponds to its fixed field. Normality and separability are essential. Without them there may be too few automorphisms, and the two assignments need not be inverse to each other. The key application is that, in characteristic zero and with the needed roots of unity available, a polynomial is solvable by radicals when its Galois group is solvable. This explains why the generic quintic has no radical formula while some special quintics do. Infinite extensions require a profinite topology, and intermediate fields then pair with closed subgroups.

Scope of Application

Classical Galois Theory applies to polynomial splitting fields and normal separable extensions, with controlled extensions to infinite and other settings.

• Polynomial equations. Relating root permutations to algebraic relations and radical solvability.
• Constructibility. Translating straightedge-and-compass questions into towers of degree-two extensions.
• Finite fields. Using cyclic Galois groups generated by Frobenius automorphisms.
• Algebraic number theory. Studying number-field extensions, decomposition, inertia, and class-field constructions.
• Invariant theory. Recovering fixed elements and fields under automorphism groups.
• Infinite extensions. Using profinite Galois groups and closed subgroups when topology is stated explicitly.

Clarity

Specify the base field, extension field, and whether the extension is algebraic, finite, normal, and separable. If the object begins with a polynomial, state the splitting field rather than calling the polynomial itself an extension. Define the automorphisms as fixing the base pointwise. Write both directions of the correspondence and emphasize inclusion reversal. Distinguish a subgroup's fixed field from a single automorphism's fixed elements. State when normal subgroups correspond to Galois intermediate extensions and when quotient groups arise.

Manages Complexity

A degree-\(n\) polynomial presents up to \(n!\) root permutations, nested field adjunctions, and many algebraic identities. Galois Theory compresses this material by retaining only permutations induced by base-fixing field automorphisms. Closure, inverses, subgroups, normal series, and quotient groups then organize the possible symmetries. The fixed-field correspondence converts a lattice of subfields into a lattice of subgroups, often making degrees visible as group indices. Normality and separability act as adequacy conditions: without them, the automorphism data may lose information.

Abstract Reasoning

1. Choose the base field and construct or characterize a splitting field for the polynomial or extension.
2. Verify separability and normality, or state precisely which correspondence claims will be weakened.
3. Determine the base-fixing automorphisms and their faithful action on roots or generators.
4. Identify the resulting group using orders, cycle types, resolvents, discriminants, or structural constraints.
5. Map subgroups to fixed fields and intermediate fields to their stabilizer subgroups.

Knowledge Transfer

The strict parent is Symmetry because the theory makes the transformations that preserve all base-field structure into its primary object of inference. The transferable idea is to study an object through its automorphism group and fixed substructures: invariants compress permissible transformations, while subgroup structure classifies levels of retained information. The Galois correspondence is more specialized than generic symmetry because its two sides are field extensions and base-fixing automorphisms, and its equivalence depends on normality and separability.

Relationships to Other Abstractions

Current abstraction Galois Theory Domain-specific

Parents (1) — outgoing typed relations

• Galois Theory is a kind of Symmetry Prime

  Symmetry is the strict parent because Galois Theory identifies the full group of field transformations preserving the base and makes that group the carrier of inference.

Hierarchy path (1) — routes to 1 parentless root

• Galois Theory → is a kind of Symmetry

Neighborhood in Abstraction Space

Galois Theory sits in a sparse region of the domain-specific corpus (77^th percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.

Family — Field Extensions & Galois-Theoretic Structures (19 abstractions)

Nearest neighbors

• Galois Extension — 0.84
• Norm Form — 0.83
• Cyclic Algebra — 0.82
• Splitting field — 0.82
• Real Closed Field — 0.82

Computed from structural-signature embeddings · 2026-10-25