Voir la source de Clôture algébrique

{{Voir homonymes|Algébrique}}
{{Confusion|Fermeture algébrique}}

En [[mathématiques]], une '''clôture algébrique''' d'un [[corps commutatif]] ''K'' est une [[extension algébrique]] ''L'' de ''K'' qui est [[corps algébriquement clos|algébriquement close]], c'est-à-dire telle que tout [[polynôme formel|polynôme]] de degré supérieur ou égal à un, à coefficients dans ''L'', admet au moins une racine dans ''L''. 

Une clôture algébrique d'un corps ''K'' peut être vue comme une extension algébrique maximale de ''K''. En effet, il suffit de remarquer que si ''L'' est une extension algébrique de ''K'', alors une clôture algébrique de ''L'' est également une clôture algébrique de ''K'', donc ''L'' est contenu dans une clôture algébrique de ''K''.

Une clôture algébrique de ''K'' est également un corps algébriquement clos minimal (pour l’inclusion) contenant ''K'', puisque si ''M'' est un corps algébriquement clos contenant ''K'' alors, parmi les éléments de ''M'', ceux qui sont algébriques sur ''K'' forment une clôture algébrique de ''K''.

Une clôture algébrique d'un corps ''K'' a le même cardinal que ''K'' si ''K'' est infini ; elle est [[Ensemble dénombrable|dénombrable]] si ''K'' est fini.

En dehors du cas où ''K'' est [[Clôture séparable|séparablement clos]] (donc algébriquement clos en [[Caractéristique d'un corps|caractéristique nulle]]), entre deux clôtures algébriques de ''K'' il n'y a pas unicité d'isomorphismes. Il vaut donc mieux éviter l’expression « la clôture algébrique » et privilégier l’article indéfini « une » (une autre façon de le voir est qu’il n’existe pas de [[foncteur]] de la [[Théorie des catégories|catégorie]] des corps dans elle-même qui envoie tout corps ''K'' sur une clôture algébrique de ''K'').

L'existence d'une clôture algébrique pour tout corps nécessite l'[[axiome du choix]].

== Exemples ==

* D'après le [[théorème fondamental de l'algèbre]],  le corps des [[nombre complexe|nombres complexes]] est une clôture algébrique du corps des [[nombre réel|nombres réels]].
* Le  corps des [[nombre algébrique|nombres algébriques]] est une clôture algébrique du corps des [[nombre rationnel|nombres rationnels]].
* Une clôture algébrique d'un [[corps fini]] d'ordre [[nombre premier|premier]] ''p'' est un corps dénombrable. Pour tout [[entier naturel]] ''n'' non nul, il contient un et un seul sous-corps '''F'''''{{ind|p{{exp|n}}}} ''d'ordre ''p{{exp|n}}'', et il est égal à la réunion de tous ces sous-corps (ou plus savamment : leur [[limite inductive]], avec '''F'''''{{ind|p{{exp|d}}}} ''⊂ '''F'''''{{ind|p{{exp|n}}}} ''si ''d ''est un [[diviseur]] de ''n'').
* Il existe des corps algébriquement clos dénombrables inclus dans le corps des nombres complexes, qui contiennent (strictement) le corps des nombres algébriques ; ce sont les clôtures algébriques des extensions transcendantes du corps des rationnels, comme celle de l'extension ℚ(π).

== Théorème de [[Ernst Steinitz|Steinitz]]  == 

# Tout corps ''K'' possède une clôture algébrique. 
# Deux clôtures algébriques de ''K'' sont toujours reliées par un isomorphisme de corps laissant invariants les éléments de ''K''. 

La démonstration peut se faire en utilisant le [[lemme de Zorn]].
{{Démonstration/début}}
'''Existence''' 
Soit ''K'' un corps. On choisit un ensemble Ω qui est infini non-dénombrable si ''K'' est fini, et qui est de cardinal strictement supérieur à celui de ''K'' si ce dernier est infini. On considère l'ensemble des triplets (''L'', +, x)  avec ''L'' un sous-ensemble de Ω contenant ''K'', et +, x font de ''L'' une extension algébrique de ''K''. 

On définit une relation d'ordre (''L'', + , x) <math>\le </math> (''F'', +, x) si ''L'' est contenu dans ''F'' et si la structure de corps sur ''L'' est induite par celle de ''F''.  
Cela fait clairement de l'ensemble des triplets ci-dessus un ensemble ordonné inductif. Il suit du lemme de Zorn qu'il admet un élément maximal ''F''. Il reste à montrer que ''F'' est une clôture algébrique de ''K''. 

Soit ''E'' une extension algébrique de ''F''. On note d'abord que comme ''F'' est algébrique sur ''K'', il est de même cardinal que ''K'' ou (lorsque ''K'' est fini) est au plus dénombrable. Il en est de même pour ''E''. Donc le complémentaire de ''F'' dans ''E'' est de cardinal inférieur à celui de Ω\''F ''(qui a le même cardinal que Ω). Il existe donc une application injective de ''E'' dans Ω qui soit l'identité sur ''F''. On munit son image de la structure de corps induite par celle ''E'', et on obtient alors une extension algébrique de ''F''. Par maximalité de ''F'', cette image est égale à ''F''. Donc ''E'' est égal à ''F'' et ce dernier est algébriquement clos. 

'''Unicité''' à isomorphisme près: Soient <math>F_1, F_2</math> deux clôtures algébriques de ''K''. On considère les couples <math>(L, \rho)</math> où ''L'' est une sous-''K''-extension de <math>F_1</math> et où <math>\rho : L \to F_2</math> est un ''K''-homomorphisme de corps. L'ensemble de ces couples est non vide et est ordonné (de façon naturelle) inductif. Soit <math>(L, \rho)</math> un élément maximal. Si ''a'' est un élément de <math>F_1</math>, on considère son polynôme minimal <math>P(x)\in L[x]</math> sur ''L''. Alors le polynôme <math>\rho(P(x))\in \rho(L)[x]</math> admet une racine ''b'' dans <math>F_2</math>. Il existe un ''K''-homorphisme <math>L[a]\to F_2</math> qui vaut <math>\rho</math> sur ''L'' et qui envoie ''a'' sur ''b''. Par maximalité de <math>(L, \rho)</math>, on a <math>L[a]=L</math>, donc <math>L=F_1</math>. Comme <math>\rho(F_1)\subseteq F_2</math> est algébriquement clos, on a <math>\rho(F_1)=F_2</math>. Donc <math>\rho</math> est un ''K''-isomorphisme de <math>F_1</math> sur <math>F_2</math>.
{{Démonstration/fin}} 
On peut aussi utiliser la méthode d'Artin basée sur le théorème d'existence d'idéaux maximaux de Krull, ou bien en donner une démonstration constructive par [[récurrence transfinie]], en munissant l'ensemble des polynômes à coefficients dans ''K'' d'un bon ordre, et en utilisant le fait que pour tout polynôme irréductible ''P'' à coefficients dans un corps ''M'', ''M(X)/(P)'' est un corps de rupture de ''P''.

==[[Théorème d'Artin-Schreier]]== 

La clôture algébrique de ℝ est une extension finie de ℝ. On peut se demander plus généralement quels sont les corps possédant cette propriété. 

'''Théorème''' ([[Emil Artin|Artin]]-[[Otto Schreier|Schreier]])<ref>{{en}} [[Serge Lang]], ''Algebra'', 2002 {{Détail des éditions |Référence:Algèbre (Lang)}}, chap. VI, cor. 9.3</ref> — Si ''K'' est un corps d'indice fini strictement plus grand que 1 dans sa clôture algébrique, alors ''K'' est un [[corps réel clos]]. En particulier, ''K''[{{sqrt|–1}}] est algébriquement clos. 

==Notes et références == 
{{Traduction/Référence|en|Algebraic closure|13004250|type=note}}
{{références}}

{{Portail|algèbre}}
{{DEFAULTSORT:Cloture Algebrique}}
[[Catégorie:Théorie de Galois]]