🔢 mathematics

The Significance of Proposition II in Galois' Mémoire, The Origin of Galois Automorphisms

This paper reconstructs the missing proof of Galois' Proposition II to characterize his original concepts of permutation and substitution groups in modern terms, ultimately demonstrating that Galois' substitutions are indeed field automorphisms of the splitting field and thereby bridging his original formulation with modern Galois theory.

Original authors: Math Dicker

Published 2026-07-23

📖 8 min read🧠 Deep dive

CC BY 4.0

Original authors: Math Dicker

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

The Secret Language of Numbers

Imagine you are trying to solve a giant, cosmic jigsaw puzzle, but the pieces are numbers that have been scrambled by a mysterious machine. This machine is a polynomial equation, a mathematical recipe that spits out specific numbers called "roots." For centuries, mathematicians have been obsessed with a single question: Can we predict how these roots dance together? If you know one root, can you figure out the others? This field of study is called algebra, and specifically, the branch known as Galois theory. It's like trying to understand the rules of a secret club where the members (the roots) only reveal their true identities when they interact with each other.

To understand the story in this paper, you need to know about two main characters. First, there is the "splitting field," which is just a fancy way of saying "the smallest room where all the puzzle pieces fit together perfectly." Second, there are "symmetries." Imagine the roots are dancers; a symmetry is a move you can make that swaps the dancers around without breaking the music (the equation). If you swap two dancers and the song still sounds the same, that's a symmetry. The paper we are about to explore dives into a 200-year-old mystery about how these symmetries are organized, trying to decode a note left behind by a brilliant young mathematician named Évariste Galois who died in a duel before he could finish his work.

The Ghost in the Manuscript

This paper is a detective story written by a modern mathematician named Math Dicker, who is trying to solve a puzzle left unfinished by Évariste Galois in 1830. Galois was a genius who died very young, and in his final manuscript, he wrote a famous, heartbreaking note: "There is something to complete in this demonstration. I have no time." He was talking about "Proposition II," a specific part of his work that seemed to hint at a deep secret about how mathematical equations break apart, but he didn't have time to write down the proof.

For nearly two centuries, mathematicians have been trying to figure out exactly what Galois meant by that unfinished thought. This paper claims to finally reconstruct the missing pieces of Galois's argument. The author doesn't just guess; he uses modern math tools to fill in the blanks and prove that Galois was right all along. The paper establishes that Galois's original ideas about "permutations" (swapping things around) and "substitutions" (replacing things) are actually the same as the modern concept of "automorphisms" (mathematical transformations that keep the structure intact). It's like finding a lost key that finally unlocks a door we've been staring at for ages.

The Dance of the Roots

To understand what Galois was trying to say, imagine you have a special number, let's call it $V$ . This number is a mix of all the roots of an equation, kind of like a smoothie made from all the fruit pieces. Galois realized that if you swap the fruit pieces around in different ways, you get different versions of this smoothie. Let's call these versions $V_1, V_2, V_3$ , and so on.

Galois noticed something strange. If you take a group of these smoothie versions and swap them around, they form a pattern. He called this pattern a groupe de permutations (a group of permutations). But here is the tricky part: Galois also talked about a groupe de substitutions (a group of substitutions). In modern math, we know that a "group" is a set of things that can be combined in a specific way without breaking the rules. Galois's big insight was that these groups of swaps aren't just random; they are connected to the fields (the "rooms" where the numbers live) in a very specific way.

The paper explains that Galois was trying to show how a big, complicated equation (the minimal polynomial of $V$ ) can be broken down into smaller, simpler equations. It's like taking a giant cake and slicing it into smaller pieces. The paper proves that the way you slice the cake depends on how you arrange the "groups of swaps."

Left vs. Right: The Two Ways to Slice the Cake

The most exciting part of the paper is how it clarifies the difference between "left" and "right" ways of organizing these swaps. Imagine you have a set of dancers (the roots) and you want to group them.

The Right Way (Right Cosets): If you organize the dancers by moving them to the right, all the resulting groups of dancers will belong to the same "club" (the same intermediate field). When you slice the cake this way, every slice has the same flavor. The paper shows that if you use this method, the coefficients (the numbers) in your smaller equations will all live in the same specific room.
The Left Way (Left Cosets): If you organize the dancers by moving them to the left, the groups you get are different. Each group belongs to a different but related "club" (conjugate fields). When you slice the cake this way, the slices have different flavors, but they are all cousins. The paper explains that this is exactly what Galois was hinting at in his unfinished note: the big equation breaks down into smaller equations, but the numbers in those smaller equations live in different, related rooms.

The paper uses a concrete example with the equation $x^3 - 2 = 0$ to show this in action. It calculates the actual numbers and proves that when you group the roots using "left cosets," you get polynomials with coefficients in fields like $Q(\sqrt[3]{2})$ , $Q(\omega\sqrt[3]{2})$ , and so on. These are different fields, but they are all connected. This confirms Galois's intuition that the structure of the equation reveals a hidden map of these different rooms.

From Swaps to Automorphisms

One of the paper's main goals is to connect Galois's old language to our modern language. Galois used the word "substitution" to describe swapping roots. Today, we call these "automorphisms." The paper proves that the "substitutions" Galois described are exactly the same as the "automorphisms" we use in modern Galois theory.

It's like realizing that a "horse-drawn carriage" and a "car" both do the same job: they get you from point A to point B. The paper shows that Galois's "substitutions" are the ancestors of our modern "automorphisms." It proves that these substitutions are not just random swaps; they are strict mathematical rules that preserve the structure of the equation. The paper even provides a direct proof that these substitutions are field automorphisms, meaning they are the "official" members of the Galois group.

However, the paper also warns us that not every swap is a valid automorphism. It gives an example with the equation $x^4 - 2 = 0$ . It shows that if you try to swap the roots in a certain "wrong" way (like swapping specific roots that don't belong together), you break the rules of the equation. The paper explicitly rules out the idea that any random swap is a symmetry. Only the specific swaps that belong to the "Galois group" are the real automorphisms.

The Final Verdict

So, what did this paper actually find? It didn't discover a new equation or a new number. Instead, it acted as a translator and a proof-reader for a 200-year-old manuscript. It took Galois's incomplete, cryptic note about "Proposition II" and filled in the missing steps with rigorous logic.

The paper proves that Galois's idea of breaking down equations into factors based on "groups of permutations" is mathematically sound. It confirms that:

The "groups of permutations" Galois described are actually "cosets" (specific arrangements of a group).
These arrangements dictate how an equation factors.
If you use "right cosets," the factors live in the same field.
If you use "left cosets," the factors live in different, but related (conjugate) fields.
Galois's "substitutions" are indeed the modern "automorphisms."

The authors are very sure of these conclusions because they provide formal proofs, not just guesses. They show that Galois's intuition was correct, even though he didn't have time to write down the full explanation. The paper bridges the gap between the 19th-century way of thinking about "swapping letters" and the modern way of thinking about "transforming fields," showing that they are two sides of the same coin.

In the end, this paper is a tribute to a young genius who saw the shape of a new world of mathematics before he died. It says, "We heard you, Galois. We finished your proof. You were right." It turns a fragment of a manuscript into a complete, beautiful story about how numbers dance, swap, and fit together in the grand puzzle of algebra.

Technical Summary: The Significance of Proposition II in Galois' Mémoire

Problem Statement
The paper addresses the incompleteness of Proposition II in Évariste Galois' Mémoire, specifically the remark Galois made regarding the lack of time to complete the demonstration ("Il y a quelque chose à compléter dans cette démonstration. Je n'ai pas le temps"). While the manuscript outlines a factorization process for the minimal polynomial of a primitive element $V$ over intermediate fields, the underlying logic and the precise relationship between Galois' original terminology and modern Galois theory remain obscure. The central problem is to reconstruct the missing arguments of Proposition II, clarify the distinction between Galois' groupe de permutations and groupe de substitutions, and rigorously establish that the "substitutions" defined by Galois correspond to the field automorphisms of the splitting field in modern theory.

Methodology
The author employs a reconstructionist approach, translating Galois' 19th-century notation and concepts into modern algebraic terminology while adhering strictly to the structural logic of the original manuscript. The methodology involves:

Reconstruction of Proposition II: Supplying the missing proofs regarding the factorization of the minimal polynomial $g(x)$ of a primitive element $V$ over intermediate fields.
Formalization of Galois' Groups: Defining groupe de permutations and groupe de substitutions using modern group theory. Specifically, the paper characterizes a groupe de permutations as a left or right coset of a group, and a groupe de substitutions as the group of automorphisms (or conjugate groups) associated with these cosets.
Algebraic Interpretation: Utilizing the properties of the primitive element $V = ax_1 + bx_2 + cx_3 + dx_4$ and the associated rational functions $\theta_i(V)$ (derived via Lagrange interpolation-like arguments) to map roots to permutations.
Coset Analysis: Demonstrating how the partitioning of the Galois group into left and right cosets dictates the factorization of the minimal polynomial $g(x)$ over conjugate intermediate fields versus a single intermediate field.
Verification of Automorphisms: Proving that the substitutions defined by Galois satisfy the axioms of field automorphisms (preservation of addition and multiplication, bijectivity) and that the set of such substitutions forms the Galois group.

Key Contributions and Results

Characterization of Galois' Groups: The paper establishes that a groupe de permutations is not necessarily a group in the modern sense but corresponds to a coset (left or right) of a group. Conversely, a groupe de substitutions is always a group.
- Lemma 1 & 2: A set of permutations is a groupe de permutations if and only if it is a coset of a group. If the set contains the identity, it is a group.
- Lemma 3: The set of substitutions associated with a groupe de permutations forms a group.
Reconstruction of Proposition II (Factorization): The paper proves that the minimal polynomial $g(x)$ of the primitive element $V$ over the ground field $\mathbb{Q}$ factors into irreducible polynomials over intermediate fields based on the coset structure:
- Right Cosets: Partitioning the Galois group into right cosets of a subgroup $H$ yields a factorization of $g(x)$ into polynomials whose coefficients all lie in the same fixed field $L^H$ .
- Left Cosets: Partitioning into left cosets yields a factorization where the coefficients of the factors lie in fields conjugate to $L^H$ . This explains Galois' observation regarding the factorization over "conjugate intermediate fields."
Explicit Construction of Functions $\theta_i$ : The paper provides a direct proof for the existence of the rational functions $\theta_1, \theta_2, \theta_3, \theta_4$ required to express roots $x_i$ in terms of the primitive element $V$ . This proof utilizes a method analogous to Lagrange interpolation and is shown to be equivalent to the method used by Adolf Hurwitz in his 1909 notebook.
Equivalence of Substitutions and Automorphisms: The paper proves that the "substitutions" Galois defined are precisely the field automorphisms of the splitting field $L$ .
- It demonstrates that these substitutions preserve the algebraic structure (addition and multiplication) and are independent of the specific functional representation of the field elements.
- Proposition 3: The substitutions belonging to the Galois group are exactly the automorphisms of the splitting field.
Illustrative Examples: The theory is applied to the polynomial $x^3 - 2$ and $x^4 - 2$ . These examples concretely demonstrate how left cosets lead to factors over conjugate fields (e.g., $\mathbb{Q}(\sqrt[3]{2})$ , $\mathbb{Q}(\omega\sqrt[3]{2})$ ), while right cosets lead to factors over a single fixed field. The paper also provides a counter-example showing that not all permutations of roots are automorphisms (e.g., substitutions that do not preserve algebraic relations like $x_1 + x_2 = 0$ ).

Significance
The paper claims that its primary significance lies in bridging the gap between Galois' original, incomplete formulation and the modern theory of field automorphisms. By reconstructing the proof of Proposition II, the author clarifies that Galois' concept of groupe de permutations (cosets) and groupe de substitutions (groups) was a sophisticated, albeit implicit, precursor to the modern understanding of the Galois correspondence. The work demonstrates that Galois' "missing" arguments were essentially about the relationship between the factorization of minimal polynomials and the coset structure of the Galois group. Furthermore, the paper establishes that the "substitutions" Galois manipulated are rigorously equivalent to the automorphisms that define modern Galois theory, thereby validating the continuity between the classical and modern approaches. The detailed example in Section 8 serves to concretize these abstract concepts, showing how the partition of roots via cosets directly dictates the arithmetic properties of the resulting polynomial factors.