Galois Theory¶

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

Version: v2 · 2026-09-06 · History
Domain-specific #: 1909
Origin domain: mathematics
Subdomain: field theory
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.^[1]

The mechanism replaces explicit manipulation of roots with invariant information about how automorphisms permute them while preserving all algebraic relations over the base field. For a separable polynomial, pass to its splitting field, compute or constrain the group acting on its roots, and translate a polynomial question into a subgroup question. A polynomial over a characteristic-zero field is solvable by radicals when its Galois group is solvable, subject to the standard splitting-field formulation and availability of the required roots of unity. This explains why degree alone does not settle every individual equation and why the generic quintic has no radical formula even though special quintics may.^[2]

The autonomous residual is not ‘all of field theory’ and not simply the prime Symmetry. It is the coordinated package base field + suitable extension or splitting field + base-fixing automorphism group + fixed fields + inclusion-reversing correspondence + transfer of algebraic questions. Normality and separability matter: for an arbitrary finite extension, automorphisms may be too few and the fixed-field/subgroup assignments need not be mutually inverse. Infinite Galois theory adds a profinite topology and pairs intermediate fields with closed subgroups; differential, étale, and Grothendieck-style theories are generalizations with altered objects. The classical identity remains a durable domain-specific abstraction rather than a history label.

Structural Signature¶

A base field \(K\). Its elements are held fixed and determine which algebraic relations count as observable.
An extension \(L/K\). Commonly a splitting field supplies the domain containing all roots under study.
Normality. Every irreducible polynomial over \(K\) with one root in \(L\) splits in \(L\), in the finite algebraic setting.
Separability. Relevant minimal polynomials have distinct roots, preventing inseparability from collapsing automorphism data.
Base-fixing automorphisms. Elements of \(\mathrm{Gal}(L/K)\) preserve field operations and fix \(K\) pointwise.
Group action on roots. Automorphisms permute conjugate roots compatibly with every polynomial relation over \(K\).
Fixed fields. For a subgroup \(H\), the field \(L^H\) contains precisely the elements fixed by all members of \(H\).
Intermediate-field stabilizers. For \(E\), \(\mathrm{Gal}(L/E)\) records automorphisms fixing the larger field.
Inclusion reversal. \(H_1\subseteq H_2\) implies \(L^{H_2}\subseteq L^{H_1}\).
Transfer theorems. Normal subgroups, quotients, and solvable series translate into extension and radical-solvability statements.

What It Is Not¶

Not group theory alone. The group is bound to a field extension and a specified fixed base.
Not field theory generally. Many field constructions do not use the automorphism–fixed-field correspondence.
Not a formula for every polynomial. The theory diagnoses structure and solvability; it need not output simple radicals.
Not any Galois connection. The order-theoretic term generalizes a pattern but does not retain fields, automorphisms, or roots.
Not valid unchanged for inseparable extensions. Automorphism groups can fail to recover intermediate-field structure.
Not merely Évariste Galois's historical work. The node denotes the modern mathematical framework and its obligations.

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. Do not announce ‘solvable by radicals’ without declaring the ground-field assumptions and the solvability of the Galois group. For infinite extensions, restrict the subgroup side to closed subgroups in the Krull topology. In positive characteristic, distinguish separability failures from normality failures. A computed permutation group must be shown to be the actual Galois group, not merely a symmetric group large enough to contain it.

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. Resolvents, reduction modulo primes, discriminants, and cycle types can constrain a group without explicitly expressing every root. The abstraction thus changes the kind of problem—root formulas become structural classification—while retaining exact translations. It does not make group computation trivial; it makes the obligations and intermediate invariants explicit.

Abstract Reasoning¶

Choose the base field and construct or characterize a splitting field for the polynomial or extension.
Verify separability and normality, or state precisely which correspondence claims will be weakened.
Determine the base-fixing automorphisms and their faithful action on roots or generators.
Identify the resulting group using orders, cycle types, resolvents, discriminants, or structural constraints.
Map subgroups to fixed fields and intermediate fields to their stabilizer subgroups.
Use index-degree, normal-subgroup, and quotient relations only under their stated hypotheses.
Translate the target question—radicals, constructibility, or intermediate extensions—into group structure.
Return the group-theoretic conclusion to the original field or polynomial problem and record all base-field dependence.

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.

Examples¶

Canonical¶

Let \(L=\mathbb{Q}(\sqrt{2},\sqrt{3})\). Independent sign changes of \(\sqrt{2}\) and \(\sqrt{3}\) give a Galois group isomorphic to \(C_2\times C_2\). Its three subgroups of order two fix \(\mathbb{Q}(\sqrt{2})\), \(\mathbb{Q}(\sqrt{3})\), and \(\mathbb{Q}(\sqrt{6})\). The trivial subgroup fixes all of \(L\); the whole group fixes \(\mathbb{Q}\). Field degree and subgroup index agree, and the lattice is reversed.

Mapped back: finite Galois extension → base-preserving root symmetries → subgroup lattice ↔ reversed intermediate-field lattice.

Applied / In Practice¶

For \(x^3-2\) over \(\mathbb{Q}\), adjoining one real cube root does not yet give the splitting field; a primitive cube root of unity is also needed. The splitting field has a six-element nonabelian Galois group isomorphic to \(S_3\). The group is solvable, so the cubic is solvable by radicals. Calling the degree-three real extension ‘the Galois extension’ would lose normality and break the full correspondence.

Mapped back: polynomial over base field → complete splitting field → actual automorphism group → solvable series → radical-solvability conclusion.

Structural Tensions¶

Explicit roots vs. structural group. Formula seeking is concrete while symmetry classification is more compressive. Diagnostic: Is the question translated into an invariant group property?
General extension vs. Galois extension. Automorphisms alone may underrepresent an arbitrary extension. Diagnostic: Were normality and separability verified?
Subgroup inclusion vs. field inclusion. The correspondence reverses order and invites directional mistakes. Diagnostic: Does a larger subgroup produce a smaller fixed field?
Finite theorem vs. infinite extension. Infinite Galois groups require topology. Diagnostic: Are only closed subgroups used in the infinite correspondence?
Autonomous theory vs. Symmetry plus Field. Those ingredients do not alone yield fixed fields and the fundamental correspondence. Diagnostic: Is the bidirectional extension–automorphism translation doing indispensable work?

Structural–Framed Character¶

Base fixation, automorphism group, fixed fields, and hypothesis-controlled correspondence are structural. Choice of polynomial, resolvent, computational technique, and application is framed. The abstraction remains domain-specific because its symmetry objects are field automorphisms and its transfer theorem is about field extensions.

Structural Core vs. Domain Accent¶

The portable core is object → preserving transformations → invariants and subgroup structure. The domain accent is field extension, base-pointwise fixation, normality, separability, fixed fields, and inclusion reversal. Removing it leaves Symmetry; retaining it yields Galois Theory.

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. Duality and correspondence are important patterns, but the accepted Symmetry node explicitly includes discrete transformation groups and Galois-theoretic inference.

The prospective workspace queue contains one strict upward edge to prime:symmetry. No live DAG mutation is authorized.

Relationships to Other Abstractions¶

Current abstraction Galois Theory Domain-specific

Parents (1) — more general patterns this builds on

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 → Symmetry

Neighborhood in Abstraction Space¶

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

Family — Unclustered & Miscellaneous (1565 abstractions)

Nearest neighbors

Norm Form — 0.83
Cyclic Algebra — 0.82
Splitting field — 0.82
Real Closed Field — 0.82
Lie Algebra Extension — 0.81

Computed from structural-signature embeddings · 2026-09-08

Not to Be Confused With¶

Galois connection. An order-theoretic adjunction pattern abstracted far beyond fields.
Field extension. The algebraic inclusion on which Galois Theory imposes additional automorphism structure.
Group action. A general action lacking the fixed-base field correspondence.
Splitting field. The minimal field containing all roots, often an input to the theory rather than the whole theory.
Differential Galois theory. An analogue for differential equations with differential-field automorphisms.
Algebraic closure. A field containing roots of every polynomial, not the subgroup–intermediate-field framework.

References¶

[1] Falko Lorenz, Algebra, Volume I: Fields and Galois Theory (Springer, 2006), https://doi.org/10.1007/0-387-31608-6. registry ↩

[2] J. S. Milne, Fields and Galois Theory, course notes, version 4.61 (2020), https://www.jmilne.org/math/CourseNotes/FT.pdf. registry ↩