Voir la source de Extension de Galois

En [[mathématiques]], une '''extension de [[Évariste Galois|Galois]]''' (parfois nommée '''extension galoisienne''') est une [[extension normale]] [[Extension séparable|séparable]].

L'ensemble des automorphismes de l'extension possède une structure de [[Groupe (mathématiques)|groupe]] appelée [[groupe de Galois]]. Cette structure de groupe caractérise l'extension, ainsi que ses 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 ==
{{section à sourcer|date=mars 2024}}
=== Les problèmes initiaux ===
[[Fichier:Joseph Louis Lagrange.jpg|thumb|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 [[équation polynomiale|équations polynomiales]], 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é|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 pas 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 [[Structure algébrique|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 commutatif]]s 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 polynomiale. 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]] qui se sont penchés sur cette question<ref>{{Article|nom=J.-L. Lagrange|titre=Réflexions sur la résolution algébrique des équations|périodique=Nouveaux mémoires de l'[[Académie royale des sciences de Prusse|Académie royale des sciences et belles-lettres de Berlin]]|année=1771-72}}, réédité dans ''Œuvres de Lagrange'', t. 3, Paris, 1869, [http://math-doc.ujf-grenoble.fr/cgi-bin/oeitem?id=OE_LAGRANGE__3_205_0 p. 205-421].</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]] démontre [[Théorèmes de Sylow|les trois théorèmes]]<ref>{{Article|auteur=M. L. Sylow|titre=Théorème sur les groupes de substitutions|périodique=[[Mathematische Annalen]]|volume=V|année=1872|pages=584-594}}.</ref> 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 ==
{{section à sourcer|date=mars 2024}}
=== À l'origine de l'abstraction : les groupes ===
[[Fichier:evariste_galois.jpg|thumb|250px|É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 sur les groupes|théorème de Lagrange]]. [[Paolo Ruffini (mathématicien)|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<ref>{{it}} P. Ruffini, ''{{Lang|it|Teoria Generale delle Equazioni, in cui si dimostra impossibile la soluzione algebraica delle equazioni generali di grado superiore al quarto}}'', 1799.</ref>. Si l'analyse systématique des [[Groupe de permutations|groupes de permutations]] est démarrée, elle est néanmoins insuffisante pour conclure.

=== Algèbre et géométrie ===
À l'aube du {{s-|XIX}}, [[Carl Friedrich Gauss]] établit un nouveau lien entre l'algèbre des polynômes et la géométrie<ref>{{la}} C. F. 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 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]]<ref>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]]'', 1{{e}} série, tome II, 1837, p. 366-372.</ref> 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<ref>''[https://gallica.bnf.fr/ark:/12148/bpt6k163907/f389 Œuvres mathématiques d'Évariste Galois]'', dans ''Journal de mathématiques pures et appliquées'', 1{{e}} série, tome XI, 1846, p. 381-444.</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]] 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 unitaire|anneau]] et de [[corps commutatif]], elle apparaît pour la première fois sous la plume de [[Richard Dedekind]]<ref>{{de}} R. Dedekind, ''Gesammelte mathematische Werke'', d'après {{Bourbaki}}, p. 106, réf. 79.</ref>.

La formalisation moderne de la structure d'anneau provient d'une synthèse de [[David Hilbert]]<ref>{{Article|lang=de|nom=D. Hilbert|année=1897|titre=Die Theorie der algebraischen Zahlkorper|périodique=Jahresbericht der [[Deutsche Mathematiker-Vereinigung|DMV]]|volume= 4|pages=175-546}}, connu sous le nom de ''{{lang|de|Zahlbericht}}'' (« Rapport sur les nombres »).</ref>. 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]]<ref>{{Article|lang=de|nom=E. Steinitz|titre=Algebraische Theorie der Körper|périodique=[[Journal für die reine und angewandte Mathematik]]|volume=137|année=1910|pages=167–309}}.</ref>. Cette théorie contient les concepts modernes comme ceux d'[[extension de corps]], de degré d'une extension ou d'[[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 Ω une [[clôture algébrique]] de ''K''. ''L'' est identifié à un sous-corps de Ω, ce qui, dans le cas où l'extension est [[extension finie|finie]], 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]].

* L'extension est dite '''[[Extension normale|normale]]''' si tout morphisme de ''L'' dans Ω laissant ''K'' invariant est un automorphisme de ''L''.<br />''Remarque : un morphisme de corps est toujours injectif. Le morphisme est aussi un morphisme d'espaces vectoriels 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 [[Extension séparable|séparable]].<br />''Remarque : l'extension ''L'' de ''K'' est dite séparable si le [[polynôme minimal d'un nombre algébrique|polynôme minimal]] sur ''K'' de tout élément de ''L'' n'a aucune racine multiple dans Ω. L'article sur les [[extension algébrique|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 d'un anneau|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 'j' (une racine cubique complexe de l'unité) sur le corps des rationnels est une extension de Galois.

{{Démonstration/début|titre=Démonstrations}}
* '''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 degré 2 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 engendrée par la racine cubique de deux et 'j' (une racine cubique complexe de l'unité) sur le corps des rationnels est une extension de Galois.

On vérifie facilement que l'extension <math>\Q(\sqrt[3]{2},j)</math> de <math>\Q</math> engendrée par la racine cubique de deux et ''j'' (une racine cubique complexe de l'unité) est le [[corps de décomposition]] sur <math>\Q</math> du polynôme <math>P(X)=X^3-2</math> (c'est-à-dire <math>\Q(\sqrt[3]{2}, j\sqrt[3]{2},j^2\sqrt[3]{2})</math>). Or le corps de décomposition d'un polynôme sur un corps donné est toujours une extension normale de ce dernier. Pour finir, cette extension est [[extension séparable|séparable]] car <math>\Q</math> est de caractéristique <math>0</math>.
{{Démonstration/fin}}

== Propriétés ==
=== Propriétés élémentaires ===
On suppose dans cette section que l'extension ''L'' sur ''K'' est [[Extension finie|finie]].

* L'ordre 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 [[Polynôme scindé|scindé]] sur ''L''.

{{Démonstration/début|titre=Démonstrations}}
* '''L'ordre 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.'''<br />Notons <math>[L:K]_s</math> le nombre de morphismes de ''L'' dans Ω laissant ''K'' invariant. Le paragraphe [[Extension séparable#Morphisme dans la clôture algébrique|Morphisme dans la clôture algébrique]] de l'article ''Extension séparable'' établit que<center><math>[L:K]_s\le[L:K],</math></center>avec égalité si et seulement si l'extension est séparable.<br />Par ailleurs, on a bien sûr<center><math>\mathrm{card}(\mathrm{Gal}(L/K))\le [L:K]_s,</math></center>avec égalité si et seulement si l'extension est normale.<br />La proposition se déduit de ces deux points.
*'''L'extension est normale si et seulement si le polynôme minimal sur ''K'' de tout élément de ''L'' est scindé sur ''L''.'''<br />Supposons que l'extension soit normale. Soient α un élément de ''L'', P(X) son polynôme minimal, et β une racine de P(X) dans Ω. Alors, d'après le paragraphe [[Extension séparable#Morphisme dans la clôture algébrique|Morphisme dans la clôture algébrique]], l'[[application identité|identité]] de ''K'' s'étend canoniquement en un isomorphisme ''f'' de ''K''(α) sur ''K''(β) qui envoie α sur β, et ''f'' possède au moins un prolongement ''g'' à ''L''. Par normalité, ''L'' est stable par ''g'' donc β=''g''(α) appartient à ''L''.<br />Réciproquement supposons que pour tout élément α de ''L'', le polynôme minimal P(X) de α sur ''K'' est scindé sur ''L''. Soit ''g'' un morphisme de ''L'' dans Ω laissant ''K'' invariant. Alors ''g''(α) est une racine de P(X), donc appartient à ''L''. Ainsi, l'image de ''L'' par ''g'' est bien incluse dans ''L''.
{{Démonstration/fin}}

=== 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 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 :
#'''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''.
#Si ''L'' est une extension galoisienne de ''K'' et si ''F'' est un corps intermédiaire (''K'' ⊂ ''F'' ⊂ ''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.
#Si ''L'' est une extension galoisienne finie<ref>Moyennant l'[[axiome du choix]], cette hypothèse de finitude est en fait superflue, cf Lang, ''Algebra'', chap. VIII, Theorem 1.</ref> 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''.

{{Démonstration/début|titre=Démonstrations}}
* '''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''.''' (La vérification que ''K'' est bien un sous-corps de ''L'' est laissée au lecteur.)
**Montrons que ''L'' est algébrique et séparable.<br />Soient α un élément de ''L'', { α<sub>1</sub>, … , α<sub>''m''</sub> } son orbite sous  l'[[Action de groupe (mathématiques)|action]] de ''G'' (le cardinal ''m'' de l'orbite est majoré par ''n''), et<center><math>P(X)=\prod_{k=1}^m (X-\alpha_k).</math></center>Chaque élément de ''G'' [[permutation|permute]] les α<sub>''k''</sub> donc fixe les coefficients de P(X), qui appartiennent par conséquent à ''K''.<br />Ce résultat montre que α est racine d'un polynôme à coefficients dans ''K'' sans racine multiple. L'extension ''L'' est donc à la fois algébrique et séparable.<br />On remarque de plus que le polynôme minimal de α sur ''K'' est (puisqu'il divise P(X))<br />(1) de degré inférieur ou égal à n et<br />(2) scindé sur ''L''.
**Montrons que le degré de l'extension est inférieur ou égal à n.<br />Pour cela, montrons que ''r'' éléments quelconques ''x''<sub>1</sub>, … ,''x<sub>r</sub>'' de ''L'' sont ''K''-liés dès que ''r''>n. Soit ''F=K''(''x''<sub>1</sub>, … ,''x<sub>r</sub>'' ). D'après ce qui précède, ''F'' est une extension finie de ''K'' engendrée par des éléments séparables, donc (selon le paragraphe [[Extension séparable#Morphisme dans la clôture algébrique|Morphisme dans la clôture algébrique]] de l'article ''Extension séparable'') ''F'' est séparable sur ''K''. Par le [[théorème de l'élément primitif]], ''F'' est donc de la forme ''K''(α). De plus, d'après la remarque (1) ci-dessus, le degré de  α sur ''K'' (autrement dit : la dimension du ''K''-espace vectoriel ''F'') est inférieur ou égal à n,  donc strictement inférieur à ''r'' dès que ''r''>n, si bien que (''x''<sub>1</sub>, … ,''x<sub>r</sub>'' ) est alors ''K''-lié.
**Enfin, l'extension est normale et de degré supérieur ou égal à n.<br />La normalité résulte de la remarque (2) ci-dessus et de la seconde des deux [[#Propriétés élémentaires]]. D'après la première de ces deux propriétés, le degré de l'extension est donc égal au cardinal de son groupe de Galois. Comme ce groupe contient ''G'', son cardinal vaut au moins n.
* '''2. Si ''L'' est une extension galoisienne de ''K'' et si ''F'' est un corps intermédiaire (<math>\scriptstyle K\subset F\subset L</math>), 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.'''<br />''L'' est séparable sur ''K'' donc sur ''F'' (le polynôme minimal sur ''F'' de tout élément de ''L'' divise le polynôme minimal sur ''K'', donc est à racines simples comme ce dernier). De même, ''L'' est normal sur ''K'' donc sur ''F'' (tout morphisme de ''L'' dans Ω laissant ''F'' invariant laisse aussi ''K'' invariant donc est un automorphisme de ''L''). Enfin, le groupe Gal(''L/F'') est par définition l'ensemble des éléments de Gal(''L/K'') qui laissent non seulement ''K'' invariant, mais ''F'' (ce qui redémontre au passage le fait – par ailleurs élémentaire – que ce sous-ensemble est bien un sous-groupe).
* '''3. Si ''L'' est une extension galoisienne finie 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''.'''<br />Cet ensemble ''F'' est (par définition) un corps intermédiaire compris entre ''K'' et ''L'', vérifiant Gal(''L/K'')=Gal(''L/F''). D'après la première des deux [[#Propriétés élémentaires]], on a donc [''L'':''K'']=card(Gal(''L/K''))=card(Gal(''L/F''))≤[''L'':''F''], si bien que [''F'':''K'']≤1, i.e. ''F''=''K''.

{{Démonstration/fin}}

Soient ''L'' une extension galoisienne finie de ''K'' et ''G'' son groupe de Galois. Pour tout sous-groupe ''H'' de ''G'', on note ''L<sup>H</sup>'' 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 ''L<sup>H</sup>'' et ''H'' est le groupe de Galois associé.
:L'application qui à chaque ''H'' associe ''L<sup>H</sup>'' 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 ''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 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 dans le cas fini, en remplaçant sous-groupes par sous-groupes fermés. Les sous-extensions galoisiennes finies correspondent aux sous-groupes ouverts de Gal(''L/K'').

== Voir aussi ==
=== Notes ===
<references />
=== Liens externes ===
* [http://agreg-maths.univ-rennes1.fr/documentation/docs/Galois.pdf Une courte présentation des extensions algébriques] par Bernard Le Stum, [[université de Rennes 1]], 2001
* [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

=== Références ===
* {{Douady1}}
* {{Lang1}}
* {{Samuel1}}

{{Palette|Théorie de Galois}}

{{Portail|algèbre}}

[[Catégorie:Théorie de Galois]]