Galois theory

Galois theory is a profound mathematical framework that bridges two distinct fields: field theory and group theory. Field theory focuses on sets of numbers, such as rational numbers or complex numbers, and the rules for adding and multiplying them. Group theory studies symmetry and the ways objects can be rearranged through permutations. The fundamental theorem of Galois theory establishes a precise connection between these two areas. This connection allows mathematicians to translate difficult problems about number systems into more manageable problems about group structures. By doing so, complex questions about the existence of solutions become questions about the internal properties of groups.

The theory was primarily developed to investigate the solvability of polynomial equations. A polynomial equation is considered solvable by radicals if its roots can be expressed using only integers, the four basic arithmetic operations, and nth roots. To understand this, Galois looked at the roots of a polynomial and how they relate to one another through algebraic equations. He focused on permutations, which are specific rearrangements of these roots. A permutation is part of a Galois group if it preserves all algebraic relations between the roots that use rational coefficients. For example, in a quadratic equation with two irrational roots, swapping the roots might leave certain algebraic properties unchanged. This collection of valid rearrangements forms the Galois group of the polynomial.

Galois discovered that the solvability of a polynomial depends entirely on the structure of its associated Galois group. He proved that an equation is solvable by radicals if ands only if its Galois group is a solvable group. This was a massive leap forward because it provided a clear, algorithmic way to test for solvability. For polynomials of degree four or lower, the Galois group is always solvable, which is why general formulas exist for quadratic, cubic, and quartic equations. However, for most polynomials of degree five or higher, the Galois group is not solvable. This explains why there is no general formula for the quintic equation or any higher-degree polynomial.

The history of this discovery is rooted in centuries of attempts to solve higher-degree equations. In the 16th century, mathematicians like Scipione del Ferro and Niccolò Fontana Tartaglia found methods for cubic equations. Gerolamo Cardano later published these findings in his 1545 work, Ars Magna. Later, Joseph Louis Lagrange analyzed these solutions by considering permutations of roots, which laid the groundwork for group theory. In 1799, Paolo Ruffini used permutation groups to suggest that general quintic equations lacked radical solutions. This was later solidified by Niels Henrik Abel, who published the Abel–Ruffini theorem in 1824. Galois' work did not just repeat these findings; it provided the underlying reason why these limits exist.

Évariste Galois' personal story is as intense as his mathematics. He submitted his memoir on the solvability of equations to the French Academy of Sciences in 1830 at the age of 18. The Academy rejected his paper in 1831, finding it too sketchy or poorly formatted. Tragically, Galois died in a duel in 1832. His revolutionary work remained unpublished until 1846, when Joseph Liouville published it with his own explanations. Even after publication, the theory was notoriously difficult for the mathematical community to grasp. It took decades for mathematicians like Camille Jordan and Heinrich Martin Weber to produce textbooks that made the theory accessible to a wider audience in Germany and America.

Beyond algebra, Galois theory provides elegant solutions to classical problems in geometry. For centuries, mathematicians wondered which shapes could be constructed using only a compass and a straightedge. Galois theory allows for a clear characterization of the ratios of lengths that are constructible through these tools. This helps prove why certain ancient tasks are impossible, such as trisecting a general angle or doubling the cube. It also provides a definitive way to identify which regular polygons can be constructed with these methods. This connects the abstract study of groups to the physical reality of geometric construction.

Today, Galois theory serves as a cornerstone of modern mathematics. It has been expanded into more advanced concepts, such as Galois connections and Grothendieck's Galois theory. The theory demonstrates how different mathematical structures are often just different ways of looking at the same underlying truth. By linking the discrete nature of groups to the continuous nature of fields, it remains a vital tool for researchers. It continues to influence how mathematicians approach symmetry, number theory, and the fundamental limits of algebraic computation.