Document ID: V_2_15
Section: V_Mathematics_Information
Keywords: Galois theory, field extension, polynomial roots, solvability by radicals, quintic equation, group theory, Galois group, automorphism, symmetric group, alternating group, splitting field, normal extension, separable extension, fundamental theorem of Galois theory, Abel, Ruffini, constructible numbers, compass and straightedge, insolvability, algebraic closure, finite fields, cyclotomic polynomials
Category Tags: mathematics, information
Cross-References: V_2_01 — Abstract Algebra · V_1_01 — Number Theory · V_4_04 — Unsolved Problems · V_1_10 — Ancient Greek Math · ZA_3_08 — Unification Physics
Reliability Tier: Tier 1 (well-documented, peer-reviewed)
Last Updated: Mar 07, 2026 | Source Count: 11 | Weighted Score: 19 | Source Confidence: [2/5] | Confidence: High (well-documented, peer-reviewed)

QUICK SUMMARY

Galois theory, developed by Évariste Galois (1811-1832) in the last years of his tragically short life, is one of the great triumphs of abstract algebra — a theory connecting field extensions to group theory that definitively resolved ancient questions about polynomial equations. While formulas exist for solving polynomials of degree 2 (quadratic formula, known to Babylonians ~2000 BCE), degree 3 (Cardano-Tartaglia, 1545), and degree 4 (Ferrari, 1540s), mathematicians sought a general formula for degree 5 and higher. Ruffini (1799) and Abel (1824) proved that no general radical formula exists for the quintic, but Galois went far deeper — he established precisely which polynomial equations are solvable by radicals and which are not, by associating to each polynomial equation a group (now called the Galois group) that measures the symmetries among its roots. The fundamental theorem of Galois theory establishes a bijective correspondence between intermediate field extensions $K \subset E \subset L$ and subgroups $H \subset G$ of the Galois group, with normal extensions corresponding to normal subgroups. A polynomial is solvable by radicals if and only if its Galois group is a solvable group (a group with a composition series of abelian quotients). Since the symmetric group $S_5$ has only one nontrivial normal subgroup (the alternating group $A_5$, which is simple and non-abelian), the general quintic has an unsolvable Galois group. Beyond polynomials, Galois theory resolves the classical Greek compass-and-straightedge construction problems (proving the impossibility of trisecting an arbitrary angle, doubling the cube, and squaring the circle), classifies finite fields, and underpins modern algebraic number theory, algebraic geometry, and the Langlands program.

1. VERIFIED CLAIMS (Tier 1 — Peer-Reviewed / Established Mathematics)

1.1 Historical Background: Solving Polynomial Equations

• Quadratic formula (~2000 BCE–~600 CE): Babylonians solved quadratic equations; general formula $x = \frac{-b \pm \sqrt{b^2 - 4ac}}{2a}$; Indian mathematician Brahmagupta (628 CE) gave explicit formula including negative roots; involves only arithmetic operations and square roots
• Cubic and quartic formulas (16th century): Scipione del Ferro (~1510), Niccolò Fontana "Tartaglia" (~1535) discovered solutions to depressed cubic; Girolamo Cardano published in Ars Magna (1545); Lodovico Ferrari (Cardano's student) solved the quartic by reducing to a cubic; both formulas involve nested radicals (square and cube roots); led to recognition of complex numbers ($\sqrt{-1}$ appears even when all roots are real — "casus irreducibilis")
• Quintic impasse: Despite centuries of effort, no analogous radical formula found for degree ≥5; Lagrange (1770) analyzed why cubic/quartic methods work by studying permutations of roots — early proto-group theory; Ruffini (1799, incomplete proof) and Abel (1824, rigorous proof) showed impossibility of general radical solution; Abel-Ruffini theorem: there is no algebraic formula using radicals for the general polynomial of degree ≥5

1.2 Galois Theory: Core Framework

• Field extensions: A field extension $L/K$ is a field $L$ containing $K$ as subfield; degree $[L:K] = \dim_K L$ (dimension of $L$ as $K$-vector space); algebraic extension: every element of $L$ is a root of some polynomial with coefficients in $K$; splitting field of $f(x) \in K[x]$: smallest extension $L$ in which $f$ factors into linear factors
• Galois group: For a splitting field $L$ of $f(x)$ over $K$: $\text{Gal}(L/K) = \{\sigma: L \to L \mid \sigma \text{ is a field automorphism fixing } K\}$; the Galois group permutes the roots of $f$ while respecting all algebraic relations among them; $|\text{Gal}(L/K)| = [L:K]$ for a Galois (= normal + separable) extension; the Galois group embeds in $S_n$ (symmetric group on $n$ roots)
• Fundamental theorem of Galois theory: Bijective (inclusion-reversing) correspondence between: subgroups $H \subset \text{Gal}(L/K)$ ↔ intermediate fields $K \subset F \subset L$; $F = L^H$ (fixed field of $H$); $H = \text{Gal}(L/F)$; normal subgroup $H \unlhd G$ ↔ normal (Galois) extension $F/K$; in this case $\text{Gal}(F/K) \cong G/H$
• Solvability by radicals: A polynomial $f(x) \in K[x]$ is solvable by radicals ⟺ its Galois group $\text{Gal}(L/K)$ is a solvable group (has a subnormal series with abelian quotients); chain: $\{e\} = G_0 \triangleleft G_1 \triangleleft \cdots \triangleleft G_n = G$ with $G_{i+1}/G_i$ abelian; each abelian quotient corresponds to a radical extension (adjoining an $n$th root)

1.3 Insolvability of the General Quintic

• $S_5$ is not solvable: $S_5$ has composition series $\{e\} \triangleleft A_5 \triangleleft S_5$; $A_5$ is simple (no nontrivial normal subgroups) and non-abelian (order 60); since the composition series has a non-abelian factor ($A_5$), $S_5$ is not solvable; therefore, a generic quintic polynomial (whose Galois group is $S_5$) cannot be solved by radicals
• Specific solvable quintics exist: Not every quintic is unsolvable — $x^5 - 1 = 0$ (cyclotomic) has Galois group $\mathbb{Z}/4\mathbb{Z}$ (abelian, hence solvable); Galois's criterion: a specific polynomial is solvable by radicals iff its particular Galois group is solvable; the theorem is about the general (generic) polynomial
• Alternative solutions for quintics: Elliptic functions (Hermite, Kronecker, 1858) and modular forms provide non-radical solutions to the quintic; Bring-Jerrard reduction brings general quintic to $x^5 + ax + b = 0$; these use transcendental methods beyond the algebraic operations of Galois theory

1.4 Classical Construction Problems Resolved

• Constructible numbers: A number $\alpha$ is constructible with compass and straightedge from rational starting data iff $[\mathbb{Q}(\alpha):\mathbb{Q}]$ is a power of 2; since each compass-straightedge operation corresponds to a degree-2 field extension (solving a quadratic equation)
• Doubling the cube: Requires constructing $\sqrt[3]{2}$; $[\mathbb{Q}(\sqrt[3]{2}):\mathbb{Q}] = 3$ (not a power of 2) → impossible; known to Greek mathematicians as the Delian problem
• Trisecting an arbitrary angle: Trisecting 60° requires constructing $\cos 20°$; minimal polynomial of $\cos 20°$ is $8x^3 - 6x - 1$ (degree 3, irreducible over $\mathbb{Q}$) → impossible with compass and straightedge
• Squaring the circle: Requires constructing $\sqrt{\pi}$; Lindemann (1882) proved $\pi$ is transcendental ($\pi \notin \overline{\mathbb{Q}}$) → $[\mathbb{Q}(\sqrt{\pi}):\mathbb{Q}] = \infty$ → impossible
• Constructible regular polygons: Gauss (1796): regular $n$-gon is constructible ⟺ $n = 2^{a} p_1 p_2 \cdots p_k$ where $p_i$ are distinct Fermat primes ($p = 2^{2^m} + 1$); known Fermat primes: 3, 5, 17, 257, 65537; e.g., regular 17-gon is constructible (Gauss's construction 1796, aged 19)

2. CREDIBLE CLAIMS (Tier 2 — Strong Evidence, Active Research)

2.1 Inverse Galois Problem

• Problem statement: Is every finite group realizable as the Galois group of some polynomial over $\mathbb{Q}$? Known for: all abelian groups (Kronecker-Weber theorem), $S_n$ and $A_n$ for all $n$ (Hilbert), all solvable groups (Shafarevich), most sporadic simple groups including the Monster group; NOT known for all groups — the general problem remains open; one of the major open problems in algebra
• Noether's problem and rationality: Connected to the question: is the fixed field of $G$ acting on $\mathbb{Q}(x_1, \ldots, x_n)$ by permutation purely transcendental over $\mathbb{Q}$? Affirmative answer implies $G$ is a Galois group over $\mathbb{Q}$; negative answer known for some groups (Swan: $\mathbb{Z}/47\mathbb{Z}$ acting on $\mathbb{Q}(x_1, \ldots, x_{46})$)

2.2 Finite Fields and Applications

• Classification (Galois, 1830): For every prime power $q = p^n$, there exists a unique (up to isomorphism) finite field $\mathbb{F}_q$ of order $q$; Galois group $\text{Gal}(\mathbb{F}_{p^n}/\mathbb{F}_p) \cong \mathbb{Z}/n\mathbb{Z}$ generated by the Frobenius automorphism $x \mapsto x^p$; completely classified by Galois theory
• Modern applications: Finite fields underpin Reed-Solomon error-correcting codes (used in CDs, DVDs, QR codes, deep space communication); AES encryption (operations in $\mathbb{F}_{2^8}$); elliptic curve cryptography (arithmetic over finite fields); algebraic geometry over finite fields (Weil conjectures, proved by Deligne 1974)

2.3 Galois Theory in Number Theory

• Algebraic number theory: Galois groups of number field extensions govern decomposition of primes — Frobenius elements, Artin reciprocity, class field theory; cyclotomic fields $\mathbb{Q}(\zeta_n)$ have Galois group $(\mathbb{Z}/n\mathbb{Z})^*$; Kronecker-Weber theorem: every abelian extension of $\mathbb{Q}$ is contained in some cyclotomic field
• Langlands program: Grand unifying vision connecting Galois representations to automorphic forms; Galois groups of algebraic number fields encode deep arithmetic information; Andrew Wiles's proof of Fermat's Last Theorem (1995) used modularity of Galois representations attached to elliptic curves (Taniyama-Shimura-Weil conjecture); 2018 Fields Medalist Peter Scholze advanced the field via perfectoid spaces

3. SPECULATIVE CLAIMS (Tier 3 — Emerging / Theoretical)

3.1 Differential Galois Theory

• Picard-Vessiot theory: Analogous Galois theory for linear differential equations — Galois group is an algebraic group (Lie group) rather than a finite group; equation $y'' + p(x)y' + q(x)y = 0$ solvable in terms of elementary functions iff its differential Galois group is solvable; explains why $\int e^{-x^2}dx$ has no elementary closed form; active research connecting to D-modules and algebraic geometry
• Motivic Galois groups: Grothendieck's vision — a "universal" Galois group governing all cohomological symmetries in algebraic geometry; periods, multiple zeta values, and Feynman integrals in quantum field theory connected through motivic Galois theory; interface of mathematics and physics

4. DUBIOUS CLAIMS (Tier 4 — Fringe / Unsubstantiated)

4.1 Quintic Can Be Solved by Radicals [DISPROVEN]

• Periodically claimed by amateur mathematicians — Galois theory provides a complete, rigorous proof of impossibility; no amount of algebraic cleverness can circumvent the group-theoretic obstruction ($A_5$ being simple and non-abelian)

4.2 Galois's Death Was a Mathematical Conspiracy [UNSUPPORTED]

• Romanticized claims that Galois was assassinated for his mathematics or revolutionary politics — historical evidence indicates his death in a duel (May 31, 1832) was likely motivated by a romantic dispute; no evidence of conspiracy; Galois did write his mathematical testament the night before the duel, which dramatically contributed to his legend

IMAGES

Counter-Arguments & Criticisms

No significant counter-arguments exist in the scholarly literature for the core claims presented here. The topic of Galois Theory Field Extensions represents established knowledge within mathematics and information theory with no active scholarly dispute over the fundamental claims presented in this document.

BIBLIOGRAPHY

1. Artin, E. . , No | 1942 | "Galois Theory" | Notre Dame Mathematical Lectures | ∅ | ∅ | 2 | ∅ | ∅ | ∅ | ∅ | University of Notre Dame. DOI: 10.2307/3609118
2. Stewart, I. . | 2015 | ∅ | Galois Theory | ∅ | ∅ | CRC Press | 4th | isbn:9781482245837 | ∅ | ∅ | ∅
3. Edwards, H | 1984 | ∅ | Galois Theory | ∅ | ∅ | M. | ∅ | isbn:9780387909806 | ∅ | ∅ | Springer-Verlag
4. Tignol, J.-P. . | 2016 | ∅ | Galois' Theory of Algebraic Equations | ∅ | ∅ | World Scientific | 2nd | doi:10.1142/9719 | ∅ | ∅ | ∅
5. Abel, N | 1824 | "Mémoire sur les équations algébriques" | ∅ | ∅ | ∅ | H | ∅ | ∅ | ∅ | ∅ | Christiania
6. Galois, É. . , 11, 417 433. (Posthumous publication by Liouville.) | 1846 | "Mémoire sur les conditions de résolubilité des équations par radicaux" | Journal de Mathématiques Pures et Appliquées | ∅ | ∅ | ∅ | ∅ | doi:10.4000/bibnum.616 | ∅ | ∅ | ∅
7. Cox, D | 2012 | ∅ | Galois Theory | ∅ | ∅ | A. . | 2nd | isbn:9781118072059 | ∅ | ∅ | Wiley. DOI: 10.1002/9781118218457
8. Rotman, J | 1998 | ∅ | Galois Theory | ∅ | ∅ | J. . | 2nd | isbn:9780387985411 | ∅ | ∅ | Springer. DOI: 10.1007/978-1-4612-0617-0_16
9. Serre, J.-P. . | 2008 | ∅ | Topics in Galois Theory | ∅ | ∅ | A K Peters | 2nd | ∅ | ∅ | ∅ | ∅
10. Dummit, D | 2004 | ∅ | Abstract Algebra | ∅ | ∅ | S., & Foote, R | 3rd | isbn:9780471433347 | ∅ | ∅ | M. . ; Wiley. (Ch; 14: Galois Theory.)
11. Neumann, Peter M | 2011 | ∅ | The Mathematical Writings of Évariste Galois | ∅ | ∅ | Zürich: European Mathematical Society | ∅ | | ∅ | ∅ | ∅

CROSS-REFERENCE INDEX

• V_2_01 — Abstract Algebra: Group theory foundations essential for Galois theory
• V_1_01 — Number Theory: Number-theoretic applications of Galois groups
• V_1_10 — Ancient Greek Mathematics: Classical construction problems resolved by Galois theory
• V_4_04 — Unsolved Problems: Inverse Galois problem and related open questions
• ZA_3_08 — Unification Physics: Symmetry group concepts in physics parallel Galois symmetry
• V_2_05 — Algebraic Geometry: Étale cohomology and Galois actions in algebraic geometry

Last verified: Mar 07, 2026 — All sources peer-reviewed or from established mathematics literature

Corrections

• The Mathematical Writings of Évariste Galois — invalid ISBN 9783037190814 removed. No verified replacement could be found, and supplying an unverified number would be worse than none. The entry's author, title, publisher and year are unchanged.