Abel–Ruffini theorem

In algebra, the Abel–Ruffini theorem (also known as Abel's impossibility theorem) states that there is no algebraic solution—that is, solution in radicals—to the general polynomial equations of degree five or higher with arbitrary coefficients. The theorem is named after Paolo Ruffini, who made an incomplete proof in 1799,^[1] and Niels Henrik Abel, who provided a proof in 1824.^[2][3]

Interpretation

The theorem does not assert that some higher-degree polynomial equations have no solution. In fact, the opposite is true: every non-constant polynomial equation in one unknown, with real or complex coefficients, has at least one complex number as a solution (and thus, by polynomial division, as many complex roots as its degree, counting repeated roots); this is the fundamental theorem of algebra. These solutions can be computed to any desired degree of accuracy using numerical methods such as the Newton–Raphson method or the Laguerre method, and in this way they are no different from solutions to polynomial equations of the second, third, or fourth degrees. The theorem only shows that there is no general solution in radicals that applies to all equations of a given degree greater than 4.

The solution of any second-degree polynomial equation can be expressed in terms of its coefficients, using only addition, subtraction, multiplication, division, and square roots, in the familiar quadratic formula: the roots of the equation ax² + bx + c = 0 (with a ≠ 0) are

−b ± √b² − 4ac/2a.

Analogous formulas for third-degree equations and fourth-degree equations (using square roots and cube roots) have been known since the 16th century. What the Abel–Ruffini theorem says is that there is no similar formula for general equations of fifth degree or higher. In principle, it could be that the equations of the fifth degree could be split in several types and, for each one of these types, there could be some algebraic solution valid within that type. Or, as Ian Stewart wrote, “for all that Abel's methods could prove, every particular quintic equation might be soluble, with a special formula for each equation.”^[4] However, this is not so, but this impossibility lies outside the scope of the Abel–Ruffini theorem and is part of the Galois theory.

Proof

The following proof is based on Galois theory and it is valid for any field of characteristic 0. Historically, Ruffini^[1] and Abel's proofs precede Galois theory. For a modern presentation of Abel's proof see the article of Rosen^[5] or the books of Tignol^[6] or Pesic.^[7]

One of the fundamental theorems of Galois theory states that a polynomial P(x) ∈ F[x] is solvable by radicals over F if and only if its splitting field K over F has a solvable Galois group,^[8] so the proof of the Abel–Ruffini theorem comes down to computing the Galois group of the general polynomial of the fifth degree.

Consider five indeterminates y₁, y₂, y₃, y₄, and y₅, let E = Q(y₁, y₂, y₃, y₄, y₅), and let

P(x) = (x − y₁)(x − y₂)(x − y₃)(x − y₄)(x − y₅) ∈ E[x].

Expanding P(x) out yields the elementary symmetric functions of the y_i:

s₁ = y₁ + y₂ + y₃ + y₄ + y₅,

s₂ = y₁ y₂ + y₁ y₃ + y₁ y₄ + y₁ y₅ + y₂ y₃ + y₂ y₄ + y₂ y₅ + y₃ y₄ + y₃ y₅ + y₄ y₅,

s₃ = y₁ y₂ y₃ + y₁ y₂ y₄ + y₁ y₂ y₅ + y₁ y₃ y₄ + y₁ y₃ y₅ + y₁ y₄ y₅ + y₂ y₃ y₄ + y₂ y₃ y₅ + y₂ y₄ y₅ + y₃ y₄ y₅,

s₄ = y₁ y₂ y₃ y₄ + y₁ y₂ y₃ y₅ + y₁ y₂ y₄ y₅ + y₁ y₃ y₄ y₅ + y₂ y₃ y₄ y₅,

s₅ = y₁ y₂ y₃ y₄ y₅.

The coefficient of xⁿ in P(x) is thus (−1)^{5 − n}s_{5 − n}. Let F = Q(s₁, s₂, s₃, s₄, s₅) be the field obtained by adjoining the symmetric functions to the rationals. Then P(x) ∈ F[x]. Because the y_i's are indeterminates, every permutation σ in the symmetric group on 5 letters S₅ induces a distinct automorphism σ′ on E that leaves Q fixed and permutes the elements y_i. Since an arbitrary rearrangement of the roots of the product form still produces the same polynomial, e.g.

(x − y₃)(x − y₁)(x − y₂)(x − y₅)(x − y₄)

is the same polynomial as

(x − y₁)(x − y₂)(x − y₃)(x − y₄)(x − y₅),

the automorphisms σ′ also leave F fixed, so they are elements of the Galois group Gal(E/F). Therefore, we have shown that S₅ ⊆ Gal(E/F); however there could possibly be automorphisms there that are not in S₅. But, since the Galois group of the splitting field of a quintic polynomial has at most 5! elements, and since E is a splitting field of P(x), it follows that Gal(E/F) is isomorphic to S₅. Generalizing this argument shows that the Galois group of every general polynomial of degree n is isomorphic to S_n.

And what of S₅? The only composition series of S₅ is S₅ ≥ A₅ ≥ {e} (where A₅ is the alternating group on five letters, also known as the icosahedral group). However, the quotient group A₅/{e} (isomorphic to A₅ itself) is not abelian, and so S₅ is not solvable, so it must be that the general polynomial of the fifth degree has no solution in radicals. Since the first nontrivial normal subgroup of the symmetric group on n letters is always the alternating group on n letters, and since the alternating groups on n letters for n ≥ 5 are always simple and non-abelian, and hence not solvable, it also says that the general polynomials of all degrees higher than the fifth also have no solution in radicals. Q.E.D.

The above construction of the Galois group for a fifth degree polynomial only applies to the general polynomial; specific polynomials of the fifth degree may have different Galois groups with quite different properties, e.g. x⁵ − 1 has a splitting field generated by a primitive 5th root of unity, and hence its Galois group is abelian and the equation itself solvable by radicals; moreover, the argument does not provide any rational-valued quintic that has S₅ or A₅ as its Galois group. However, since the result is on the general polynomial, it does say that a general “quintic formula” for the roots of a quintic using only a finite combination of the arithmetic operations and radicals in terms of the coefficients is impossible.

The proof is not valid if applied to polynomials whose degree is less than 5. Indeed:

• the group A₄ is not simple, because the subgroup {e, (12)(34), (13)(24), (14)(23)} is a normal subgroup;
• the groups A₂ and A₃ are simple, but since they are abelian too (A₂ is the trivial group and A₃ is the cyclic group of order 3), that is not a problem.

The proof remains valid if, instead of working with five indeterminates, one works with five concrete algebraically independent complex numbers, because, by the same argument, Gal(E/F) = S₅.

History

Around 1770, Joseph Louis Lagrange began the groundwork that unified the many different tricks that had been used up to that point to solve equations, relating them to the theory of groups of permutations, in the form of Lagrange resolvents.^[9] This innovative work by Lagrange was a precursor to Galois theory, and its failure to develop solutions for equations of fifth and higher degrees hinted that such solutions might be impossible, but it did not provide conclusive proof. The first person who conjectured that the problem of solving quintics by radicals might be impossible to solve was Carl Friedrich Gauss, who wrote in 1798 in section 359 of his book Disquisitiones Arithmeticae (which would be published only in 1801) that “there is little doubt that this problem does not so much defy modern methods of analysis as that it proposes the impossible”. The next year, in his thesis, he wrote “After the labors of many geometers left little hope of ever arriving at the resolution of the general equation algebraically, it appears more and more likely that this resolution is impossible and contradictory.” And he added “Perhaps it will not be so difficult to prove, with all rigor, the impossibility for the fifth degree. I shall set forth my investigations of this at greater length in another place.” Actually, Gauss published nothing else on this subject.^[1]

Teoria generale delle equazioni, 1799

The theorem was first nearly proved by Paolo Ruffini in 1799.^[10] He sent his proof to several mathematicians to get it acknowledged, amongst them Lagrange (who did not reply) and Augustin-Louis Cauchy, who sent him a letter saying: “Your memoir on the general solution of equations is a work which I have always believed should be kept in mind by mathematicians and which, in my opinion, proves conclusively the algebraic unsolvability of general equations of higher than fourth degree.”^[11] However, in general, Ruffini's proof was not considered convincing. Abel wrote: “The first and, if I am not mistaken, the only one who, before me, has sought to prove the impossibility of the algebraic solution of general equations is the mathematician Ruffini. But his memoir is so complicated that it is very difficult to determine the validity of his argument. It seems to me that his argument is not completely satisfying.”^[11][12]

The proof also, as it was discovered later, was incomplete. Ruffini assumed that all radicals that he was dealing with could be expressed from the roots of the polynomial using field operations alone; in modern terms, he assumed that the radicals belonged to the splitting field of the polynomial. To see why this is really an extra assumption, consider, for instance, the polynomial P(x) = x³ − 15x − 20. According to Cardano's formula, one of its roots (all of them, actually) can be expressed as the sum of a cube root of 10 + 5i with a cube root of 10 − 5i. On the other hand, since P(−3) < 0, P(−2) > 0, P(−1) < 0, and P(5) > 0, the roots r₁, r₂, and r₃ of P(x) are all real and therefore the field Q(r₁, r₂, r₃) is a subfield of R. But then the numbers 10 ± 5i cannot belong to Q(r₁, r₂, r₃). While Cauchy either did not notice Ruffini's assumption or felt that it was a minor one, most historians believe that the proof was not complete until Abel proved the theorem on natural irrationalities, which asserts that the assumption holds in the case of general polynomials.^[6][13] The Abel-Ruffini theorem is thus generally credited to Abel, who published a proof in just six pages in 1824.^[2] However, this short number of pages was obtained at the cost of writing in a very terse style. This was due to the fact that he had the proof printed at his own expenses and he needed to save paper and money.^[7] A more elaborated version of the proof would be published in 1826.^[3]

Proving that the general quintic (and higher) equations were unsolvable by radicals did not completely settle the matter, because the Abel–Ruffini theorem does not provide necessary and sufficient conditions for saying precisely which quintic (and higher) equations are unsolvable by radicals. Abel was working on a complete characterization when he died in 1829.^[14]

According to Nathan Jacobson, “The proofs of Ruffini and of Abel […] were soon superseded by the crowning achievement of this line of research: Galois' discoveries in the theory of equations.”^[8] In 1830, Galois (at the age of 18) submitted to the Paris Academy of Sciences a memoir on his theory of solvability by radicals, which was ultimately rejected in 1831 as being too sketchy and for giving a condition in terms of the roots of the equation instead of its coefficients. Galois was aware of the contributions of Ruffini and Abel, since he wrote “It is a common truth, today, that the general equation of degree greater than 4 cannot be solved by radicals… this truth has become common (by hearsay) despite the fact that geometers have ignored the proofs of Abel and Ruffini…” ^[1] Galois then died in 1832 and his paper Mémoire sur les conditions de resolubilité des équations par radicaux^[15] remained unpublished until 1846, when it was published by Joseph Liouville accompanied by some of his own explanations.^[14] Prior to this publication, Liouville announced Galois' result to the Academy in a speech he gave on 4 July 1843.^[4] A simplification of Abel's proof was published by Pierre Wantzel in 1845.^[16] When he published it, he was already aware of the contributions by Galois and he mentions that, whereas Abel's proof is valid only for general polynomials, Galois' approach can be used to provide a concrete polynomial of degree 5 whose roots cannot be expressed in radicals from its coefficients.

In 1963, Vladimir Arnold discovered a topological proof of the Abel–Ruffini theorem,^[17][18] which served as a starting point for topological Galois theory.^[19]

Notes

1. Ayoub, Raymond G. (1980), "Paolo Ruffini's contributions to the quintic", Archive for History of Exact Sciences, 22 (3): 253–277, doi:10.1007/BF00357046, JSTOR 41133596, MR 606270, Zbl 0471.01008
2. Abel, Niels Henrik (1881) [1824], "Mémoire sur les équations algébriques, ou l'on démontre l'impossibilité de la résolution de l'équation générale du cinquième degré" (PDF), in Sylow, Ludwig; Lie, Sophus, Œuvres Complètes de Niels Henrik Abel (in French), I (2nd ed.), Grøndahl & Søn, pp. 28–33
3. Abel, Niels Henrik (1881) [1826], "Démonstration de l'impossibilité de la résolution algébrique des équations générales qui passent le quatrième degré" (PDF), in Sylow, Ludwig; Lie, Sophus, Œuvres Complètes de Niels Henrik Abel (in French), I (2nd ed.), Grøndahl & Søn, pp. 66–87
4. Stewart, Ian (2015), "Historical Introduction", Galois Theory (4th ed.), CRC Press, ISBN 978-1-4822-4582-0
5. Rosen, Michael I. (1995), "Niels Hendrik Abel and Equations of the Fifth Degree", American Mathematical Monthly, 102 (6): 495–505, doi:10.2307/2974763, JSTOR 2974763, MR 1336636, Zbl 0836.01015
6. Tignol, Jean-Pierre (2016), "Ruffini and Abel on general equations", Galois' Theory of algebraic equations (2nd ed.), World Scientific, ISBN 978-981-4704-69-4, Zbl 06534509
7. Pesic, Peter (2004), Abel’s proof. An essay on the sources and meaning of mathematical unsolvability, MIT Press, ISBN 0-262-66182-9, Zbl 1166.01010
8. Jacobson, Nathan (2009), "Galois Theory of equations", Basic algebra, 1 (2nd ed.), Dover, ISBN 978-0-486-47189-1
9. Lagrange, Joseph-Louis (1869) [1771], "Réflexions sur la résolution algébrique des équations", in Serret, Joseph-Alfred, Œuvres de Lagrange, III, Gauthier-Villars, pp. 205–421
10. Ruffini, Paolo (1799), Teoria generale delle equazioni, in cui si dimostra impossibile la soluzione algebraica delle equazioni generali di grado superiore al quarto (in Italian), Stamperia di S. Tommaso d'Aquino
11. Kiernan, B. Melvin (1971), "The Development of Galois Theory from Lagrange to Artin", Archive for History of Exact Sciences, 8 (1/2): 40–154, doi:10.1007/BF00327219, JSTOR 41133337
12. Abel, Niels Henrik (1881) [1828], "Sur la resolution algébriques des équations" (PDF), in Sylow, Ludwig; Lie, Sophus, Œuvres Complètes de Niels Henrik Abel (in French), II (2nd ed.), Grøndahl & Søn, pp. 217–243
13. Stewart, Ian (2015), "The idea behind Galois theory", Galois Theory (4th ed.), CRC Press, ISBN 978-1-4822-4582-0
14. Tignol, Jean-Pierre (2016), "Galois", Galois' Theory of algebraic equations (2nd ed.), World Scientific, ISBN 978-981-4704-69-4, Zbl 06534509
15. Galois, Évariste (1846), "Mémoire sur les conditions de resolubilité des équations par radicaux" (PDF), Journal de Mathématiques Pures et Appliquées (in French), XI: 417–433
16. Wantzel, Pierre (1845), "Démonstration de l'impossibilité de résoudre toutes les équations algébriques avec des radicaux" (PDF), Nouvelles Annales de Mathématiques (in French), 4: 57–65
17. Alekseev, V. B. (2004), Abel’s theorem in problems and solutions. Based on the lectures of Professor V. I. Arnold, Kluwer Academic Publishers, ISBN 1-4020-2186-0, Zbl 02146318
18. "Short proof of Abel's theorem that 5th degree polynomial equations cannot be solved" on YouTube
19. Khovanskii, Askold (2014), Topological Galois Theory: Solvability and Unsolvability of Equations in Finite Terms, Springer Monographs in Mathematics, Springer-Verlag, doi:10.1007/978-3-642-38871-2, ISBN 978-3-642-38870-5