La «théorie de Galois» et son enseignement

Documents pareils
Introduction à l étude des Corps Finis

Le produit semi-direct

Polynômes à plusieurs variables. Résultant

Image d un intervalle par une fonction continue

Groupe symétrique. Chapitre II. 1 Définitions et généralités

Calcul fonctionnel holomorphe dans les algèbres de Banach

Proposition. Si G est un groupe simple d ordre 60 alors G est isomorphe à A 5.

L isomorphisme entre les tours de Lubin-Tate et de Drinfeld et applications cohomologiques par Laurent Fargues


La Licence Mathématiques et Economie-MASS Université de Sciences Sociales de Toulouse 1

Continuité d une fonction de plusieurs variables

I. Polynômes de Tchebychev

Quelques tests de primalité

Analyse fonctionnelle Théorie des représentations du groupe quantique compact libre O(n) Teodor Banica Résumé - On trouve, pour chaque n 2, la classe

Chapitre 2. Eléments pour comprendre un énoncé

De même, le périmètre P d un cercle de rayon 1 vaut P = 2π (par définition de π). Mais, on peut démontrer (difficilement!) que

Cours de mathématiques

Continuité en un point

Mathématiques Algèbre et géométrie

Structures algébriques

Carl-Louis-Ferdinand von Lindemann ( )

Master de Recherche première année. Programme de cours

Logique. Plan du chapitre

Corps des nombres complexes, J Paul Tsasa

Résumé du cours d algèbre 1, Sandra Rozensztajn. UMPA, ENS de Lyon, sandra.rozensztajn@ens-lyon.fr

Exercices - Polynômes : corrigé. Opérations sur les polynômes

Fonctions de plusieurs variables, intégrales multiples, et intégrales dépendant d un paramètre

Extrait du poly de Stage de Grésillon 1, août 2010

Première partie. Préliminaires : noyaux itérés. MPSI B 6 juin 2015

Limites finies en un point

Correction de l examen de la première session

Fonctions de plusieurs variables

Réalisabilité et extraction de programmes

Cours arithmétique et groupes. Licence première année, premier semestre

La Longue Marche à travers la théorie de Galois, Part Ib, 26-37

Raisonnement par récurrence Suites numériques

Licence STS mention Mathématiques Parcours Ingénieur Télécom Bretagne (ITB)

Problème 1 : applications du plan affine

Exercices - Fonctions de plusieurs variables : corrigé. Pour commencer

Chapitre 3. Quelques fonctions usuelles. 1 Fonctions logarithme et exponentielle. 1.1 La fonction logarithme

Résolution d équations non linéaires

Comparaison de fonctions Développements limités. Chapitre 10

Exemple 4.4. Continuons l exemple précédent. Maintenant on travaille sur les quaternions et on a alors les décompositions

Exercices Alternatifs. Quelqu un aurait-il vu passer un polynôme?

Exercices Alternatifs. Quelqu un aurait-il vu passer un polynôme?

Chapitre 1 : Évolution COURS

Points de Weierstrass d une surface de Riemann compacte

Cours introductif de M2 Théorie des Nombres

Chapitre VI - Méthodes de factorisation

1 Première section: La construction générale

Continuité et dérivabilité d une fonction

Une forme générale de la conjecture abc

CCP PSI Mathématiques 1 : un corrigé

Enoncé et corrigé du brevet des collèges dans les académies d Aix- Marseille, Montpellier, Nice Corse et Toulouse en Énoncé.

Nombres premiers. Comment reconnaître un nombre premier? Mais...

FONDEMENTS MATHÉMATIQUES 12 E ANNÉE. Mathématiques financières

Programmes des classes préparatoires aux Grandes Ecoles

RAPHAËL ROUQUIER. 1. Introduction

I. Ensemble de définition d'une fonction

1 Définition et premières propriétés des congruences

FEUILLETAGES PAR VARIÉTÉS COMPLEXES ET PROBLÈMES D UNIFORMISATION LAURENT MEERSSEMAN

FONDEMENTS DES MATHÉMATIQUES

Suites numériques 3. 1 Convergence et limite d une suite

Marc HINDRY. Introduction et présentation. page 2. 1 Le langage mathématique page 4. 2 Ensembles et applications page 8

Fibonacci et les paquerettes

Premiers exercices d Algèbre. Anne-Marie Simon

Corrigé Problème. Partie I. I-A : Le sens direct et le cas n= 2

Dérivées d ordres supérieurs. Application à l étude d extrema.

Algèbre binaire et Circuits logiques ( )

Calcul de développements de Puiseux et application au calcul du groupe de monodromie d'une courbe algébrique plane

Probabilité. Table des matières. 1 Loi de probabilité Conditions préalables Définitions Loi équirépartie...

Sur certaines séries entières particulières

Approximations variationelles des EDP Notes du Cours de M2

Mesures gaussiennes et espaces de Fock

Synthèse «Le Plus Grand Produit»

Groupoïdes quantiques mesurés : axiomatique, étude, dualité, exemples

n N = u N u N+1 1 u pour u 1. f ( uv 1) v N+1 v N v t

Définition 0,752 = 0,7 + 0,05 + 0,002 SYSTÈMES DE NUMÉRATION POSITIONNELS =

I - PUISSANCE D UN POINT PAR RAPPORT A UN CERCLE CERCLES ORTHOGONAUX POLES ET POLAIRES

CHOIX OPTIMAL DU CONSOMMATEUR. A - Propriétés et détermination du choix optimal

UNIVERSITE IBN ZOHR Faculté des sciences Agadir. Filière SMA & SMI. Semestre 1. Module : Algèbre 1

Chapitre 2 Le problème de l unicité des solutions

Par combien de zéros se termine N!?

VI. COMPLÉMENTS SUR LES MODULES, THÉORÈME CHINOIS, FACTEURS INVARIANTS SÉANCES DU 15, 16 ET 22 OCTOBRE

Programme de la classe de première année MPSI

Théorème du point fixe - Théorème de l inversion locale

aux différences est appelé équation aux différences d ordre n en forme normale.

Un K-espace vectoriel est un ensemble non vide E muni : d une loi de composition interne, c est-à-dire d une application de E E dans E : E E E

DÉRIVÉES. I Nombre dérivé - Tangente. Exercice 01 (voir réponses et correction) ( voir animation )

TOUT CE QU IL FAUT SAVOIR POUR LE BREVET

Présentation du langage et premières fonctions

Cryptographie et fonctions à sens unique

La persistance des nombres

Suites numériques 4. 1 Autres recettes pour calculer les limites

* très facile ** facile *** difficulté moyenne **** difficile ***** très difficile I : Incontournable T : pour travailler et mémoriser le cours

Rapport de stage de fin de première année : exemples de groupes, leur traitement par MAGMA, et applications en cryptographie

PRIME D UNE OPTION D ACHAT OU DE VENTE

Dualité dans les espaces de Lebesgue et mesures de Radon finies

Capes Première épreuve

rf( 1 f(x)x dx = O. ) U concours externe de recrutement de professeurs agreg6s composition d analyse

Transcription:

La «théorie de Galois» et son enseignement Antoine Chambert-Loir Institut de recherche mathématique de Rennes, Université de Rennes 1 Bicentenaire de la naissance d Évariste Galois 24 octobre 2011 La «théorie de Galois» et son enseignement p. 1

Qu est-ce que la théorie de Galois? Gilles Châtelet : «La physique mathématique comme projet» L enchantement du virtuel. Mathématique, physique, philosophie édité par C. Alluni et C. Paoletti, ÉditionsRued Ulm, 2010. «La théorie des équations de Galois constitue probablement un des plus beaux exemples du principe de dissymétrie créatrice en mathématiques. Cette théorie des équations (...) prend explicitement pour thème la symétrie et la dissymétrie de l ensemble des racines d une équation irréductible à coefficients entiers, n + n 1 n 1 + + 0 = 0 (E) La «théorie de Galois» et son enseignement Qu est-ce que la «théorie de Galois»? p. 2

Qu est-ce que la théorie de Galois? Gilles Châtelet : «La physique mathématique comme projet» L enchantement du virtuel. Mathématique, physique, philosophie édité par C. Alluni et C. Paoletti, ÉditionsRued Ulm, 2010. «Rappelons que les travaux de Cauchy avaient déjà montré l existence d un domaine D(α 1,..., α n ) étendant les rationnels et sur lequel (E) se décompose : ( α 1 )( α 2 ) ( α n ) = 0 «L indexation des racines sous la forme (α ) est tout à fait arbitraire. Pour l algébriste qui calcule sur les rationnels, ces racines n existent pas. Ce qui existe c est le domaine D(α 1,..., α n ) et la manière dont il s obtient à partir de (E). La «théorie de Galois» et son enseignement Qu est-ce que la «théorie de Galois»? p. 2

Qu est-ce que la théorie de Galois? Gilles Châtelet : «La physique mathématique comme projet» L enchantement du virtuel. Mathématique, physique, philosophie édité par C. Alluni et C. Paoletti, ÉditionsRued Ulm, 2010. «À proprement parler, ces racines ne sont pas «possibles». Elles créent «du possible» au sens où le domaine D(α 1,..., α n ) est d autant plus vaste que les substitutions que peut effectuer un algébriste ne connaissant que les rationnels sont plus nombreuses. Ces substitutions peuvent être toutes les permutations qui échangent les racines. Il peut exister aussi des relations rationnelles «particulières» entre elles (équations «bicarrées», équations «réciproques»). La «théorie de Galois» et son enseignement Qu est-ce que la «théorie de Galois»? p. 2

Qu est-ce que la théorie de Galois? Gilles Châtelet : «La physique mathématique comme projet» L enchantement du virtuel. Mathématique, physique, philosophie édité par C. Alluni et C. Paoletti, ÉditionsRued Ulm, 2010. «Le groupe de symétrie de l équation (groupe de Galois) est alors le plus grand groupe de substitutions qui respecte les relations entre les racines. Il traduit notre manque de discernement entre les (α ) mais apprécie également la dimension du nouveau domaine de rationalité D(α 1,..., α n ) qu il constitue. Il mesure bien l espace de liberté engendré par le problème. Ces racines n existent que virtuellement. Elles n agissent pas comme individus mais par la potentialité de leurs échanges.» La «théorie de Galois» et son enseignement Qu est-ce que la «théorie de Galois»? p. 2

Corps commutatifs La «théorie de Galois» vise à expliquer, classifier, décrire les corps et leurs extensions. Corps : ensemble F muni d une addition +, d une multiplication, commutatives et associatives, la multiplication étant distributive par rapport à la multiplication. On suppose l existence d un élément neutre 0 pour l addition, d un élément neutre 1 pour la multiplication (et 1 = 0), que tout élément a un opposé (pour +) et que tout élément non nul a un inverse (pour ). La «théorie de Galois» et son enseignement Qu est-ce que la «théorie de Galois»? p. 3

Corps commutatifs La «théorie de Galois» vise à expliquer, classifier, décrire les corps et leurs extensions. Corps : ensemble F muni d une addition +, d une multiplication, commutatives et associatives, la multiplication étant distributive par rapport à la multiplication. On suppose l existence d un élément neutre 0 pour l addition, d un élément neutre 1 pour la multiplication (et 1 = 0), que tout élément a un opposé (pour +) et que tout élément non nul a un inverse (pour ). La «théorie de Galois» et son enseignement Qu est-ce que la «théorie de Galois»? p. 3

Corps commutatifs : exemples Exemples : 1) le corps Q des nombres rationnels ; 2) ceux R et C des nombres réels ou des nombres complexes ; 3) les corps de restes Z/pZ (p nombre premier), les corps finis F q (q puissance d un nombre premier) ; 4) le corps des fonctions méromorphes sur une surface de Riemann connexe, celui des fonctions rationnelles sur une variété algébrique irréductible... La «théorie de Galois» et son enseignement Qu est-ce que la «théorie de Galois»? p. 4

Extensions de corps Extension de corps : application F F où F et F sont deux corps, envoyant 0 sur 0, 1 sur 1 et compatible à l addition et à la multiplication. Exemples : 1) si P est un polynôme à coefficients entiers, l inclusion de Q dans le sous-corps Q(α 1,..., α n ) de C engendré par les racines α 1,..., α n de P ; 2) si q est une puissance d un nombre premier p, l inclusion de corps finis F p F q ; 3) si ƒ : M M est un morphisme non constant de surfaces de Riemann connexes compactes, l extension ƒ : C(M) C(M ) obtenue par composition par ƒ des fonctions méromorphes sur M ; 4) l extension analogue si ƒ : M M est un morphisme dominant de variétés algébriques irréductibles. La «théorie de Galois» et son enseignement Qu est-ce que la «théorie de Galois»? p. 5

Extensions de corps Extension de corps : application F F où F et F sont deux corps, envoyant 0 sur 0, 1 sur 1 et compatible à l addition et à la multiplication. Exemples : 1) si P est un polynôme à coefficients entiers, l inclusion de Q dans le sous-corps Q(α 1,..., α n ) de C engendré par les racines α 1,..., α n de P ; 2) si q est une puissance d un nombre premier p, l inclusion de corps finis F p F q ; 3) si ƒ : M M est un morphisme non constant de surfaces de Riemann connexes compactes, l extension ƒ : C(M) C(M ) obtenue par composition par ƒ des fonctions méromorphes sur M ; 4) l extension analogue si ƒ : M M est un morphisme dominant de variétés algébriques irréductibles. La «théorie de Galois» et son enseignement Qu est-ce que la «théorie de Galois»? p. 5

Extensions de corps Extension de corps : application F F où F et F sont deux corps, envoyant 0 sur 0, 1 sur 1 et compatible à l addition et à la multiplication. Exemples : 1) si P est un polynôme à coefficients entiers, l inclusion de Q dans le sous-corps Q(α 1,..., α n ) de C engendré par les racines α 1,..., α n de P ; 2) si q est une puissance d un nombre premier p, l inclusion de corps finis F p F q ; 3) si ƒ : M M est un morphisme non constant de surfaces de Riemann connexes compactes, l extension ƒ : C(M) C(M ) obtenue par composition par ƒ des fonctions méromorphes sur M ; 4) l extension analogue si ƒ : M M est un morphisme dominant de variétés algébriques irréductibles. La «théorie de Galois» et son enseignement Qu est-ce que la «théorie de Galois»? p. 5

Extensions de corps Extension de corps : application F F où F et F sont deux corps, envoyant 0 sur 0, 1 sur 1 et compatible à l addition et à la multiplication. Exemples : 1) si P est un polynôme à coefficients entiers, l inclusion de Q dans le sous-corps Q(α 1,..., α n ) de C engendré par les racines α 1,..., α n de P ; 2) si q est une puissance d un nombre premier p, l inclusion de corps finis F p F q ; 3) si ƒ : M M est un morphisme non constant de surfaces de Riemann connexes compactes, l extension ƒ : C(M) C(M ) obtenue par composition par ƒ des fonctions méromorphes sur M ; 4) l extension analogue si ƒ : M M est un morphisme dominant de variétés algébriques irréductibles. La «théorie de Galois» et son enseignement Qu est-ce que la «théorie de Galois»? p. 5

Éléments algébriques Considérons une extension de corps F F. Un élément α de F est algébrique sur F s il est solution dans F d une équation polynomiale (non idiote) à coefficients dans F. Il est alors racine d un unique polynôme unitaire de degré minimal, irréductible, qu on appelle son polynôme minimal. Son degré est aussi appelé degré de α. Exemples : 1) 2 est de degré 2 sur Q, son polynôme minimal est X 2 2. 2) exp(2iπ/ 17) est racine du polynôme (X 17 1)/(X 1) = X 16 + X 15 + + 1 Comme ce polynôme est irréductible, il est de degré 16. 3) e, π ne sont pas algébriques sur Q. La «théorie de Galois» et son enseignement Qu est-ce que la «théorie de Galois»? p. 6

Éléments algébriques Considérons une extension de corps F F. Un élément α de F est algébrique sur F s il est solution dans F d une équation polynomiale (non idiote) à coefficients dans F. Il est alors racine d un unique polynôme unitaire de degré minimal, irréductible, qu on appelle son polynôme minimal. Son degré est aussi appelé degré de α. Exemples : 1) 2 est de degré 2 sur Q, son polynôme minimal est X 2 2. 2) exp(2iπ/ 17) est racine du polynôme (X 17 1)/(X 1) = X 16 + X 15 + + 1 Comme ce polynôme est irréductible, il est de degré 16. 3) e, π ne sont pas algébriques sur Q. La «théorie de Galois» et son enseignement Qu est-ce que la «théorie de Galois»? p. 6

Extensions algébriques Une extension F F est dite algébrique si tout élément de F est algébrique sur F. Exemples : 1) extensions F F telles que F est engendré par des éléments algébriques sur F ; concrètement : Q Q( 3 2), Q Q( 3 2, exp(2iπ/3)),... 2) extensions finies, c est-à-dire telles que F soit un F-espace vectoriel de dimension finie on note alors [F : F] = dim F (F ) le degré de l extension. La «théorie de Galois» et son enseignement Qu est-ce que la «théorie de Galois»? p. 7

Extensions algébriques Une extension F F est dite algébrique si tout élément de F est algébrique sur F. Exemples : 1) extensions F F telles que F est engendré par des éléments algébriques sur F ; concrètement : Q Q( 3 2), Q Q( 3 2, exp(2iπ/3)),... 2) extensions finies, c est-à-dire telles que F soit un F-espace vectoriel de dimension finie on note alors [F : F] = dim F (F ) le degré de l extension. La «théorie de Galois» et son enseignement Qu est-ce que la «théorie de Galois»? p. 7

Extensions algébriques Une extension F F est dite algébrique si tout élément de F est algébrique sur F. Exemples : 1) extensions F F telles que F est engendré par des éléments algébriques sur F ; concrètement : Q Q( 3 2), Q Q( 3 2, exp(2iπ/3)),... 2) extensions finies, c est-à-dire telles que F soit un F-espace vectoriel de dimension finie on note alors [F : F] = dim F (F ) le degré de l extension. La «théorie de Galois» et son enseignement Qu est-ce que la «théorie de Galois»? p. 7

Construction d extensions algébriques Soit F un corps et soit P un polynôme à coefficients dans F. On peut construire une extension de décomposition, une extension algébrique F F P telle que : 1) le polynôme P est scindé dans F P ; 2) le corps F P est engendré sur F par les racines de P dans F P. Une telle extension est «unique», au sens où toute extension F F vérifiant ces propriétés P est isomorphe à l extension donnée F F P. La «théorie de Galois» semble être une espèce de version statique de la théorie de Galois dans laquelle les racines ne vivent que pour être permutées. C est la multiplicité des isomorphismes entre les extensions F P et F qui restaure, au sein de la «théorie de P Galois» la dynamique inhérente à la théorie de Galois. La «théorie de Galois» et son enseignement Qu est-ce que la «théorie de Galois»? p. 8

Construction d extensions algébriques Soit F un corps et soit P un polynôme à coefficients dans F. On peut construire une extension de décomposition, une extension algébrique F F P telle que : 1) le polynôme P est scindé dans F P ; 2) le corps F P est engendré sur F par les racines de P dans F P. Une telle extension est «unique», au sens où toute extension F F vérifiant ces propriétés P est isomorphe à l extension donnée F F P. La «théorie de Galois» semble être une espèce de version statique de la théorie de Galois dans laquelle les racines ne vivent que pour être permutées. C est la multiplicité des isomorphismes entre les extensions F P et F qui restaure, au sein de la «théorie de P Galois» la dynamique inhérente à la théorie de Galois. La «théorie de Galois» et son enseignement Qu est-ce que la «théorie de Galois»? p. 8

Construction d extensions algébriques Soit F un corps et soit P un polynôme à coefficients dans F. On peut construire une extension de décomposition, une extension algébrique F F P telle que : 1) le polynôme P est scindé dans F P ; 2) le corps F P est engendré sur F par les racines de P dans F P. Une telle extension est «unique», au sens où toute extension F F vérifiant ces propriétés P est isomorphe à l extension donnée F F P. La «théorie de Galois» semble être une espèce de version statique de la théorie de Galois dans laquelle les racines ne vivent que pour être permutées. C est la multiplicité des isomorphismes entre les extensions F P et F qui restaure, au sein de la «théorie de P Galois» la dynamique inhérente à la théorie de Galois. La «théorie de Galois» et son enseignement Qu est-ce que la «théorie de Galois»? p. 8

Le groupe de Galois d une extension algébrique Considérons une extension de corps F F, algébrique. Son groupe de Galois, noté G l(f /F), est l ensemble des automorphismes de corps de F qui fixent tout élément de F. Autrement dit, un élement de G l(f /F) est une bijection de F qui fixe tout élément de F et qui est compatible avec l addition et la multiplication. La composition des bijections fait de G l(f /F) un groupe. Exemples : 1) le corps C a exactement deux automorphismes qui fixent R, l identité et la conjugaison complexe c. Ainsi, G l(c/r) = { d, c} est le groupe à deux éléments ; 2) le corps Q( 3 2) n a aucun automorphisme autre que l identité, et G l(q( 3 2/Q) = { d}. La «théorie de Galois» et son enseignement Qu est-ce que la «théorie de Galois»? p. 9

Le groupe de Galois d une extension algébrique Considérons une extension de corps F F, algébrique. Son groupe de Galois, noté G l(f /F), est l ensemble des automorphismes de corps de F qui fixent tout élément de F. Autrement dit, un élement de G l(f /F) est une bijection de F qui fixe tout élément de F et qui est compatible avec l addition et la multiplication. La composition des bijections fait de G l(f /F) un groupe. Exemples : 1) le corps C a exactement deux automorphismes qui fixent R, l identité et la conjugaison complexe c. Ainsi, G l(c/r) = { d, c} est le groupe à deux éléments ; 2) le corps Q( 3 2) n a aucun automorphisme autre que l identité, et G l(q( 3 2/Q) = { d}. La «théorie de Galois» et son enseignement Qu est-ce que la «théorie de Galois»? p. 9

Le groupe de Galois d une extension algébrique Considérons une extension de corps F F, algébrique. Son groupe de Galois, noté G l(f /F), est l ensemble des automorphismes de corps de F qui fixent tout élément de F. Autrement dit, un élement de G l(f /F) est une bijection de F qui fixe tout élément de F et qui est compatible avec l addition et la multiplication. La composition des bijections fait de G l(f /F) un groupe. Exemples : 1) le corps C a exactement deux automorphismes qui fixent R, l identité et la conjugaison complexe c. Ainsi, G l(c/r) = { d, c} est le groupe à deux éléments ; 2) le corps Q( 3 2) n a aucun automorphisme autre que l identité, et G l(q( 3 2/Q) = { d}. La «théorie de Galois» et son enseignement Qu est-ce que la «théorie de Galois»? p. 9

Le groupe de Galois d une extension algébrique Considérons une extension de corps F F, algébrique. Son groupe de Galois, noté G l(f /F), est l ensemble des automorphismes de corps de F qui fixent tout élément de F. Autrement dit, un élement de G l(f /F) est une bijection de F qui fixe tout élément de F et qui est compatible avec l addition et la multiplication. La composition des bijections fait de G l(f /F) un groupe. Exemples : 1) le corps C a exactement deux automorphismes qui fixent R, l identité et la conjugaison complexe c. Ainsi, G l(c/r) = { d, c} est le groupe à deux éléments ; 2) le corps Q( 3 2) n a aucun automorphisme autre que l identité, et G l(q( 3 2/Q) = { d}. La «théorie de Galois» et son enseignement Qu est-ce que la «théorie de Galois»? p. 9

Extensions galoisiennes Ce sont celles qui possèdent toute la dynamique de la «théorie de Galois». On dit qu une extension (algébrique, finie) F F est galoisienne si elle vérifie l une des propriétés équivalentes suivantes : 1) pour tout élément α F \ F, il existe g G l(f /F) tel que g(α) = α ; 2) le degré [F : F] de l extension est égal au cardinal du groupe G l(f /F) ; 3) le polynôme minimal de tout élément de F est scindé à racines simples dans F ; 4) le corps F est engendré sur F par les racines d un polynôme P F[X] qui est scindé à racines simples dans F. La «théorie de Galois» et son enseignement Qu est-ce que la «théorie de Galois»? p. 10

Extensions galoisiennes Ce sont celles qui possèdent toute la dynamique de la «théorie de Galois». On dit qu une extension (algébrique, finie) F F est galoisienne si elle vérifie l une des propriétés équivalentes suivantes : 1) pour tout élément α F \ F, il existe g G l(f /F) tel que g(α) = α ; 2) le degré [F : F] de l extension est égal au cardinal du groupe G l(f /F) ; 3) le polynôme minimal de tout élément de F est scindé à racines simples dans F ; 4) le corps F est engendré sur F par les racines d un polynôme P F[X] qui est scindé à racines simples dans F. La «théorie de Galois» et son enseignement Qu est-ce que la «théorie de Galois»? p. 10

Extensions galoisiennes (commentaire) Des quatre conditions équivalentes précédentes, les deux premières sont deux façons de mesurer le «dynamisme» de l extension F F : la première dit que le groupe G l(f /F) bouge assez F, la seconde qu il est aussi gros que possible. La troisième explique la seule cause possible de l asthénie d une extension F F : l absence dans F d assez de conjugués des éléments de F. La quatrième fournit un moyen concret de construire une extension galoisienne : c est une extension de décomposition F F P d un polynôme P dont toutes les racines seront simples. Cette dernière condition, de séparabilité, est automatique en caractéristique zéro ou sur les corps finis, mais son développement est un peu délicat. La «théorie de Galois» et son enseignement Qu est-ce que la «théorie de Galois»? p. 11

Extensions galoisiennes (commentaire) Des quatre conditions équivalentes précédentes, les deux premières sont deux façons de mesurer le «dynamisme» de l extension F F : la première dit que le groupe G l(f /F) bouge assez F, la seconde qu il est aussi gros que possible. La troisième explique la seule cause possible de l asthénie d une extension F F : l absence dans F d assez de conjugués des éléments de F. La quatrième fournit un moyen concret de construire une extension galoisienne : c est une extension de décomposition F F P d un polynôme P dont toutes les racines seront simples. Cette dernière condition, de séparabilité, est automatique en caractéristique zéro ou sur les corps finis, mais son développement est un peu délicat. La «théorie de Galois» et son enseignement Qu est-ce que la «théorie de Galois»? p. 11

Extensions galoisiennes (commentaire) Des quatre conditions équivalentes précédentes, les deux premières sont deux façons de mesurer le «dynamisme» de l extension F F : la première dit que le groupe G l(f /F) bouge assez F, la seconde qu il est aussi gros que possible. La troisième explique la seule cause possible de l asthénie d une extension F F : l absence dans F d assez de conjugués des éléments de F. La quatrième fournit un moyen concret de construire une extension galoisienne : c est une extension de décomposition F F P d un polynôme P dont toutes les racines seront simples. Cette dernière condition, de séparabilité, est automatique en caractéristique zéro ou sur les corps finis, mais son développement est un peu délicat. La «théorie de Galois» et son enseignement Qu est-ce que la «théorie de Galois»? p. 11

La «théorie de Galois» Il s agit d une correspondance, d un dictionnaire, entre sous-extensions d une extension galoisienne et sous-groupes de son groupe de Galois. Soit F F une extension galoisienne, soit G = G l(f /F). À tout sous-groupe H de G, on associe le corps (F ) H formé des éléments de F fixés par tout élément de H ; il contient F. À tout sous-corps E de F contenant F, on associe le sous-groupe G l(f /E) de G. Ces opérations H (F ) H et E G l(f /E) sont des bijections réciproques l une de l autre. De plus, l extension E/F est galoisienne si et seulement si le sous-groupe H est distingué dans G. La «théorie de Galois» et son enseignement Qu est-ce que la «théorie de Galois»? p. 12

La «théorie de Galois» Il s agit d une correspondance, d un dictionnaire, entre sous-extensions d une extension galoisienne et sous-groupes de son groupe de Galois. Soit F F une extension galoisienne, soit G = G l(f /F). À tout sous-groupe H de G, on associe le corps (F ) H formé des éléments de F fixés par tout élément de H ; il contient F. À tout sous-corps E de F contenant F, on associe le sous-groupe G l(f /E) de G. Ces opérations H (F ) H et E G l(f /E) sont des bijections réciproques l une de l autre. De plus, l extension E/F est galoisienne si et seulement si le sous-groupe H est distingué dans G. La «théorie de Galois» et son enseignement Qu est-ce que la «théorie de Galois»? p. 12

La «théorie de Galois» Il s agit d une correspondance, d un dictionnaire, entre sous-extensions d une extension galoisienne et sous-groupes de son groupe de Galois. Soit F F une extension galoisienne, soit G = G l(f /F). À tout sous-groupe H de G, on associe le corps (F ) H formé des éléments de F fixés par tout élément de H ; il contient F. À tout sous-corps E de F contenant F, on associe le sous-groupe G l(f /E) de G. Ces opérations H (F ) H et E G l(f /E) sont des bijections réciproques l une de l autre. De plus, l extension E/F est galoisienne si et seulement si le sous-groupe H est distingué dans G. La «théorie de Galois» et son enseignement Qu est-ce que la «théorie de Galois»? p. 12

Exemples de groupes de Galois Le calcul du groupe de Galois est un problème ardu. Considérons un polynôme séparable P F[X], une extension de décomposition F F P et son groupe de Galois G = G l(f P /F). La «théorie de Galois» et son enseignement Qu est-ce que la «théorie de Galois»? p. 13

Exemples de groupes de Galois Le calcul du groupe de Galois est un problème ardu. Considérons un polynôme séparable P F[X], une extension de décomposition F F P et son groupe de Galois G = G l(f P /F). 1) Le groupe G est naturellement un sous-groupe du groupe des permutations des racines de P dans F P. C est un sous-groupe transitif si et seulement si P est irréductible. La «théorie de Galois» et son enseignement Qu est-ce que la «théorie de Galois»? p. 13

Exemples de groupes de Galois Le calcul du groupe de Galois est un problème ardu. Considérons un polynôme séparable P F[X], une extension de décomposition F F P et son groupe de Galois G = G l(f P /F). 1) Le groupe G est naturellement un sous-groupe du groupe des permutations des racines de P dans F P. C est un sous-groupe transitif si et seulement si P est irréductible. 2) En degré 3, on trouve G = A 3 si le discriminant de P est un carré, S 3 sinon. NB. Le discriminant de P = X 3 + px + q est 4p 3 27q 2. La «théorie de Galois» et son enseignement Qu est-ce que la «théorie de Galois»? p. 13

Exemples de groupes de Galois Le calcul du groupe de Galois est un problème ardu. Considérons un polynôme séparable P F[X], une extension de décomposition F F P et son groupe de Galois G = G l(f P /F). 1) Le groupe G est naturellement un sous-groupe du groupe des permutations des racines de P dans F P. C est un sous-groupe transitif si et seulement si P est irréductible. 2) En degré 3, on trouve G = A 3 si le discriminant de P est un carré, S 3 sinon. NB. Le discriminant de P = X 3 + px + q est 4p 3 27q 2. 3) Si F = k( 1,..., n ) et P = X n + n 1 X n 1 + + 0 est l équation générale, on a G = S n. La «théorie de Galois» et son enseignement Qu est-ce que la «théorie de Galois»? p. 13

Exemples de groupes de Galois Le calcul du groupe de Galois est un problème ardu. Considérons un polynôme séparable P F[X], une extension de décomposition F F P et son groupe de Galois G = G l(f P /F). 4) Si P = X n 1 et F = Q, on a G = (Z/nZ) irréductibilité du polynôme cyclotomique. La «théorie de Galois» et son enseignement Qu est-ce que la «théorie de Galois»? p. 13

Exemples de groupes de Galois Le calcul du groupe de Galois est un problème ardu. Considérons un polynôme séparable P F[X], une extension de décomposition F F P et son groupe de Galois G = G l(f P /F). 4) Si P = X n 1 et F = Q, on a G = (Z/nZ) irréductibilité du polynôme cyclotomique. 5) Si P = X n 2 et F = Q, la suite d extensions Q F X n 1 F X n 2 fournit un sous-groupe distingué H G isomorphe à Z/nZ et G/H est isomorphe à (Z/nZ). La «théorie de Galois» et son enseignement Qu est-ce que la «théorie de Galois»? p. 13

Apprendre la «théorie de Galois»? La «théorie de Galois» et son enseignement Enseigner la «théorie de Galois» p. 14

Approches de la «théorie de Galois» 1) Utilisation d un élément primitif Si F F est une extension finie séparable, on démontre qu il existe un élément primitif α F tel que F = F[α]. Alors, les automorphismes de F correspondent aux conjugués de α dans F. Si le polynôme minimal P de α est scindé dans F, on voit donc que C rd(g l(f /F)) = deg(p) = [F : F]. Si F 1 = (F ) G l(f /F), on a encore G l(f /F 1 ) = G l(f /F), et comme ce qui précède s applique aussi à l extension F 1 F, on a [F : F] = [F : F 1 ], d où F = F 1. La «théorie de Galois» et son enseignement Enseigner la «théorie de Galois» p. 15

Approches de la «théorie de Galois» 1) Utilisation d un élément primitif 2) Lemme d Artin On évite le recours à un élément primitif par un dévissage. Il faut prouver directement le lemme d Artin : si G est un groupe fini d automorphismes d un corps F et si F = (F ) G, alors l extension F F est finie de degré C rd(g). La «théorie de Galois» et son enseignement Enseigner la «théorie de Galois» p. 15

Approches de la «théorie de Galois» 1) Utilisation d un élément primitif 2) Lemme d Artin 3) Lemme de Dedekind et descente galoisienne Cette approche tire profit de ce que «la théorie de Galois est trivialisée par descente galoisienne». C est celle de Bourbaki (2 de édition) qui introduit au passage la notion d algèbre étale : une extension finie F F est galoisienne si et seulement si le produit tensoriel F F F est isomorphe à une algèbre (F ) n, où n = [F : F]. La «théorie de Galois» et son enseignement Enseigner la «théorie de Galois» p. 15

Approches de la «théorie de Galois» 1) Utilisation d un élément primitif 2) Lemme d Artin 3) Lemme de Dedekind et descente galoisienne Depuis le livre d Artin, la seconde approche est la plus fréquente. La troisième ne figure apparemment que dans Bourbaki et Douady et n a donc pas vraiment été suivie dans des ouvrages d enseignement. La «théorie de Galois» et son enseignement Enseigner la «théorie de Galois» p. 15

Applications de la théorie de Galois Presque tous les cours ou ouvrages de théorie de Galois étudient les deux problèmes classiques suivants. constructions à la règle et au compas et cyclotomie résolution par radicaux mais le théorème de Galois sur les équations résolubles de degré premier n est que rarement traité ; Exception notable : Bourbaki, ainsi que la première édition de livre d Artin! Certains discutent aussi le théorème fondamental de l algèbre ; des notions de calcul des groupes de Galois, soit par la discussion de résolvantes, soit par l énoncé du théorème de Tchebotareff. Apparemment, seuls Bourbaki et Douady utilisent la notion d algèbre étale. La «théorie de Galois» et son enseignement Enseigner la «théorie de Galois» p. 16

Applications de la théorie de Galois Presque tous les cours ou ouvrages de théorie de Galois étudient les deux problèmes classiques suivants. constructions à la règle et au compas et cyclotomie résolution par radicaux mais le théorème de Galois sur les équations résolubles de degré premier n est que rarement traité ; Exception notable : Bourbaki, ainsi que la première édition de livre d Artin! Certains discutent aussi le théorème fondamental de l algèbre ; des notions de calcul des groupes de Galois, soit par la discussion de résolvantes, soit par l énoncé du théorème de Tchebotareff. Apparemment, seuls Bourbaki et Douady utilisent la notion d algèbre étale. La «théorie de Galois» et son enseignement Enseigner la «théorie de Galois» p. 16

Applications de la théorie de Galois Presque tous les cours ou ouvrages de théorie de Galois étudient les deux problèmes classiques suivants. constructions à la règle et au compas et cyclotomie résolution par radicaux mais le théorème de Galois sur les équations résolubles de degré premier n est que rarement traité ; Exception notable : Bourbaki, ainsi que la première édition de livre d Artin! Certains discutent aussi le théorème fondamental de l algèbre ; des notions de calcul des groupes de Galois, soit par la discussion de résolvantes, soit par l énoncé du théorème de Tchebotareff. Apparemment, seuls Bourbaki et Douady utilisent la notion d algèbre étale. La «théorie de Galois» et son enseignement Enseigner la «théorie de Galois» p. 16

Difficultés de l enseignement de la «théorie de Galois» 1) Construction des extensions de décomposition ; l existence et l «unicité» de la clôture algébrique d un corps sont souvent évoquées mais le recours nécessaire à l axiome du choix justifie souvent l omission de la preuve. Noter que les cours d un niveau similaire de topologie construisent le revêtement universel d un espace topologique raisonnable. La «théorie de Galois» et son enseignement Enseigner la «théorie de Galois» p. 17

Difficultés de l enseignement de la «théorie de Galois» 1) Construction des extensions de décomposition, clôture algébrique 2) Méconnaissance de la théorie des groupes : pour beaucoup d étudiants, la correspondance de Galois est une bijection entre deux mondes tout aussi mystérieux l un que l autre. Les notions de résolubilité (voire de simplicité) ne sont pas acquises. L absence de familiarité avec les quotients ne facilite pas les inévitables dévissages. La «théorie de Galois» et son enseignement Enseigner la «théorie de Galois» p. 17

Difficultés de l enseignement de la «théorie de Galois» 1) Construction des extensions de décomposition, clôture algébrique 2) Théorie des groupes 3) Difficulté des exemples concrets. Presque par définition, la nature du groupe de Galois dépend de l existence de solutions dans le corps de base de certaines équations auxiliaires ; en ce sens, c est une théorie arithmétique et non algébrique. Pour faire le moindre calcul, il faut savoir décider de l irréductibilité, de l existence de racines, etc. dans le corps de base. Cela pose des problèmes calculatoires, et des problèmes théoriques (critères d irréductibilité ; notion d anneau factoriel,...). La «théorie de Galois» et son enseignement Enseigner la «théorie de Galois» p. 17

La théorie de Galois : un apprentissage Gilles Châtelet, «De la victoire de Platon», Gazette des mathématiciens 74, p. 13 17, octobre 1997. «On peut comprendre la théorie de Galois comme apprentissage, celui du discernement progressif des racines, les conditions formelles d un tel discernement portant sur des séquences de réduction, et les formules explicites de résolution devenant subsidiaires. Porter tout l effort de recherche sur les séquences de groupes, de fibrés, de faisceaux, etc., capables de saisir au vol le geste même de l apprendre... telle serait selon Grothendieck, l inoubliable leçon de Galois.» La «théorie de Galois» et son enseignement La théorie de Galois : un apprentissage p. 18