🔢 mathematics

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

Cet article reconstruit la preuve manquante de la Proposition II de Galois afin de caractériser ses concepts originaux de groupes de permutations et de substitutions en termes modernes, démontrant ainsi que les substitutions de Galois sont bel et bien des automorphismes de corps du corps de décomposition et jetant ainsi un pont entre sa formulation originale et la théorie de Galois moderne.

Auteurs originaux : Math Dicker

Publié 2026-07-23

📖 9 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Math Dicker

Article original sous licence CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Ceci est une explication générée par l'IA de l'article ci-dessous. Elle n'a pas été rédigée ni approuvée par les auteurs. Pour une précision technique, consultez l'article original. Lire la clause de non-responsabilité complète

Le langage secret des nombres

Imaginez que vous essayez de résoudre un puzzle géant et cosmique, mais que les pièces sont des nombres qui ont été mélangés par une machine mystérieuse. Cette machine est une équation polynomiale, une recette mathématique qui recrache des nombres spécifiques appelés « racines ». Depuis des siècles, les mathématiciens sont obsédés par une seule question : peut-on prédire comment ces racines dansent ensemble ? Si vous connaissez une racine, pouvez-vous trouver les autres ? Ce domaine d'étude s'appelle l'algèbre, et plus précisément la branche connue sous le nom de théorie de Galois. C'est comme essayer de comprendre les règles d'un club secret dont les membres (les racines) ne révèlent leur véritable identité que lorsqu'ils interagissent entre eux.

Pour comprendre l'histoire de ce document, vous devez connaître deux personnages principaux. Premièrement, il y a le « corps de décomposition » (splitting field), qui est simplement une façon sophistiquée de dire « la plus petite pièce où toutes les pièces du puzzle s'emboîtent parfaitement ». Deuxièmement, il y a les « symétries ». Imaginez que les racines sont des danseuses ; une symétrie est un mouvement que vous pouvez faire pour échanger les danseuses sans casser la musique (l'équation). Si vous échangez deux danseuses et que la chanson sonne toujours de la même manière, c'est une symétrie. Le document que nous allons explorer plonge dans un mystère vieux de 200 ans sur la façon dont ces symétries sont organisées, tentant de décoder une note laissée par un brillant jeune mathématicien nommé Évariste Galois, qui est mort lors d'un duel avant d'avoir pu terminer son travail.

Le fantôme dans le manuscrit

Ce document est une histoire de détective écrite par un mathématicien moderne, Math Dicker, qui tente de résoudre un puzzle laissé inachevé par Évariste Galois en 1830. Galois était un génie qui est mort très jeune, et dans son dernier manuscrit, il a écrit une note célèbre et déchirante : « Il y a quelque chose à compléter dans cette démonstration. Je n'ai pas le temps. » Il parlait de la « Proposition II », une partie spécifique de son travail qui semblait suggérer un secret profond sur la façon dont les équations mathématiques se décomposent, mais il n'a pas eu le temps d'en écrire la preuve.

Pendant près de deux siècles, les mathématiciens ont tenté de comprendre ce que Galois entendait exactement par cette pensée inachevée. Ce document affirme enfin reconstruire les pièces manquantes de l'argument de Galois. L'auteur ne se contente pas de deviner ; il utilise des outils mathématiques modernes pour combler les lacunes et prouver que Galois avait raison depuis le début. Le document établit que les idées originales de Galois sur les « permutations » (échanger les choses) et les « substitutions » (remplacer les choses) sont en fait la même chose que le concept moderne d'« automorphismes » (des transformations mathématiques qui préservent la structure). C'est comme trouver une clé perdue qui ouvre enfin une porte devant laquelle nous contemplons depuis des ages.

La danse des racines

Pour comprendre ce que Galois essayait de dire, imaginez que vous avez un nombre spécial, appelons-le $V$ . Ce nombre est un mélange de toutes les racines d'une équation, un peu comme un smoothie fait de tous les morceaux de fruits. Galois a réalisé que si vous échangez les morceaux de fruits de différentes manières, vous obtenez différentes versions de ce smoothie. Appelons ces versions $V_1, V_2, V_3$ , et ainsi de suite.

Galois a remarqué quelque chose d'étrange. Si vous prenez un groupe de ces versions de smoothie et que vous les échangez, ils forment un motif. Il a appelé ce motif un groupe de permutations. Mais voici la partie délicate : Galois a également parlé d'un groupe de substitutions. En mathématiques modernes, nous savons qu'un « groupe » est un ensemble de choses qui peuvent être combinées d'une manière spécifique sans briser les règles. L'intuition majeure de Galois était que ces groupes d'échanges ne sont pas aléatoires ; ils sont connectés aux corps (les « pièces » où vivent les nombres) d'une manière très spécifique.

Le document explique que Galois essayait de montrer comment une équation grande et compliquée (le polynôme minimal de $V$ ) peut être décomposée en équations plus petites et plus simples. C'est comme prendre un gâteau géant et le couper en morceaux plus petits. Le document prouve que la façon dont vous coupez le gâteau dépend de la manière dont vous disposez les « groupes d'échanges ».

Gauche vs Droite : Les deux façons de couper le gâteau

La partie la plus excitante du document est la façon dont il clarifie la différence entre les manières « gauche » et « droite » d'organiser ces échanges. Imaginez que vous avez un ensemble de danseuses (les racines) et que vous voulez les grouper.

La manière droite (Cosets à droite) : Si vous organisez les danseuses en les déplaçant vers la droite, tous les groupes de danseuses résultants appartiendront au même « club » (le même corps intermédiaire). Lorsque vous coupez le gâteau de cette façon, chaque part a la même saveur. Le document montre que si vous utilisez cette méthode, les coefficients (les nombres) dans vos équations plus petites vivront tous dans la même pièce spécifique.
La manière gauche (Cosets à gauche) : Si vous organisez les danseuses en les déplaçant vers la gauche, les groupes que vous obtenez sont différents. Chaque groupe appartient à un « club » différent mais apparenté (corps conjugués). Lorsque vous coupez le gâteau de cette façon, les parts ont des saveurs différentes, mais elles sont toutes cousines. Le document explique que c'est exactement ce que Galois laissait entendre dans sa note inachevée : la grande équation se décompose en équations plus petites, mais les nombres dans ces équations plus petites vivent dans des pièces différentes et liées.

Le document utilise un exemple concret avec l'équation $x^3 - 2 = 0$ pour montrer cela en action. Il calcule les nombres réels et prouve que lorsque vous groupez les racines en utilisant des « cosets à gauche », vous obtenez des polynômes avec des coefficients dans des corps comme $Q(\sqrt[3]{2})$ , $Q(\omega\sqrt[3]{2})$ , et ainsi de suite. Ce sont des corps différents, mais ils sont tous connectés. Cela confirme l'intuition de Galois selon laquelle la structure de l'équation révèle une carte cachée de ces différentes pièces.

Des substitutions aux automorphismes

L'un des objectifs principaux du document est de relier le vieux langage de Galois à notre langage moderne. Galois utilisait le mot « substitution » pour décrire l'échange de racines. Aujourd'hui, nous appelons cela des « automorphismes ». Le document prouve que les « substitutions » décrites par Galois sont exactement les mêmes que les « automorphismes » que nous utilisons dans la théorie de Galois moderne.

C'est comme réaliser qu'une « voiture à chevaux » et une « voiture » font toutes deux le même travail : elles vous emmènent d'un point A à un point B. Le document montre que les « substitutions » de Galois sont les ancêtres de nos « automorphismes » modernes. Il prouve que ces substitutions ne sont pas de simples échanges aléatoires ; ce sont des règles mathématiques strictes qui préservent la structure de l'équation. Le document fournit même une preuve directe que ces substitutions sont des automorphismes de corps, ce qui signifie qu'elles sont les membres « officiels » du groupe de Galois.

Cependant, le document nous avertit également que tout échange n'est pas un automorphisme valide. Il donne un exemple avec l'équation $x^4 - 2 = 0$ . Il montre que si vous essayez d'échanger les racines d'une certaine « mauvaise » manière (comme échanger des racines spécifiques qui n'appartiennent pas ensemble), vous brisez les règles de l'équation. Le document exclut explicitement l'idée que n'importe quel échange aléatoire soit une symétrie. Seuls les échanges spécifiques qui appartiennent au « groupe de Galois » sont les véritables automorphismes.

Le verdict final

Alors, qu'a réellement trouvé ce document ? Il n'a pas découvert une nouvelle équation ou un nouveau nombre. Au lieu de cela, il a agi comme un traducteur et un correcteur pour un manuscrit vieux de 200 ans. Il a pris la note incomplète et cryptique de Galois sur la « Proposition II » et a rempli les étapes manquantes avec une logique rigoureuse.

Le document prouve que l'idée de Galois de décomposer les équations en facteurs basés sur des « groupes de permutations » est mathématiquement saine. Il confirme que :

Les « groupes de permutations » décrits par Galois sont en fait des « cosets » (des arrangements spécifiques d'un groupe).
Ces arrangements dictent la façon dont une équation se factorise.
Si vous utilisez des « cosets à droite », les facteurs vivent dans le même corps.
Si vous utilisez des « cosets à gauche », les facteurs vivent dans des corps différents, mais apparentés (conjugués).
Les « substitutions » de Galois sont bel et bien les « automorphismes » modernes.

Les auteurs sont très sûrs de ces conclusions car ils fournissent des preuves formelles, et non de simples suppositions. Ils montrent que l'intuition de Galois était correcte, même s'il n'a pas eu le temps d'en écrire la pleine explication. Le document comble le fossé entre la façon de penser du XIXe siècle sur l'« échange de lettres » et la façon moderne de penser sur la « transformation des corps », montant qu'elles sont les deux faces d'une même pièce.

En fin de compte, ce document est un hommage à un jeune génie qui a vu la forme d'un nouveau monde mathématique avant de mourir. Il dit : « Nous vous avons entendu, Galois. Nous avons terminé votre preuve. Vous aviez raison. » Il transforme un fragment de manuscrit en une histoire complète et magnifique sur la façon dont les nombres dansent, s'échangent et s'emboîtent dans le grand puzzle de l'algèbre.

Résumé Technique : La Signification de la Proposition II dans le Mémoire de Galois

Énoncé du Problème
L'article traite de l'incomplétude de la Proposition II du Mémoire d'Évariste Galois, spécifiquement concernant la remarque faite par Galois sur le manque de temps pour achever la démonstration (« Il y a quelque chose à compléter dans cette démonstration. Je n'ai pas le temps »). Bien que le manuscrit expose un processus de factorisation du polynôme minimal d'un élément primitif $V$ sur des corps intermédiaires, la logique sous-jacente et la relation précise entre la terminologie originale de Galois et la théorie de Galois moderne demeurent obscures. Le problème central est de reconstruire les arguments manquants de la Proposition II, de clarifier la distinction entre le groupe de permutations et le groupe de substitutions de Galois, et d'établir rigoureusement que les « substitutions » définies par Galois correspondent aux automorphismes de corps du corps de décomposition dans la théorie moderne.

Méthodologie
L'auteur emploie une approche reconstructionniste, traduisant la notation et les concepts du XIXe siècle de Galois en une terminologie algébrique moderne tout en respectant strictement la logique structurelle du manuscrit original. La méthodologie implique :

La Reconstruction de la Proposition II : Fournir les preuves manquantes concernant la factorisation du polynôme minimal $g(x)$ d'un élément primitif $V$ sur des corps intermédiaires.
La Formalisation des Groupes de Galois : Définir le groupe de permutations et le groupe de substitutions en utilisant la théorie des groupes moderne. Plus précisément, l'article caractérise un groupe de permutations comme un sous-groupe à gauche ou à droite d'un groupe, et un groupe de substitutions comme le groupe d'automorphismes (ou les groupes conjugués) associés à ces classes à gauche ou à droite.
Interprétation Algébrique : Utiliser les propriétés de l'élément primitif $V = ax_1 + bx_2 + cx_3 + dx_4$ et les fonctions rationnelles associées $\theta_i(V)$ (dérivées par des arguments analogues à l'interpolation de Lagrange) pour mapper les racines vers des permutations.
Analyse des Classes (Cosets) : Démontrer comment le partitionnement du groupe de Galois en classes à gauche et à droite dicte la factorisation du polynôme minimal $g(x)$ sur des corps intermédiaires conjugués par rapport à un seul corps intermédiaire.
Vérification des Automorphismes : Prouver que les substitutions définies par Galois satisfont les axiomes des automorphismes de corps (préservation de l'addition et de la multiplication, bijectivité) et que l'ensemble de ces substitutions forme le groupe de Galois.

Contributions Clés et Résultats

Caractérisation des Groupes de Galois : L'article établit qu'un groupe de permutations n'est pas nécessairement un groupe au sens moderne mais correspond à une classe (à gauche ou à droite) d'un groupe. Inversement, un groupe de substitutions est toujours un groupe.
- Lemme 1 & 2 : Un ensemble de permutations est un groupe de permutations si et seulement si c'est une classe d'un groupe. Si l'ensemble contient l'identité, c'est un groupe.
- Lemme 3 : L'ensemble des substitutions associées à un groupe de permutations forme un groupe.
Reconstruction de la Proposition II (Factorisation) : L'article prouve que le polynôme minimal $g(x)$ de l'élément primitif $V$ sur le corps de base $\mathbb{Q}$ se factorise en polynômes irréductibles sur des corps intermédiaires basés sur la structure des classes :
- Classes à Droite : Le partitionnement du groupe de Galois en classes à droite d'un sous-groupe $H$ produit une factorisation de $g(x)$ en polynômes dont tous les coefficients appartiennent au même corps fixe $L^H$ .
- Classes à Gauche : Le partitionnement en classes à gauche produit une factorisation où les coefficients des facteurs appartiennent à des corps conjugués à $L^H$ . Cela explique l'observation de Galois concernant la factorisation sur des « corps intermédiaires conjugués ».
Construction Explicite des Fonctions $\theta_i$ : L'article fournit une preuve directe de l'existence des fonctions rationnelles $\theta_1, \theta_2, \theta_3, \theta_4$ nécessaires pour exprimer les racines $x_i$ en termes de l'élément primitif $V$ . Cette preuve utilise une méthode analogue à l'interpolation de Lagrange et est montrée comme étant équivalente à la méthode utilisée dans le carnet d'Adolf Hurwitz en 1909.
Équivalence des Substitutions et des Automorphismes : L'article prouve que les « substitutions » définies par Galois sont précisément les automorphismes de corps du corps de décomposition $L$ .
- Il démontre que ces substitutions préservent la structure algébrique (addition et multiplication) et sont indépendantes de la représentation fonctionnelle spécifique des éléments du corps.
- Proposition 3 : Les substitutions appartenant au groupe de Galois sont exactement les automorphismes du corps de décomposition.
Exemples Illustratifs : La théorie est appliquée aux polynômes $x^3 - 2$ et $x^4 - 2$ . Ces exemples démontrent concrètement comment les classes à gauche mènent à des facteurs sur des corps conjugués (par exemple, $\mathbb{Q}(\sqrt[3]{2})$ , $\mathbb{Q}(\omega\sqrt[3]{2})$ ), tandis que les classes à droite mènent à un seul corps fixe. L'article fournit également un contre-exemple montrant que toutes les permutations des racines ne sont pas des automorphismes (par exemple, des substitutions qui ne préservent pas les relations algébriques comme $x_1 + x_2 = 0$ ).

Signification
L'article affirme que sa principale signification réside dans le fait de combler le fossé entre la formulation originale et incomplète de Galois et la théorie moderne des automorphismes de corps. En reconstruisant la preuve de la Proposition II, l'auteur clarifie que le concept de groupe de permutations (classes) et de groupe de substitutions (groupes) de Galois était un précurseur sophistiqué, bien qu'implicite, de la compréhension moderne de la correspondance de Galois. Le travail démontre que les arguments « manquants » de Galois concernaient essentiellement la relation entre la factorisation des polynômes minimaux et la structure des classes du groupe de Galois. De plus, l'article établit que les « substitutions » que Galois manipulait sont rigoureusement équivalentes aux automorphismes qui définissent la théorie de Galois moderne, validant ainsi la continuité entre les approches classique et moderne. L'exemple détaillé de la Section 8 sert à concrétiser ces concepts abstraits, montrant comment le partitionnement des racines via les classes dicte directement les propriétés arithmétiques des facteurs polynomiaux résultants.