Extension de Galois

Extension de Galois

En mathématiques, une extension de Galois (parfois nommée extension galoisienne) est une extension de corps finie normale séparable.

L'ensemble des automorphismes de l'extension possède une structure de groupe appelé groupe de Galois. Cette structure de groupe caractérise l'extension ainsi que ces sous-corps.

Les extensions de Galois sont des structures largement utilisées pour la démonstration de théorèmes en théorie algébrique des nombres comme le dernier théorème de Fermat ou en théorie de Galois pure comme le théorème d'Abel-Ruffini.

Sommaire

Motivation

Les problèmes initiaux

Joseph Louis Lagrange (1736-1813)

La démarche qui débouche sur la notion d'extension de Galois provient de la volonté de résoudre des conjectures, souvent vieilles et provenant de différentes branches des mathématiques: l'algèbre avec l'étude des équations algébriques et particulièrement les équations polynômiales, la géométrie avec initialement les problèmes de la construction à la règle et au compas et particulièrement les trois grands problèmes de l'antiquité comme la duplication du cube et surtout les problèmes d'arithmétique comme le dernier théorème de Fermat.

La philosophie de l'approche

Tous les problèmes initiaux cités s'expriment simplement, leurs énoncés ne demandent en effet qu'un niveau mathématique élémentaire. En revanche leurs résolutions ont demandé des siècles de patience. La raison réside dans le fait qu'une approche naïve ne permet que mal d'appréhender les finesses qu'impliquent les énoncés. Pour apporter des solutions, il est nécessaire de comprendre les structures sous-jacentes à chacune de ces questions. Une analyse directe impose une démarche calculatoire trop complexe pour aboutir.

Quitte à augmenter le niveau d'abstraction, il apparaît alors nécessaire de définir des structures algébriques pures, bénéficiant de théorèmes puissants qui résolvent ces vieux problèmes.

Cas de l'extension de Galois

Une extension de Galois est une construction algébrique utilisant trois structures, celle des groupes, celle des corps commutatifs et celle des espaces vectoriels.

La structure de groupe permet par exemple l'analyse des permutations des racines d'un polynôme. Or l'analyse des permutations est la clé de la recherche des solutions algébriques d'une équation polynômiale. Dans le cas de l'équation quintique ou équation du cinquième degré, il existe 120 permutations possibles. Trouver quelles permutations utiliser et dans quel ordre, est apparu comme un problème combinatoire d'une complexité trop grande pour les mathématiciens comme Joseph-Louis Lagrange[réf. nécessaire] qui se sont penchés sur cette question[1].

L'analyse systématique des groupes finis non plus sous un axe combinatoire, mais avec une approche abstraite permet, en échange d'une montée en abstraction, une résolution calculatoirement relativement simple par exemple pour le cas de l'équation quintique. Ludwig Sylow démontre les trois théorèmes[2] qui terminent élégamment l'analyse des équations polynomiales.

Un théorème fondamental

L'extension de Galois est archétypale de cette approche algébrique pure. Et cette structure dispose d'un théorème puissant, à la base de toutes les résolutions modernes des différents problèmes cités. C'est le théorème fondamental de la théorie de Galois. Ce théorème établit une relation entre un corps et un groupe. Il permet d'établir un pont entre la théorie des groupes et les problèmes d'algèbre, de géométrie ou d'arithmétique étudiés. Dans l'énoncé du théorème fondamental, le corps, le groupe et la correspondance entre les deux sont abstraits. En échange de cette abstraction, l'extension de Galois offre un cadre très général à l'étude de nombreux problèmes.

Histoire

À l'origine de l'abstraction : les groupes

Évariste Galois (1811-1832)

Ce sont les polynômes qui ont initialisé la démarche qui finit par la construction des extensions de Galois. Lagrange remarque que la résolution d'une équation polynomiale par une méthode algébrique est intimement liée à l'étude de certaines permutations dans l'ensemble des racines. Il établit alors un premier théorème, qui est maintenant généralisé à tous les groupes finis sous le nom de théorème de Lagrange. Paolo Ruffini étudie plus spécifiquement le groupe des permutations d'ordre cinq, établit des résultats importants comme l'existence d'un sous-groupe d'ordre cinq et est le premier convaincu de l'impossibilité de la résolution générale d'une équation quintique[3]. Si l'analyse systématique des groupes de permutations est démarrée, elle est néanmoins insuffisante pour conclure.

Algèbre et géométrie

A l'aube du XIXe siècle, Carl Friedrich Gauss établit un nouveau lien entre l'algèbre des polynômes et la géométrie[4]. Il met en évidence le lien entre les polynômes cyclotomiques et la construction à la règle et au compas de polygones réguliers. Ces travaux permettent la construction du polygone régulier à 17 côtés. Si Gauss a l'intuition que cette démarche permet la résolution des trois grands problèmes de l'antiquité, il faut néanmoins attendre le théorème de Gauss-Wantzel[5] pour conclure.

La structure de groupe abstraite

La naissance de l'algèbre moderne est généralement attribuée à Évariste Galois. Il est en effet le premier à utiliser une démarche totalement abstraite et à parler de la structure de groupe en général. Après sa mort, ces travaux sont redécouverts en 1843 par Joseph Liouville, qui les publie[6]. L'algèbre abstraite entre alors dans le domaine de l'arithmétique et Liouville utilise cette théorie pour réaliser une percée majeure en 1844 dans le domaine de la théorie des nombres en démontrant l'existence de nombres transcendants.

La structure d'anneau et de corps

Pour obtenir de nouvelles percées dans le domaine de l'arithmétique, Ernst Kummer poursuit les travaux de Gauss sur les polynômes cyclotomiques, met en évidence la notion de nombre complexe idéal et prouve dans de nombreux cas le dernier théorème de Fermat. Une démarche analogue à celle des groupes permet petit à petit de dégager la notion abstraite d'anneau et de corps commutatif, elle apparaît pour la première fois sous la plume de Richard Dedekind[7].

La formalisation moderne de la structure d'anneau provient d'une synthèse de David Hilbert[8]. Elle contient l'origine de la théorie des corps de classes. La théorie générale des corps apparaît plus tard, à la suite des travaux de Ernst Steinitz[9]. Cette théorie contient les concepts modernes comme l'extension de corps, la dimension d'une extension ou l'extension séparable. La formalisation actuelle de l'extension de Galois et du théorème fondamental de la théorie de Galois est l'œuvre d'Emil Artin.

Définitions et exemples

Définitions

Dans la suite de l'article K est un corps, L une extension algébrique de K, et Ω la clôture algébrique de K. L est identifié à un sous-corps de Ω, ce qui, dans le cas où l'extension est finie, ne nuit en rien à la généralité de l'exposé comme indiqué dans l'article clôture algébrique d'une extension.

  • L'extension est dite normale si tout morphisme de L dans Ω laissant K invariant est un automorphisme de L.

Remarque : un morphisme de corps est toujours injectif. Le morphisme est aussi un morphisme d'espace vectoriel car L dispose d'une structure d'espace vectoriel sur K. Donc, si L est une extension finie, alors il suffit que le morphisme ait une image incluse dans L pour qu'un argument de dimension prouve la surjectivité.

  • L'extension est dite de Galois ou galoisienne si elle est normale et séparable.

Remarque : l'extension L de K est dite séparable si le polynôme minimal sur K de tout élément de L n'a aucune racine multiple dans Ω. L'article sur les extensions algébriques évoque succinctement l'existence d'un polynôme minimal. Si K est un corps parfait (par exemple s'il est de caractéristique 0 ou si c'est un corps fini), alors L est toujours séparable sur K.

  • L'ensemble des automorphismes de L qui laissent K invariant, muni de la loi de composition des applications, forme un groupe appelé le groupe de Galois de l'extension et est souvent noté Gal(L/K).

Exemples

Le corps des nombres complexes est une extension de Galois du corps des nombres réels. C'est une extension simple (c’est-à-dire engendrée par le corps des nombres réels et un seul élément supplémentaire) dont le groupe de Galois est le groupe cyclique d'ordre 2.

L'extension simple engendrée par la racine cubique de deux sur le corps des rationnels n'est pas une extension de Galois. En effet, ce corps ne contient pas toutes les racines, il existe donc un morphisme de L dont l'image n'est pas L.

L'extension engendrée par la racine cubique de deux et i, l'unité imaginaire, est une extension de Galois. Cette extension est de dimension six et son groupe de Galois est isomorphe au groupe des permutations de trois éléments.

Propriétés

Propriétés élémentaires

On suppose dans cette section que l'extension L sur K est finie.

  • Le cardinal du groupe de Galois est inférieur ou égal au degré de l'extension, et lui est égal si et seulement si l'extension est galoisienne.
  • L'extension est normale si et seulement si le polynôme minimal sur K de tout élément de L est scindé sur L.

Théorème fondamental de la théorie de Galois

Il existe une correspondance entre les corps intermédiaires d'une extension finie galoisienne et les sous-groupes de son groupe de Galois. Dans le cadre de la théorie des extensions finies, cette correspondance est un résultat fondamental de la théorie de Galois. Trois propriétés fondent cette correspondance :

  1. Lemme d'Artin — Soient L un corps, G un groupe fini d'automorphismes de L, de cardinal n, et K le sous-corps des éléments fixés par chaque élément de G. Alors L est une extension galoisienne de K, de degré n.
  2. Si L est une extension galoisienne de K et si F est un corps intermédiaire (\scriptstyle K\subset F\subset L), alors L est une extension galoisienne de F et Gal(L/F) est le sous-groupe de Gal(L/K) constitué des éléments qui laissent F invariant.
  3. Si L est une extension galoisienne finie[10] de K, alors le sous-corps des éléments de L fixés par tous les éléments de Gal(L/K) est réduit à K.

Soient L une extension galoisienne finie de K et G son groupe de Galois. Pour tout sous-groupe H de G, on note LH le sous-corps de L constitué des éléments fixés par chaque élément de H. Les propositions précédentes sont utilisées dans l'article détaillé pour démontrer le théorème fondamental de la théorie de Galois :

L est une extension galoisienne de LH et H est le groupe de Galois associé.
L'application qui à chaque H associe LH est une bijection de l'ensemble des sous-groupes de G dans l'ensemble des corps intermédiaires compris entre K et L.
L'extension LH de K est galoisienne si et seulement si H est un sous-groupe distingué de G. Alors, le groupe de Galois de cette extension est isomorphe au groupe quotient G/H.

Le cas général Si on ne suppose plus l'extension finie, le groupe de Galois Gal(L/K), c'est-à-dire le groupe des K-automorphismes de L, est un groupe profini (limite projective de groupes finis), muni de la topologie profinie. Le théorème fondamental s'énonce comme suit:

Théorème — 

  • Pour tout sous-groupe fermé H de Gal(L/K), l'ensemble des éléments invariants LH est une sous-extension de L.
  • L'application qui à tout sous-groupe férmé H associe LH est une bijection de l'ensemble des sous-groupes fermés de Gal(L/K) dans l'ensemble des sous-extensions de L. De plus L est galoisienne sur LH de groupe de Galois H.
  • L'extension LH de K est galoisienne si et seulement si H est un sous-groupe distingué de Gal(L/K). Le groupe de Galois de LH sur K sera alors le groupe quotient Gal(L/K)/H.
  • L'extension LH/K est finie si et seulement si H est un sous-groupe ouvert.

Voir aussi

Notes

  1. J.-L. Lagrange, « Réflexions sur la résolution algébrique des équations », dans Nouveaux mémoires de l'Académie royale des sciences et belles-lettres de Berlin, 1771-72 , réédité dans Œuvres de Lagrange, t. 3, Paris, 1869, p. 205-421
  2. M. L. Sylow, « Théorème sur les groupes de substitutions », dans Mathematische Annalen, vol. V, 1872, p. 584-594 
  3. (it) P. Ruffini, Teoria Generale delle Equazioni, in cui si dimostra impossibile la soluzione algebraica delle equazioni generali di grado superiore al quarto, 1799
  4. (la) C. F. Gauss, Disquisitiones arithmeticae, 1801
  5. P.-L. Wantzel, « Recherches sur les moyens de reconnaître si un problème de Géométrie peut se résoudre avec la règle et le compas », dans Journal de mathématiques pures et appliquées, 1e série, tome II, 1837, p. 366-372
  6. Œuvres mathématiques d'Évariste Galois, dans Journal de mathématiques pures et appliquées, 1e série, tome XI, 1846, p. 381-444
  7. (de) R. Dedekind, Gesammelte mathematische Werke, d'après Nicolas Bourbaki, Éléments d'histoire des mathématiques [détail des éditions], p. 106, réf. 79
  8. (de) D. Hilbert, « Die Theorie der algebraischen Zahlkorper », dans Jahresbericht der DMV, vol. 4, 1897, p. 175-546 , connu sous le nom de Zahlbericht (« Rapport sur les nombres »)
  9. (de) E. Steinitz, « Algebraische Theorie der Körper », dans Journal für die reine und angewandte Mathematik, vol. 137, 1910, p. 167–309 
  10. Moyennant l'axiome du choix, cette hypothèse de finitude est en fait superflue, cf Lang, Algebra, chap. VIII, Theorem 1.

Liens externes

Références

  • Adrien Douady et Régine Douady, Algèbre et théories galoisiennes [détail des éditions]
  • Serge Lang, Algèbre [détail des éditions]
  • Pierre Samuel, Théorie algébrique des nombres [détail des éditions]

Wikimedia Foundation. 2010.

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

Игры ⚽ Нужна курсовая?

Regardez d'autres dictionnaires:

  • Extension De Galois — En mathématiques, une extension de Galois (parfois nommée extension galoisienne) est une extension de corps finie normale séparable. L ensemble des automorphismes de l extension possède une structure de groupe appelé groupe de Galois. Cette… …   Wikipédia en Français

  • Extension de galois — En mathématiques, une extension de Galois (parfois nommée extension galoisienne) est une extension de corps finie normale séparable. L ensemble des automorphismes de l extension possède une structure de groupe appelé groupe de Galois. Cette… …   Wikipédia en Français

  • Extensión de Galois — Saltar a navegación, búsqueda En álgebra abstracta, una extensión de cuerpo algebraica E/K se dice extensión de Galois (o extensión galoisiana) si es una extensión normal y separable. En este caso, se puede considerar el grupo de Galois de la… …   Wikipedia Español

  • Extension galoisienne — Extension de Galois En mathématiques, une extension de Galois (parfois nommée extension galoisienne) est une extension de corps finie normale séparable. L ensemble des automorphismes de l extension possède une structure de groupe appelé groupe de …   Wikipédia en Français

  • Extension Quadratique — En mathématiques, et plus précisément en algèbre dans le cadre de la théorie de Galois, une extension quadratique est une extension de corps de dimension deux. Si K est un corps commutatif, souvent celui des nombres rationnels, alors une… …   Wikipédia en Français

  • Extension Algébrique — En mathématiques et plus particulièrement en algèbre, une extension algébrique L sur un corps K est une extension de corps dans laquelle tous les éléments sont algébriques sur K c’est à dire sont racines d un polynôme non nul à coefficients dans… …   Wikipédia en Français

  • Extension algebrique — Extension algébrique En mathématiques et plus particulièrement en algèbre, une extension algébrique L sur un corps K est une extension de corps dans laquelle tous les éléments sont algébriques sur K c’est à dire sont racines d un polynôme non nul …   Wikipédia en Français

  • Extension Séparable — Une extension algébrique L d un corps K est dite séparable si et seulement si le polynôme minimal de tout élément de L n admet que des racines simples. Ce critère est une hypothèse nécessaire pour établir un théorème important de la théorie de… …   Wikipédia en Français

  • Extension separable — Extension séparable Une extension algébrique L d un corps K est dite séparable si et seulement si le polynôme minimal de tout élément de L n admet que des racines simples. Ce critère est une hypothèse nécessaire pour établir un théorème important …   Wikipédia en Français

  • Extension Normale — En mathématiques, une extension normale L de K est un cas particulier d extension de corps. Une extension est dite normale si et seulement si tout morphisme de corps laissant invariant K est un automorphisme de L. Cette propriété est utilisée… …   Wikipédia en Français

Share the article and excerpts

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