🎛️ Explore les permutations d'un groupe de racines
Galois associe à chaque équation un groupe de permutations de ses racines. La structure de ce groupe détermine si l'équation est « solvable par radicaux ».
Groupe S_n
S₂
Ordre |S_n| = n!
2
Statut
Résoluble ✓
S₂ = {Id, σ} où σ échange les 2 racines. C'est le groupe le plus simple — donc résoluble. Toutes les équations du 2ᵉ degré ont une formule.
⚜️ Évariste Galois (1811-1832)
Évariste Galois est l'un des esprits les plus brillants de l'histoire des mathématiques. Sa vie est un drame en accéléré :
- 1811 : naissance à Bourg-la-Reine, près de Paris.
- 1828 (17 ans) : il rate le concours d'entrée de l'École polytechnique (jugé trop original par les examinateurs).
- 1829 : 2ᵉ tentative à Polytechnique, recalé encore. Au même moment, son père se suicide (drame politique).
- 1829-1831 : Galois écrit ses premiers articles révolutionnaires. Il les envoie à Cauchy, qui les perd. Il les renvoie à Fourier, qui meurt avant d'avoir lu. Il les renvoie à Poisson, qui les juge « incompréhensibles » et les rejette.
- 1831 : il est emprisonné 6 mois pour ses activités politiques républicaines.
- 30 mai 1832 : Galois est blessé dans un duel (raisons obscures — politique ou amour). Il meurt le lendemain. Il a 20 ans.
- La nuit avant le duel, il écrit fébrilement ses idées mathématiques dans une lettre à son ami Auguste Chevalier, ponctuée de « je n'ai pas le temps ».
🎯 L'idée centrale : associer un groupe à une équation
Galois remarque quelque chose de profond : les racines d'une équation polynomiale ont des symétries cachées. Si on peut permuter (échanger) les racines sans changer les relations algébriques entre elles, c'est qu'il y a une structure de groupe.
Pour chaque équation, Galois définit un groupe appelé aujourd'hui le groupe de Galois. Ce groupe est un sous-groupe du groupe symétrique Sn (permutations des n racines).
📐 Le théorème fondamental de Galois
Théorème de Galois (1832)
Une équation polynomiale est résoluble par radicaux
⇔ son groupe de Galois est résoluble.
Un groupe est dit résoluble si on peut le décomposer en une suite emboîtée de sous-groupes, chacun « simple » d'une certaine façon (groupe abélien à chaque étape).
🔑 Pourquoi le degré 5 résiste ?
Calculons les groupes de Galois génériques pour les premiers degrés :
- n = 2 : S₂ a 2 éléments — abélien — résoluble.
- n = 3 : S₃ a 6 éléments — décomposable {Id, (123), (132)} dans A₃ — résoluble.
- n = 4 : S₄ a 24 éléments. Décomposable via le groupe de Klein V₄ — résoluble (juste à temps).
- n = 5 : S₅ a 120 éléments. Contient A₅ qui est simple non abélien. PAS RÉSOLUBLE.
- n ≥ 5 : tous les Sn contiennent un An simple non abélien. PAS RÉSOLUBLES.
Conséquence d'Abel-Galois : les équations génériques de degré ≥ 5 ne peuvent pas être résolues par radicaux. La barrière est dans la structure du groupe S₅.
💡 Une révolution conceptuelle
Galois a changé la manière même dont on fait des mathématiques :
- Avant Galois : on étudiait des « formules ». L'algèbre était le calcul de racines, de polynômes.
- Après Galois : on étudie des structures abstraites (groupes, anneaux, corps). L'algèbre devient l'étude de ces structures, indépendamment des nombres concrets.
Cette idée — l'algèbre abstraite — a transformé tout : géométrie algébrique, topologie, théorie des nombres, physique théorique. La symétrie devient l'objet central de l'algèbre moderne.
🎓 Applications modernes
- Théorème des trois constructions impossibles : la duplication du cube, la trisection de l'angle, la quadrature du cercle sont impossibles à la règle et au compas (Wantzel, 1837, utilisant Galois).
- Théorème de Wantzel (constructibilité) : un nombre est constructible à la règle et au compas ⇔ son groupe de Galois sur ℚ est un 2-groupe.
- Théorème de Wiles (1995) : Andrew Wiles démontre le grand théorème de Fermat en utilisant la théorie de Galois sur les corps de nombres et les représentations galoisiennes.
- Cryptographie courbes elliptiques : la sécurité de Bitcoin repose sur la structure du groupe de Galois de l'extension des corps finis.
- Symétries en physique : la théorie de Galois est l'inspiration directe de la théorie des groupes en physique des particules (modèle standard, théorie des cordes).
📐 Le lien avec ton programme
Galois n'est pas dans le programme BAC SM, mais ses idées préparent :
- Polynômes et leurs racines (1BAC SM, 2BAC SM).
- Permutations (programme dénombrement) : factorielles, arrangements, groupes symétriques.
- Groupes (post-bac, prépa) : la structure que Galois a inventée.
- Théorie des corps (prépa, université).
- Démonstrations d'impossibilité : Galois a montré qu'on peut prouver rigoureusement qu'une chose n'existe pas.
🌟 L'héritage de Galois
En 1846, Joseph Liouville retrouve les manuscrits de Galois et les publie. La communauté mathématique réalise lentement ce qu'elle a perdu en perdant ce génie à 20 ans.
Au XXᵉ siècle, la théorie de Galois explose. Emmy Noether (1882-1935) et Emil Artin (1898-1962) formalisent l'algèbre abstraite. Alexander Grothendieck (1928-2014) crée la géométrie algébrique moderne, basée sur des généralisations galoisiennes.
Aujourd'hui, on parle de :
- Théorie de Galois différentielle (équations différentielles).
- Cohomologie galoisienne (topologie algébrique).
- Groupe de Galois absolu (théorie des nombres profonde).
- Théorie des représentations galoisiennes (programme de Langlands).
💔 La nuit du 29 mai 1832
Cette nuit-là, Galois rédige fébrilement une lettre à son ami Auguste Chevalier. Il y écrit, dans la marge : « Je n'ai pas le temps. Tu pourras peut-être discuter avec Jacobi ou Gauss de l'importance de ces théorèmes. Plus tard, j'espère, on verra ce qu'il en sera ».
Quelques heures plus tard, il meurt dans un duel. Sa lettre, oubliée pendant 14 ans, finira par fonder une discipline entière.