Galois Theory — Splitting Fields and Automorphisms

A splitting field of a polynomial $f\in F[x]$ over a field $F$ is a minimal extension $E/F$ in which $f$ splits into linear factors. The central discovery of Galois theory is that the symmetries of such an extension — the automorphisms of $E$ that fix $F$ pointwise — encode all the arithmetic of the roots, and that these symmetries form a finite group whose subgroup lattice mirrors the lattice of fields between $F$ and $E$. This matters because it converts hard questions about polynomial equations (Can the roots be expressed in radicals? Can an angle be trisected?) into tractable questions about finite groups. The surprising fact: a polynomial of degree 5 or higher generically has no radical formula not because we lack cleverness, but because the symmetric group $S_5$ is not solvable — a purely group-theoretic obstruction.

The Core Insight

The roots of an irreducible polynomial are interchangeable in a precise sense: any algebraic relation satisfied by one root with coefficients in $F$ is satisfied by all of them. The automorphisms of the splitting field permute the roots while preserving every such relation. Thus the Galois group is the group of "permutations of the roots that respect $F$-arithmetic." Knowing this group is equivalent to knowing the entire web of intermediate fields — this is the Galois correspondence.

Formal Statement

Splitting Field

Let $F$ be a field and $f\in F[x]$ a nonconstant polynomial. An extension field $E\supseteq F$ is a splitting field of $f$ over $F$ if:

1. $f$ splits completely in $E[x]$:

1. $E$ is generated over $F$ by these roots:

Automorphism Group of an Extension

For an extension $E/F$, the group of $F$-automorphisms is

When $E/F$ is finite, normal, and separable (a Galois extension), this group is denoted $\mathrm{Gal}(E/F)$, the Galois group.

Normal and Separable

Existence and Uniqueness of Splitting Fields

For any nonconstant $f\in F[x]$, a splitting field $E$ exists and satisfies

Moreover any two splitting fields of $f$ over $F$ are $F$-isomorphic. The number of $F$-automorphisms satisfies

Fundamental Theorem of Galois Theory

Let $E/F$ be a finite Galois extension with $G=\mathrm{Gal}(E/F)$. There is an inclusion-reversing bijection between intermediate fields $K$ with $F\subseteq K\subseteq E$ and subgroups $H\le G$:

Degrees and indices match:

The intermediate field $K$ is normal over $F$ iff $H=\mathrm{Gal}(E/K)$ is normal in $G$, in which case

Why It Holds

Galois Correspondence via Artin's Theorem

Évariste Galois | 1811–1832

Galois, dead in a duel at twenty, wrote down on the eve of his death the memoir that founded the theory bearing his name. He introduced the word group and the idea that a polynomial's solvability is governed by the structure of a group of permutations of its roots. His manuscripts, rejected and lost by Cauchy and Fourier, were published only in 1846 by Liouville. The modern field-theoretic reformulation — splitting fields, automorphism groups, the correspondence — is due principally to Dedekind, Steinitz, and above all Emil Artin, whose 1942 lectures recast the whole subject around the fixed-field theorem rather than around resolvents.

Building Intuition

Picture the roots of an irreducible polynomial as a set of indistinguishable particles: from the vantage point of the base field $F$, you cannot tell them apart. $\sqrt{2}$ and $-\sqrt{2}$ both satisfy $x^2-2=0$, and no polynomial with rational coefficients distinguishes them — so the map $\sqrt{2}\mapsto -\sqrt{2}$ is a symmetry of $\mathbb{Q}(\sqrt{2})$. The Galois group catalogues all such consistent relabelings.

Now stack symmetries. If you adjoin two independent square roots, $\mathbb{Q}(\sqrt{2},\sqrt{3})$, you have two independent "flips," giving $\mathbb{Z}/2\times \mathbb{Z}/2$. Each subgroup corresponds to a sub-collection of symmetries you choose to keep fixed — and the field fixed by that subgroup is an intermediate field. The correspondence is a perfect dictionary: ask any question about which numbers lie in which subfield, and translate it into which automorphisms fix which elements.

The Galois correspondence for $\mathbb{Q}(\sqrt2,\sqrt3)/\mathbb{Q}$: subgroup lattice (left) mirrors field lattice (right), inclusion-reversed.

Worked Examples

Galois group of $x^2-2$ over $\mathbb{Q}$

The only intermediate fields are $\mathbb{Q}$ and $\mathbb{Q}(\sqrt{2})$ — matching the only subgroups $G$ and $\{e\}$.

Galois group of $x^3-2$ over $\mathbb{Q}$

The subgroups of $S_3$ (one of order 3, three of order 2, plus $\{e\}$ and $S_3$) correspond exactly to the intermediate fields: $\mathbb{Q}(\omega )$ (normal, index 3 $\to$ quotient $\mathbb{Z}/2$), and the three conjugate non-normal fields $\mathbb{Q}({\omega }^k\sqrt[3]{2})$.

Common Misconceptions

:::counterexample[Equality $|\mathrm{Aut}|=[E:F]$ can fail] Over $\mathbb{Q}$, the extension $\mathbb{Q}(\sqrt[3]{2})/\mathbb{Q}$ has degree 3, but

The extension is separable but not normal, so equality in [5] is lost. In positive characteristic one can also lose equality through inseparability: ${\mathbb{F}}_p(t^{1/p})/{\mathbb{F}}_p(t)$ has degree $p$ but only the trivial automorphism, because $x^p-t=(x-t^{1/p}{)}^p$ has a single root of multiplicity $p$.

Connections

Splitting fields and their automorphisms sit at the crossroads of several theories. The Galois group encodes Solvability by Radicals: a polynomial is solvable by radicals iff its group is a Solvable Group, the obstruction for degree $\ge 5$ being the simplicity of $A_5$. The correspondence is a finite-dimensional shadow of Infinite Galois Theory, where one equips the group with the Krull topology and restricts to closed subgroups. Over finite fields, every extension is Galois with cyclic group generated by the Frobenius Endomorphism $x\mapsto x^p$, giving $\mathrm{Gal}({\mathbb{F}}_{p^n}/{\mathbb{F}}_p)\cong \mathbb{Z}/n$. The whole apparatus generalizes to Galois Cohomology and, via Grothendieck's Galois Theory, to a fundamental-group analogy linking field extensions and covering spaces. The structure of the absolute Galois group $\mathrm{Gal}(\overline{\mathbb{Q}}/\mathbb{Q})$ is the central object of modern Class Field Theory and the Langlands Program.

Real-World Applications

1. Ruler-and-compass impossibility. Trisecting a general angle, doubling the cube, and squaring the circle are impossible because constructible numbers lie in towers of degree-2 extensions, so their degree over $\mathbb{Q}$ must be a power of 2 — but $\sqrt[3]{2}$ (cube doubling) has degree 3.
2. Reed–Solomon and BCH codes. Error-correcting codes used in CDs, DVDs, QR codes, and deep-space communication are built over finite fields ${\mathbb{F}}_{2^m}$, whose arithmetic and minimal polynomials are governed by Frobenius/Galois structure.
3. Cryptography. AES's S-box uses inversion in ${\mathbb{F}}_{2^8}$; elliptic-curve and pairing-based cryptosystems rely on Galois actions on torsion points and Tate modules.
4. Computer algebra systems. Software (Magma, PARI/GP, GAP) computes Galois groups of polynomials to factor, solve, and simplify radical expressions automatically.
5. Inverse Galois problem in engineering symmetry. Realizing prescribed symmetry groups as Galois groups underlies the design of certain algebraic structures and the classification of number fields.
6. Quantum computing / hidden subgroup problems. Algebraic number-theoretic algorithms (e.g. for the principal ideal problem) lean on Galois-theoretic structure of class groups.
7. Physics of integrable systems. Differential Galois theory (Picard–Vessiot) — the analogue for linear ODEs — decides integrability in closed form, used in celestial mechanics and Hamiltonian dynamics.

Historical Development

• 1770 — Lagrange studies resolvents and permutations of roots, anticipating group ideas in Réflexions sur la résolution algébrique des équations.
• 1799/1824 — Ruffini & Abel prove the general quintic is unsolvable by radicals; Abel's 1824 proof is rigorous but lacks a structural explanation.
• 1830–1832 — Galois writes the decisive memoir, introducing groups and the solvability criterion; killed in a duel May 1832.
• 1846 — Liouville publishes Galois's papers in his Journal, finally making them known.
• 1870 — Jordan systematizes Galois theory in Traité des substitutions, the first textbook treatment.
• 1893–1910 — Dedekind & Weber, Steinitz reframe the theory abstractly in terms of fields; Steinitz's 1910 Algebraische Theorie der Körper establishes splitting fields and algebraic closure.
• 1928 — Krull extends the correspondence to infinite extensions using a topological (profinite) group.
• 1942 — Artin delivers his Notre Dame lectures, basing everything on linear independence of characters and the fixed-field theorem — the modern formulation taught today.
• 1954 onward — Inverse Galois Problem intensively studied (Shafarevich proves solvable groups occur over $\mathbb{Q}$, 1954); general case still open.

Subtleties & Limits

The Inverse Galois Problem asks: is every finite group the Galois group of some Galois extension of $\mathbb{Q}$? Despite vast progress — all solvable groups (Shafarevich), all symmetric and alternating groups, 25 of the 26 sporadic simple groups, and many groups of Lie type are known to be realizable — the general problem remains open. Even harder is the regular inverse Galois problem over $\mathbb{Q}(t)$ and the structural determination of the absolute Galois group $\mathrm{Gal}(\overline{\mathbb{Q}}/\mathbb{Q})$, whose abelianization is described by class field theory but whose full structure is wildly mysterious — Grothendieck's theory of dessins d'enfants and the conjectural action through $\widehat{GT}$ (the Grothendieck–Teichmüller group) are among the deepest threads of contemporary number theory.

In positive characteristic, inseparability obstructs the clean count $|\mathrm{Aut}|=[E:F]$; one must work with separable closures and purely inseparable factors. The differential and difference analogues (Picard–Vessiot, Galois theory of $q$-difference equations) face their own open structural questions.

See Also