Extension algébrique

En mathématiques et plus particulièrement en algèbre, une extension algébrique L sur un corps K est une extension de corps dans laquelle tous les éléments sont algébriques sur K c’est-à-dire sont racines d'un polynôme non nul à coefficients dans K. Dans le cas contraire, l'extension est dite transcendante.

Cette approche permet dans un premier temps de pallier les insuffisances de certains corps, par exemple celui des nombres réels quant aux solutions des équations polynomiales. Elle offre enfin une structure adaptée pour mieux comprendre la structure d'un corps. Les extensions algébriques sont le support des analyses qui permettent par exemple de résoudre les problèmes de l'Antiquité comme la duplication du cube, ou la résolution d'équations polynomiales par radicaux décrite dans le théorème d'Abel-Ruffini.

Introduction

Ernst Kummer

La première formalisation de la notion d'extension algébrique provient d'une tentative par Ernst Kummer de démonstration du dernier théorème de Fermat. Un article de 1846 définit la notion de nombre idéal qui aboutira à la définition de Richard Dedekind du concept d'idéal en 1871. Kummer analyse les propriétés d'une extension algébrique engendrée par une racine de l'unité, ce qu'on appelle aujourd'hui « extension de Kummer ». La formalisation définitive est publiée en 1856[1]. Cet outil permet par exemple de prouver le théorème de Fermat pour une certaine classe de nombres premiers, les nombres premiers réguliers, qui comprend tous les premiers impairs plus petits que 100, à l'exception de 37, 59 et 67.

Cette démarche consiste à définir des structures algébriques abstraites comme les groupes, les anneaux les corps commutatifs ou les espaces vectoriels. Elle s'inscrit dans un mouvement qui démarre avec les travaux d'Évariste Galois où est définie la première structure abstraite : celle des groupes[2]. Ces travaux sont à l'origine de l'algèbre moderne. Les travaux de Kummer prennent tout leur sens comme complément de ceux de Galois, et une extension algébrique particulièrement importante est l'extension de Galois. Les propriétés générales de ces structures permettent de résoudre des problèmes de géométrie, d'arithmétique ou d'algèbre ouverts depuis longtemps.

En géométrie, trois des quatre grands problèmes de l'Antiquité sont résolus à l'aide de cette approche. Ils proviennent tous de constructions à l'aide de la règle et du compas. On y trouve la trisection de l'angle, la duplication du cube et la constructibilité des polygones réguliers. Toute démonstration moderne de ces trois propriétés utilise l'algèbre abstraite et la notion d'extension algébrique. À la fin du XIX^e siècle, l'intégralité de la géométrie est fondée sur des structures algébriques abstraites.

En arithmétique, les tentatives de démonstration du dernier théorème de Fermat sont à l'origine des plus nombreuses avancées. La formalisation de la notion d'extension algébrique devient indispensable pour de nombreuses valeurs de n (le paramètre de l'équation de Fermat). Cette structure permet de marier les différentes structures abstraites pour établir les théorèmes. Une extension algébrique est un espace vectoriel, c'est aussi un corps, il est défini grâce à une structure d'anneau euclidien et un groupe opère naturellement sur ce corps. L'extension algébrique devient alors la structure de base de la théorie algébrique des nombres.

En algèbre, l'extension algébrique est la structure de base de la résolution d'un vieux problème, celui de la résolution d'une équation polynomiale à l'aide de radicaux. Si la structure clé est le groupe fini, initialement mis en évidence comme un groupe de permutations, elle apparaît plus simple et plus naturelle dans sa formalisation moderne. Le groupe est alors un groupe fini opérant sur une extension algébrique.

Approche par l'exemple

Les deux constructions ci-dessous sont des cas particuliers des deux constructions détaillées dans l'article Corps de rupture, dans le cas le plus simple d'extension algébrique : les extensions quadratiques.

Une extension simple construite à l'aide d'un sur-corps

L'idée est de construire le plus petit sur-corps L du corps ℚ des rationnels contenant le réel √2. « Plus petit » signifie ici que tout sous-corps L’ du corps ℝ des réels contenant à la fois les nombres rationnels et √2 contient aussi L.

Puisque L’ est stable par la multiplication et par l'addition, il doit contenir l'ensemble L de tous les éléments de la forme a + b √2 avec a et b rationnels.

On montre facilement que cet ensemble L est un sous-corps de ℝ.

Détails

L est stable pour l'addition : $(a+b{\sqrt {2}})+(a'+b'{\sqrt {2}})=(a+a')+(b+b'){\sqrt {2}}.$
Les éléments neutres de l'addition et de la multiplication appartiennent clairement à L.
L'opposé de tout élément de L appartient à L : $-(a+b{\sqrt {2}})=(-a)+(-b){\sqrt {2}}.$
Le produit (c'est, avec le point suivant, la seule finesse) laisse aussi L stable : $(a+b{\sqrt {2}})(a'+b'{\sqrt {2}})=(aa'+2bb')+(ab'+ba'){\sqrt {2}}.$
Enfin, l'inverse de tout élément non nul de L appartient à L. En effet, pour a et b rationnels non tous les deux nuls, a² - 2b² est non nul car √2 n'est pas un rationnel. Ceci permet d'écrire :

{\frac {1}{a+b{\sqrt {2}}}}={\frac {a-b{\sqrt {2}}}{a^{2}-2b^{2}}}={\frac {a}{a^{2}-2b^{2}}}+{\frac {-b}{a^{2}-2b^{2}}}{\sqrt {2}}.

Par construction, ce corps L est le plus petit sous-corps de ℝ contenant à la fois les nombres rationnels et √2.

L possède un certain nombre de propriétés intéressantes :

L est un espace vectoriel sur ℚ. Cet espace est de dimension finie égale à 2. On parle alors d'extension quadratique.
L, en tant qu'espace vectoriel, possède une base constituée de puissances de √2, à savoir (1, √2). On parle alors d'extension simple.
Si x est un élément de L alors la famille (1, x, x²) est liée car de cardinal supérieur à celui de la dimension. Il existe donc un polynôme non nul à coefficients rationnels ayant x pour racine.

Une approche intuitive montre qu'une structure de type L est un candidat intéressant pour bâtir une théorie. En revanche, il n'est pas très satisfaisant d'avoir utilisé un sur-corps des nombres rationnels, à savoir les nombres réels, pour une telle construction. Si, dans la pratique, quel que soit le corps K, il est toujours possible de montrer l'existence d'un sur-corps possédant les propriétés nécessaires, il existe une autre approche qui ne nécessite pas l'existence d'un tel sur-corps a priori.

Construction à l'aide des polynômes

Si d est un élément du corps K qui n'est pas un carré dans K (par exemple si d = 2 et K = ℚ comme ci-dessus, ou encore si d = –1 et K = ℝ), alors le polynôme P = X²–d est irréductible dans l'anneau K[X] des polynômes à coefficients dans K, et son corps de rupture (cf. § ci-dessous) peut être construit comme le quotient L de K[X] par l'idéal principal (P) engendré par P. C'est « la plus petite » extension de K dans laquelle l'équation X²–d = 0 possède une solution.

Pour d = 2 et K = ℚ, L = ℚ[X]/(X²–2) est isomorphe au sous-corps de ℝ du paragraphe précédent.

Pour d = –1 et K = ℝ, L = ℝ[X]/(X²+1) est isomorphe au corps des complexes (les deux racines carrées $\pmi$ de –1 dans ℂ correspondent, via cet isomorphisme, aux classes (modulo X²+1) des deux polynômes ±X).

Définitions et premières propriétés

Soit K un corps et L une extension de corps.

Un élément l de L est dit algébrique sur K s'il existe un polynôme non nul à coefficients dans K ayant l pour racine. On appelle alors polynôme minimal de l le polynôme unitaire (c’est-à-dire dont le monôme dominant a pour coefficient 1) qui engendre l'idéal annulateur c’est-à-dire l'idéal des polynômes qui possèdent l pour racine. C'est le polynôme unitaire (non nul) de plus petit degré qui possède l pour racine [3].
L'extension L est dite algébrique si tout élément de L est algébrique sur K.
Si L est une extension de K et A une partie de L, la sous-extension engendrée par A est notée K(A). C'est le plus petit sous-corps de L contenant K et A.
Une extension L/K est dite simple si L=K(l) pour un certain élément l de L.
Si L est une extension de K et l un élément de L algébrique sur K, le K-espace vectoriel K(l) a pour base (1, l, l², … , l^n–1), où n désigne le degré du polynôme minimal de l [3].

Les extensions algébriques possèdent quelques propriétés élémentaires :

Toute extension finie est algébrique, et toute extension algébrique est la réunion de ses sous-extensions finies.
Si L/K est une extension finie et l un élément de L, alors le degré du polynôme minimal de l divise [L:K]. En particulier, si L/K est de degré p, un entier naturel premier, alors L/K est une extension simple.
Si A est une partie finie de L dont tous les éléments sont algébriques sur K, alors K(A)/K est une extension finie.
L'ensemble des éléments de L algébriques sur K est un sous-corps de L appelé fermeture algébrique de K dans L[4] (à ne pas confondre avec la notion de clôture algébrique, cf. ci-dessous.)
Si L/K et K/H sont des extensions algébriques, alors L/H est une extension algébrique.

Démonstrations

Toute extension finie est algébrique, et toute extension algébrique est la réunion de ses sous-extensions finies.
- Soient L/K une extension finie de degré n et l un élément de L. Alors la famille (1, l, l², …, lⁿ) est liée car elle contient plus d'éléments que la dimension de l'espace. Il existe donc une combinaison linéaire nulle de cette famille et dont les coefficients ne sont pas tous nuls. Cette combinaison linéaire définit un polynôme non nul qui possède l pour racine, ce qui montre que l est algébrique sur K.
- Soient L/K une extension algébrique et l un élément de L, alors l appartient à la sous-extension finie K(l).
Si L/K est une extension finie et l un élément de L, alors le degré du polynôme minimal de l divise [L:K].
Notons n le degré de ce polynôme. Alors [L:K] = [L:K(l)].[K(l):K] = [L:K(l)].n.
Si A est une partie finie de L dont tous les éléments sont algébriques sur K, alors K(A)/K est une extension finie.
Par récurrence sur le cardinal de A et par multiplicativité des degrés, il suffit de le vérifier pour A réduit à un élément l. Dans ce cas, l'extension K(A)/K est finie, de même degré que le polynôme minimal de l.
L'ensemble de éléments de L algébriques sur K est un sous-corps de L.
Si α est non nul et algébrique sur K alors son inverse aussi (en utilisant le polynôme aux inverses). Si α et β sont algébriques sur K alors K(α, β) est une extension finie – donc algébrique – de K, qui contient α + β et αβ. (Il existe une autre preuve, par application du résultant.)
Si L/K et K/H sont des extensions algébriques, alors L/H est une extension algébrique.
Soit l un élément de L. Il existe un polynôme à coefficients dans K annulant l car L est algébrique sur K. Notons A l'ensemble coefficients du polynôme et F=H(A). Alors F(l)/F et F/H sont des extensions finies, donc F(l)/H aussi. Ainsi, l appartient à une extension finie (donc algébrique) de H, ce qui démontre la proposition.

Corps de rupture

Soient K un corps P un polynôme irréductible de degré n à coefficients dans K. Alors il existe une extension de K contenant au moins une racine de P et minimale pour cette propriété. Cette extension est appelée corps de rupture de P. Cette extension est unique (à K-isomorphisme près) et elle est finie de degré n sur K. C'est aussi l'unique extension de degré n de K contenant une racine de P, et c'est une sous-extension de toute extension contenant une racine de P.

Par exemple, le polynôme X² – 2 est irréductible sur ℚ mais possède une racine dans ℝ, donc son corps de rupture est inclus dans ℝ.

Corps de décomposition

Soit P un polynôme non constant à coefficients dans K. Alors il existe une extension L de K telle que le polynôme P soit scindé dans L, c'est-à-dire qu'il se décompose en produit de polynômes de degré 1 à coefficients dans L. On dit plus intuitivement que P a toutes ses racines dans L. Si on prend L minimale pour cette propriété, alors elle est finie et unique à K-isomorphisme près. On l'appelle alors corps de décomposition de P. C'est une sous-extension de toute extension sur laquelle P est scindé.

Toute extension finie est incluse dans le corps de décomposition d'un polynôme.

Extensions particulières

Extension quadratique

Les extensions quadratiques interviennent notamment pour la résolution des problèmes de l'Antiquité sur les nombres constructibles. Ces nombres forment un corps inclus dans ℝ et stable par la fonction racine carrée, c’est-à-dire que la racine carrée d'un nombre constructible positif est aussi constructible. Une identification du plan euclidien et des nombres complexes montre que les nombres constructibles forment le plus petit corps contenant l'unité imaginaire $i$ et les nombres rationnels et stable par conjugaison et par la fonction racine carrée.

Un tel corps peut se construire à l'aide d'une suite infinie d'extensions quadratiques des nombres rationnels (K₀, K₁, …, K_n, …) où K₀ est le corps des nombres rationnels et K_n est une extension quadratique du corps K_n–1 si n est strictement positif. Tout nombre constructible s'obtient comme élément d'un corps construit à partir d'une suite finie de corps construits comme extension quadratique du corps précédent dans la suite. On parle alors de tour d'extensions quadratiques.

Une fois cette propriété démontrée, il devient aisé de résoudre des problèmes de l'Antiquité comme la duplication du cube. En effet, la duplication du cube demande de construire un nombre d dont le polynôme minimal est de degré trois. Or la dimension de toute extension contenant d est de la forme 2^p où p est un entier. Comme le degré du polynôme minimal d'un élément d'une extension algébrique divise toujours la dimension de l'extension algébrique, le problème n'a pas de solution.

Une approche analogue montre l'impossibilité de la résolution dans le cas général de la trisection de l'angle par les méthodes de la règle et du compas et permet de déterminer les polygones réguliers constructibles.

Extension de Galois

Un autre outil est essentiel pour l'analyse des extensions L d'un corps K, il correspond aux automorphismes de L laissant le corps K invariant. L'ensemble de ces automorphismes, munis de la loi interne de composition des applications, forme un groupe. Cet outil est particulièrement efficace dans le cas des extensions finies par exemple sur le corps des rationnels dans le cas d'un corps de décomposition. Un élément de ce groupe restreint à un ensemble de racines d'un polynôme correspond à une permutation de cet ensemble de racines. Dans le cas des extensions finies, il correspond à un groupe fini appelé groupe de Galois.

Pour que cet outil soit pleinement pertinent, il faut en fait que les polynômes minimaux de l'extension n'aient pas de racines multiples. Ce qui est toujours le cas pour des extensions sur les corps des rationnels ou plus généralement sur un corps de caractéristique nulle. Dans ce cadre, il est par exemple possible de montrer qu'il existe un élément a dit primitif tel que l'extension soit une extension simple égale à K(a). Il faut de plus que l'extension contienne suffisamment de racines. Il faut en fait que le cardinal du groupe soit égal à la dimension de l'extension. Si ces deux hypothèses sont vérifiées, on parle alors d'extension de Galois.

Le groupe de Galois permet de comprendre finement la structure de l'extension. Par exemple, il existe une bijection entre ses sous-groupes et les sous-corps de l'extension. Il est utilisé pour la détermination des polygones constructibles à la règle et au compas ou pour le théorème d'Abel sur la résolution d'équations polynomiales par radicaux.

Clôture algébrique

Il existe une extension algébrique particulière, celle qui ne possède pour polynômes minimaux que les polynômes de degré 1. C'est une extension pour laquelle tous les polynômes non constants admettent au moins une racine.

D'après le théorème de d'Alembert-Gauss, la clôture algébrique du corps des nombres réels est le corps des nombres complexes. C'est donc l'extension quadratique de ℝ décrite plus haut.

En revanche, la clôture algébrique des nombres rationnels n'est pas une extension finie de ℚ. En effet, son degré est supérieur ou égal à tout entier n>0 car le polynôme Xⁿ – 2 est irréductible sur ℚ. La clôture algébrique de ℚ s'obtient soit comme la fermeture algébrique de ℚ dans ℂ, soit comme union dénombrable d'une suite croissante d'extensions.

De même, la clôture algébrique d'un corps fini K n'est pas une extension finie de K, car les extensions finies de K sont des corps finis, or aucun n'est algébriquement clos.

Dans le cas général, tout corps K possède une clôture algébrique Ω et c'est une extension algébrique maximale de K, au sens où toute extension algébrique de K est K-isomorphe à un sous-corps de Ω. En général, on doit utiliser l'axiome du choix pour prouver ce théorème. La preuve nécessite en effet une suite infinie d'extensions algébriques emboîtées.

Extensions algébriques de ℝ

Un corollaire du théorème de d'Alembert-Gauss est que ℝ ne possède (à isomorphisme près) que deux extensions algébriques[5] : ℝ lui-même et ℂ.

Démonstration[6]

Soient L une extension algébrique propre de ℝ, α un élément non réel de L, P ∈ ℝ[X] son polynôme minimal sur ℝ et β, β les deux racines complexes de P. Alors, ℝ(α) est canoniquement isomorphe à ℝ(β) = ℂ, et puisque L est une extension algébrique de ℝ(α)≃ℂ qui est algébriquement clos, L est réduit à ℝ(α).

Notes et références

(de) Ernst Kummer, « Theorie der idealen Primfaktoren der complexen Zahlen […] », dans Math. Abh. Kon. Akad. Wiss. Berlin, 1856, p. 1-47 ; Collected Papers, vol. 1, Springer, 1975, p. 583-629
Évariste Galois, Mémoire sur les conditions de résolubilité des équations par radicaux, Académie des sciences, 1830
Serge Lang (trad. Jean-Marc Braemer et Denis Richard), Structures algébriques, interéditions (1^re éd. 1976), p. 95
N. Bourbaki, Algèbre, chap. V, § 3, n° 3
Pour des compléments moins élémentaires, voir Théorème de Frobenius (algèbre) et Corps réel clos.
(en) Thomas W. Hungerford (en), Algebra, Springer, coll. « GTM » (n^o 73), 1974, 504 p. (ISBN 978-0-387-90518-1, lire en ligne), p. 267

Voir aussi

Liens externes

Une courte présentation des extensions algébriques par Bernard Le Stum, université de Rennes 1, 2001
Un cours de DEA sur la théorie de Galois par Alain Kraus Université de Paris VI 1998
Extensions algébriques dans les-mathématiques.net

Ouvrages

Régine et Adrien Douady, Algèbre et théories galoisiennes [détail des éditions]
Serge Lang, Algèbre [détail des éditions]
Pierre Samuel, Théorie algébrique des nombres [détail de l’édition]

Cet article est issu de wikipedia. Text licence: CC BY-SA 4.0, Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.