Galois theory

Math helps us solve puzzles.

A man named Évariste Galois studied math puzzles. He looked at how numbers in a group move. He called these moves permutations.

This work showed why some math problems are easy. Other problems are much harder to solve. Some big equations cannot be solved with simple rules. His work helped solve old shape puzzles too. He showed what you can do with a compass. His ideas were shared many years after he died. He was a very clever thinker.

Math helps us solve puzzles about numbers.

Évariste Galois was a thinker who studied these puzzles. He looked at equations to find their roots. Roots are the numbers that make an equation true.

Galois wanted to know if we could solve any equation using a formula. A formula uses basic math like adding or taking roots. He found that some equations are easy to solve. These include equations with a degree of four or less. But most equations with a degree of five or more cannot be solved this way. He used a special way to study these roots. He looked at how the roots could be swapped around. These swaps are called permutations. The set of all these swaps forms a group. This is called a Galois group. This group helps us understand the math of the equation. His work also helped solve old shape puzzles. He showed what we can do with a compass and a straightedge. His ideas were shared many years after he died in a duel. Joseph Liouville published his work in 1846.

Math helps us understand how different ideas connect.

Galois theory is a way to link two different areas of math. It connects field theory with group theory. Field theory looks at sets of numbers. Group theory looks at how things can be rearranged. This connection is called the fundamental theorem of Galois theory. It makes hard problems much easier to solve. It turns a difficult problem about numbers into a simpler problem about groups. This allows mathematicians to see patterns that were once hidden.

Galois wanted to solve puzzles about polynomial equations.

These are equations where we look for roots. A root is a number that makes the equation true. Some equations can be solved using a formula with roots and basic math. This is called being solvable by radicals. Galois looked at how the roots of an equation could be swapped. These swaps are called permutations. These permutations form a special group called a Galois group. If the group has a certain structure, the equation can be solved. If not, it cannot be solved by a simple formula.

Long before Galois, many people studied these equations.

In the 1500s, mathematicians like Scipione del Ferro and Niccolò Fontana Tartaglia found ways to solve cubic equations. Gerolamo Cardano published these ideas in 1545 in his book Ars Magna. Later, Joseph Louis Lagrange studied how rearranging roots could help. In 1799, Paolo Ruffini used permutation groups to study harder equations. In 1824, Niels Henrik Abel proved the Abel–Ruffini theorem. This theorem showed that a general equation of degree five or higher cannot be solved by radicals. Galois took this much further by explaining exactly why.

Évariste Galois was a very young mathematician.

He submitted his big idea in 1830 when he was only 18 years old. The French Academy of Sciences rejected his paper in 1831. It was considered too messy or unclear. Sadly, Galois died in a duel in 1832. His work was not published until 1846 by Joseph Liouville. It took a long time for other mathematicians to truly understand it. Some people in Britain and Germany found it very hard to learn at first. Eventually, books by people like Camille Jordan and Heinrich Martin Weber helped spread the idea.

Galois theory also helps us solve old geometry puzzles. For a long time, people wondered about shapes and tools. They wanted to know what they could draw using only a compass and a straightedge. Galois theory helps answer if you can trisect an angle. It also shows why you cannot double a cube using those tools. It can even tell you which regular polygons can be constructed. This theory connects the math of numbers to the math of shapes. It shows that many different parts of math are actually part of the same big picture.

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.