Why can't the general quintic be solved by radicals?

By Galois's criterion, solvability by radicals is equivalent to the Galois group being solvable. The symmetric group on five letters, which arises as the Galois group of a general quintic, is not solvable, so no general radical formula exists.

What does the Galois correspondence actually match up?

It pairs each field lying between the base field and the top field with the subgroup of automorphisms fixing it, reversing inclusions. This converts hard questions about fields into more tractable questions about finite groups.

Field Theory and Galois Theory

Field theory studies the arithmetic of fields and their extensions, and Galois theory establishes a precise dictionary between field extensions and groups of symmetries, resolving classical questions about solving polynomial equations.

Finn tema med PaperMindSnartFind papers & topics

Tools & resources

Last ned lysbilder

Learn & explore

VideoSnart

Definition

A field is a commutative ring in which every nonzero element has a multiplicative inverse. Field theory studies fields and the extensions among them; Galois theory analyzes a normal, separable extension through its automorphism group, the Galois group.

Scope

This area covers field extensions and their degrees, algebraic and transcendental elements, splitting fields and algebraic closures, separability and normality, the Galois correspondence between intermediate fields and subgroups, solvability by radicals, and the structure of finite fields. It is the capstone of a first graduate algebra sequence.

Sub-topics

Core questions

What is the degree and structure of a given field extension, and is it algebraic or transcendental?
How does the Galois group of an extension classify its intermediate fields?
When can a polynomial equation be solved by radicals?
What are the possible finite fields and how are they constructed?

Key theories

Fundamental theorem of Galois theory: For a finite Galois extension, there is an inclusion-reversing bijection between the intermediate fields and the subgroups of the Galois group, under which normal subgroups correspond to normal subextensions.
Solvability by radicals: A polynomial is solvable by radicals if and only if its Galois group is a solvable group; this criterion explains the impossibility of a general radical formula for quintic and higher-degree equations.
Classification of finite fields: For each prime power there is, up to isomorphism, exactly one finite field of that order, and its multiplicative group is cyclic; finite fields form a tower governed by divisibility of their degrees.

Clinical relevance

Galois theory settled the millennia-old problem of solving polynomial equations and the classical straightedge-and-compass construction problems. Finite fields are indispensable in coding theory, cryptography, and pseudorandom number generation, and the broader theory underlies algebraic number theory.

History

Building on Abel's proof that the general quintic is unsolvable by radicals, Galois introduced in the 1830s the group of an equation and the correspondence that now bears his name. Steinitz gave the modern abstract theory of fields in 1910, and Artin recast Galois theory in terms of automorphism groups and linear independence of characters.

Key figures

Évariste Galois
Niels Henrik Abel
Ernst Steinitz
Emil Artin
Leopold Kronecker

Seminal works

lang2002
dummit2004
artin2011

Frequently asked questions

Why can't the general quintic be solved by radicals?: By Galois's criterion, solvability by radicals is equivalent to the Galois group being solvable. The symmetric group on five letters, which arises as the Galois group of a general quintic, is not solvable, so no general radical formula exists.
What does the Galois correspondence actually match up?: It pairs each field lying between the base field and the top field with the subgroup of automorphisms fixing it, reversing inclusions. This converts hard questions about fields into more tractable questions about finite groups.