Extension de Galois 173184 31613917 2008-07-16T04:28:46Z Dhatier 269771 ortho En [[mathématiques]], une '''extension de [[Évariste Galois|Galois]]''' (parfois nommée '''extension galoisienne''') est une [[extension de corps]] finie [[Extension normale|normale]] [[Extension séparable|séparable]]. L'ensemble des automorphismes de l'extension possède une structure de [[Groupe (mathématiques)|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 des nombres|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]]. ==Motivation== ===Les problèmes initiaux=== [[Image:Joseph Louis Lagrange.jpg|thumb|right|Joseph Louis Lagrange]] 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 [[équation polynômiale|é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 [[grand 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 a 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 (mathématiques)|corps]] et celle des [[Espace vectoriel|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]] <small>([[1736]] [[1813]])</small> qui se sont penchés sur cette question<ref>[[Joseph-Louis Lagrange]] ''Réflexions sur la résolution algébrique des équations'' 1770</ref>. L'analyse systématique des [[Groupe fini|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]] <small>([[1832]] [[1918]])</small> démontre les trois théorèmes<ref>[[Ludwig Sylow]] ''Théorèmes sur les groupes de substitutions'' 1872</ref> qui terminent élégamment l'analyse des équations polynômiales. ===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 toute 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é. 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== ===A l'origine de l'abstraction: les groupes=== [[Image:evariste_galois.jpg|thumb|250px|right|Évariste Galois]] 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 polynômiale 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<ref>[[Théorème de Lagrange (algèbre)|Théorème de Lagrange]]</ref> qui est maintenant généralisé à tous les groupes finis. [[Paolo Ruffini]] <small>([[1765]] [[1822]])</small> é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<ref>[[Paolo Ruffini]] ''Théorie général des équations dans lequel il est montré que la résolution générale d'une équation d'ordre supérieure à quatre est impossible'' 1799</ref>. 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]] <small>([[1777]] [[1855]])</small> établit un nouveau lien entre l'algèbre des polynômes et la géométrie<ref>[[Carl Friedrich Gauss]] ''Disquisitiones Arithmeticae'' 1801</ref>. Il met en évidence le lien entre les [[polynôme cyclotomique|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 coté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 résultat des travaux<ref>[[Pierre-Laurent Wantzel]] ''sur les moyens de reconnaître si un problème peut se résoudre avec la règle et le compas'' 1837</ref> de [[Pierre-Laurent Wantzel]] <small>([[1814]] [[1848]])</small> pour conclure. ===La structure de groupe abstraite=== La naissance de l'algèbre moderne est généralement attribuée à [[Évariste Galois|Evariste Galois]] <small>([[1811]] [[1832]])</small>. Il est en effet le premier à utiliser une démarche totalement abstraite et à parler de la structure de groupe en général. Ces travaux sont redécouverts après sa mort par [[Joseph Liouville]] <small>([[1809]] [[1882]])</small> en [[1843]] qui les publie<ref>[[Évariste Galois|Evariste Galois]] ''Manuscrit de Galois'' dans Journal des mathématiques pures et appliquées 1846</ref>. 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 [[nombre transcendant|nombres transcendants]]. ===La structure d'anneau et de corps=== Pour obtenir de nouvelles percées dans le domaine de l'arithmétique [[Ernst Kummer]] <small>([[1810]] [[1893]])</small> poursuit les travaux de Gauss sur les polynômes cyclotomiques et met en évidence la notion de ''nombre complexe idéal'' et prouve dans de nombreux cas le grand théorème de Fermat. Une démarche analogue à celle des groupes permet petit à petit de dégager la notion abstraite d'[[anneau (mathématiques)|anneau]] et de [[corps (mathématiques)|corps]], elle apparaît pour la première fois sous la plume <ref>[[Richard Dedekind]] ''Lehrbuch des Algebra'' 1871</ref> de [[Richard Dedekind]] <small>([[1831]] [[1916]])</small>. La formalisation moderne de la structure d'anneau provient d'une synthèse<ref>[[David Hilbert]] ''Rapport sur les nombres''1897</ref> de [[David Hilbert]] <small>([[1862]] [[1943]])</small>. Elle contient l'origine de la [[théorie des corps de classe]]. La théorie générale des corps apparaît plus tard, à la suite des travaux<ref>[[Ernst Steinitz]] ''Théorie algébrique des corps'' 1910</ref> de [[Ernst Steinitz]] <small>([[1871]] [[1928]])</small>. 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]] <small>([[1898]] [[1962]])</small>. ==Définitions et exemples== ===Définitions=== Dans la suite de l'article ''K'' est un corps, ''L'' une [[extension algébrique]] de ''K'', ''l'' un élément de ''L'' et Ω la [[clôture algébrique]] de ''K''. ''L'' est identifié à un sous-corps de Ω, ce qui ne nuit en rien à la généralité de l'exposé comme indiqué dans l'article [[Extension algébrique#Clôture algébrique|clôture algébrique d'une extension]] dans le cas ou l'extension est [[Extension algébrique#Définitions et premières propriétés|finie]]. :* Une extension est dite '''[[Extension normale|normale]]''' si et seulement si tout morphisme de ''L'', laissant invariant ''K'' 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é.'' :* Une extension est dite '''de Galois''' ou '''galoisienne''' si et seulement si elle est normale et [[Extension séparable|séparable]]. ''Remarque: Une extension est dite séparable si et seulement si tout élément ''l'' admet un [[polynôme minimal d'un nombre algébrique|polynôme minimal]] sur ''K'' n'ayant aucune racine multiple. L'article sur les [[extension algébrique|extensions algébriques]] évoque succinctement l'existence d'un polynôme minimal. Et si ''K'' est un [[corps parfait]] par exemple parce qu'il est de caractéristique 0 comme les [[nombre rationnel|nombres rationnels]], les [[nombre réel|nombres réels]] ou les [[nombre complexe|nombres complexes]] ou parce qu'il est fini, alors ''L'' est toujours séparable (cf [[Extension séparable]]). :* Le groupe des [[automorphisme|autormorphismes]] de ''L'' munis de la loi de composition des applications est appelé le [[groupe de Galois]] et est souvent noté Gal(''L/K''). ''Remarque: Gal(''L/K'') est un ensemble non vide car il contient au moins l'identité. On peut vérifier qu'il possède une structure de groupe. ===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'', le nombre imaginaire pur, est une extension de Galois. Cette extension est de dimension six et contient un groupe de Galois isomorphe au groupe de permutation de trois éléments. {{boîte déroulante|align=left|titre=Démonstrations|contenu= : :* '''Le corps des nombres complexes est une extension de Galois du corps des nombres réels.''' Le corps des nombres complexes est une extension de dimension deux sur le corps des nombres réels. C'est donc une extension simple engendrée par l'imaginaire pur ''i''. Comme le corps des nombres complexes est algébriquement clos, tout morphisme de ce corps vers une extension quelconque laissant les nombres réels invariants est un automorphisme. Soit <math>\sigma</math> un automorphisme différent de l'identité. Un automorphisme permute les racines d'un polynôme à coefficients dans le corps de base. Donc σ(''i'') est une racine du polynôme X<sup>2</sup>+1 au même titre que ''i''. Et σ(''i'') est différent de ''i'' car sinon σ serait l'identité sur une base des nombres complexes: (1, ''i'') et serait donc égal à l'identité. Le polynôme précédent n'admet que deux racines car il est de degré deux. On vérifie que les deux racines sont ''i'' et -''i''. L'image de la base (1, ''i'') par σ est donc (1, -''i''). Cela signifie que σ est l'application conjuguée. Il est simple de vérifier que σ est effectivement un automorphisme d'ordre deux. Le groupe de Galois est donc bien un groupe à deux éléments isomorphe au groupe cyclique d'ordre deux. :* '''L'extension simple ''L'' engendrée par la racine cubique de deux sur le corps des rationnels n'est pas une extension de Galois.''' Il est aisé de vérifier que ''L'' possède pour base la famille des trois éléments un, la racine cubique de deux et la racine cubique de quatre. La démonstration est donnée par la première proposition du paragraphe [[Extension algébrique#Extension algébrique et polynôme|Extension algébrique et polynôme]] appliquée au polynôme P[X]=X<sup>3</sup>-2. Or si l'on note ''r'' = <math>j.\sqrt[3]{2}</math>, où j est une racine cubique complexe de l'unité,''r'' est aussi une racine du polynôme. La première proposition du paragraphe [[Extension algébrique#Extension algébrique et sur-corps|Extension algébrique et sur-corps]] garantit l'existence d'un morphisme de ''L'' dans l'extension de ''r'' sur les nombres rationnels. L'extension ''L'' n'est donc pas normale, ce n'est pas une extension galoisienne. :* '''L'extension ''L' ''engendrée par la racine de cubique de deux et ''i'' le nombre imaginaire pur est une extension de Galois. Cette extension est de dimension six et contient un groupe de Galois isomorphe au groupe de permutation de trois éléments.''' ''L' '' est une extension de degré deux sur ''L'' car ''i'' est d'ordre deux sur ''L''. La deuxième proposition du paragraphe [[Extension algébrique#Définitions et premières propriétés|Définitions et premières propriétés ''des extensions algébriques'']] montre que ''[L':Q]''=''[L':L]''.''[L:Q]'' et ''L' ''est une extension de dimension six sur les nombres rationnels. ''L' ''est le corps de décomposition du polynôme P[X] (le corps de décomposition est défini dans le paragraphe [[Extension algébrique#Extension algébrique et sur-corps|Extension algébrique et sur-corps]], c'est le plus petit corps contenant toute les racines d'un polynôme). En effet, les trois racines du polynôme sont la racine cubique de deux ''r'' et le conjugué de ''r''. Le corps de décomposition de P[X] contient strictement ''L'', sa dimension est donc un multiple strict de celle de ''L''. Or six est le plus petit multiple strict de trois, le corps de décomposition de P[X] est donc au moins de dimension six et ''L' ''qui est de dimension six contient manifestement les trois racines. Le [[Extension séparable#Théorème de l'élément primitif|théorème de l'élément primitif]] garantit qu'il existe exactement six morphismes de ''L' '' dans la clôture algébrique du corps des nombres rationnels. Or tout morphisme de corps donne pour image d'une racine du polynôme P[X] une racine de P[X]. La restriction d'un morphisme aux trois racines est donc une [[permutation]] des trois racines. Il existe exactement six permutations possible. Les six morphismes sont donc les extensions des six permutations car les racines engendrent ''L' ''. L'extension à ''L' ''de ses permutations laisse ''L' ''stable, ce qui démontre que l'extension est galoisienne et que le groupe des morphismes est isomorphe au groupe de permutation de trois éléments. }} ==Propriétés== ===Propriétés élémentaires=== Les propriétés établies pour les extensions séparables possèdent des corollaires dans le cas des extensions de Galois. Ce sont ces corollaires qui sont énoncées ici. Ce sont essentiellement des conséquences du théorème de l'élément primitif démontré dans l'article [[Extension séparable]]. :* Le cardinal du groupe de Galois est inférieur ou égal à la dimension de ''L'' sur ''K''. ''Remarque: c'est une conséquence directe de la deuxième proposition du paragraphe [[Extension séparable#Morphisme dans la clôture algébrique|Morphisme dans la clôture algébrique]].'' :* Le cardinal du groupe de Galois est égal à la dimension de ''L'' sur ''K'' si et seulement si l'extension est galoisienne. :* On suppose que ''L'' est une extension finie (c’est-à-dire que la dimension de ''L'' sur ''K'' est finie). le fait que tout polynôme irréductible à coefficients dans ''K'' ayant au moins une racine dans ''L'' ait toutes ses racines dans ''L'' est une condition nécessaire et suffisante pour que l'extension ''L'' soit normale sur ''K''. {{boîte déroulante|align=left|titre=Démonstrations|contenu= : :* '''Le cardinal du groupe de Galois est égal à la dimension de ''L'' sur ''K'' si et seulement si l'extension est galoisienne.''' Supposons que le cardinal du groupe de Galois soit égal à ''n'' la dimension de ''L''. :Alors il existe au moins ''n'' morphismes de ''L'' dans Ω laissant ''K'' invariant. La deuxième propriété du paragraphe [[Extension séparable#Morphisme dans la clôture algébrique|Morphisme dans la clôture algébrique]] montre qu'il existe au plus ''n'' de ces morphismes. Il en existe alors exactement ''n''. Le théorème de l'élément primitif garantit alors que l'extension est séparable. Tous ces morphismes laissent ''L'' stable, ce qui montre que l'extension est normale. Supposons que l'extension soit galoisienne. :Alors l'extension est séparable par définition. Le théorème de l'élément primitif indique qu'il existe exactement ''n'' morphismes de ''L'' dans Ω laissant ''K'' invariant. Tous ces morphismes ont pour image ''L'' par définition de l'extension galoisienne. Le cardinal du groupe de Galois est donc égal à ''n''. :* '''On suppose que ''L'' est une extension finie (c’est-à-dire que la dimension de ''L'' sur ''K'' est finie). Le fait que tout polynôme irréductible à coefficients dans ''K'' ayant au moins une racine dans ''L'' ait toutes ses racines dans ''L'' est une condition nécessaire et suffisante pour que l'extension ''L'' soit normale sur ''K''.''' Supposons que ''L'' soit normale sur ''K''. :Soit P[X] un polynôme irréductible à coefficients dans ''K'' et ayant une racine ''r<sub>1</sub>'' dans ''L''. Soit ''K<sub>1</sub>'' l'extension simple ''K(r<sub>1</sub>)''. Soit ''r<sub>2</sub>'' une deuxième racine de P[X] dans Ω. Alors la première proposition du paragraphe [[extension algébrique#Extension algébrique et sur-corps|Extension algébrique et sur-corps]] montre l'existe d'un morphisme ''m'' de ''K<sub>1</sub>'' tel que ''m(r<sub>1</sub>)'' = ''r<sub>2</sub>''. L'avant-dernière proposition du paragraphe [[extension séparable#Morphisme dans la clôture algébrique|Morphisme dans la clôture algébrique]] montre que l'on peut étendre ''m'' à un morphisme ''m<sub>L</sub>'' de ''L'' dans Ω. L'égalité suivante ''m<sub>L</sub>(r<sub>1</sub>)'' = ''r<sub>2</sub>''. Puisque l'extension est galoisienne, elle est normale et ''m<sub>L</sub>'' laisse ''L'' stable, ce qui montre que ''r<sub>2</sub>'' est un élément de ''L''. Réciproquement supposons que tout polynôme irréductible à coefficients dans ''K'' ayant au moins une racine dans ''L'' ait toutes ses racines dans ''L''. :Soit ''m'' un morphisme de ''L'' dans Ω et laissant invariant ''K'', et soit ''l'' un élément de ''L''. Soit P[X] le polynôme minimal de ''l''. ''m(l)'' est une racine de P[X], c'est donc un élément de ''L''. Et l'image de ''L'' par ''m'' est incluse dans ''L'', ce qui démontre la réciproque. }} ===Théorème fondamental de la théorie de Galois=== ''Article détaillé: [[Théorème fondamental de la théorie de Galois]]'' Il existe une correspondance entre les sous-corps d'une extension de Galois de dimension finie et les sous-groupes du groupe de Galois. Cette correspondance établit une équivalence entre certaines propriétés des sous-corps et celle des sous-groupes. Par exemple un sous-corps est une extension galoisienne si et seulement si le sous-groupe associé est [[Sous-groupe distingué|distingué]]. Dans le cadre de la théorie des extensions finies, cette correspondance est un résultat fondamental de la [[théorie de Galois]]. Quatre propriétés résument cette correspondance: :*'''Lemme d'Artin''': Soit ''L'' un corps et ''G'' un groupe fini d'automorphismes de corps de ''L''. Alors l'ensemble ''K'' des éléments laissés invariants par chaque élément de ''G'' est un sous-corps. De plus, ''L'' est une extension galoisienne de ''K''. Soit ''L'' une extension de Galois de dimension finie sur ''K'' et ''G'' son groupe de Galois. Soit ''H'' un sous-groupe de ''L'' et ''L<sup>H</sup>'' l'ensemble de ''L'' contenant tout les éléments de ''L'' invariant par chaque élément de ''H''. Alors les deux propositions suivantes sont vérifiées: :* L'ensemble des éléments de ''L'' laissés invariants par tous les membres de ''G'' est ''K''. :* Soit ''F'' un sous-corps de ''L'', alors ''L'' est une extension galoisienne de ''F'' et le groupe de Galois associé est l'ensemble des élément de ''G'' qui laisse ''F'' invariant. Ces propositions permettent de démontrer le: :* '''Théorème fondamental de la théorie de Galois'''. ''L<sup>H</sup>'' est un sous-corps de ''L'', ''L'' est une extension galoisienne de ''L<sup>H</sup>'' et ''H'' est le groupe de Galois de l'extension ''L'' de ''L<sup>H</sup>''. L'application de l'ensemble des sous-groupes du groupe ''G'' dans les sous-corps de ''L'' qui à chaque sous-groupe ''H'' associe ''L<sup>H</sup>'' est une bijection. L'extension ''L<sup>H</sup>'' de ''K'' est galoisienne si et seulement si ''H'' est un sous-groupe distingué de ''G''. Alors le groupe de Galois de ''L<sup>H</sup>'' est isomorphe au groupe quotient ''G''/''H''. ''Remarque: la démonstration est données dans l'[[théorème fondamental de la théorie de Galois|article détaillé]].'' {{boîte déroulante|align=left|titre=Démonstrations|contenu= : :*'''Soit ''L'' un corps et ''G'' un groupe fini d'automorphisme de corps de ''L''. Alors l'ensemble ''K'' des éléments ''l'' laissé invariant par chaque élément de ''G'' est un sous-corps. De plus, ''L'' est une extension galoisienne de ''K''.''' L'ensemble ''K'' est non vide car il contient l'unité, il est stable par addition, multiplication et passage à l'inverse, c'est donc un sous-corps de ''L''. Montrons que ''L'' est algébrique et séparable. :Soit ''l'' un élément de ''L'' et ''G<sub>l</sub>'' le [[Action de groupe (mathématiques)#Stabilisateur d'un élément|stabilisateur]] de ''l'' dans ''G'' et ''g'' un élément de ''G''. On remarque que l'action de ''g'' sur ''l'' est indépendante du représentant de la classe à gauche de ''g'' quotient du groupe par ''G<sub>l</sub>''. Le polynôme suivant, à coefficient dans ''L'' est donc bien défini: <center><math>P_l[X]=\prod_{g \in G/G_l} (X-g(l))</math></center> :On remarque alors que l est une racine simple du polynôme et que tous les coefficients du polynômes sont invariants par l'action d'un élément quelconque ''h'' de ''G'' car <center><math>P_l[X]=\prod_{g \in G/G_l} (X-(h.g)(l))</math></center> :Les coefficients de P[X] sont donc tous éléments de ''K''. Ce résultat montre que ''l'' est racine d'un polynôme à coefficient dans ''K'' sans racine multiple. L'extension ''L'' est à la fois algébrique et séparable. Montrons que ''L'' est de dimension finie sur ''K''. :Soit ''E'' un sous-espace vectoriel de ''L'' sur ''K'' de dimension finie. Soit ''F'' la plus petite extension sur ''K'' contenant ''E''. ''F'' est une extension finie et séparable, le théorème de l'élément primitif garantit l'existence d'un élément ''f'' de ''F'' tel que ''F'' = ''K(f)'' car ''L'' est séparable. La construction précédente montre que le polynôme minimal de ''f'' sur ''K'' qui divise P<sub>f</sub>[X] est de degré inférieur ou égal au cardinal de ''G''. Donc la dimension de ''E'' est inférieur ou égal au cardinal de ''G''. ''L'' ne contient que des sous-espaces vectoriels de dimension inférieure ou égale au cardinal de ''G'', c'est donc un espace vectoriel de dimension inférieure ou égale au cardinal de ''G'' et ''L'' est de dimension finie. Montrons que ''L'' est normal sur ''K''; :La dernière proposition du paragraphe précédent montre qu'il suffit de vérifier que tout polynôme irréductible à coefficients dans ''K'' ayant une racine dans ''L'' a toutes ses racines dans ''L''. Soit Q[X] un tel polynôme et ''r'' une racine de Q[X] dans ''L''. Q[X] est un diviseur du polynôme P<sub>r</sub>[X]. Or P<sub>r</sub>[X] est scindé et a toutes ses racines dans ''L''. Il en est donc de même pour Q[X] et la démonstration est terminée. :* '''L'ensemble des éléments de ''L'' laissés invariants par tous les membres de G est K.''' Soit ''l'' un élément de ''L'' qui n'est pas dans ''K''. Soit P[X] son polynôme minimal dans ''K'' et ''K<sub>1</sub>'' le corps de décomposition de P[X] sur ''K''. ''K<sub>1</sub>'' est inclus dans ''L'' d'après le paragraphe précédent. Soit ''r'' une racine de P[X] différente de ''l''. Alors il existe un morphisme ''m'' de corps de ''K<sub>1</sub>'' dans Ω laissant invariant ''K'' d'après la première proposition du paragraphe [[Extension algébrique#Extension algébrique et sur-corps|Extension algébrique et sur-corps]] tel que ''m(l)'' = ''r''. Ce morphisme s'étend à un morphisme de corps ''m' ''de ''L'' d'après l'avant dernière proposition du paragraphe [[Extension séparable#Morphisme dans la clôture algébrique|Morphisme dans la clôture algébrique]]. Comme ''L'' est galoisien, ''m' ''est un automorphisme de ''L'' qui ne laisse pas ''l'' invariant. La contraposée démontre le résultat. :* '''Soit ''F'' un sous-corps de ''L'', alors ''L'' est une extension galoisienne de ''F'' et le groupe de Galois associé est l'ensemble ''H'' des éléments de ''G'' qui laisse ''F'' invariant.''' Montrons que ''H'' est un sous-groupe. ''H'' est non vide car il contient l'identité. ''H'' est stable par composition et passage à la réciproque, ceci montre qu'il est bien un sous-groupe de ''G''. ''L'' est séparable sur ''F'' d'après la deuxième proposition du paragraphe [[extension séparable#Cas des extensions et des corps|Cas des extensions et des corps]]. Tout automorphisme de ''L'' laissant invariant ''F'' laisse aussi ''K'' invariant, l'extension est donc normale. Enfin tout élément du groupe de Galois de ''L'' sur ''F'' est par définition un élément du groupe de Galois de ''L'' sur ''K'', élément du stabilisateur de ''F''. }} ==Voir aussi== ===Notes=== <references /> ===Liens externes=== * {{fr}} [http://perso.univ-rennes1.fr/bernard.le-stum/Documents/galois.pdf Une courte présentation des extensions algébriques] par Bernard le Stum Université de Rennes 1 2001 * {{fr}} [http://www.institut.math.jussieu.fr/dea/aa/dea01-02/Galois.pdf Un cours de DEA sur la théorie de Galois] par Alain Kraus Université de Paris VI 1998 * {{fr}} [http://www.les-mathematiques.net/b/b/g/node3.php3 Les correspondances de Galois] dans les-mathématiques.net * {{en}} [http://www-history.mcs.st-and.ac.uk/history/Indexes/Algebra.html Référence historiques de l'université de St Andrews] ===Références=== *{{Douady1}} *{{Lang1}} *{{Samuel1}} {{Théorie de Galois}} {{portail mathématiques}} [[Catégorie:Théorie de Galois]] [[en:Galois extension]] [[es:Extensión de Galois]] [[fi:Galois'n laajennus]] [[it:Estensione di Galois]] [[ru:Расширение Галуа]]