🔢 mathematics

Adolf Hurwitz and the Fundamental Theorem of Galois Theorie: The Königsberg Lectures of 1890-1891

Cet article analyse les notes de cours d'Adolf Hurwitz de 1890-1891 à Königsberg pour mettre en lumière sa démonstration claire et détaillée du théorème fondamental de la théorie de Galois, formulée dans le langage des substitutions.

Auteurs originaux : Math Dicker

Publié 2026-04-20

📖 5 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 Pont Secret de Hurwitz : Comment un Professeur a Déverrouillé le Coffre-Fort de Galois

Imaginez que vous avez trouvé un coffre-fort incroyablement complexe, laissé par un génie nommé Évariste Galois au début du XIXe siècle. Ce coffre contient la clé pour comprendre pourquoi certaines équations mathématiques peuvent être résolues et d'autres non. Le problème ? Le manuel d'instructions original de Galois est écrit dans un code si obscur, avec des phrases si tordues, que même les mathématiciens les plus brillants peinent à le déchiffrer. C'est comme essayer de lire une carte au trésor écrite dans une langue morte, avec des dessins illisibles.

C'est ici qu'intervient Adolf Hurwitz, un professeur de mathématiques allemand, et l'histoire de ses cours donnés à Königsberg en 1890.

1. Le Contexte : Le Professeur et son Cahier de Notes

L'article raconte comment Hurwitz a décidé de rendre ce coffre-fort accessible. Il ne s'est pas contenté de copier Galois ; il a pris le temps de comprendre la logique profonde derrière le code.

La découverte : Des chercheurs ont retrouvé des notes de cours de Hurwitz (datant de 1890) et un de ses carnets de notes personnels (un "journal intime" mathématique) de 1909.
Le but : Hurwitz voulait montrer à ses étudiants que la théorie de Galois, bien que difficile, était en fait très logique. Il a utilisé un langage plus clair, basé sur les "substitutions" (des échanges de pièces), pour expliquer les idées de Galois.

2. L'Analogie du Puzzle et des Étiquettes

Pour expliquer la preuve de Hurwitz, imaginons une scène de cuisine ou un jeu de puzzle :

Les Racines (x1, x2, x3, x4) : Imaginez quatre ingrédients mystérieux (des racines d'une équation) que vous ne connaissez pas directement.
Le Mélange (V) : Pour les identifier, Hurwitz propose de les mélanger avec des étiquettes numériques (des coefficients $n_1, n_2...$ ). Il crée une "soupe" spéciale : $V = n_1x_1 + n_2x_2 + n_3x_3 + n_4x_4$ .
La Magie : Galois a découvert qu'en changeant l'ordre des ingrédients (en les "substituant" les uns aux autres), on obtient 24 versions différentes de cette soupe ( $V_1$ à $V_{24}$ ). Chaque version est unique.

Le problème : Si je vous donne une seule goutte de cette soupe ( $V_i$ ), pouvez-vous retrouver exactement quels ingrédients étaient dedans et dans quel ordre ?

La solution de Hurwitz :
Hurwitz dit : "Oui, c'est possible !" Il explique que si vous connaissez la recette de la soupe (la fonction mathématique), vous pouvez travailler à l'envers.

Imaginez que chaque goutte de soupe ( $V_i$ ) porte une étiquette secrète.
Hurwitz a trouvé une méthode (une formule magique) pour lire cette étiquette et dire : "Ah ! Cette goutte correspond à l'ingrédient $x_1$ qui a été mélangé avec $x_3$ ..."
En faisant cela pour toutes les gouttes, il peut reconstruire tout le puzzle.

3. Le Théorème Fondamental : La Carte et le Gardien

Le cœur de l'article est la preuve du Théorème Fondamental de la Théorie de Galois. Voici comment on peut le visualiser avec une analogie simple :

Imaginez un château fort (l'équation mathématique) avec un gardien très strict (le Groupe de Galois).

Le Gardien (Le Groupe) : C'est un club secret de permutations. Il autorise certains échanges d'ingrédients, mais pas d'autres.
Le Trésor (Le Corps de Rationalité) : C'est ce qui reste dans le château si vous ne faites que les échanges autorisés par le gardien.

Le théorème dit ceci :
Il existe une correspondance parfaite, comme un miroir, entre :

Les règles du club (quels échanges sont autorisés ?).
Le contenu du coffre (quelles informations sont accessibles ?).

Si vous changez les règles du club (le groupe), le contenu du coffre change instantanément. Hurwitz a prouvé mathématiquement que cette correspondance est inévitable et parfaite. Il a montré que si vous connaissez le groupe de substitutions, vous connaissez exactement quelles équations peuvent être résolues dans ce système.

4. Pourquoi cet article est-il important aujourd'hui ?

L'auteur de l'article (Math Dicker) nous dit que les notes de Hurwitz sont précieuses pour deux raisons :

L'Élégance : La preuve de Hurwitz est belle. Elle est comme une pièce de musique classique : chaque note (étape mathématique) est nécessaire et s'enchaîne parfaitement avec la suivante. C'est beaucoup plus fluide que le texte original de Galois, qui est parfois brut et confus.
Le Pont : Hurwitz a servi de pont entre le génie solitaire de Galois (qui est mort jeune et tragique) et le monde moderne. Il a pris les idées brutes de Galois et les a polies pour les rendre compréhensibles pour les étudiants.

En résumé :
Cet article nous montre comment Adolf Hurwitz, en 1890, a pris un message crypté laissé par un jeune génie (Galois), l'a décrypté avec une méthode claire et élégante, et a prouvé que le monde des équations mathématiques fonctionne comme un système de clés et de serrures parfaitement synchronisé. Grâce à ses notes, nous pouvons aujourd'hui voir la beauté de la théorie de Galois sans avoir à lutter contre le jargon obscur du XIXe siècle.

1. Problématique et Contexte

L'article s'attache à rendre accessible la pensée originale d'Évariste Galois, dont le Mémoire sur les conditions de résolubilité des équations par radicaux (1830) est notoirement difficile à appréhender en raison de son style cryptique et de son manque de formalisme moderne. Le problème central est de reconstruire la démonstration du théorème fondamental de la théorie de Galois telle qu'elle était enseignée par Adolf Hurwitz (1859–1919), sans recourir à la théorie moderne des corps (Körper) telle que développée plus tard par Dedekind et Noether.

L'auteur se base sur deux sources principales :

Les notes de cours de Hurwitz données à l'Université de Königsberg durant le semestre d'hiver 1890–1891 (Theorie der algebraischen Gleichungen), conservées à la bibliothèque de l'ETH Zurich.
Le Mathematisches Tagebuch (Carnet de mathématiques) n°23 de Hurwitz, daté du 1er juillet 1909, où il reprend et formalise la preuve du théorème fondamental.

2. Méthodologie

L'approche méthodologique de l'article repose sur une analyse historique et mathématique rigoureuse des manuscrits originaux :

Contextualisation historique : L'auteur situe les conférences de Königsberg dans la tradition du XIXe siècle, où la théorie de Galois était enseignée exclusivement en termes de théorie des substitutions (groupes de permutations), et non via la théorie des corps d'extension.
Reconstruction de la preuve : L'article reconstitue l'argumentation de Hurwitz en s'appuyant sur le cas concret d'un polynôme de degré 4 à coefficients rationnels ( $f(x) \in \mathbb{Q}[x]$ ) et ses quatre racines distinctes $x_1, x_2, x_3, x_4$ .
Utilisation des fonctions rationnelles : Hurwitz évite l'abstraction des corps en utilisant des fonctions rationnelles explicites. Il définit des combinaisons linéaires des racines (éléments de Lagrange) pour générer un ensemble de valeurs distinctes, servant de pont entre les racines et les substitutions.

3. Contributions Clés et Reconstruction Mathématique

Le cœur de l'article est la reconstruction détaillée de la preuve du théorème fondamental par Hurwitz, qui établit la correspondance biunivoque entre les sous-groupes du groupe de Galois et les sous-corps (ou domaines de rationalité) intermédiaires.

Les étapes techniques de la démonstration de Hurwitz :

Construction des valeurs $V_i$ :
Soit $f(x)$ un polynôme de degré 4. Hurwitz utilise le Lemme II de Galois pour affirmer l'existence de coefficients entiers $n_1, \dots, n_4$ tels que les 24 combinaisons linéaires $V_s = n_1 x_{s(1)} + \dots + n_4 x_{s(4)}$ soient toutes distinctes. Ces valeurs $V_1, \dots, V_{24}$ appartiennent au corps de décomposition $L$ .
Fonction génératrice et dérivées :
Hurwitz définit un polynôme $F(v) = \prod_{i=1}^{24} (v - V_i)$ . Les coefficients de $F$ sont des fonctions rationnelles symétriques des racines, donc appartenant au domaine de rationalité de base $R$ .
En différentiant l'identité $F(V_i) = 0$ par rapport aux coefficients $u_k$ (ou $n_k$ ), il montre que chaque racine $x_j$ peut être exprimée comme une fonction rationnelle $R_j(V_i)$ de la valeur $V_i$ .
$x_j = R_j(V_i)$
Cela permet de reconstruire les racines originales à partir de n'importe quelle valeur $V_i$ .
Définition du groupe $G$ :
Soit $G(v)$ le facteur irréductible de $F(v)$ s'annulant en $V_1$ . Ses racines sont un sous-ensemble $\{V_1, \dots, V_m\}$ . Les substitutions $S_i$ qui envoient $V_1$ sur $V_i$ forment un ensemble $G$ .
Hurwitz démontre que $G$ est un groupe (propriété III) en montrant que la composition de deux substitutions correspond à une troisième substitution dans l'ensemble, grâce à la structure des racines de $G(v)$ .
Énoncé du Théorème Fondamental (Correspondance) :
Hurwitz établit quatre propriétés fondamentales reliant les fonctions rationnelles invariantes et le groupe $G$ :
- I) Invariance $\implies$ Rationalité : Toute fonction rationnelle $\phi(x_1, \dots, x_4)$ invariante sous les substitutions de $G$ prend une valeur appartenant au domaine de rationalité $R$ .
- II) Rationalité $\implies$ Invariance : Toute fonction rationnelle dont la valeur appartient à $R$ est invariante sous les substitutions de $G$ .
- III) Structure de Groupe : L'ensemble des substitutions formant $G$ est bien un groupe.
- IV) Caractérisation unique : Une substitution appartient à $G$ si et seulement si elle préserve toutes les fonctions rationnelles à valeurs dans $R$ .

4. Résultats

Preuve élégante et concise : L'article révèle que la preuve de Hurwitz, bien que subtile, est d'une grande élégance. Elle évite la lourdeur algébrique moderne en s'appuyant sur des calculs explicites de fonctions rationnelles et de dérivées partielles.
Validation historique : La démonstration confirme que Hurwitz, en 1890 et 1909, maîtrisait parfaitement la logique de Galois tout en la clarifiant. Il a réussi à formaliser le lien entre les domaines de rationalité et les groupes de substitutions sans utiliser le langage des corps, ce qui rend son approche très proche de l'intuition originale de Galois.
Lien entre les sources : L'article démontre que Hurwitz a utilisé ses notes de Königsberg (1890) pour rédiger la version de son journal de 1909, ajoutant des notes marginales pour clarifier la connexion avec le Mémoire de Galois.

5. Signification

Accès à Galois : Cet article fournit un "pont" pédagogique essentiel. Il permet aux lecteurs modernes de comprendre la pensée de Galois non pas à travers des interprétations modernes abstraites, mais via la méthode de substitution directe utilisée par un grand mathématicien du XIXe siècle.
Pédagogie historique : Il met en lumière la qualité d'enseignant d'Adolf Hurwitz, capable de transmettre des concepts complexes avec clarté. Les conférences de Königsberg offrent une perspective unique sur l'évolution de l'enseignement de l'algèbre avant la formalisation axiomatique du XXe siècle.
Valeur des sources primaires : L'article souligne l'importance cruciale des archives de l'ETH Zurich (notes de cours et journaux personnels) pour la compréhension de l'histoire des mathématiques, montrant comment les manuscrits inédits peuvent éclairer des démonstrations classiques.

En résumé, l'article de Math Dicker ne se contente pas de présenter une preuve historique ; il offre une reconstruction technique fidèle qui démontre la beauté intrinsèque de la théorie de Galois dans sa formulation originelle, rendue accessible grâce à la rigueur et à la clarté d'Adolf Hurwitz.