Voir la source de Théorème de l'élément primitif

En [[mathématiques]], et plus spécifiquement en [[algèbre]], le '''théorème de l'élément primitif''' est un des [[théorème]]s de base de la [[théorie des corps]]. Il stipule que toute extension finie [[extension séparable|séparable]] est [[extension simple|simple]], c'est-à-dire engendrée par un seul élément, appelé ''élément primitif''.

Une [[extension algébrique]] ''L'' d'un [[corps commutatif|corps]] ''K'' est dite '''séparable''' si le [[polynôme minimal d'un nombre algébrique|polynôme minimal]] de tout élément de ''L'' n'admet que des [[Racine d'un polynôme#Définitions connexes|racines simples]] (dans une [[clôture algébrique]] de ''K'').
On démontre l'équivalence de cette définition avec la définition suivante : une extension finie est séparable si et seulement si le nombre de morphismes de l'extension dans la clôture algébrique laissant invariant le corps de base est égal au degré de l'extension. 

Le théorème de l'élément primitif, énoncé pour la première fois par Abel dans un mémoire posthume<ref name=Abel>Fait rappelé par Galois dans son mémoire (voir les ''Œuvres'', référence ci-dessous {{p.|37}} à la suite du Lemme III).</ref>, et démontré par Évariste Galois<ref name=Galois>''Œuvres mathématiques d'Évariste Galois'', publiée sous les auspices de la [[Société mathématique de France]], Paris, 1897, Lemme III {{p.|36-37}}.</ref>, peut être utilisé pour simplifier l'exposé de la [[théorie de Galois]], quoique la plupart des exposés modernes suivent la démarche indépendante d'[[Emil Artin|Artin]] ; c'est d'ailleurs par ce théorème que commence la démonstration originale de Galois. À l'inverse, comme dans la méthode d'Artin, on peut regarder ce théorème comme une conséquence simple de cette théorie, fait lui aussi reconnu explicitement par Galois<ref>Voir la section ''Histoire et usage''.</ref>. 
   
== Exemples explicites ==
* Dans certains cas simples d'extensions, on peut construire explicitement un élément primitif<ref name=VdW/>. Ainsi, prenons ''K ''= ℚ et ''L ''= {{nobr|ℚ({{racine|2}}, {{racine|3}})}} (''L'' est une [[extension séparable]] de ''K'', voir ci-dessous) ; montrons que ''L ''= ℚ(α), avec {{nobr|α {{=}} {{racine|2}} + {{racine|3}}.}} Il est clair qu'il suffit de démontrer que {{racine|2}} est dans ℚ(α) (car {{racine|3}} = α – {{racine|2}} le sera alors aussi), or en développant l'équation {{nobr|(α – {{racine|2}}){{2}}}} = 3, on trouve {{racine|2}} = {{nobr|(α{{2}} – 1)/(2α)}}.

:En général, en supposant que ''K'' est infini et que ''L'' est une extension finie et séparable sur ''K'', la construction de van der Waerden (mentionnée plus bas dans cet article) assure que pour tout système de générateurs ''α{{ind|1}}, α{{ind|2}}, ... α{{ind|n}}'', de ''L'' sur ''K'', il existe un élément primitif de la forme ''θ = λ{{ind|1}}α{{ind|1}} + ... + λ{{ind|n}}α{{ind|n}}'', les ''λ{{ind|i}}'' pouvant être choisis dans n'importe quelle partie infinie donnée de ''K''. C'est une version améliorée d'un théorème démontré par Galois, selon lequel, si ''L'' est le corps de décomposition d'un polynôme ''P'' à coefficients dans ''K'', il existe un élément primitif pour ''L/K'' de la forme ''θ = λ{{ind|1}}α{{ind|1}} + ... + λ{{ind|n}}α{{ind|n}}'', les ''α{{ind|i}}'' étant les ''n'' racines de ''P'' (section ''La démonstration originale de Galois''). Néanmoins, ces constructions restent toutes théoriques, à moins de disposer d'une représentation de l'extension ''L/K''.

* Le théorème de l'élément primitif assure que toute extension finie séparable possède un élément primitif. Un exemple d'extension qui n'en possède pas doit donc être cherché en caractéristique ''p''. En voici un explicite : Soit ''K'' = {{nobr|'''F{{ind|p}}'''(''X,Y'')}}, et ''L'' = {{nobr|''K''(''X{{exp|1/p}}, Y{{exp|1/p}}'')}}. Alors [''L : K''] = ''p{{exp|2}}''. Mais pour tout ''t'' dans ''L'', ''t{{exp|p}}'' appartient à ''K'' (en caractéristique ''p'', {{nobr|(''a + b''){{exp|''p''}}}} = {{nobr|''a{{exp|p}} + b{{exp|p}}''}}). L'extension ''L/K'' ne peut donc être engendrée par un seul élément ''t'' de ''L''.

== Histoire et usage ==
Le théorème de l'élément primitif, tout d'abord cité sans démonstration dans un mémoire posthume d'Abel<ref name=Abel/>, fut démontré et employé par Galois pour exposer sa théorie dans son mémoire de 1832<ref name=Galois/>. Cette démonstration ne fut publiée qu'en 1846 par Liouville, dans le ''Journal de mathématiques'', avec le reste du mémoire<ref>Fait rappelé par Picard dans la préface des ''Œuvres'' (référence ci-dessus).</ref>. 

Il est, dans la théorie des corps, utilisé dans une quantité de théorèmes et de démonstrations. Mais l'exposition de tels résultats dépasse le cadre de cet article. 

À quelques exceptions près, la méthode utilisée par Galois pour établir sa théorie, basée sur le théorème de l'élément primitif, a généralement été abandonnée au profit de la démarche d'Artin, essentiellement fondée sur le décompte du nombre des extensions des monomorphismes dans les extensions finies. D'un point de vue épistémologique, on est en droit de s'interroger sur les raisons de l'abandon du théorème de l'élément primitif comme principe simplificateur de la théorie de Galois. D'un côté, la présentation de cette théorie au moyen du théorème de l'élément primitif peut être perçue comme plus simple et plus légère pour l'esprit, lui offrant toute la simplicité conceptuelle possible<ref>Voir les remarques de {{harvsp|van der Waerden|1949|p=127}}.</ref>. D'un autre côté, la démonstration de ce théorème, si on la veut complètement indépendante de la méthode d'Artin, peut sembler devoir faire intervenir un certain nombre de résultats de la théorie des équations<ref>Mais voir la section consacrée à la construction de van der Waerden et à sa démonstration.</ref> (le théorème des fonctions symétriques par exemple), ainsi qu'un jeu d'une finesse assez complexe entre les variables<ref>On pourra observer la dextérité remarquable de Galois dans la section ''Preuve originale de Galois''.</ref>. La méthode d'Artin, qui ne fait pas intervenir de lemmes ''extérieurs'' et dont les démonstrations sont relativement faciles à suivre, peut alors être perçue comme plus rigoureuse et d'une simplicité démonstrative supérieure<ref>Voir aussi la note (13) de {{harvsp|van der Waerden|1949|p=127}}.</ref>. 
     
D'autre part, on ne peut ignorer l'aspect théorique de la démarche d'Artin : plutôt que d'utiliser des théorèmes ''ad hoc'' pour comprendre la géométrie d'un objet, un théoricien préfèrera en général obtenir ces théorèmes comme une ''conséquence'' de l'étude de cette géométrie. 
En l'occurrence, il est plus satisfaisant, d'un point de vue purement théorique, d'obtenir des théorèmes tels que le théorème des fonctions symétriques ou celui de l'élément primitif comme conséquence de la théorie de Galois, établie au moyen de considérations géométriques seulement (groupe d'automorphismes), que de déduire la théorie de ces théorèmes. 
   
On doit d'ailleurs observer que l'idée essentielle de cette démarche avait été parfaitement reconnue<ref>La pièce J dans l'ouvrage de Tannery est ce qui reste d'une démonstration par induction du théorème fondamental de Galois par Galois, ce qui fait dire à Tannery qu'elle est antérieure à la démonstration du premier mémoire publiée par Liouville (''Manuscrits de Évariste Galois'', publié par [[Jules Tannery]], Paris, 1908, Gauthier-Villars, {{p.|45-48}}).</ref> par Galois, comme le montre ce commentaire de Galois lui-même, faisant suite à la démonstration du théorème principal de sa théorie : 
:« Je dois observer que j'avais d'abord démontré le théorème autrement, sans penser à me servir de cette propriété très simple des équations, propriété que je regardais comme une conséquence du théorème. C'est la lecture d'un mémoire [fragment de ligne indéchiffrable, possiblement « d'Abel » ou « de Libri »] qui m'a suggéré [fragment de ligne indéchiffrable, reconstitution possible : « l'idée de la démonstration. »] »<ref>Cette note de Galois est absente de la plupart des éditions des œuvres de Galois. C'est dans un feuillet détaché et à demi déchiré que Tannery a retrouvé un premier jet de la preuve de la proposition I (l'équivalent de ce qu'on appelle aujourd'hui le théorème de Galois), dont une partie sera réintroduite par Galois dans son premier mémoire. Le feuillet commence par la démonstration de la proposition dans le cas particulier où toutes les racines du polynôme sont fonctions rationnelles d'une seule d'entre elles, autrement dit, dans le cas où cette racine est un élément primitif du corps de décomposition du polynôme. Cette démonstration est d'ailleurs biffée, ainsi que les mots « Revenons au cas général ». Ensuite, Galois passe à la démonstration du cas général en utilisant le théorème de l'élément primitif. C'est au bas de ce feuillet que Galois a écrit la phrase citée. Voir les commentaires de Tannery dans ''Manuscrits de Évariste Galois'', publié par Jules Tannery, Paris, 1908, Gauthier-Villars, {{p.|11-12}}.</ref>

== Énoncé du théorème et caractérisation des extensions simples ==
Le théorème de l'élément primitif s'énonce en quelques mots :
{{énoncé||Toute [[extension séparable]] [[Extension finie|finie]] est [[Extension simple|simple]]<ref>[http://www.les-mathematiques.net/b/b/f/node3.php3 Théorème de l'élément primitif] sur le site les-mathematiques.net.</ref>.}}

On peut se demander en général comment caractériser les extensions finies simples. La réponse est fournie par un théorème dû à Artin<ref>{{en}} ''[http://www.mathreference.com/fld-sep,pet.html The Primitive Element Theorem]'' sur le site mathreference.com.</ref>{{,}}<ref>{{Planetmath reference|id=5725|title=proof of primitive element theorem}}.</ref>, qui est souvent présenté sous un même titre, ou indifférencié du théorème de l'élément primitif : 

{{énoncé||Une extension finie est simple si et seulement si elle contient un nombre fini de corps intermédiaires.}}

Contrairement à une certaine opinion, ce théorème, qu'on nomme parfois 
« caractérisation des extensions simples d'Artin » ou « théorème de l'élément primitif d'Artin », ne ''tend'' pas à remplacer le théorème de l'élément primitif
proprement dit, quoiqu'il serve souvent à le démontrer. 
En effet, ces deux théorèmes ne sont pas interchangeable dans les applications : le théorème 
de l'élément primitif proprement dit est un instrument théorique et pratique précieux, de loin plus employé que le théorème 
d'Artin ; inversement, même dans le cas séparable, il est des circonstances où la caractérisation d'Artin permet d'obtenir aisément 
la simplicité d'une extension, alors que ce serait plus difficile ou impossible avec le théorème de l'élément primitif 
(on pourra s'en convaincre par l'exemple ci-après). 
D'ailleurs, si on peut facilement démontrer le théorème de l'élément primitif au moyen du théorème d'Artin, cette déduction n'est pas plus simple
que des démonstrations directes telles que celle de van der Waerden présentée plus bas.

Une autre caractérisation des extensions simples, beaucoup moins connue, a été rédigée par van der Waerden dans son célèbre ouvrage<ref>{{harvsp|van der Waerden|1949|p=127-128}}.</ref>.
{{énoncé|Soit ''K'' un corps de caractéristique ''p'' > 0, et ''L'' une extension finie de ''K''. On note ''p{{exp|e}}'' l'exposant du groupe abélien quotient ''A'' {{=}} ''L''˟/''L''˟{{ind|sep}}, c'est-à-dire le plus petit entier ''e'' tel que {{nobr|''x{{exp|p{{exp|e}}}}'' ∈ ''L''{{ind|sep}}}} pour tout ''x'' de ''L''<ref>L'exposant de ''A'' est nécessairement de cette forme car ''L''/''L''{{ind|sep}} est [[extension radicielle|radicielle]], donc l'exposant de tout élément doit diviser une puissance de ''p''.</ref>. Alors ''L''/''K'' est simple si et seulement si ''p{{exp|e}}'' {{=}} {{nobr|[''L'' : ''L''{{ind|sep}}]}}.}} 

{{boîte déroulante/début|titre=Démonstration|thinning=yes|couleurFondT=#FFFFFF}}
Supposons que ''L''/''K'' soit simple, engendrée par un élément primitif ''θ''. 
Vu que l'extension ''L''/''L''{{ind|sep}} est [[extension radicielle|radicielle]], le polynôme minimal de ''θ'' sur ''L''{{ind|sep}}
est de la forme {{nobr|''X{{exp|p{{exp|d}}}} - a''}}, avec ''a'' ∈  ''L''{{ind|sep}}. Clairement, ''d'' = {{nobr|[''L'' : ''L''{{ind|sep}}]}}        
car ''L'' = {{nobr|''K''(''θ'')}} = {{nobr|''L''{{ind|sep}}(''θ'')}}. Le nombre ''d'' est aussi l'exposant de ''θ'' dans ''A'', sans quoi ''θ'' satisferait une équation
algébrique de la forme {{nobr|''X{{exp|p{{exp|q}}}}'' {{=}} a'}}, de degré ''p{{exp|q}}'' < ''d''. Mais pour tout ''x'' ∈ ''L'', ''x{{exp|p{{exp|d}}}}''  ∈ ''L''{{ind|sep}}, car ''x'' = {{nobr|''P''(''θ'')}}  avec ''P'' ∈ {{nobr|''K''[''X'']}}, et donc ''x{{exp|p{{exp|d}}}}'' = ''{{nobr|P{{exp|p{{exp|d}}}}(''θ''{{exp|p{{exp|d}}}})}}'' ∈ ''L''{{ind|sep}}<ref>En caractéristique ''p'', on a toujours {{nobr|(''a + b''){{exp|''p''}} {{=}} ''a{{exp|p}} + b{{exp|p}}''}}.</ref>. Ainsi ''p{{exp|e}}'' = ''d''.

Réciproquement, en dénotant encore ''d'' = {{nobr|[''L'' : ''L''{{ind|sep}}]}}, supposons que ''d'' = ''p{{exp|e}}''. Grâce au théorème de l'élément primitif, on sait 
qu'il existe un élément primitif  ''θ'' de ''L''{{ind|sep}}/''K''. D'un autre côté, dans tout groupe abélien d'exposant fini, il existe un élément dont l'exposant
est égal à l'exposant du groupe. Soit donc ''w'' un élément de ''L''˟ d'exposant ''p{{exp|e}}'' dans ''A'' : ''w{{exp|p{{exp|e}}}}'' = ''a'' ∈ ''L''{{ind|sep}}. Comme précédemment, le polynôme 
minimal de ''w'' sur ''L''{{ind|sep}} est forcément égal à {{nobr|''X{{exp|p{{exp|e}}}} - a''}}, sans quoi ''w'' serait d'exposant < ''p{{exp|e}}'' dans ''A''. Par conséquent
''L'' = {{nobr|''L''{{ind|sep}}(w)}} = {{nobr|''K''(''θ, w'')}}. On voit que ''L'' est engendré sur ''K'' par deux éléments, dont un seulement est inséparable sur ''K''. La construction de van der Waerden, exposée plus bas, assure alors que l'extension ''L''/''K'' est simple.
{{démonstration/fin}}

===Exemples d'application du théorème de l'élément primitif===

D'abord, la théorie de Galois, y compris les théorèmes d'extension et de décompte
des morphismes de corps, peut être largement simplifiée par ce théorème.

En outre, les applications théoriques et pratiques abondent dans la littérature.
Voici un exemple :
{{énoncé|''Proposition'' : Soit ''L''/''K'' une extension séparable. 
Si le degré de tout élément ''x'' de ''L'' est borné par un nombre donné ''C'', alors ''L''/''K'' est finie de degré au plus ''C''.
}}
Car si l'extension ''L''/''K'' était infinie, elle contiendrait des sous-extensions (séparables) finies de ''K'' de
degré arbitrairement grand, donc etc.

=== Exemple d'application de la caractérisation des extensions simples d'Artin ===
{{énoncé||Toute sous-extension d'une extension simple finie est simple.}}

En effet, si cette sous-extension contenait un nombre infini de corps intermédiaires,
il en serait de même pour toute sur-extension finie, qui ne pourrait donc être simple. 

=== Exemple d'extension contenant un nombre infini d'extensions intermédiaires ===
C'est peut-être un fait surprenant qu'une extension finie puisse contenir un nombre
infini de sous-extensions. Pour s'en convaincre, reprenons l'exemple de la première
section. On pose comme précédemment 
''K'' = {{nobr|'''F{{ind|p}}'''(''X, Y'')}} et ''L'' = {{nobr|''K''(''X{{exp|1/p}},Y{{exp|1/p}}'')}}. 
Considérons les éléments de la forme ''t{{ind|c}} = {{nobr|X{{exp|1/p}} +  c Y{{exp|1/p}}''}}, 
où ''c'' varie dans un sous-ensemble infini de ''K'', 
et montrons que les corps intermédiaires
''K''(''t{{ind|a}}'') et ''K''(''t{{ind|b}}'') sont distincts lorsque ''a'' et ''b'' le sont.
Si tel n'était le cas, on aurait {{nobr|''K''(''t{{ind|a}}'')}} = {{nobr|''K''(''t{{ind|b}}'')}} pour un certain couple
(''a'',''b''), donc il existerait un polynôme ''P''(''T'') à coefficient dans ''K'' 
tel que ''t{{ind|a}}'' = {{nobr|''P''(''t{{ind|b}}'')}}.
En tenant compte que {{nobr|''t{{ind|b}}{{exp|p}} {{=}} X + b{{exp|p}}Y''}}, on peut supposer que 
''P'' est de degré au plus {{nobr|''p'' - 1}}. 
Notons que ''X{{exp|1/p}}'' est de degré ''p'' sur '''F{{ind|p}}'''[''X''], et donc aussi sur ''K''[''Y{{exp|1/p}}''] , sans quoi il existerait une
relation de dépendance algébrique entre ''X'' et ''Y''. 
Il est d'autre part facile de voir que  {{nobr|''P''(''t{{ind|b}}'')}} = {{nobr|''Q''(''X{{exp|1/p}}'')}}, où {{nobr|''Q''(''V'')}} est un polynôme 
sur {{nobr|''K''(''Y{{exp|1/p}}'')}}, de même degré et coefficient directeur que ''P''. 
De plus la relation ''t{{ind|a}}'' = ''P''(''t{{ind|b}}'') implique 
{{nobr|''Q''(''X{{exp|1/p}}'')  - ''X{{exp|1/p}} - a Y{{exp|1/p}}''}} = 0, ce qui n'est
possible que si ''Q''(''V'') = {{nobr|''V + aY{{exp|1/p}}''}}, car
''Q'' est de degré au plus {{nobr|''p'' - 1}} et ''X{{exp|1/p}}'' est de degré ''p'' sur {{nobr|''K''(''Y{{exp|1/p}}'')}}.
Ainsi, ''P'', tout comme ''Q'', est unitaire et de degré 1 : ''P''(''T'') = {{nobr|''T + h''(''X, Y'')}}. Mais alors la relation 
''t{{ind|a}}'' = ''P''(''t{{ind|b}}'') implique ''aY{{exp|1/p}}'' = {{nobr|''bY{{exp|1/p}} + h''(''X, Y'')}}, 
ce qui est impossible car ''a'' ≠ ''b'' et ''Y{{exp|1/p}}'' est de degré ''p''>1 {{nobr|sur ''K''}}.

== Démonstration ==
La construction de van der Waerden, reproduite dans la section suivante, fournit une [[démonstration constructive]] courte et élémentaire de l'existence d'un élément primitif. En voici une autre un peu plus théorique et tout aussi rapide.

Si ''K'' est un [[corps fini]], alors le groupe multiplicatif associé à ''L'' est cyclique. Si α est choisi parmi les éléments générateurs du groupe alors ''K''(α) = ''L'' et le théorème est démontré, sans même utiliser l'hypothèse de séparabilité.

Supposons donc désormais que ''K'' est infini.

Soit ''n'' = [''L'' : ''K'']. Par séparabilité, il existe ''n'' morphismes de ''L'' dans sa clôture algébrique Ω laissant ''K'' invariant. Considérons ''V<sub>i,j</sub>'' l'ensemble des vecteurs de ''L'' ayant même image par le ''i''{{e}} et le ''j''{{e}} morphisme. ''V<sub>i,j</sub>'' est un sous-espace vectoriel différent de ''L''. Une propriété des [[Sous-espace vectoriel#Réunion de sous-espaces vectoriels|réunions des espaces vectoriels]] montre que la réunion des ''V<sub>i,j</sub>'' n'est pas égale à ''L''. Il existe donc un élément α de ''L'' qui n'est élément d'aucun ''V<sub>i,j</sub>'', c'est-à-dire dont les images par les ''n'' morphismes sont distinctes. Son polynôme minimal sur ''K'' admet donc ''n'' racines distinctes. Ainsi, la dimension du sous-espace vectoriel ''K''(α) est supérieure ou égale à la dimension ''n'' de l'espace vectoriel ''L''. Les deux espaces sont donc égaux.

== Généralisations ==
=== Construction de van der Waerden ===
La construction de van der Waerden<ref name=VdW>Cette version est empruntée à [[Bartel Leendert van der Waerden|van der Waerden]], dans {{Lien web|langue=en|url=http://www.math.cornell.edu/~kbrown/6310/primitive.pdf|titre=The Primitive Element Theorem|auteur=Ken Brown|année=2010|site=[[université Cornell]]}}.</ref>{{,}}<ref>{{harvsp|van der Waerden|1949|p=126}}.</ref> fournit un procédé effectif simple de construction d'un élément primitif, à partir d'un système de générateurs fini d'une extension séparable. En fait, outre le fait qu'elle permet de supposer la forme linéaire d'un tel élément, elle donne un peu plus : elle assure l'existence d'un élément primitif, lors même qu'un des générateurs du système n'est pas séparable.

{{énoncé|''Énoncé :'' Soit ''K'' un corps infini, et ''α{{ind|1}}, α{{ind|2}}, ... α{{ind|n}}'' des éléments algébriques sur ''K''. On suppose que tous ces éléments sont séparables sur ''K'', sauf peut-être  α{{ind|1}}, et on pose ''L'' {{=}} ''K''(''α{{ind|1}}, α{{ind|2}}, ... α{{ind|n}}''). Alors
#il existe un élément primitif de ''L/K'' de la forme  ''θ {{=}} α{{ind|1}} + λ{{ind|2}}α{{ind|2}} + ... + λ{{ind|n}}α{{ind|n}}'', les ''λ{{ind|i}}'' pouvant être choisis dans n'importe quelle partie infinie donnée de ''K'' ;  
#si tous les  ''α{{ind|i}}'' sont séparables, alors ''θ'' peut être supposé séparable.
}}

{{boîte déroulante/début|titre=Démonstration|thinning=yes|couleurFondT=#FFFFFF}}
1. Le cas général se déduit du cas ''n = 2'' par une induction évidente, en considérant les
extensions ''K''(''α{{ind|1}}''), ''K''(''α{{ind|1}}, α{{ind|2}}''), ''K''(''α{{ind|1}}, α{{ind|2}}, α{{ind|3}}''), ... et en construisant progressivement leurs éléments primitifs correspondants ''θ{{ind|1}} = α{{ind|1}}'', ''θ{{ind|2}} = θ{{ind|1}} + λ{{ind|2}}α{{ind|2}}'', ''θ{{ind|3}} = θ{{ind|2}} + λ{{ind|3}}α{{ind|3}}''. . .
On suppose donc ''L = K''( ''α'', ''β''), avec ''β'' séparable sur ''K'', et on se donne une partie infinie ''S'' de ''K''. 
Soient ''α{{exp|(1)}}, ... , α{{exp|(s)}}'' les [[élément conjugué|conjugués]] de ''α'' sur ''K'' distincts deux à deux, et ''β{{exp|(1)}}, ... , β{{exp|(t)}}'' ceux
de ''β'' sur ''K'' (''β'' est séparable sur ''K'' donc ce sont tous ses conjugués sur ''K'').
Choisissons ''λ'' dans ''S'' n'appartenant pas à l'ensemble fini des éléments de la forme {{nobr|(''α{{exp|(i)}} - α'') / (β - ''β{{exp|(j)}}'')}}, avec ''β{{exp|(j)}} ≠ β'', et montrons que ''θ = {{nobr|α + λ β''}} est un élément primitif. 

Soit ''P'' le polynôme minimal de ''α'' sur ''K'', et ''Q'' celui de ''β'' sur ''K''. 
Notons que {{nobr|''P''(''θ - λβ'')}}= 0, donc le polynôme minimal de ''β'' sur {{nobr|''K''(''θ'')}} divise à la fois le polynôme 
{{nobr|''h''(''X'')}} = {{nobr|''P''(''θ - λX'')}} et ''Q''. Si ce polynôme minimal était de degré supérieur à 1, alors ''Q'' et ''h'' auraient
au moins deux racines communes dans une extension de ''K'' (disons la clôture algébrique de ''K'') ; l'une d'entre
elles, disons ''β','' serait différente de ''β'' puisque ''β'' est séparable sur ''K''. On aurait donc {{nobr|''P''(''θ - λβ' '')}}= 0, et donc 
{{nobr|''θ - λβ' ''}}= ''α','' pour un certain conjugué ''α' ''de ''α''. Mais comme ''θ = {{nobr|α + λβ}}'', cela impliquerait ''{{nobr|α + λβ - λβ'}} = α','' ou bien ''λ'' = {{nobr|(''α' - α'') / (''β - β' '')}}, en contradiction avec le choix de ''λ''.
Ainsi, le polynôme minimal de ''β'' sur {{nobr|''K''(''θ'')}} est de degré 1, ce qui veut dire que ''β'', et par suite
''α = {{nobr|θ - λβ''}}, appartient à {{nobr|''K''(''θ'')}}.

2. Supposons que ''α = α{{ind|1}}'' soit séparable. Dans la démonstration précédente, on peut choisir ''λ'' dans ''S'' de telle façon que les ''st'' éléments de la forme {{nobr|''α{{exp|(i)}} + λ β{{exp|(j)}}''}} soient distincts deux à deux, pour différentes valeurs du couple (''i,j'') : 
il suffit pour cela de choisir ''λ'' dans ''S'' en dehors de l'ensemble fini des éléments de la forme 
{{nobr|(''α{{exp|(i')}} - α{{exp|(i)}}'') / (β{{exp|(j)}} - ''β{{exp|(j')}}'')}}, avec ''i'' et ''i' ''entre 1 et ''s'', ''j'' et 
''j' ''entre ''1'' et ''t'', et ''j ≠ j'.'' 
Supposons donc ''λ'' choisi de cette façon. En particulier, la première partie de la démonstration implique que {{nobr|''θ {{=}} α + λ β''}} est un élément primitif de ''L/K''. 

Avec les notations précédentes, on a {{nobr|''P''(''θ - λβ'')}} = 0, donc ''θ'' est racine du polynôme {{nobr|''P''(''X - λβ'')}} de degré ''s''. 
Formons le polynôme ''R''(''X'') = {{nobr|''Π{{ind|j}} P''(''X - λβ{{exp|(j)}}'')}}, ''j'' variant entre 1 et ''t''. C'est un polynôme symétrique en les conjugués de ''β'', et le [[théorème fondamental des polynômes symétriques]], implique que les coefficients de ''R'' sont dans ''K''. 
Clairement, ''θ'' est racine de ''R'', donc le polynôme minimal de ''θ'' sur ''K'' divise ''R''. Pour montrer que ''θ'' est séparable sur ''K'', il suffit donc de montrer que ''R'' l'est. Mais les racines de ''R'' sont les racines des polynômes {{nobr|''P''(''X - λβ{{exp|(j)}}'')}}, et si ''x'' est une telle racine, alors ''x - λβ{{exp|(j)}} = α{{exp|(i)}}'' pour un certain ''i'' entre 1 et ''s''.
En d'autre termes, ''x'' est de la forme α{{exp|(i)}} + λβ{{exp|(j)}}, et comme les ''st'' éléments de cette forme sont distincts deux à deux (à cause du choix de ''λ''), les st racines de ''R'' le sont aussi, ce qu'il fallait démontrer. 
{{démonstration/fin}}

Notons que puisque le groupe multiplicatif d'un corps fini est engendré par un seul élément, toute extension finie
d'un corps fini est simple, et admet donc un élément primitif. 
Ainsi, le procédé de construction de van der Waerden implique le théorème de l'élément primitif.

==== Remarque ====
La deuxième partie du théorème est évidemment une conséquence du fait qu'un système de générateurs séparables engendre une extension séparable, un théorème de base de la théorie des corps. Mais justement, l'intérêt de cette deuxième assertion réside dans le fait qu'elle fournit une démonstration simple dudit théorème, alors que celle-ci prend facilement des allures laborieuses dans de nombreuses expositions (détails dans la boîte déroulante ci-après).

{{boîte déroulante/début|titre=Détails supplémentaires|thinning=yes|couleurFondT=#FFFFFF}}
Soit ''L/K'' une extension engendrée par un système d'éléments séparables sur ''K'', et dont on veut démontrer qu'elle est séparable. 
On voit facilement qu'on ne perd rien à supposer ''L/K'' normale et finie, en adjoignant éventuellement les conjugués sur ''K'' du système de générateurs à ''L''. Le cas où ''K'' est fini ne pose pas de problème, car toutes les extensions algébriques d'un corps fini sont séparables. On peut donc supposer ''K'' infini, et en vertu de la construction de van der Waerden, il existe un élément primitif séparable ''θ'' de ''L/K'', donc deg(''θ'', ''K'') = [''L : K''] = n. Comme tout automorphisme de ''L/K'' envoie ''θ'' sur un de ces conjugués sur ''K'', il existe au plus ''n'' automorphismes de ''L/K'', et il en existe au moins ''n'', en vertu du fait que les extensions ''K''(''θ{{exp|(i)}}'')/''K'' sont toutes isomorphes à ''K''(''X'')/(''P''), où les ''θ{{exp|(i)}}'' sont les conjugués de ''θ'', de polynômes minimaux communs et égaux à ''P''. Ainsi il y a exactement ''n'' ''K''-automorphismes, qui forment d'ailleurs trivialement un groupe ''G{{ind|1}}''. 
Si ''x'' est un élément de ''L'', alors ''θ'' est évidemment un élément primitif de ''L/K''(''x''), donc le même argument implique que le groupe ''G{{ind|2}}'' des automorphismes de ''L/K''(''x'') compte [''L : K''(''x'')] automorphismes. 
Mais si ''σ{{ind|1}}'' et ''σ{{ind|2}}'' sont deux éléments de ''G{{ind|1}}'', ''σ{{ind|1}}''(''x'') = ''σ{{ind|2}}''(''x'') si et seulement
si ''σ{{ind|1}}σ{{ind|2}}{{exp|-1}}'' (''x'') = ''x'', autrement dit si et seulement si ''σ{{ind|1}}σ{{ind|2}}{{exp|-1}}'' est un automorphisme de ''L/K''(''x''). 
Ainsi, l'orbite de ''x'' sous l'action du groupe ''G{{ind|1}}'', sous-ensemble de l'ensemble de ses conjugués, est de cardinal ''c'' égal à 
celui de {{nobr|''G{{ind|1}} / G{{ind|2}}''}}, ou bien 
<center>''c'' = Card(''G{{ind|1}} / G{{ind|2}}'') = Card(''G{{ind|1}}'') / card(''G{{ind|2}}'') = [''L : K''] / [''L : K''(''x'')] = [''K''(''x'') : ''K''] = deg(''x'', ''K'').</center>
Le nombre total des conjugués distincts de ''x'' est donc supérieur ou égal, et donc égal, au degré de ''x'' sur ''K'', ce qui implique que ''x'' est séparable.
{{démonstration/fin}}

=== Théorème de la base normale ===
Le [[théorème de la base normale]] garantit que si ''L/K'' est une [[extension finie]] [[Extension de Galois|galoisienne]] de [[corps commutatif]]s, de [[groupe de Galois]] ''G'', alors il existe un élément ''α'' de ''L'' dont l'[[Action de groupe (mathématiques)|orbite]] ''Gα'' est une [[Base (algèbre linéaire)|base]] du ''K''-[[espace vectoriel]] ''L''. En particulier, puisque les conjugués de ''α'' sont racines de son polynôme minimal, {{nobr|deg(''α, K'')}} = {{nobr|[''L'' : ''K'']}}, donc ''α'' est un élément primitif de ''L/K''.
Mais c'est un élément primitif qui jouit d'une propriété supplémentaire particulièrement utile.

On doit cependant noter que le théorème de la base normale exige que ''L/K'' soit normale (en plus d'être séparable). Le théorème de l'élément primitif, lui, n'est pas assujetti à cette contrainte supplémentaire.

===Homologue du théorème de l'élément primitif dans les anneaux intègres===
Considérons un anneau intègre ''A'' de corps de fractions ''K'', et ''L'' une extension galoisienne finie de ''K''. 
Supposons que ''B'' soit un sous-anneau de ''L'' contenant ''A'', dont le corps des fractions est ''L''.
Si ''A'' est infini et ''B'' est de type fini sur ''A'', on peut, grâce à la construction de van der Waerden, construire un élément primitif ''θ'' pour ''L''/''K''
appartenant à ''B''. Néanmoins, il n'est pas vrai en général que ''B'' = {{nobr|''A''[''θ'']}}, même si ''B'' est un corps de nombres (de type fini sur ''A''),
comme exposée dans la section ''corps monogènes'' ci-après.
Lorsqu'une telle propriété a lieu, et que ''A'' et ''B'' sont intégralement clos, on dit que ''B''/''A'' est une '''couverture d'anneaux'''<ref name="CebJar">{{harvsp|Fried|Jarden|2008|loc=chap. 5, ''The Cebotarev Density Theorem''}}.</ref>, et que ''θ'' est un '''élément primitif pour cette couverture'''. Si de plus ''L''/''K'' est galoisienne, alors on parle de couverture galoisienne d'anneaux<ref name="CebJar"/>.  

Une condition suffisante pour assurer l'existence d'un tel élément primitif est la suivante<ref>{{harvsp|Fried|Jarden|2008|loc=chap. 5, ''The Cebotarev Density Theorem''}} (lemme 5.3).</ref> :
{{énoncé|Soit ''A'' un anneau intégralement clos, de corps de fraction ''K'', et ''B'' sa fermeture intégrale dans une extension séparable finie ''L'' de ''K''. 
Supposons que ''θ'' soit un élément primitif de l'extension ''L''/''K'', avec ''θ'' entier sur ''A'', de polynôme minimal ''P'' sur ''K'' (donc les coefficients de ''P'' sont dans ''A''). Si {{nobr|N{{ind|''L''/''K''}}(P'(''θ''))}} est une unité de ''A'', alors ''B'' {{=}} {{nobr|''A''[''θ'']}}.}}

Il y a un cas notoire d'extension d'anneaux ''B''/''A'', où ''B'' est engendré par un unique élément entier sur ''A''<ref>{{Neukirch1}}, 1999, {{p.|178}} (lemme 10.4).</ref> : 
{{énoncé|''Théorème'' : Supposons que ''A'' soit un anneau de valuation discrète, de corps de fractions ''K'' et de valuation associée ''v'', et que ''B'' soit un anneau de valuation contenant ''A'', de valuation associée ''w'' étendant ''v'' au corps des fractions ''L'' de ''B''. On suppose que ''L''/''K'' est une extension finie. Si ''L'' est complet pour la valuation ''w'' (ou, ce qui est équivalent, ''K'' est complet pour ''v''), et si l'extension de corps résiduels correspondant à ''w'' et ''v'' est séparable, alors ''B'' {{=}} {{nobr|''A''[''θ'']}} pour un certain élément ''θ'' entier sur ''A''.}}
C'est une application du lemme d'Hensel, mais on peut aussi en donner une démonstration utilisant des principes de bases<ref>{{ouvrage|nom=Artin|prénom=Emil|année=1967|language=En|titre=Algebraic Numbers and Algebraic Functions|lieu=New York, London, Paris|éditeurs=Gordon and Breach|page=83 (th. 11)}}.</ref>. 

Avec les hypothèses du théorème précédent, l'extension ''B''/''A'' est une couverture d'anneaux car tout anneau de valuation est intégralement clos. 

Toujours dans le cadre des anneaux de valuations discrètes, on a encore les conditions très utiles suivantes qui suffisent à assurer la couverture d'anneaux<ref>{{Serre3}}, Chap I § 6({{p.|28-31}}), Prop. 15 et 17.</ref>.
{{énoncé|Supposons que ''A'' soit un anneau de valuation discrète, de corps de fractions ''K'' et de valuation associée ''v'', et que ''L'' soit une extension de ''K'' obtenue en adjoignant la racine ''θ'' d'un polynôme irréductible unitaire ''P'' à coefficients dans ''A''. Dans Chacun des cas suivants, ''A''[''θ''] est un anneau de valuation discrète, de valuation associée étendant ''v'' :
*l'image de ''P'' dans le corps résiduel de ''v'' est irréductible (c'est le corps quotient de A par l'unique idéal maximal de ''A'') ;
*''P'' est un polynome d'Eisenstein : tous les coefficients de ''P'' (sauf évidemment celui du monôme de plus haut degré) sont de valuation > 0, la valuation du coefficient libre ''P''(0) de ''P'' étant de plus astreinte a être de valuation ≤ 1. 
}}
  
====Corps monogènes====
La discussion précédente se spécialise au cas des [[corps de nombres]]<ref>Des références sur ce sujet sont par exemple {{ouvrage|nom = Narkiewicz | prénom = Władysław | titre = Elementary and Analytic Theory of Algebraic Numbers | éditeur = Springer-Verlag | date = 2004 |page = 64 |numéro d'édition=3}}, ou  {{ouvrage|nom = Gaál | prénom = István |titre = Diophantine Equations and Power Integral Bases | éditeur = Birkhäuser Verlag | date = 2002 | lieu = Boston, MA}}. Des articles en lignes traitant de cette question sont par exemple [http://wstein.org/wiki/attachments/ant07(2f)projects/decker.pdf Michael Decker, ''Monogenic field and power bases''] ou  [http://wstein.org/129-05/final_papers/Yan_Zhang.pdf Yan Zhang, ''On Power Bases in Number Fields''].</ref>.

Un corps de nombres algébrique est '''monogène''' si son anneau d'entiers est monogène, c'est-à-dire engendré par un unique élément entier 
(un ''élément primitif'' de la couverture d'anneau dans la terminologie précédente). 
Autrement dit, si ''L'' est une extension algébrique finie de ℚ et si ''B'' désigne l'anneau des entiers de ''L'' sur ℚ, ''L'' est monogène si 
''B'' = {{nobr|ℤ[''θ'']}}.

Par exemple, les corps de nombres quadratiques, ainsi que les corps de nombres cyclotomiques, sont monogènes.

On sait depuis Dedekind qu'il existe des corps de nombres non monogènes, et c'est d'ailleurs le cas en général. Le premier exemple 
fut donné par Dedekind : il s'agit du corps engendré sur ℚ par une racine du polynôme {{nobr|''X{{exp|3}} + X{{exp|2}} - 2X + 8''}}.
On peut aussi montrer que le corps de nombre {{nobr|ℚ({{racine|175|n=3}})}} n'est pas monogène<ref>Voir [http://mathoverflow.net/questions/21267/which-number-fields-are-monogenic-and-related-questions Le commentaire de KConrad] sur [[MathOverflow]].</ref>.

Une condition nécessaire pour qu'un corps de nombres soit monogène, d'élément primitif associé ''θ'', est que le [[Forme trace#Discriminant d'un anneau|discriminant du corps]] ''L'' soit
égal au [[Discriminant|discriminant du polynôme]] minimal de ''θ'' sur ℚ.

== La démonstration originale de Galois ==
Le but de cette section n'est pas de retranscrire exactement la démonstration de Galois<ref name=Galois/> dans les termes et notations où elle fut énoncée, mais plutôt de traduire cette démonstration en termes modernes, tout en en suivant pas à pas les étapes. 

Cette démonstration prend place dans un cadre où ''K'' est un corps infini (un corps intermédiaire entre les rationnels et les nombres complexes originellement), et ''L'' est le corps de décomposition d'un polynôme ''P'' à coefficients dans ''K'', sans racines multiples. 
Bien entendu, la notion de corps n'existait pas du temps de Galois, mais c'est ainsi qu'on traduit en langage moderne ce qu'il entend par des expressions telles que « adjoindre les racines d'une équation  aux rationnels, » ou bien « être rationnellement connu. » 

D'autre part, sa supposition que L est un corps de décomposition n'est pas aussi restrictive qu'on pourrait le penser : d'abord, toute extension finie, normale et séparable, est le corps de décomposition d'un polynôme sans racines multiples, comme on le voit en multipliant successivement les polynômes minimaux sur ''K'' d'un système minimal de générateurs de l'extension ''L/K''. Enfin, en supposant démontré le théorème de l'élément primitif dans le cas où ''L/K'' est séparable et normale, il suffirait, pour se débarrasser de l'hypothèse de normalité, de considérer le clos normal de ''L'' et d'utiliser ce petit théorème de la théorie des corps qui assure que toute sous-extension d'une extension algébrique simple est simple.

Dans son mémoire, Galois utilise implicitement quelques lemmes de base de la théorie des équations (aujourd'hui intégrée dans la théorie des corps), d'ailleurs bien connus de son temps, à l'exception d'un seul discuté ci-dessous. Trois d'entre eux sont explicités :

=== Lemme 1 ===
Si <math>P(X_1,X_2,...,X_n)</math> est un polynôme de ''n'' variables, non identiquement nul, et si ''K'' est infini, alors il existe <math>a_1,a_2,\ldots,a_n\in K</math> tels que <math>P(a_1,a_2,\ldots,a_n)\ne 0</math>. 

En effet, on peut considérer ''P'' comme un polynôme de la variable <math>X_1</math> sur le corps <math>K(X_2,\ldots,X_n)</math>. Comme ce polynôme n'a qu'un nombre fini de racines, tandis que ''K'' est infini, il existe <math>a_1</math> tel que <math>P(a_1,X_2,\ldots,X_n)</math> ne soit pas identiquement nul. En considérant de même <math>P(a_1,X_2, \ldots, X_n) </math> comme un polynôme de la variable <math>X_2</math> sur le corps <math>K(a_1,X_3,\ldots,X_n)</math>, et en faisant de même pour les autres variables, on démontre de proche en proche l'assertion proposée.

=== Lemme 2 ===
Si <math>\zeta_1, \zeta_2,\ldots, \zeta_n</math> sont les ''n'' racines d'un polynôme ''P'' irréductible sur ''K'', et si <math>f(\zeta_1,\ldots,\zeta_n)</math> est une expression polynomiale symétriques en les <math>\zeta_2,\ldots,\zeta_n</math>, alors <math>f=F(\zeta_1)</math>, pour un certain polynôme ''F'' à coefficient dans ''K''. 

La preuve dépend du [[théorème fondamental des polynômes symétriques]], qui implique que ''f'' est fonction de <math>\zeta_1</math> et des fonctions symétriques des <math>\zeta_2,\ldots,\zeta_n</math>. Ces fonctions symétriques sont, au signe près, égales aux coefficients du polynôme <math>(X-\zeta_2)(X-\zeta_3)\cdots(X-\zeta_n)</math>. Or ce polynôme est égal à <math>P/(X-\zeta_1)</math>, donc ses coefficients appartiennent à <math>K(\zeta_1)</math> en vertu de la division euclidienne.

=== Lemme 3 ===
Ce lemme (ou une méthode équivalente) est nécessaire pour expliciter un point délicat de la démonstration de Galois, dont la preuve a été omise par ce dernier.
Cette partie de la restitution de la démonstration est donc essentiellement conjecturale.
Il stipule que si <math>\zeta_1,\ldots,\zeta_n</math> sont les ''n'' racines d'un polynôme irreductible ''P'' sur ''K'', alors il existe, pour tout ''i,j'', un ''K''-automorphisme <math>\varphi</math> de ''L/K'' qui échange <math>\zeta_i</math> et <math>\zeta_j</math>. De nos jours, on peut démontrer cette assertion en utilisant d'abord le fait que <math>K(\zeta_i)</math> et <math>K(\zeta_j)</math> sont isomorphes à <math>K(X)/(P)</math>, ce qui permet d'étendre l'automorphisme identité en un monomorphisme de corps qui échange <math>\zeta_i</math> avec <math>\zeta_j</math>, puis en étendant de proche en proche (de façon quelconque) ce monomorphisme par le même moyen, jusqu'à obtenir l'automorphisme désiré. 
Pour Galois, qui ne pouvait définir la notion ''d'automorphisme'' (le concept de correspondance n'était pas même formulé de son temps), il s'agissait de ''permutations'' des racines dans une expression algébrique. Il se peut qu'il entrevoyait clairement que ces ''permutations'' se répercutaient tout au long des calculs, pour donner des opérations homomorphiques.
Il se peut aussi (et c'est même plus probable) qu'il avait raisonné dans une extension finie du type <math>K(X_1,\ldots,X_n)/K(\sigma_1,\ldots,\sigma_n)</math>, où les <math>\sigma_i</math> sont les fonctions symétriques des <math>X_i</math>. Par un jeu assez subtil (mais tout à fait à la portée de Galois) entre permutations des variables et substitution des ''n'' racines <math>\zeta_i</math> d'un polynôme irréductible à la place de ces variables, il pourrait avoir justifié le point délicat de la démonstration sans avoir recours à une quelconque intuition du théorème d'extension des automorphismes. 
Quoi qu'il en soit, par souci de commodité, c'est ce théorème d'extension qui sera utilisé dans l'exposition de sa preuve.

=== Démonstration ===
Ceci étant posé, soient <math>\zeta_1,\zeta_2,\ldots,\zeta_n</math> les ''n'' racines du polynôme ''P'' dont ''L'' est le corps de décomposition. 
D'abord, on choisit un polynôme <math>R(X_1,X_2,\ldots,X_n)</math> sur <math>K</math> qui prenne des valeurs différentes pour chaque substitution d'une permutation des <math>\zeta_1,\ldots,\zeta_n ;</math> par exemple (se contente de dire Galois), on peut choisir <math>R= a_1X_1+a_2X_2+\cdots a_nX_n,</math> où les <math>a_i</math> sont convenablement choisis. Pour justifier cette assertion, on utilise le lemme 1: en définissant le polynôme <math>R'(A_1,\ldots,A_n)</math> par <math>R'=A_1\zeta_1+\ldots A_n\zeta_n,</math> il suffit de considérer le polynôme produit des polynômes <math>{R'}^{\sigma_i}-{R'}^{\sigma_j}\ (i\ne j),</math> où <math>\{\sigma_i\}</math> désigne l'ensemble des permutations de <math>1,2,\ldots n,</math> et <math>{R'}^{\sigma_k}</math> le polynôme obtenu en appliquant la permutation <math>\sigma</math> aux index des variables <math>\zeta_i</math> dans <math>R'.</math>

Il s'agit maintenant de démontrer que l'élément <math>\theta=R(\zeta_1,\ldots,\zeta_n)</math> est l'élément primitif souhaité.
Une quantité littérale <math>V</math> étant donnée, on construit l'expression algébrique <math>E=\Pi_{\sigma\in G} (V-R(\zeta_{\sigma(1)},\ldots,\zeta_{\sigma(n)}),</math> où <math>G</math> est l'ensemble des permutations de <math>1,2,\ldots,n</math> qui laissent fixe <math>1</math>. Autrement dit, <math>E</math> est le produit des termes <math>V-R</math> où l'on permute les <math>\zeta_i</math> dans <math>R</math> de toutes les façons possibles, en laissant toutefois fixe <math>\zeta_1</math>. 
Compte tenu du lemme 2, <math>E=F(V,\zeta_1)</math> pour un certain polynôme <math>F(V,X)</math> sur <math>K.</math> 

Maintenant, il est clair que <math>F(\theta,\zeta_1)=0</math> puisque <math>G</math> contient évidemment la permutation identité. Galois affirme alors qu'il est impossible que <math>F(\theta, \zeta_i)=0</math> pour <math>i\ne 1,</math> sans quoi (dit-il), <math>R</math> prendrait deux valeurs identiques pour deux permutations différentes, ce qui est contre l'hypothèse. Ici, c'est le lemme 3 qui est utilisé par Galois : on se donne un automorphisme <math>\varphi</math> qui échange <math>\zeta_1</math> et <math>\zeta_i,</math> et on l'applique aux deux membres de l'équation <math>F(V,\zeta_1)=\Pi_{\sigma\in G} (V-R(\zeta_{\sigma(1)},\ldots,\zeta_{\sigma(n)}).</math> En notant abusivement par la même lettre <math>\varphi</math> la permutation de <math>1,\ldots n</math> qui représente <math>\varphi</math> en termes de permutations des <math>\zeta_i,</math> on obtient <math>F(V,\zeta_i)= \Pi_{\sigma\in G} (V-R(\zeta_{\varphi\sigma(1)},\ldots,\zeta_{\varphi\sigma(n)}).</math> Comme <math>\varphi\sigma(1)=i\ne 1,</math> il est impossible (en vertu du choix de <math>R</math>) qu'un des termes <math>R(\zeta_1,\ldots)-R(\zeta_{\varphi\sigma(1)},\ldots)</math> soit égal à <math>0,</math> et donc que <math>F(\theta,\zeta_i)=0,</math> ce qui explique l'assertion de Galois.

Finalement, vu que <math>F(\theta,\zeta_1)=0,</math> le polynôme <math>F(\theta,X)</math> d'une variable <math>X</math> a un facteur commun avec <math>P</math>. Ce facteur ne peut être que <math>X-\zeta_1,</math> puisque <math>F(\theta,\zeta_i)\ne 0</math> pour tout <math>i\ne 1</math>. Ainsi, <math>X-\zeta_1</math> s'obtient par simple extraction de P.G.C.D entre le polynôme <math>P</math> et <math>F(\theta, X),</math> et <math>\zeta_1</math> est donc une fraction rationnelle de <math>\theta</math> sur <math>K.</math> 

On démontrerait de la même manière que <math>\zeta_i</math> s'exprime rationnellement en fonction de <math>\theta,</math> pour tout autre <math>i>1,</math> donc <math>K(\zeta_1,\ldots,\zeta_n)=K(\theta).</math>

=== Remarque ===
Sans même supposer la normalité de <math>L/K</math>, la démonstration de Galois peut être largement améliorée et simplifiée, en se basant uniquement sur le théorème des fonctions symétriques : Par induction, il suffit de démontrer que toute extension de la forme <math>L=K(\alpha,\beta)</math> est simple.
Soient <math>\alpha_1,\ldots,\alpha_m</math> les conjugués de <math>\alpha</math> sur <math>K</math>, 
avec <math>\alpha_1=\alpha</math>, et <math>\beta_1,\ldots,\beta_n</math> les conjugués de <math>\beta</math> sur <math>K</math>, avec <math>\beta_1=\beta</math>. Puisque <math>L/K</math> est séparable, <math>\alpha_i\ne \alpha_j</math> et <math>\beta_i\ne \beta_j</math> pour tout <math>i\ne j</math>.
Le polynôme <math>R(X)=\Pi_{(i,j)\ne (i',j')} \big(\alpha_i - \beta_jX - (\alpha_{i'}-\beta_{j'}X)\big)</math> n'est pas 
identiquement nul, donc, puisque <math>K</math> est infini, il existe <math>\lambda\in K</math> tel que les
<math>\alpha_i+\lambda\beta_j</math> soient tous distincts les uns des autres.
Posons <math>\theta = \alpha+\lambda \beta</math>. On forme l'expression <math>E=\Pi_j (V-\alpha-\lambda \beta_j)</math>, qui, étant symétrique en les <math>\beta_j</math>, est égale à <math>P(V,\alpha)</math> pour un certain polynôme <math>P(V,X)</math> sur <math>K</math> (théorème des fonctions symétriques). On a évidemment <math>P(\theta, \alpha)=0</math>, et en vertu du choix de <math>\lambda</math>, il est clair que <math>P(\theta,\alpha_i)\ne 0</math> pour tout <math>i > 1</math>; donc <math>X-\alpha</math> peut être obtenu par simple extraction de P.G.C.D. entre <math>P(\theta,X)</math> et le polynôme minimal de <math>\alpha</math> sur <math>K</math>. Ainsi, <math>\alpha</math>, et par suite <math>\beta = (\theta-\alpha)/\lambda</math> est une fonction rationnelle de <math>\theta</math> : <math>K(\alpha,\beta)=K(\theta)</math>. 

Ici, le point délicat de la démonstration de Galois a été « court-circuité, » parce qu'on a supposé que les <math>\beta_i</math> étaient les conjugués de <math>\beta</math> sur <math>K</math> et non pas sur <math>K(\alpha)</math>.

== Notes et références ==
=== Notes ===
{{Références}}

=== Références ===
* {{Douady1}}
* {{Lang1}}
* {{ouvrage|lang=en|prénom=Michael D.|nom=Fried|auteur2=Moshe Jarden|titre=Field Arithmetic|éditeur=Springer|numéro d'édition=3|année=2008|url=https://books.google.fr/books?id=FNkMaZrvpvsC}}
* {{Samuel1}}
* {{ouvrage|lien auteur=Bartel Leendert van der Waerden|nom=van der Waerden|prénom=B. L.|titre=Modern Algebra|année=1949|lang=en|volume=1|lieu=New York|éditeur=Frederick Ungar}}

{{Palette|Théorie de Galois}}

{{Portail|mathématiques}}

{{DEFAULTSORT:Element primitif}}
[[Catégorie:Théorie de Galois]]
[[Catégorie:Théorème d'algèbre]]