Tour d'extension quadratique

En mathématiques et plus particulièrement en algèbre, dans le cadre de la théorie de Galois, une tour d'extension quadratique est une suite de corps L₀, L₁, ...,L_n ayant les propriétés suivantes : si i est un entier entre 1 et n alors L_i-1 est inclus dans L_i et L_i est une extension quadratique de L_i-1.

Une tour d'extension quadratique possède en général des propriétés fortes. Si le corps de base n'est pas de caractéristique deux alors c'est une extension extension algébrique finie et séparable.

Le concept de tour d'extension quadratique est celui qui permet de démontrer le théorème de Gauss-Wantzel et de clore trois des grandes questions ouvertes des mathématiques de l'antiquité, à savoir la duplication du cube, la trisection de l'angle et d'élaborer la liste des polygones réguliers constructibles à la règle et au compas.

Sommaire 1 Motivation 2 Définition 3 Exemples 4 Propriétés 5 Applications 5.1 Clôture quadratique 6 Voir aussi 6.1 Liens externes 6.2 Références

Motivation

Historiquement, c'est l'analyse des polynômes cyclotomiques par Carl Friedrich Gauss (1777 1855) qui introduit l'origine de l'idée d'une tour d'extension quadratique. Dans son livre Disquisitiones arithmeticae publié en 1801, il rédige une méthode de résolution du polynôme cyclotomique d'une racine primitive dix-septième de l'unité et en déduit une construction à la règle et au compas de l'heptadécagone c’est-à-dire le polygone régulier à dix-sept cotés.

Les progrès réalisés par Evariste Galois (1811 1832) permettent alors une compréhension beaucoup plus profonde des extensions algébriques. Plusieurs résultats sur la construction à la règle et au compas deviennent alors démontrables. Il suffit d'établir la relation entre un nombre constructible et une tour d'extension quadratique. En fait un nombre est constructible si et seulement s'il est élément d'une tour d'extension quadratique dont le premier élément est le corps des nombres rationnels.

Pierre-Laurent Wantzel (1814 1848) dans un article de 1837 intitulé Recherches sur les moyens de reconnaître si un problème de Géométrie peut se résoudre avec la règle et le compas formalise le concept de tour d'extension quadratique établit la relation avec les nombres constructibles. Cette technique ne traite néanmoins que des extensions finies. Le dernier problème antique, à savoir la quadrature du cercle demande le développement d'autres techniques, sur les nombres transcendants pour pouvoir être résolu. Ce résultat sera démontré en 1882 par Ferdinand von Lindemann (1852 1939).

Si la notion d'extension quadratique se marie harmonieusement avec les racines primitives de l'unité constructibles, dans le cas général, elles ne sont pas des extensions de Galois, en conséquence leur utilité est essentiellement restreinte à la compréhension des propriétés des nombres constructibles.

Définition

Soient K un corps, Ω sa clôture algébrique et L_i où i parcourt l'ensemble des entiers de 0 à n une suite d'extensions de K telle que L₀ soit égal à K. Ici toutes les extensions sont identifiées à un sous-corps de Ω. Ces notations sont reprises dans toute la suite de l'article.

• La suite L_i est dite tour d'extension quadratique sur K si et seulement si pour tout i entier de 1 à n, L_i contient L_i-1 et est une extension quadratique de L_i-1.

• Une extension de K telle que toute équation du deuxième degré admette au moins une racine et soit contenue dans toutes les extensions de Ω ayant cette propriété est dite clôture quadratique. Sur le corps des nombres rationnels, ce corps est généralement appelé corps des nombres constructibles.

• Un nombre complexe est dit constructible si et seulement s'il est élément d'une extension quadratique dont le corps de base est celui des nombres rationnels.

Remarque: comme il est remarqué dans l'article extension quadratique, la théorie de Galois présente l'essentiel de ses résultats si les extensions sont séparables. C’est-à-dire si les polynômes minimaux à coefficients dans le corps de base sont séparables c’est-à-dire n'ont pas de racines multiples. C'est le cas ici si la caractéristique de K est différente de deux. Dans toute la suite de l'article, cette hypothèse est supposée vérifiée.

Remarque: une autre définition des nombres constructibles est donnée dans l'article Nombre constructible. Si le plan euclidien est identifié au plan complexe alors les deux définitions sont équivalentes comme indiqué dans l'article.

Exemples

Toute extension quadratique est une tour d'extension quadratique. Ainsi le corps des nombres complexes est une tour d'extension quadratique sur les nombres réels. Il en est de même pour le corps généré par la racine carrée de deux sur le corps des nombres rationnels. En revanche, la notion de tour d'extension quadratique n'est pas vraiment pertinente dans ce cas car la suite ne comporte qu'un unique élément, le concept d'extension quadratique est donc suffisant.

Soit n un entier tel que sa fonction indicatrice d'Euler soit un nombre premier de Fermat ; alors l'extension cyclotomique d'une racine primitive de l'unité se décompose en tour d'extension quadratique. Ce résultat est établi dans l'article polynôme cyclotomique pour les cas cinq et dix-sept. Il est établi de manière générale dans le paragraphe sur les propriétés des tours d'extension quadratique.

Soient a un entier et r une racine p-ième de a telle que p soit une puissance de deux. Alors a est inclus dans une tour d'extension quadratique de longueur p. En effet, si p est noté p = 2ⁿ alors une simple récurrence sur n permet de conclure. Si n est égal à 1 alors r est racine de l'équation X² - a donc r est élément d'une extension quadratique et donc d'une tour d'extension quadratique. Supposons le résultat établi à l'ordre k et que n soit égal à k+1. Alors par hypothèse de récurrence, la racine carré s de r est élément d'une tour d'extension quadratique, L₀, ...,L_k. Or r est solution de l'équation X² - s, r est donc élément d'une extension quadratique de L_k que l'on note L_k+1. Ce qui démontre le résultat. En revanche, cette extension ne contient pas toutes les bonnes propriétés. Elle n'est pas normale dans le cas général. Considérons le cas où n est égal à deux. Deux des quatre racines du polynôme minimal de la racine quartique de deux sont complexes, or l'extension ne l'est pas.

Propriétés

• Une tour d'extension quadratique est séparable si le corps est de caractéristique différente de deux.

• Une tour d'extension quadratique est de dimension 2ⁿ où n est le nombre d'extensions emboitées.

• Soit P[X] le polynôme minimal d'un élément d'une tour d'extension quadratique, alors son degré est une puissance de deux.

• Toute extension de Galois dont la dimension est une puissance de deux est une tour d'extension quadratique.

Dans le cas général une tour d'extension quadratique n'est pas galoisienne. les automorphismes de l'extension dans la clôture quadratique n'ont pas toujours pour image un élément de l'extension, comme illustré dans le troisième exemple.

Applications

Les propriétés précédentes permettent alors de résoudre trois des problèmes de l'antiquité.

• La duplication du cube n'a pas de solution constructible à la règle et au compas.

La duplication du cube demande la résolution de l'équation algébrique X³ - 2 = 0. Cette équation n'admet pas de racine rationnelle et est de degré trois, le polynôme associé est donc irréductible. Or trois n'est pas un diviseur d'une puissance de deux. La solution, c’est-à-dire la racine cubique de deux n'est donc pas un nombre constructible.

• La construction à la règle et au compas d'un polygone ayant un nombre de côtés différent d'une puissance de deux que multiplie des nombres de Fermat distincts est impossible.

La construction d'un polygone régulier de n côtés revient à expliciter une racine p-ième primitive de l'unité. "Primitive" signifie ici que cette racine engendre toutes les autres. Or le polynôme minimal d'une racine p-ième primitive de l'unité a pour degré une puissance de deux si et seulement si p est produit d'une puissance de deux et de nombres premiers de Fermat distincts. Cette proposition est démontrée dans l'article polynôme cyclotomique. Ce qui permet de dresser la liste des polygones réguliers constructibles.

• La construction à la règle et au compas d'un polygone ayant un nombre de côtés égal à une puissance de deux que multiplie des nombres de Fermat distincts est possible.

L'article sur le polynôme cyclotomique montre que le corps de décomposition d'une racine primitive est une extension abélienne dont la dimension est une puissance de deux. Les conditions sont alors réunies pour affirmer qu'une racine primitive est alors élément d'une tour d'extension quadratique et est donc constructible.

• la trisection de l'angle n'a pas de solution constructible à la règle et au compas dans dans le cas général.

Il existe des cas particulier où la trisection est réalisable. Par exemple l'angle de mesure 2.π est divisible en trois parties égales, ce qui permet de construire un triangle équilatéral.

On remarque que neuf n'est pas dans la liste des polynômes constructibles. Celui à trois côtés l'est. Il n'est donc pas possible de réaliser la trisection de l'angle 2.π / 3. Il n'existe donc pas dans le cas général de possibilité de réaliser une trisection d'angle.

Clôture quadratique

• L'ensemble des nombres constructibles possède une structure de corps. Ce corps est algébrique.

Il suffit de montrer que si x et y sont constructibles, alors leurs somme, produit, inverses et opposés le sont. Il existe une démonstration graphique donnée dans l'article nombre constructible ; nous proposons ici une démonstration algébrique.

Soit L_1x, ...,L_nx (respectivement (L_1y, ...,L_my)) la tour d'extension quadratique de x (respectivement y). Alors il existe une suite y_j telle que L_jy soit égal à L_j-1y(y_j). Notons alors la suite (F_jy) de corps définie par L_0y est égal à L_nx et F_jy est égal à F_j-1y(y_j ). C'est une suite croissante de corps où chaque élément est soit égal au précédent soit une extension quadratique. Il est donc possible d'en extraire une sous-suite définissant une tour d'extension quadratique. Le dernier élément de cette tour contient les éléments cités dans la proposition. Ce qui termine la démonstration.

Tout corps dont tous les éléments ont une racine carrée, c’est-à-dire tel que tout polynôme du deuxième degré est scindé, contient le corps des nombres constructibles. En conséquence, la proposition suivante est vérifiée:

• L'ensemble des nombres constructibles est la plus petite clôture quadratique de K.

• La plus petite clôture quadratique du corps des nombres rationnels est une extension algébrique de dimension infinie.

Tout élément de cette clôture est constructible et tout nombre constructible est algébrique, l'extension est donc algébrique. Soit une tour d'extension quadratique ; il est toujours possible de lui adjoindre un nouveau corps qui est l'extension associée à un polynôme du type X²-a où a est un élément de la dernière extension de la tour et n'ayant pas son carré dans cette extension. Ce procédé permet d'exhiber une tour dont le dernier élément est de dimension double de la précédente. En conséquence quel que soit n il existe une extension de dimension 2ⁿ. Ce qui montre que la clôture n'est pas de dimension finie.

• La seule tour d'extension algébrique des nombres réels est de dimension deux. Cette extension est isomorphe au corps des complexes.

La démonstration est donnée dans l'article Théorème de d'Alembert-Gauss ; elle est une étape d'une démonstration possible du fait que les complexes forment un corps algébriquement clos.

Voir aussi

Liens externes

• (fr) construction de polygones réguliers Leçon d'agrégation.
• (en) Construction d'une tour d'extension quadratique

Références

Jean Claude Carréga, Théorie des corps, la règle et le compas , Hermann, 1981

S. Lang, Algebre, Dunod, 2004

P. Samuel, Théorie algébrique des nombres, Hermann, Paris, 1971

Articles de mathématiques en rapport avec la théorie de Galois
Corps	Corps fini · Corps parfait · Corps de rupture · Corps de décomposition
Extension de corps	Extension algébrique · Extension quadratique · Extension simple · Extension normale · Extension séparable · Extension de Galois · Groupe de Galois · Clôture algébrique
Articles associés	Caractéristique · Polynôme formel · Polynôme cyclotomique · Théorie de Galois · Théorème fondamental de la théorie de Galois · Théorème de l'élément primitif · Théorie d'Iwasawa

• Portail des mathématiques