Polynôme minimal d'un nombre algébrique

Ne doit pas être confondu avec Polynôme minimal d'un endomorphisme.

Carl Friedrich Gauß utilise des polynômes minimaux appelés cyclotomiques pour déterminer les polygones constructibles à la règle et au compas.

En mathématiques, le polynôme minimal d'un nombre algébrique est une notion dérivée de l'algèbre linéaire, elle est à la base de deux théories.

La théorie classique de Galois a pour champs d'étude certains corps commutatifs, construits par des extensions finies de corps initiaux comme un corps fini ou celui des nombres rationnels. Le polynôme minimal fournit une méthode naturelle pour construire de telles extensions. Ses racines sont utilisées pour élucider les propriétés d'une notion fondatrice, le groupe de Galois. Un théorème clé, comme celui de l'élément primitif s'exprime en termes de polynôme minimal.

La théorie algébrique des nombres étudie les entiers algébriques. Les propriétés du polynôme minimal d'un entier algébrique permettent d'expliciter les propriétés d'outils de l'arithmétique comme le discriminant d'un anneau, la norme d'un nombre algébrique ou la forme trace, et sont utilisées pour la démonstration de nombreux résultats, comme la structure du groupe des classes d'idéaux ou le théorème des unités de Dirichlet. Un exemple relativement simple d'utilisation est celui des corps quadratiques, cadre d'étude des nombres algébriques inclus dans une extension quadratique.

Définition

Ici K désigne un corps et L une extension de K, c'est-à-dire un corps contenant K. Les lettres C, R et Q désignent respectivement les corps des complexes, réels et rationnels.

Soit l un élément de L, le polynôme minimal du nombre l est, s'il existe, le polynôme unitaire de plus bas degré à coefficients dans K admettant l pour racine.

Un élément l de L est dit algébrique sur K si et seulement s'il possède un polynôme minimal.

Le nombre π + i de l'ensemble C est algébrique si C est considéré comme une extension de R. En effet, son polynôme minimal existe et est égal à : X² -2π X + π² + 1. Ferdinand von Lindemann montre que π n'est pas un nombre algébrique sur le corps des rationnels^[1]. En conséquence, π + i n'admet pas de polynôme minimal dans Q. En revanche, i l'unité imaginaire et $\sqrt 2$ possèdent des polynômes minimaux dans Q, ils sont respectivement égaux à X² + 1 et X² - 2.

Contexte

Motivation

Article détaillé : théorie de Galois.

Évariste Galois est à l'origine d'une théorie mettant en évidence les conséquences des propriétés des polynômes minimaux.

En 1801, Carl Friedrich Gauss étudie le polynôme minimal à coefficients rationnels d'une racine n^ième de l'unité dans le corps des complexes^[2] et lui donne le nom de polynôme cyclotomique. Cette approche est fructueuse, l'étude de son degré ainsi que des opérations réalisables sur les racines mettent en évidence des propriétés de ces racines. Il en conclut par exemple que l'heptadécagone, c'est-à-dire le polygone régulier à 17 côtés est constructible à la règle et au compas.

Cette approche est généralisée par Évariste Galois^[3]. Il étudie systématiquement les extensions K contenant toutes les racines d'un polynôme irréductible P(X) à coefficients rationnels. Un tel polynôme est le polynôme minimal de chacune des racines. Il étudie ainsi le problème de l'extraction de racine par radical (c'est-à-dire une racine n^ième d'un rationnel) d'un polynôme irréductible.

En termes contemporains, une telle démarche permet de disposer de résultats provenant de quatre structures algébriques différentes. Le corps K peut être vu comme un espace vectoriel, si k est un élément du corps, l'application de K dans K, qui à x associe k.x est un endomorphisme de K, vu comme un Q-espace vectoriel, son polynôme minimal au sens des endomorphismes correspond au polynôme minimal de l'entier algébrique k, l'algèbre linéaire est disponible avec une telle approche. Il est relativement facile de constater que tout automorphisme de K permute les racines de P(X), ils forment donc un groupe fini isomorphe à un sous-groupe des permutations des racines. Un tel groupe porte le nom de groupe de Galois et la théorie des groupes offre des théorèmes pour mieux comprendre une telle structure. Enfin, l'anneau des polynômes à coefficients dans Q dispose de propriétés fortes, il est par exemple euclidien. Cette richesse permet à Galois d'offrir une nouvelle formulation du théorème d'Abel, donnant une condition nécessaire et suffisante pour qu'un polynôme soit résoluble par radical.

Le polynôme minimal est à l'origine de la définition de K, il dispose de nombreuses propriétés provenant de l'algèbre linéaire, des propriétés du corps K ou encore du groupe de Galois.

Théorie algébrique des nombres

Leonhard Euler est un précurseur. Il comprend l'intérêt de nombres ayant un polynôme minimal à coefficients entiers. Une maitrise insuffisante des structures maintenant appelées anneau le conduit néanmoins à faire une erreur dans sa démonstration.

Articles détaillés : théorie algébrique des nombres et élément entier.

L'intérêt pour le polynôme minimal possède aussi une autre origine. La résolution de certaines équations diophantiennes comme celle des deux carrés est simplifiée si un nouvel anneau est utilisé. Gauss découvre à cette occasion^[4] les entiers portant maintenant son nom. Ils correspondent aux complexes de la forme α + i.β, où α et β sont des entiers naturels. Si p est un nombre premier congru à 1 modulo 4, alors il existe un morphisme de l'anneau des entiers de Gauss, vers Z/pZ. Le noyau de ce morphisme est un idéal principal de générateur un nombre α + i.β tel que α² + β² est égal à p, ce qui permet de résoudre l'équation.

Une démarche de cette nature possède un célèbre antécédent, Leonhard Euler utilise les nombre de la forme α + i $\sqrt 3$ .β pour tenter de démontrer le dernier théorème de Fermat pour n = 3. Il annonce^[5] à Goldbach en 1753 qu'il a enfin trouvé une solution. Elle se révèle fausse^[6], il suppose implicitement que l'anneau considéré est euclidien. Ce n'est pourtant pas le cas, comme le montre l'égalité suivante :

$2.2 = (1 + i\sqrt 3)(1 - i\sqrt 3)\;$

Les trois nombres utilisés n'ont pas de diviseurs autre que 1 ou le nombre lui-même (à un nombre inversible près). Gotthold Eisenstein finit par trouver le bon anneau d'entiers équivalent, il est formé des nombres de la forme α + j.β où j désigne une racine cubique de l'unité.

La bonne définition d'un entier algébrique d'une extension finie de Q est celle des nombres dont les coefficients du polynôme minimal sont des entiers naturels. Cet ensemble forme un anneau. Si dans le cas général, il n'est pas euclidien, il possède néanmoins suffisamment de propriétés pour permettre de bâtir une théorie. L'anneau est dit de Dedekind. Si l'anneau n'est en général ni euclidien ni factoriel, le passage à la notion d'idéal fractionnaire montre que tout idéal est le produit, d'une manière unique, d'idéaux premiers. Cette propriété est fondatrice de la théorie algébrique classique des nombres, elle remplace la décomposition en facteurs premiers perdue dans le cas général.

Le polynôme minimal est ainsi l'outil de définition d'un entier algébrique. Ses propriétés, dérivées de l'arithmétique, l'algèbre linéaire et la théorie de Galois, sont utilisées pour établir les théorèmes clé de la théorie comme celui de Dirichlet ou celui sur le groupe des classes d'idéaux.

Théorie de Galois

Propriétés élémentaires

Article détaillé : extension algébrique.

Ici K est un corps, L une extension de K et m un élément de L.

L'anneau K[X] est euclidien donc principal, ce qui permet d'établir une première propriété :

Soit P(X) un polynôme irréductible et unitaire de K[X], alors il existe une extension E de K de dimension le degré n de P(X) contenant un élément e tel que P(X) soit le polynôme minimal de e.

En effet, l'idéal engendré par P(X) est maximal car P(X) n'admet pas d'autre diviseurs que 1 et lui-même (à un facteur multiplicatif près). Le quotient E de K[X] par cet idéal est un corps. Si e désigne la classe de X dans ce corps alors, par construction, l'ensemble des polynômes à coefficients dans K admettant e pour racine est l'idéal de K[X] engendré par P(X). Ce polynôme est donc le polynôme minimal de e. Enfin, la dimension de E est égale à n car 1, e, …, e^n-1 en est une base.

L'algèbre linéaire permet d'établir quelques propriétés sur les polynômes minimaux.

Si m est algébrique sur K alors la dimension de la plus petite extension contenant m est égale au degré du polynôme minimal de m.

Il suffit de remarquer que 1, m, …, m^n-1 est une base de la plus petite extension.

Si m est élément d'une extension finie de K, alors m est algébrique sur K.

En effet, K[m] est alors de dimension finie, donc le noyau de la projection canonique de K[X] dans K[m] est un idéal (principal) non nul.

Si m₁ et m₂ sont algébriques sur K, alors m₁.m₂ et m₁ + m₂ le sont aussi, et m₁^-1 l'est aussi si m₁ est non nul.

Si m est algébrique sur une extension finie de K alors m est algébrique sur K.

Les deux dernières propriétés sont démontrés dans l'article détaillé.

Extension séparable

Article détaillé : extension séparable.

Un polynôme est dit séparé s'il admet autant de racines distincts que son degré. Il est donc scindé. S'il existe toujours une extension contenant toutes les racines d'un polynôme minimal, il n'est pas nécessairement séparable. Il peut en effet posséder des racines multiples. Tel n'est pas le cas si le corps est parfait, par exemple si K est fini ou de caractéristique nulle. Les extensions séparables possèdent des propriétés supplémentaires importantes. Dans le cas général la proposition suivante est vraie :

Soit E une extension finie de K et e un élément de E, le degré du polynôme minimal n de e à coefficients dans K divise la dimension de E.

Cette propriété est démontrée dans l'article Extension algébrique. Elle permet par exemple de démontrer que la trisection de l'angle ou la duplication du cube est en général impossible à la règle est au compas (cf l'article Tour d'extension quadratique).

Une propriété plus forte est vraie si l'extension est séparable :

Soit E une extension séparable et finie, alors il existe un élément e dont le polynôme minimal sur K est de degré la dimension de E.

L'élément engendre l'extension. Ce résultat est connu sous le nom de théorème de l'élément primitif.

Groupe de Galois

Article détaillé : groupe de Galois.

Le groupe de Galois G est formé de l'ensemble des automorphismes de L laissant invariant chaque élément de K. Si σ est un élément du groupe de Galois de L et P(X) le polynôme minimal de m, alors σ(m) est aussi une racine de P(X). En effet, les propriétés de morphisme des membres du groupe de Galois montrent que :

$P(\sigma(m))= \sigma_i(P(m)) = \sigma_i(0) = 0\;$ .

Les propriétés sont plus fortes si L est une extension galoisienne. Une extension galoisienne, si L est de dimension finie est une extension séparable et dont le groupe de Galois contient autant d'éléments que la dimension de L. Dans le cas général une extension galoisienne est une extension séparable tel que tout automorphisme d'une extension de L laissant invariant K laisse aussi globalement invariant L (c'est-à-dire que l'image de L par l'automorphisme est égal à L).

Supposons que L soit une extension finie galoisienne de dimension d en tant que K-espace vectoriel et notons σ₁, σ₂, …, σ_d les différents éléments de G. Alors le polynôme P(X) est scindé dans L et ne contient aucune racine multiple. De plus, pour toute racine r de P(X), il existe au moins un entier i entre 1 et d tel que σ_i(m) est égal à r. Plus précisément :

Il existe un entier n tel que l'égalité polynomiale suivante soit vraie :

$P^n(X)= \prod_{i=1}^d \Big(X - \sigma_i(m)\Big)$

La valeur n est égale au rapport entre l'ordre du groupe G et le degré de P(X).

Démonstration

En effet, le polynôme de droite est invariant par le groupe de Galois car la composée par un élément d'un groupe est une permutation des éléments du groupe. Les seuls éléments invariants par le groupe le Galois est K (cette propriété est démontrée dans l'article détaillé). Le polynôme de droite est un polynôme à coefficients dans K et annulant m donc multiple du polynôme minimal. Soit H le sous-groupe de G laissant invariant K[m], le plus petit corps de L contenant K et m et appelé corps de rupture. Soit K l'ensemble des classes à droite du quotient de G par H. Si K n'est en général pas un sous-groupe car H n'est pas nécessairement distingué, K forme une partition de H et si k_r est le représentant d'une classe, alors la translation à gauche de k_r est une bijection de H dans la classe de k_r. Si K_r est un ensemble contenant un unique représentant pour chaque classe de K et n désigne l'ordre de H, on a :

$\prod_{h\in H}\prod_{k_r\in K_r} \Big(X - \sigma_{k_rh}(m)\Big)=\prod_{h\in H}\prod_{k_r\in K_r}\Big(X - \sigma_{k_r}(\sigma_h(m))\Big)=\left(\prod_{k_r\in K_r}\Big(X - \sigma_{k_r}(m)\Big)\right)^n=Q^n[X]$

On en déduit les égalités suivantes :

$\prod_{i=1}^d \Big(X - \sigma_i(m)\Big)=Q^n[X]\quad \text{si}\quad Q[X] = \prod_{k_r\in K_r}\Big(X - \sigma_{k_r}(m)\Big)$

Puisque Qⁿ(X) admet m pour racine, il en est de même pour Q(X). On remarque que la composée du polynôme Q(X) par un élément du groupe de Galois donne un produit sur un autre jeu de représentants pour chaque classe de K et donc est invariant par cet élément. Comme Q(X) est invariant par tous les éléments du groupe de Galois, c'est un polynôme de K[X]. Toutes les racines de Q(X) sont des racines de P(X), le polynôme Q(X) divise P(X), le seul polynôme unitaire ayant m pour racine et divisant P(X) est P(X), on en déduit que les deux polynômes sont confondus.

Outils issus de l'algèbre linéaire

Dans tout ce paragraphe, on suppose que l'extension L est finie et galoisienne.

Théorème de Cayley-Hamilton

Article détaillé : théorème de Cayley-Hamilton.

L'algèbre linéaire offre de nombreux outils, que la remarque suivante permet d'utiliser : L est un espace vectoriel sur K, l'application φ_m de L dans L qui à x associe m.x est un endomorphisme. Son polynôme minimal en tant qu'endomorphisme est le même que celui du nombre algébrique m.

Soit P(X) le polynôme minimal de m dans K et K[m] le corps de rupture de P(X) contenant m. Le corps L est un K[m] espace vectoriel soit n sa dimension et (l₁, …, l_n) une base de L en tant que K[m]-espace vectoriel. Tout vecteur l de L s'exprime comme une combinaison linéaire des éléments de la base avec des coefficients dans K[m], c'est-à-dire s'exprimant comme l'image de polynômes de degré inférieur ou égal à d le degré de P(X) :

$\forall l \in L,\;\exists P_j(X) \in K[X] \quad / \quad l = \sum_{i=j}^nP_j(m).l_j \quad \text{avec}\quad \text{deg } (P_j(X)) < d$

On en déduit que la famille (mⁱ.l_j) si i varie de 0 à d - 1 et j de 1 à n forme une base de L en tant que K-espace vectoriel.

Dans ces bases l'expression matricielle de φ_m et de sa restriction à K[m] est simple. Soit M_K[m] la matrice de la restriction de φ_m à K[m] dans la base (1, m, …, m^d-1), on a :

$P(X) = a_0 + a_1X + \cdots + a_dX^d \quad \text{et}\quad M_{K[m]}= \begin{pmatrix} 0 & \cdots & \cdots & -a_0 \\ 1 & 0 & \cdots & -a_1 \\ \vdots & \ddots & \ddots & \vdots \\ 0 & \cdots & 1 & -a_{d-1} \end{pmatrix}$ .

On en déduit la proposition suivante :

Sur son corps de rupture, le polynôme minimal et le polynôme caractéristique de φ_m sont confondus.

Dans L, on obtient une expression matricielle M_L en matrices blocs analogue à la réduction de Jordan, ainsi que celle du polynôme caractéristique χ[X] :

$M_L= \begin{pmatrix} M_{K[m]} & 0 & \cdots & 0 \\ 0 & M_{K[m]} & \ddots & \vdots \\ \vdots & \ddots & \ddots & 0 \\ 0 & \cdots & 0 & M_{K[m]} \\ \end{pmatrix}$

Ce résultat fournit une preuve, dans un cas particulier du théorème de Cayley-Hamilton, ainsi que l'égalité suivante :

$\chi(X)= (-1)^n P^n(X)\quad \text{et}\quad \chi(X)=\prod_{i=1}^d \Big(\sigma_i(m) - X\Big)$

Ici la famille (σ₁, σ₂, …, σ_d) décrit les éléments du groupe de Galois.

Norme

Article détaillé : norme (arithmétique).

Dans ce paragraphe L est de dimension finie d en tant que K-espace vectoriel, l est un élément de L et φ_l désigne l'endomorphisme du K espace vectoriel L qui à x associe l.x.

L'algèbre linéaire fournit des outils supplémentaires à la théorie de Galois et à la théorie algébrique des nombres. La norme est un exemple.

La norme relative à L dans K de l correspond au déterminant de l'endomorphisme φ_l. Elle est en général notée N_L/K(l). Avec les notations précédentes, si l'extension est galoisienne, elle vérifie :

$\mathcal N_{L/K}(l) = \prod_{i=1}^d \sigma_i(l)$

En effet, le déterminant est égal au coefficient constant du polynôme caractéristique calculé précédemment. Par définition, elle prend ses valeurs dans K.

A la différence de la norme relative, la norme est indépendante de l'extension. Elle correspond au déterminant précédent si L est le corps de rupture de l. Si D est le corps de décomposition de l et si G désigne son groupe de Galois, l'égalité suivante est vérifiée :

$\mathcal N(l) = \prod_{g\in G} g(l)$

Les résultats précédents montrent que si n est la dimension de D en tant que L-espace vectoriel, la norme à la puissance n est égale à la norme relative. La norme est aussi un élément de K.

Forme trace

Article détaillé : forme trace.

La trace est une application un peu de même nature que la précédente. La trace de L sur K de l'élément l est égal à la trace de l'endomorphisme φ_l. La trace d'un élément l est donc égale au coefficient sous dominant du polynôme minimal. L'application qui à deux éléments a et b de L associe la trace de a.b est appelée forme trace. Elle joue un rôle important en théorie algébrique des nombres, par exemple pour définir le discriminant.

Notes et références

Notes

↑ (de) F. Lindemann, « Über die Zahl π », dans Math. Ann., vol. 20, 1882, p. 213–225 [texte intégral]
↑ Gauss 1801, section V, art. 336-366
↑ Manuscrit de Galois dans le Journal de Crelle, 1846
↑ Gauss 1801, article 182
↑ (en) H. M. Edwards, Fermat's Last Theorem: A Genetic Introduction to Algebraic Number Theory, Springer, 3^e éd., 2000 (ISBN 978-0-387-95002-0)
↑ L. Euler, Algèbre, 1770

Références

Galois

Adrien Douady et Régine Douady, Algèbre et théories galoisiennes [détail des éditions]
(en) Emil Artin, Galois Theory, Notre Dame Press, Londres, 1971
(en) Jörg Bewersdorff (de), Galois Theory for Beginners: A Historical Perspective, AMS, 2006

Arithmétique

C. F. Gauss (trad. A.-C.-M. Poullet-Delisle), Recherches arithmétiques [« Disquisitiones arithmeticae »], 1801
Serge Lang, Algèbre [détail des éditions]
Pierre Samuel, Théorie algébrique des nombres [détail des éditions]
Jean-Pierre Serre, Cours d'arithmétique [détail des éditions]

Liens externes

Galois

Corps de nombres algébriques par S. Mehl
Le théoreme fondamental de la théorie de Galois par B. le Stum, université de Rennes 1, 2001
Un cours de DEA sur la théorie de Galois par A. Kraus, université Paris VI, 1998
Trace, formes quadratiques et extensions de corps par Y. Coudene, université de Rennes 1, 2003

Arithmétique

Bas Edixhoven (de) et Laurent Moret-Bailly, Théorie algébrique des nombres, cours de maîtrise de mathématiques, université de Rennes 1, 2004 [lire en ligne] .
Eugène Cahen, Sur l'arithmétique du corps de tous les nombres algébriques, Bull. SMF 56(1928), 7-17

Portail des mathématiques

Catégories :

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Polynôme minimal d'un nombre algébrique de Wikipédia en français (auteurs)

Игры ⚽ Поможем сделать НИР

Regardez d'autres dictionnaires:

Polynome minimal d'un nombre algebrique — Polynôme minimal d un nombre algébrique Carl Friedrich Gauß utilise des polynômes minimaux appelés cyclotomiques pour déterminer les polygones constructibles à la règle et au compas. En mathématiques, le polynôme minimal d un nombre algébrique… … Wikipédia en Français
Polynome minimal d'un endomorphisme — Polynôme minimal d un endomorphisme Le polynôme minimal est un outil qui permet d utiliser des résultats de la théorie des polynômes à l algèbre linéaire. Il est en effet possible d appliquer un polynôme à un endomorphisme, comme expliqué dans l… … Wikipédia en Français
Polynome minimal — Polynôme minimal Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. La notion de polynôme minimal peut avoir un sens différent selon le contexte dans lequel on se place. On distingue en particulier les… … Wikipédia en Français
Polynôme minimal d'un endomorphisme — Le polynôme minimal est un outil qui permet d utiliser des résultats de la théorie des polynômes à l algèbre linéaire. Il est en effet possible d appliquer un polynôme à un endomorphisme, comme expliqué dans l article intérêt du concept de… … Wikipédia en Français
Polynôme minimal — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Soit E une K algèbre associative et x un élément de E. On appelle idéal annulateur de x l ensemble des polynômes P de K[X] tels que P(x) = 0. Deux cas de… … Wikipédia en Français
Nombre Algébrique — Un nombre algébrique, en mathématiques, est tout nombre qui est solution d une équation algébrique (autrement dit racine d un polynôme différent de zéro) à coefficients entiers (ou de manière équivalente, à coefficients rationnels). Sans plus de… … Wikipédia en Français
Nombre algebrique — Nombre algébrique Un nombre algébrique, en mathématiques, est tout nombre qui est solution d une équation algébrique (autrement dit racine d un polynôme différent de zéro) à coefficients entiers (ou de manière équivalente, à coefficients… … Wikipédia en Français
Nombre algébrique — Un nombre algébrique, en mathématiques, est tout nombre qui est solution d une équation algébrique (autrement dit racine d un polynôme différent de zéro) à coefficients entiers (ou de manière équivalente, à coefficients rationnels). Sans plus de… … Wikipédia en Français
Polynome — Polynôme Courbe polynomiale cubique Un polynôme, en mathématiques, est la combinaison linéaire des produits de puissances d une ou de plusieurs indéterminées, habituellement notées X, Y, Z… Ces objets sont largement utilisés en pratique, ne… … Wikipédia en Français
Polynôme — Ne doit pas être confondu avec Polygone. Courbe polynomiale cubique Un polynôme, en mathématiques, est une expression formée d une combinaison linéaire de produits d … Wikipédia en Français

Dictionnaires et Encyclopédies sur 'Academic'

Polynôme minimal d'un nombre algébrique

Sommaire

Définition