Théorie de Galois inverse

Théorie de Galois inverse

En mathématiques et plus précisément en algèbre la théorie de Galois inverse est une branche de la théorie de Galois.

L'objet de la théorie est de répondre à la question : Soit G un groupe et K un corps, existe-t-il une extension de corps de K tel que son groupe de Galois soit G ? Peut-on choisir L tel que l'extension soit galoisienne ?

La plus grande conjecture de la théorie est la suivante : Tout groupe fini est le groupe de Galois d'une extension galoisienne des nombres rationnels.

Malgré d'importants progrès durant les trente dernières années du XXe siècle et un grand nombre de résultats établis, la théorie reste une vaste conjecture en 2006.

Sommaire

Problématique

Le théorème fondamental de la théorie de Galois montre que des extensions ayant même groupe de Galois sont très semblables. La détermination de ce groupe apprend énormément sur la structure de l'extension, elle est cependant souvent délicate. Il apparaît alors naturel de se poser la question inverse.

Les groupes de Galois des extensions algébriques sont naturellement munis d'une structure de groupe profini. On peut montrer réciproquement, par une construction ad hoc, que tout groupe profini G est bien groupe de Galois d'une certaine extension algébrique : soit F un corps (commutatif), on note K le corps des fractions rationnelles sur F en un ensemble d'indéterminées indicé par les éléments des groupes quotients de G par ses sous-groupes distingués ouverts. On peut alors montrer que l'extension K/KG est alors une extension galoisienne de groupe de Galois G. Cependant, rien n'assure que KG=F. Le problème de la théorie de Galois inverse devient : peut-on, via éventuellement une autre construction, obtenir KG=F ?

Cette question peut donc se résumer :

  • Soit un groupe fini (ou profini) et un corps, existe-t-il une extension galoisienne de ce corps ayant pour groupe de Galois ce groupe?
  • Soit un groupe fini (ou profini), existe-t-il une extension galoisienne des nombres rationnels ayant pour groupe de Galois ce groupe?

Aucune des questions n'est résolue en 2006.

Exemples

Groupe cyclique d'ordre deux

Considérons l'ensemble des rationnels de Gauss \mathbb{Q}(i). C'est une extension de Galois des nombres rationnels, de plus cette extension est de dimension deux. En conclusion son groupe de Galois est d'ordre deux et donc est le groupe cyclique d'ordre deux.

D'ailleurs c'est le groupe de Galois de toute extension quadratique de Q. Soit le groupe de Galois associé à tout polynôme à coefficient rationnel irréductible de degré deux.

Groupe cyclique d'ordre p-1 avec p premier

Considérons l'extension \mathbb{Q}(r)r est une racine primitive de l'unité. Cette extension est le corps de décomposition de r sur les nombres rationnels, elle est donc galoisienne et possède pour base l'ensemble des racines p ième de l'unité. Soit m un morphisme du groupe de Galois.

Ce morphisme transforme toute racine p-ième de l'unité en une racine p-ième de l'unité ; on en déduit l'existence d'un entier q non nul et strictement inférieur à p tel que m(r) = m(rq). Les propriétés de morphismes montrent alors que m est totalement défini sur la base des racines car si n est un entier : m(r n) = m(r q.n). On en déduit que m est parfaitement défini sur une base, donc sur l'extension entière.

Réciproquement, si q est un entier strictement positif et strictement inférieur à p, alors l'application de l'ensemble des racines p-ièmes de l'unité dans lui-même définie par : r nr q.n se prolonge clairement en un automorphisme du groupe de Galois.

On en déduit que l'extension possède comme groupe de Galois un groupe isomorphe à \mathbb{Z}/(p-1)\mathbb{Z}. Le groupe est donc groupe de Galois d'une extension galoisienne des nombres rationnels.

Quelques résultats

Les résultats suivants sont maintenant démontrés :

  • Tout groupe abélien fini est le groupe de Galois du corps des nombres rationnels.

Il est même possible de choisir l'extension comme étant égale à une sous-extension cyclotomique.

  • Tout groupe symétrique fini est le groupe de Galois d'une extension galoisienne du corps des rationnels.
  • Tout groupe fini est le groupe de Galois d'une extension d'un corps de nombres.
  • Tout groupe résoluble est le groupe de Galois d'une extension galoisienne du corps des rationnels. Ce résultat[1] est dû à Igor Chafarevitch, dans une série de quatre articles parus en 1954.

Les différentes stratégies

Une méthode introduite par Hilbert

Pour un groupe G donné, l'idée de Hilbert est de réaliser ce groupe comme le groupe de Galois d'une extension de Q(T). Ensuite le théorème d'irréductibilité de Hilbert nous donne l'existence d'une infinité de valeurs rationnelles pour T pour lesquelles le groupe de Galois reste G[2].

Voir aussi

Notes

  1. On peut en trouver une démonstration dans (en) Jürgen Neukirch (en), Alexander Schmidt, Kay Wingberg (de), Cohomology of number fields [détail des éditions].
  2. Cette approche est développée par Pierre Dèbes, « Théorie de Galois inverse et géométrie algébrique », dans Séminaires & Congrès de la SMF, vol. 5, 2001, p. 1-26 [texte intégral] 

Lien externe

Un cours de DEA sur la théorie de Galois par Alain Kraus, université Paris 6, 1998

Références

Serge Lang, Algèbre [détail des éditions]
(en) Luis Ribes et Pavel Zalesskii, Profinite Groups [détail des éditions] 
Pierre Samuel, Théorie algébrique des nombres [détail des éditions]
Emil Artin, Galois Theory, Notre Dame Press, Londres, 1971
B. Deschamps Problèmes d'arithmétique des corps et de théorie de Galois, Hermann, Paris, 1998

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Théorie de Galois inverse de Wikipédia en français (auteurs)

Игры ⚽ Поможем решить контрольную работу

Regardez d'autres dictionnaires:

  • Theorie de Galois inverse — Théorie de Galois inverse En mathématiques et plus précisément en algèbre la Théorie de Galois inverse est une branche de la Théorie de Galois. L objet de la théorie est de répondre à la question : Soit G un groupe et K un corps, existe t il …   Wikipédia en Français

  • Théorie de galois inverse — En mathématiques et plus précisément en algèbre la Théorie de Galois inverse est une branche de la Théorie de Galois. L objet de la théorie est de répondre à la question : Soit G un groupe et K un corps, existe t il une extension de corps de …   Wikipédia en Français

  • Theorie de Galois — Théorie de Galois Évariste Galois 1811 1832 En mathématiques et plus précisément en algèbre, la théorie de Galois est l étude des extensions de corps commutatifs, par le biais d une correspondance avec des groupes de transformations sur ces… …   Wikipédia en Français

  • Théorie de galois — Évariste Galois 1811 1832 En mathématiques et plus précisément en algèbre, la théorie de Galois est l étude des extensions de corps commutatifs, par le biais d une correspondance avec des groupes de transformations sur ces extensions, les groupes …   Wikipédia en Français

  • Théorie de Galois — En mathématiques et plus précisément en algèbre, la théorie de Galois est l étude des extensions de corps commutatifs, par le biais d une correspondance avec des groupes de transformations sur ces extensions, les groupes de Galois. Cette méthode… …   Wikipédia en Français

  • Theorie algebrique des nombres — Théorie algébrique des nombres En mathématiques, la théorie algébrique des nombres est la branche de l arithmétique utilisant des outils issus de l algèbre pour mieux comprendre les nombres. Son origine est l étude des nombres entiers et… …   Wikipédia en Français

  • Théorie de Groupe — Groupe (mathématiques) Pour les articles homonymes, voir Groupe.  Cet article concerne une introduction au concept de groupe. Pour un approfondissement, voir théorie des groupes …   Wikipédia en Français

  • Théorie des Groupes — Groupe (mathématiques) Pour les articles homonymes, voir Groupe.  Cet article concerne une introduction au concept de groupe. Pour un approfondissement, voir théorie des groupes …   Wikipédia en Français

  • Théorie algébrique des nombres — En mathématiques, la théorie algébrique des nombres est la branche de l arithmétique utilisant des outils issus de l algèbre pour mieux comprendre les nombres. Son origine est l étude des nombres entiers et particulièrement les équations… …   Wikipédia en Français

  • Théorie des caractères d'un groupe fini — Caractère d une représentation d un groupe fini Fichier:Ferdinand Georg Frobenius.jpg Ferdinand Georg Frobenius fondateur de la théorie des caractères En mathématiques le caractère d une représentation d un groupes finis est un outil utilisé pour …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”