Note liminaire : Tout ce qui suit est une fiction narrative. Les résultats mathématiques sont documentés. Galois et Noether ne se sont jamais rencontrés (un siècle les sépare). La conversation est inventée.
Depuis l’Antiquité, on sait résoudre les équations de degré 2 par radicaux — c’est la formule du discriminant. Au XVIe siècle, Cardano et ses contemporains ont résolu le degré 3, puis Ferrari le degré 4. Chaque fois, la solution s’exprime par des racines carrées, cubiques, quatrièmes.
Et le degré 5 ? Depuis deux siècles, personne n’y arrive. Abel a démontré en 1824 qu’il n’existe pas de formule générale par radicaux pour le degré 5. Mais il n’a pas expliqué pourquoi.
Moi, j’ai trouvé la raison. Et cette raison s’appelle un groupe.
| Degré | Formule par radicaux ? | Auteur |
|---|---|---|
| 2 | \(x = \dfrac{-b \pm \sqrt{\Delta}}{2a}\) | Al-Khwārizmī (IXe s.) |
| 3 | Oui (formule de Cardano) | Del Ferro / Tartaglia / Cardano (XVIe s.) |
| 4 | Oui (méthode de Ferrari) | Ferrari (1540) |
| 5 | Non (en général) | Abel (1824), Galois (1831) |
| \(\geqslant 6\) | Non (en général) | Conséquence de Galois |
« Par radicaux » signifie : en utilisant uniquement \(+, -, \times, \div\) et des racines \(n\)-ièmes. Il existe des équations de degré 5 qui ont des solutions, mais ces solutions ne peuvent pas s'écrire avec ces opérations.
Prenons une équation polynomiale. Ses racines ont des symétries : certaines permutations des racines laissent intactes toutes les relations algébriques entre elles. L’ensemble de ces permutations forme un groupe — ce que vous appelez aujourd’hui le groupe de Galois de l'équation.
Prenons un exemple simple : \(x^2 - 2 = 0\). Les racines sont \(\sqrt{2}\) et \(-\sqrt{2}\). L'échange \(\sqrt{2} \leftrightarrow -\sqrt{2}\) préserve toutes les relations algébriques. Le groupe de symétries est \(\{e, \sigma\}\) où \(\sigma\) permute les deux racines — un groupe à 2 éléments.
Mon théorème fondamental : une équation est résoluble par radicaux si et seulement si son groupe de Galois est résoluble (au sens technique : il se décompose en étapes « simples »).
Pour les degrés 2, 3 et 4, le groupe de Galois est toujours résoluble. Pour le degré 5, le groupe symétrique \(S_5\) ne l’est pas — et c’est pour cela qu’il n’y a pas de formule générale.
Note historique : Galois rédige l’essentiel de sa théorie entre 1829 et 1831. Il soumet deux mémoires à l’Académie des sciences : le premier est perdu par Cauchy, le second est rejeté comme « incompréhensible » par Poisson. La veille de son duel, il écrit une lettre à son ami Chevalier avec ses derniers théorèmes, ponctuée de « je n’ai pas le temps ». Ses manuscrits ne seront publiés qu’en 1846, par Liouville.
Un groupe \((G, \star)\) est un ensemble \(G\) muni d’une loi de composition interne \(\star\) vérifiant :
Exemples :
Galois a inventé les groupes pour résoudre un problème précis — la résolubilité par radicaux. Moi, j’ai compris que la même structure apparaissait partout : en arithmétique, en géométrie, en physique. Il fallait l'étudier pour elle-même, indépendamment des problèmes particuliers.
J’ai défini de façon axiomatique les groupes, les anneaux et les corps — les trois structures fondamentales de l’algèbre. Chaque structure est un ensemble muni de lois vérifiant certains axiomes. Le pouvoir de cette approche, c’est qu’un théorème prouvé pour une structure s’applique à tous les exemples de cette structure, d’un seul coup.
Par exemple, \((\mathbb{Z}, +, \times)\) est un anneau. \((\mathbb{R}, +, \times)\) aussi. \((\mathbb{Z}/n\mathbb{Z}, +, \times)\) aussi. Si je démontre un théorème pour les anneaux en général, il vaut dans les trois cas — et dans une infinité d’autres.
Note historique : Emmy Noether est souvent appelée la « mère de l’algèbre abstraite ». Comme Sophie Germain avant elle, elle a dû surmonter d'énormes obstacles liés à son genre. À Göttingen, elle ne pouvait enseigner qu'à titre officieux — ses cours étaient annoncés au nom de Hilbert. Chassée d’Allemagne par les nazis en 1933 (elle était juive), elle s’exile aux États-Unis où elle meurt deux ans plus tard. Einstein écrira dans le New York Times qu’elle était « le génie mathématique créatif le plus important depuis l’accès des femmes à l’enseignement supérieur ».
Mon théorème le plus connu n’est pas en algèbre — c’est en physique. Le théorème de Noether (1918) dit : à chaque symétrie d’un système physique correspond une loi de conservation.
Chaque symétrie forme un groupe. Les groupes de Galois étudiaient les symétries des racines d’une équation ; les groupes de symétries étudient les transformations qui laissent les lois de la physique invariantes. C’est la même mathématique.
J’ai inventé les groupes pour comprendre les équations algébriques. Vous les avez appliqués à la structure de l’univers. C’est plus que ce que j’aurais osé rêver.
J’avais vingt ans. Un duel était prévu pour le lendemain matin — les circonstances exactes restent obscures, une affaire sentimentale ou politique, peut-être les deux. Je savais que je pouvais mourir.
Alors j’ai écrit. Toute la nuit. J’ai rassemblé mes idées dans une lettre à mon ami Auguste Chevalier. Dans la marge, à plusieurs reprises, j’ai noté : « je n’ai pas le temps ».
Le lendemain, j’ai été touché à l’abdomen. Je suis mort le 31 mai. Quatorze ans plus tard, Liouville a enfin lu mes manuscrits et déclaré devant l’Académie : « ces résultats sont corrects et profonds ».
Galois avait vingt ans et a créé une théorie qui alimente encore les mathématiques et la physique deux siècles plus tard. La leçon, c’est qu’une bonne idée survit à tout — même à la mort de celui qui l’a conçue.
| Date | Auteur | Contribution |
|---|---|---|
| 1824 | Abel (Norvège) | Prouve l’impossibilité d’une formule générale pour le degré 5 |
| 1831 | Galois (Paris) | Invente la théorie des groupes, critère de résolubilité |
| 1832 | Galois | Mort en duel à 20 ans. Manuscrits publiés en 1846 |
| 1854 | Cayley (Angleterre) | Première étude abstraite des groupes finis |
| 1918 | Noether (Göttingen) | Théorème de Noether (symétries → lois de conservation) |
| 1921 | Noether | Idealtheorie : fondements de l’algèbre abstraite (anneaux, idéaux) |
| 1935 | Noether | Mort en exil aux États-Unis. Hommage d’Einstein dans le NYT |
Idée centrale : Galois a montré que les équations cachent des symétries, et que ces symétries forment des groupes. Noether a généralisé cette idée à toutes les mathématiques et à la physique. Aujourd’hui, les structures algébriques (groupes, anneaux, corps) sont le langage commun de l’algèbre, de la géométrie et de la physique théorique.