Extension Algébrique

Extension Algébrique

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 polynômiales. 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 polynômiales par radicaux décrit dans le théorème d'Abel.

Sommaire

Motivations

Ernst Kummer

La première formalisation de la notion d'extension algébrique provient d'une tentative par Ernst Kummer (1810-1893) 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 (1831-1916) 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 kummerienne. La formalisation définitive est publiée en 1857[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 plus petits que 100, à l'exception de 37, 59 et 67 (et bien sûr 2).

Cette démarche consiste à définir des structures algébriques abstraites comme les groupes, les anneaux les corps ou les espaces vectoriels. Elle s'inscrit dans un mouvement qui démarre avec les travaux d'Évariste Galois (1811-1832) 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 XIXe 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 polynômiale à l'aide de radicaux. Si la structure clé est celle de groupe fini, initialement mis en évidence comme un sous-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

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

L'idée est de construire le plus petit sur-corps L de \mathbb{Q} contenant le réel \sqrt{2}. Puisque L est stable par la multiplication et par l'addition, tout élément de la forme a + b\sqrt{2} avec a et b appartenant à \mathbb{Q} appartient à L.

On montre facilement que l'ensemble K de ces éléments s'écrivant a + b\sqrt{2} avec a et b dans \mathbb{Q} forment eux-mêmes un corps commutatif. Par la propriété de minimalité de L, on conclut que K=L. K 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 sont clairement élément de l'ensemble.

Tout élément possède dans K un opposé:

-a - b\sqrt{2}

Le produit (c'est là la seule finesse) est aussi stable par la multiplication.

(a + b\sqrt{2})(a ' + b'\sqrt{2}) =  aa' + 2bb'  +(ba' + ab')\sqrt{2}

Enfin, tout élément non nul de K admet un inverse:

\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}

remarque : pour a et b rationnels non tous les deux nuls a² - 2b² est non nul car \sqrt{2} n'est pas un rationnel.

Par construction, ce corps est le plus petit sous-corps des nombres réels contenant à la fois les nombres rationnels et \sqrt{2}. Plus petit signifie ici que tout sous-corps des nombres réels contenant à la fois les nombres rationnels et \sqrt{2} contient aussi L=K.

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

  • L est un espace vectoriel sur les nombres rationnels. 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 \sqrt{2}, à savoir (1, \sqrt{2}). On parle alors d'extension simple.
  • Si x est un élément de L alors la famille (1, x, x2) est liée car de cardinal supérieur à celui de la dimension. Il existe donc un polynôme à coefficients dans les nombres 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

On démontre que l'ensemble des polynômes à coefficients dans \mathbb{R}: \mathbb{R}[X] est un anneau commutatif unitaire euclidien et principal. On peut créer une notion de divisibilité, parler de division euclidienne, de polynômes premiers (irréductibles) et d'identité de Bézout. On peut même définir, comme dans \mathbb{Z}, une congruence modulo P(X) (où P(X) est un polynôme) de la manière suivante: P1 et P2 sont congrus modulo P(X) ssi il existe un polynôme S(X) tel que P1(X) − P2(X) = S(X)P(X).

Cette congruence est une relation d'équivalence \mathcal{R} compatible avec l'addition et la multiplication dans \mathbb{R}[X]. On peut donc construire l'ensemble quotient L = \mathbb{R}[X])/(P). Cet ensemble est encore un anneau commutatif unitaire. Si P(X) est un polynôme irréductible, par exemple égal à X2+1, l'identité de Bézout permet de dire que L est un corps. L'ensemble L défini précédemment est un corps. On plonge naturellement le corps \mathbb{R} dans ce corps L en associant à chaque réel, sa classe d'équivalence. Si l'on note traditionnellement i la classe de X, alors L est une extension quadratique des nombres réels telle que l'équation X2+1 = 0 admette deux racines i et -i. L correspond donc à la construction des nombres complexes.

Si P(X) est choisi comme étant égal à X2-2 et si le corps est choisi égal à celui des nombres rationnels, on obtient une extension des rationnels isomorphe au sous-corps des nombres réels du paragraphe précédent.

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 si et seulement s'il existe un polynôme non nul à coefficients dans K ayant l pour racine.
  • L'extension L est dite algébrique si et seulement si tout élément de L est algébrique sur K.
  • L dispose d'une structure d'espace vectoriel sur K. Si cette structure confère à L une structure d'espace vectoriel de dimension finie, on parle alors d' extension finie. La dimension est souvent notée [L:K] et est appelé le degré de l'extension.
  • Une extension algébrique L telle que les puissances d'un de ses éléments l forment une famille génératrice de L (en tant que K-espace vectoriel) est dite simple.
  • L'ensemble F des nombres algébriques de L sur K est un sous-corps de L appelé fermeture algébrique de K dans L.

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

  • Si L/K est une extension finie, alors L est une extension algébrique de K.
  • Si L/K est une extension finie et si K/H est une extension finie; L est une extension finie de H de degré [L:K].[K:H].


Extension algébrique et polynôme

Article détaillé Corps de rupture

  • Soit K un corps et P(X) un polynôme irréductible de degré n à coefficients dans K. Alors il existe une extension algébrique de K contenant au moins une racine de P(X) et minimale pour cette propriété. Cette extension est appelée corps de rupture de P(X). Cette extension est unique à K-isomorphisme près et elle est finie de degré n sur K.
  • Soit P(X) un polynôme non-constant sur K. Alors il existe une extension finie L' de K telle que le polynôme P(X) 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(X) a toutes ses racines dans L' . Si on prend L' minimale pour cette propriété, alors elle est unique à K-isomorphisme près. On l'appelle alors corps de décomposition de P(X).


Extension algébrique et sur-corps

Si l'on considère un polynôme à coefficients rationnels, alors le paragraphe précédent montre qu'il est possible de construire des extensions de \mathbb{Q} contenant une ou plusieurs racines du polynôme. Par exemple le polynôme irréductible dans \mathbb{Q} défini par P(X) = X2 + 2 est scindé dans le corps L égal à \mathbb{Q}[X]/P[X]. Or, dans \mathbb{C} P(X) est aussi scindé. Une nouvelle question apparaît. Existe-t-il une relation entre une extension de cette nature et \mathbb{C}? De manière plus générale, si K est un corps, P(X) un polynôme à coefficients dans K, L une extension de K contenant une ou plusieurs racines de P(X) et F un sur-corps de K contenant une ou plusieurs racines, existe-t-il une relation entre L et F ? La réponse est positive. Elle est décrite par les propositions suivantes:

  • Soit P(X) un polynôme irréductible de degré n sur K, L une extension finie de dimension n sur K contenant une racine du polynôme et F une extension contenant au moins une racine de P(X). Alors F est une extension de L.
  • Soit P(X) un polynôme sur K, alors il existe une extension finie minimale L' de K tel que le polynôme P(X) admet toutes ses racines dans L' . Minimal signifie ici que toute extension F contenant toutes les racines de P(X) est une extension de L. Cette extension est appelée corps de décomposition de P(X).

Cette analyse des sur-corps permet de démontrer les propositions suivantes :

  • Si L est une extension algébrique d'un corps K et si (a1, a2, ..., an) est une famille de L, alors il existe un plus petit sous-corps de L contenant la famille, et ce sous-corps est une extension finie de K. On note ce sous-corps K(a1, a2, ..., an).
  • Si K est une extension algébrique d'un corps H et si L est une extension algébrique de K, alors L est une extension algébrique de H.

Soit L une extension finie de K. Soit l un élément de L. On appelle 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ède l pour racine. C'est le polynôme de plus petit degré qui possède l pour racine.

  • Le degré du polynôme minimal de l divise [L:K].


Extensions particulières

Extension quadratique

article détaillé: Extension quadratique

Les extensions quadratiques interviennent notamment pour la résolution des problèmes de l'antiquité sur les nombre constructibles. Ces nombres forment un corps inclus dans les nombres réels et stable par la fonction racine carrée, c’est-à-dire que la racine carré 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 i le nombre imaginaire pur, les nombres rationnels et stable par la fonction conjuguée et la fonction racine carrée.

Un tel corps peut se construire à l'aide d'une suite infinie d'extensions quadratiques des nombres rationnels (K0, K1, ... , Kn, ...) où K0 est le corps des nombres rationnels et Kn est une extension quadratique du corps Kn-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 les 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 du type 2p ou 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

Article détaillé : 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 des automorphismes munis de la loi de composition interne des fonctions forme une structure de 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 pour les extensions dans le cas d'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 égal à 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

Article détaillé : Clôture algébrique

Il existe une extension algébrique particulière, celle qui ne possède pour polynôme minimaux que les polynômes de degré 1. C'est l'extension pour lequel tous les polynômes de degré différent de zéro admettent au moins une racine. Dans le cas des nombres réels, l'extension finie décrite plus haut suffit pour obtenir une clôture algébrique. Dans le cas des nombres rationnels, la clôture algébrique s'obtient soit comme l'ensemble des nombres complexes qui sont algébriques (on vérifie aisément que cet ensemble forme un corps), soit comme union dénombrable d'une suite croissante d'extensions. On prouve que la clôture algébrique du corps des nombres réels est le corps des nombres complexes au moyen du théorème de d'Alembert-Gauss ; il n'existe aucune preuve connue purement algébrique, l'utilisation d'outils topologiques est jusqu'à maintenant toujours nécessaire.

Si la clôture algébrique des nombres réels est un espace de dimension deux sur les réels, en revanche la clôture algébrique des nombres rationnels est de dimension infinie sur ce corps. Il suffit pour s'en convaincre de remarquer que pour tout entier, il existe un polynôme minimal de degré strictement supérieur à cet entier, la dimension est donc supérieure à tout entier.

Dans le cas général, tout corps possède une clôture algébrique et c'est une extension du corps dont on est parti. 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.

Il n'existe aucun corps fini algébriquement clos. En effet, le produit \prod (X_i - a_i ) + 1 est un polynôme irréductible si les ai parcourent l'ensemble du corps.

Enfin, soit une extension finie L d'un corps K ; elle est alors isomorphe à un sous-corps de la clôture algébrique Ω de K. Pour s'en convaincre, il suffit de considérer une suite \ell_1, \ell_2, \dots, \ell_n d'éléments engendrant L. Si elle ne contient qu'un élément \ell_1, on note P(X) le polynôme minimal de \ell_1 dans K. Soit λ1 une racine de P dans Ω, alors K(\ell_1) dans L est isomorphe à K1) dans Ω. Dans le cas général, K(\ell_1,\dots,\ell_n) est une extension de K1) engendrée par n − 1 éléments. Un argument de récurrence permet de conclure.

Voir aussi

Notes

  1. Ernst Kummer Théorie des nombres idéaux premiers sur les nombres complexes Berlin 1857
  2. Évariste Galois Sur la condition pour qu'une équation soit résoluble par radicaux Académie des sciences 1829

Liens externes

Références

R. et A. Douady Algèbre et théories galoisiennes Cedic/Fernand Nathan 1978
S. Lang Algèbre Dunod 2004
P. Samuel Théorie algébrique des nombres Hermann Paris 1971
  • Portail des mathématiques Portail des mathématiques
Ce document provient de « Extension alg%C3%A9brique ».

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Extension Algébrique de Wikipédia en français (auteurs)

Игры ⚽ Нужно сделать НИР?

Regardez d'autres dictionnaires:

  • Extension algebrique — 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 …   Wikipédia en Français

  • 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… …   Wikipédia en Français

  • Extension De Galois — En mathématiques, une extension de Galois (parfois nommée extension galoisienne) est une extension de corps finie normale séparable. L ensemble des automorphismes de l extension possède une structure de groupe appelé groupe de Galois. Cette… …   Wikipédia en Français

  • Extension de galois — En mathématiques, une extension de Galois (parfois nommée extension galoisienne) est une extension de corps finie normale séparable. L ensemble des automorphismes de l extension possède une structure de groupe appelé groupe de Galois. Cette… …   Wikipédia en Français

  • Extension galoisienne — Extension de Galois En mathématiques, une extension de Galois (parfois nommée extension galoisienne) est une extension de corps finie normale séparable. L ensemble des automorphismes de l extension possède une structure de groupe appelé groupe de …   Wikipédia en Français

  • Extension De Corps — En mathématiques, plus particulièrement en algèbre, l extension d un corps K est un corps L qui contient K comme sous corps. Par exemple, , le corps des nombres complexes, est une extension de , le corps des nombres réels, lequel est lui même un… …   Wikipédia en Français

  • Extension Simple — En mathématiques et plus précisément en algèbre dans le cas de la théorie de Galois, une extension de corps L d un corps K est dite simple si et seulement s il existe un élément l de L tel que L est égal à K[l]. Une extension simple est finie si… …   Wikipédia en Français

  • Extension Séparable — Une extension algébrique L d un corps K est dite séparable si et seulement si le polynôme minimal de tout élément de L n admet que des racines simples. Ce critère est une hypothèse nécessaire pour établir un théorème important de la théorie de… …   Wikipédia en Français

  • Extension separable — Extension séparable Une extension algébrique L d un corps K est dite séparable si et seulement si le polynôme minimal de tout élément de L n admet que des racines simples. Ce critère est une hypothèse nécessaire pour établir un théorème important …   Wikipédia en Français

  • Extension Quadratique — En mathématiques, et plus précisément en algèbre dans le cadre de la théorie de Galois, une extension quadratique est une extension de corps de dimension deux. Si K est un corps commutatif, souvent celui des nombres rationnels, alors une… …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”