9.3 Unsolvability of the general quintic

The unsolvability of the general quintic equation marks a turning point in algebra. It shows that not all polynomial equations can be solved using simple formulas, unlike quadratic, cubic, and quartic equations.

This revelation led to the development of Galois theory, which connects algebra and group theory. By examining the symmetries of polynomial roots, mathematicians can determine whether an equation is solvable by radicals or not.

Unsolvability of the Quintic

Historical Context

Top images from around the web for Historical Context

• 

  Le mémoire d’Évariste Galois sur les conditions de résolubilité des équations par radicaux (1831) View original

  Is this image relevant?

• 

  Le mémoire d’Évariste Galois sur les conditions de résolubilité des équations par radicaux (1831) View original

  Is this image relevant?

• 

  Le mémoire d’Évariste Galois sur les conditions de résolubilité des équations par radicaux (1831) View original

  Is this image relevant?

• 

  Le mémoire d’Évariste Galois sur les conditions de résolubilité des équations par radicaux (1831) View original

  Is this image relevant?

• 

  Le mémoire d’Évariste Galois sur les conditions de résolubilité des équations par radicaux (1831) View original

  Is this image relevant?

1 of 3

Top images from around the web for Historical Context

• 

  Le mémoire d’Évariste Galois sur les conditions de résolubilité des équations par radicaux (1831) View original

  Is this image relevant?

• 

  Le mémoire d’Évariste Galois sur les conditions de résolubilité des équations par radicaux (1831) View original

  Is this image relevant?

• 

  Le mémoire d’Évariste Galois sur les conditions de résolubilité des équations par radicaux (1831) View original

  Is this image relevant?

• 

  Le mémoire d’Évariste Galois sur les conditions de résolubilité des équations par radicaux (1831) View original

  Is this image relevant?

• 

  Le mémoire d’Évariste Galois sur les conditions de résolubilité des équations par radicaux (1831) View original

  Is this image relevant?

1 of 3

• The problem of solving polynomial equations has a long history, with solutions for quadratic (ax^2 + bx + c = 0), cubic (ax^3 + bx^2 + cx + d = 0), and quartic (ax^4 + bx^3 + cx^2 + dx + e = 0) equations discovered in the 16th century by mathematicians such as Scipione del Ferro, Niccolò Tartaglia, and Gerolamo Cardano
• Attempts to find a general solution for quintic equations (ax^5 + bx^4 + cx^3 + dx^2 + ex + f = 0) were unsuccessful, despite the efforts of many mathematicians like Leonhard Euler and Joseph-Louis Lagrange
• The unsolvability of the general quintic remained a major open problem in mathematics until the early 19th century when mathematicians began to develop new algebraic tools
• Évariste Galois developed the theory of Galois groups, which provided the tools necessary to prove the unsolvability of the general quintic by radicals

Galois Theory and the Quintic

• Galois theory studies the symmetries of polynomial equations and their roots, which are captured by the Galois group of the equation
• The Galois group of a polynomial equation is a group of permutations of the equation's roots that preserve the algebraic relationships among them
• The solvability of a polynomial equation by radicals is closely related to the structure of its Galois group
• A polynomial equation is solvable by radicals if and only if its Galois group is a solvable group, meaning it has a composition series with abelian factor groups

Proving the Quintic's Unsolvability

The Galois Group of the Quintic

• The general quintic equation is of the form $ax^5 + bx^4 + cx^3 + dx^2 + ex + f = 0$, where $a, b, c, d, e,$ and $f$ are complex coefficients and $a ≠ 0$
• The Galois group of the general quintic is the symmetric group $S_5$, which consists of all permutations of 5 elements
• $S_5$ has order 120, meaning it contains 120 distinct permutations
• The alternating group $A_5$, which consists of all even permutations in $S_5$, is a normal subgroup of $S_5$ with index 2, i.e., $S_5/A_5 ≅ Z_2$

Simplicity of the Alternating Group

• $A_5$ is a simple group, meaning it has no nontrivial normal subgroups
• The simplicity of $A_5$ can be proven using the fact that it has no subgroups of index 2, 3, or 4
• The composition series of $S_5$ is $S_5 ⊃ A_5 ⊃ \{e\}$, where $\{e\}$ is the trivial group containing only the identity element
• Since $A_5$ is simple, the factor group $A_5/\{e\} ≅ A_5$ is not abelian, and therefore, the composition series of $S_5$ is not a series of abelian groups

Conclusion of Unsolvability

• As the composition series of $S_5$ is not a series of abelian groups, $S_5$ is not a solvable group
• Consequently, the general quintic equation is not solvable by radicals, as its Galois group is $S_5$
• This proof demonstrates the power of Galois theory in determining the solvability of polynomial equations and the limitations of the methods used to solve lower-degree equations

Key Steps in the Proof

1. Determine the Galois group of the general quintic equation, which is the symmetric group $S_5$
2. Show that the alternating group $A_5$ is a normal subgroup of $S_5$ and that $S_5/A_5 ≅ Z_2$
3. Prove that $A_5$ is a simple group by demonstrating that it has no subgroups of index 2, 3, or 4
4. Construct the composition series of $S_5$ ($S_5 ⊃ A_5 ⊃ \{e\}$) and demonstrate that it is not a series of abelian groups, as $A_5/\{e\} ≅ A_5$ is not abelian
5. Conclude that $S_5$ is not a solvable group, and therefore, the general quintic equation is not solvable by radicals

Implications of the Unsolvable Quintic

Limitations of Classical Methods

• The unsolvability of the general quintic demonstrates that not all polynomial equations can be solved by radicals, which are expressions involving only arithmetic operations and nth roots
• This result highlights the limitations of the methods used to solve lower-degree polynomial equations, such as the quadratic formula and Cardano's formula for cubic equations
• The proof of the unsolvability of the general quintic shows that these classical methods cannot be extended to higher-degree equations in general

Advancements in Abstract Algebra

• The unsolvability of the general quintic showcases the power and utility of Galois theory in studying polynomial equations and their solutions
• Galois theory not only provided the tools to prove the unsolvability of the quintic but also laid the foundation for the development of modern abstract algebra
• The study of Galois groups and their properties led to further advancements in the theory of groups, rings, and fields, which have become essential tools in various branches of mathematics

Practical Implications

• The unsolvability of the general quintic has practical implications beyond pure mathematics
• In many fields, such as physics, engineering, and computer science, problems often lead to polynomial equations that need to be solved
• The result shows that certain problems may not have closed-form solutions expressible in terms of radicals, and numerical or approximation methods may be necessary to find solutions
• Understanding the limitations of classical solution methods can guide researchers and practitioners in choosing appropriate approaches to solve problems involving higher-degree polynomial equations