- Clôture 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 algébriquement close, c'est-à-dire telle que tout polynôme de degré supérieur ou égal à un, à coefficients dans L, admet au moins une racine dans L.
Théorème de 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 invariant K.
La preuve peut se faire en utilisant le lemme de Zorn.
En dehors du cas où K est séparablement clos (donc algébriquement clos en 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 catégorie des corps dans elle-même qui envoie tout corps K sur une clôture algébrique de K).
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 la 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 les éléments de M, 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 dénombrable si K est fini.
Exemples
- D'après le théorème fondamental de l'algèbre, une clôture algébrique du corps des nombres réels est le corps des nombres complexes.
- Une clôture algébrique du corps des nombres rationnels est le corps des nombres algébriques.
- Une clôture algébrique d'un corps fini d'ordre premier p est un corps dénombrable. Pour tout entier naturel n non nul, il contient un et un seul sous-corps
d'ordre pn, et il est égal à la réunion de tous ces sous-corps (ou plus savamment : leur limite inductive, avec 
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 par exemple la clôture algébrique de Q(π).
Wikimedia Foundation. 2010.
