Niels Henrik Abel

Niels Henrik Abel (1802–1829) was a Norwegian mathematician who proved the impossibility of solving the general quintic equation by radicals, founded the theory of elliptic functions independently of Jacobi, and established rigorous standards for the convergence of infinite series. His name is attached to abelian groups, Abel's theorem, Abelian functions, and the Abel Prize. He worked in extreme poverty and died of tuberculosis at age 26, shortly before a professorship in Berlin was secured for him.

Niels Henrik Abel was among the most original mathematicians of the early nineteenth century, whose brief life produced results that reshaped algebra, analysis, and the theory of transcendental functions. His most celebrated achievement, the Abel–Ruffini theorem, demonstrated that no general formula in radicals exists for polynomial equations of degree five or higher — closing a problem open since the Renaissance. He simultaneously revolutionized the study of elliptic integrals by inverting them to obtain doubly periodic elliptic functions, and he insisted on a level of analytic rigor (especially regarding convergence) far ahead of his contemporaries. The surprising fact is that Abel accomplished all this between roughly ages 19 and 26, while chronically impoverished and largely unrecognized; the letter offering him a Berlin chair arrived two days after his death.

The Core Insight

Abel's unifying theme was the recognition that structural impossibility and structural symmetry govern what mathematics can and cannot do. The unsolvability of the quintic is not a failure of cleverness but a property of the symmetry group of the roots. The double periodicity of elliptic functions is not an accident but a consequence of inverting a multivalued integral. In both cases Abel replaced computation with conceptual analysis of the underlying structure — anticipating the group-theoretic and function-theoretic viewpoints that would dominate later mathematics.

Formal Statement

Solvability by Radicals

A polynomial equation $p (x) = 0$ with coefficients in a field $K$ (e.g. $Q$ ) is solvable by radicals if its roots can be expressed using the coefficients together with the operations $+, -, \times, \div$ and the extraction of $n$ -th roots $n$ , applied finitely many times.

The general polynomial of degree $n$ is

p (x) = x^{n} + a_{n - 1} x^{n - 1} + \dots + a_{1} x + a_{0},

where the coefficients

a_{0}, \dots, a_{n - 1}

are treated as independent indeterminates (the "general" case). Here

x

is the unknown,

n \in N

the degree, and the

a_{i}

symbolic parameters.

⟳This is a definition, not a derived equation; the "general" qualifier means we work over the field

Q (a_{0}, \dots, a_{n - 1})

of rational functions in the coefficients.

Abel–Ruffini Theorem (1824)

There exists no general algebraic formula expressing the roots of the general polynomial equation of degree $n \geq 5$ in terms of its coefficients using only radicals and the four arithmetic operations. Symbolically, for $n \geq 5$ the general equation

x^{n} + a_{n - 1} x^{n - 1} + \dots + a_{0} = 0

is not solvable by radicals, in contrast to degrees

n \leq 4

, for which the classical formulas (quadratic, Cardano's cubic, Ferrari's quartic) exist.

⟳The cutoff at

5

comes from the structure of the symmetric group

S_{n}

;

S_{n}

is solvable for

n \leq 4

but not for

n \geq 5

. Abel's original proof predates explicit group language and used permutations of the roots directly.

Abel's first attempt (1821) actually claimed a solution of the quintic; on checking his work he discovered the error and reversed course, proving impossibility instead.

Why It Holds

Structure of the Abel–Ruffini Argument

The modern reconstruction (using Galois-theoretic ideas Abel anticipated but did not formalize) proceeds in numbered steps.

Step 1. Associate to the general equation [2] its splitting field

L = Q (a_{0}, \dots, a_{n - 1}) (r_{1}, \dots, r_{n})

, where

r_{1}, \dots, r_{n}

are the roots. The Galois group of this extension is the full symmetric group:

Gal (L / K) ≅ S_{n} .

⟳Because the coefficients are independent indeterminates, every permutation of the roots is a field automorphism; no relation constrains them, giving the maximal possible group.

Step 2. A radical extension corresponds to a tower of fields each obtained by adjoining an

n

-th root:

K = K_{0} \subset K_{1} \subset \dots \subset K_{m} = L, K_{i + 1} = K_{i} (n_{i} α_{i}) .

⟳"Solvable by radicals" is exactly the statement that the roots lie in some such tower; each step adjoins one radical.

Step 3. Each radical step, after adjoining suitable roots of unity, has an abelian (in fact cyclic) Galois group. Hence solvability by radicals forces

Gal (L / K)

to be a solvable group: it admits a chain

{e} = G_{0} ◃ G_{1} ◃ \dots ◃ G_{m} = G, G_{i + 1} / G_{i} abelian .

⟳The Galois correspondence translates the field tower [4] into a subgroup chain [5]; cyclic quotients from radical adjunctions yield abelian quotients.

Step 4. For

n \geq 5

, the symmetric group

S_{n}

is not solvable, because it contains the simple non-abelian alternating group

A_{n}

(simple for

n \geq 5

), which has no nontrivial normal subgroups and no abelian quotient chain.

A_{n} simple, non-abelian ⟹ S_{n} not solvable, n \geq 5.

⟳A solvable group cannot contain a non-abelian simple group as a composition factor;

A_{n}

is such a factor of

S_{n}

Step 5. Steps 3 and 4 contradict each other: solvability by radicals demands

S_{n}

be solvable, but it is not. Therefore the general equation of degree

n \geq 5

is not solvable by radicals.

■

⟳This is the contradiction completing the proof; Abel's own version (1824) argued directly with the algebra of permutations of root expressions without naming "groups."

Abel proved the general (i.e. symbolic-coefficient) quintic is unsolvable. This does not mean every specific quintic is unsolvable — e.g. $x^{5} - 2 = 0$ is solved by $52$ . Determining which particular equations are solvable required Galois's later theory.

Niels Henrik Abel | 1802–1829

Born 5 August 1802 in Nedstrand (Finnøy), Norway, the son of a poor pastor, Abel showed genius at the Cathedral School in Christiania (Oslo) under the teacher Bernt Michael Holmboe. After his father's death he supported his family while studying. A government grant allowed travel to Berlin and Paris (1825–1827), where he befriended August Leopold Crelle — whose new Journal für die reine und angewandte Mathematik published much of Abel's best work. His monumental "Paris memoir" on transcendental functions was mislaid by the French Academy. Returning destitute to Norway, he contracted tuberculosis and died on 6 April 1829 at Froland, aged 26.

Building Intuition

Think of solving an equation as unwinding symmetry. A quadratic's two roots can be swapped — a tiny two-element symmetry — and the discriminant $b^{2} - 4 a c$ is exactly the gadget that "breaks" that swap. For cubics and quartics, the relevant symmetry groups ( $S_{3}$ , $S_{4}$ ) can be dismantled step by step into abelian pieces, and each dismantling step corresponds to a nested radical. But when you reach degree five, the symmetry group $S_{5}$ contains a rigid, indivisible "atom" — the alternating group $A_{5}$ — that cannot be broken into commuting pieces. Since radicals only ever give you commuting (abelian) symmetry-breaking, no stack of radicals can reach inside $A_{5}$ . The quintic is unsolvable because its symmetry is too rigid, not because we are not clever enough.

The solvability ladder: groups of $S_n$ collapse to $\{e\}$ for $n\le 4$ but stall at the simple block $A_5$ for $n=5$

Worked Examples

Verifying the quartic IS solvable — symmetry count

Given: the general quartic

x^{4} + a_{3} x^{3} + a_{2} x^{2} + a_{1} x + a_{0} = 0

, with Galois group

S_{4}

. Goal: confirm a radical solution can exist by showing

S_{4}

is solvable. Steps:

Order of the group: $∣ S_{4} ∣ = 4! = 24$ .
Composition chain: $S_{4} ▹ A_{4} ▹ V_{4} ▹ C_{2} ▹ {e}$ .
Successive quotient orders: $24/12 = 2$ , $12/4 = 3$ , $4/2 = 2$ , $2/1 = 2$ .
Each quotient has prime order $2$ or $3$ , hence is cyclic, hence abelian.

Since every step is abelian, the chain certifies $S_{4}$ is solvable, and so radicals (Ferrari's method) succeed.

Answer:

S_{4} solvable \Rightarrow general quartic solvable by radicals.

(dimensionless group orders)

Why $A_5$ blocks the quintic — counting elements

Given: the alternating group

A_{5}

, the obstruction inside

S_{5}

. Goal: show

A_{5}

has no nontrivial proper normal subgroup, so it has no abelian quotient. Steps:

Order: $∣ A_{5} ∣ = 5! /2 = 60$ .
Conjugacy class sizes in $A_{5}$ : $1$ (identity), $15$ (double transpositions), $20$ (3-cycles), $12 + 12$ (two classes of 5-cycles). Total $1 + 15 + 20 + 12 + 12 = 60$ . ✓
A normal subgroup is a union of conjugacy classes including ${e}$ , and its order must divide $60$ .
Candidate sums containing the class of size $1$ : $1, 1 + 15 = 16, 1 + 20 = 21, 1 + 12 = 13, 1 + 15 + 20 = 36, \dots$ — none other than $1$ and $60$ divide $60$ .

So the only normal subgroups are ${e}$ and $A_{5}$ itself: $A_{5}$ is simple and non-abelian.

Answer:

A_{5} simple \Rightarrow S_{5} not solvable \Rightarrow quintic not solvable by radicals.

(dimensionless)

Common Misconceptions

"Abel proved equations of degree 5 have no solutions." False. By the Fundamental Theorem of Algebra every degree-

n

polynomial has exactly

n

complex roots. Abel proved only that those roots cannot in general be expressed by radicals — they exist and can be approximated numerically or written using elliptic/theta functions (Hermite, 1858).

A solvable quintic

The equation $x^{5} - x - 1 = 0$ has Galois group $S_{5}$ over $Q$ and is genuinely unsolvable by radicals. But the cyclotomic quintic

x^{5} - 1 = 0

has solvable Galois group

C_{4}

(cyclic of order

4

) and is fully solvable: its roots are

1, ζ, ζ^{2}, ζ^{3}, ζ^{4}

with

ζ = e^{2 π i /5}

, all expressible in radicals via

cos (7 2^{\circ}) = \frac{5 - 1}{4}

⟳Roots of unity always generate abelian Galois groups, hence solvable; this shows the Abel–Ruffini barrier is about the

general equation, not the existence of solvable special cases.

Connections

Abel's impossibility result is the analytic-algebraic twin of Galois Theory, which Évariste Galois developed independently and which gives the exact criterion (solvable Galois group) for any specific polynomial. The required group concepts feed directly into Group Theory, where abelian groups are named in Abel's honor. His convergence work underlies Power Series and the modern treatment of Uniform Convergence. His elliptic functions launched the field of Elliptic Functions and, through their addition theorems, the theory of Riemann Surfaces and abelian varieties.

Algebra software (Maple, Mathematica, SageMath): algorithms that decide whether a given polynomial is solvable in radicals implement Galois-group computations descended from Abel–Ruffini.
Cryptography: the difficulty of working with non-abelian and elliptic-curve structures — descendants of Abel's elliptic functions — underpins elliptic-curve cryptography (ECC) used in TLS and Bitcoin.
Coding theory: abelian group structure governs cyclic and BCH error-correcting codes.
Physics — integrable systems: Abelian (commuting) symmetries determine conserved quantities; the KdV and other soliton equations are solved via Abel's theta/elliptic functions.
Numerical analysis: since radical formulas fail beyond degree 4, root-finding for high-degree polynomials relies on iterative methods (companion-matrix eigenvalues, Jenkins–Traub).
The Abel Prize: established by Norway in 2002, awarded annually, often called the "Nobel of mathematics," institutionalizing his legacy.
Pendulum and oscillation engineering: the exact period of a large-amplitude pendulum is given by a complete elliptic integral $K (k)$ , the object Abel inverted.

Historical Development

1799 — Paolo Ruffini publishes a (incomplete) argument for quintic unsolvability; gaps go unaddressed for decades.
1802 — Niels Henrik Abel born, 5 August, in Norway.
1821 — Abel enters the University of Christiania; briefly believes he has solved the quintic, then finds his error.
1824 — Abel publishes, at his own expense, a terse pamphlet proving the impossibility of solving the general quintic by radicals (the Abel–Ruffini theorem).
1826 — Travels to Berlin; meets Crelle; first issues of Crelle's Journal carry Abel's work, including an expanded impossibility proof and convergence studies of the binomial series.
1826 — Submits his great Paris memoir on the integration of algebraic differentials (Abel's theorem on Abelian functions) to the French Academy; Cauchy mislays it.
1827–1828 — Develops the theory of elliptic functions by inverting elliptic integrals, in a celebrated rivalry/parallel with C. G. J. Jacobi.
6 April 1829 — Abel dies of tuberculosis at Froland; two days later Crelle's letter arrives announcing a Berlin professorship.
1830 — The French Academy posthumously awards Abel (jointly with Jacobi) its Grand Prix for the recovered Paris memoir.
1841 — The lost Paris memoir is finally published.
2002 — The Abel Prize is established on the bicentenary of his birth.

Subtleties & Limits

Abel–Ruffini settles solvability by radicals, but broader questions remained and remain. The inverse Galois problem — whether every finite group occurs as a Galois group over $Q$ — is still open in general (though solved for all solvable groups by Shafarevich, and for many simple groups). Beyond radicals, Hermite (1858) showed the general quintic is solvable using elliptic modular functions, raising the still-studied question of which transcendental functions suffice for each degree. Abel's own grand program — the inversion and addition theory of Abelian integrals on higher-genus curves — generalized into the modern theory of abelian varieties and Jacobians, where deep open problems (e.g. the Hodge Conjecture and the Birch and Swinnerton-Dyer Conjecture) continue to drive research.