Polynôme en plusieurs indéterminées

En algèbre, un polynôme en plusieurs indéterminées à coefficients dans un anneau commutatif unitaire A est un élément d'une A-algèbre associative qui généralise l'algèbre A[X] des polynômes en une indéterminée X.

On peut construire l'algèbre A[XModèle:Ind, … , XModèle:Ind] des polynômes en un nombre fini n d'indéterminées par récurrence sur n : c'est l'algèbre des polynômes en une indéterminée XModèle:Ind, à coefficients dans l'anneau A[XModèle:Ind, … , XModèle:Ind]. L'algèbre A[(XModèle:Ind)Modèle:Ind] des polynômes en un nombre quelconque d'indéterminées XModèle:Ind, indexées par un ensemble I quelconque (éventuellement infini), peut alors être définie comme la « réunion » des A[(XModèle:Ind)Modèle:Ind] pour toutes les parties finies J de I. Plus directement, que I soit fini ou infini, A[(XModèle:Ind)Modèle:Ind] peut être définie comme l'algèbre d'un monoïde : on décrit d'abord le monoïde des monômes unitaires (les produits d'un nombre fini d'indéterminées XModèle:Ind, éventuellement répétées), et les polynômes sont ensuite définis comme les combinaisons linéaires formelles à coefficients dans A de tels monômes.

Dans la suite de l'article, A désigne un anneau commutatif unitaire, et le terme de A-algèbre désigne une algèbre associative et unifère.

Construction par induction

Construction par récurrence

Définissons l'anneau A[XModèle:Ind, … , XModèle:Ind] des polynômes à coefficients dans A en n indéterminées, par récurrence sur n :

• l'anneau des polynômes à coefficients dans A en 0 indéterminées est simplement A lui-même.
• pour n > 1, A[XModèle:Ind, … , XModèle:Ind] est l'anneau B[XModèle:Ind], où B désigne l'anneau A[XModèle:Ind, … , XModèle:Ind] supposé déjà construit.

On vérifie instantanément (par récurrence) que A[XModèle:Ind, … , XModèle:Ind] ainsi défini :

• est un anneau commutatif (intègre si et seulement si A l'est) ;
• contient A comme sous-anneau (c'est donc une A-algèbre) ;
• est libre en tant que A-module, sa base canonique étant constituée des monômes XModèle:IndModèle:Exp…XModèle:IndModèle:Exp, où les kModèle:Ind sont des entiers naturels.

Concrètement, un élément de A[XModèle:Ind, … , XModèle:Ind] s'écrit comme une somme finie :

$P=\sum _{j=0}^m{P}_j{X}_n^j\text{avec}{P}_j\in A[X_1,\dots ,X_{n-1}]$

et chaque PModèle:Ind s'écrit lui-même comme une somme finie :

$P_j=\sum _{k_1,\dots ,k_{n-1}\in \{0,\dots ,d_j\}}{a}_{k_1,\dots ,k_{n-1},j}{X}_1^{k_1}\dots X_{n-1}^{k_{n-1}}\text{avec}{a}_{k_1,\dots ,k_{n-1},j}\in A$

ou encore, en choisissant un majorant d de m, dModèle:Ind, … , dModèle:Ind et en complétant par des zéros la liste des PModèle:Ind et des coefficients dans A :

$P_j=\sum _{k_1,\dots ,k_{n-1}\in \{0,\dots ,d\}}{a}_{k_1,\dots ,k_{n-1},j}{X}_1^{k_1}\dots X_{n-1}^{k_{n-1}}\text{et}P=\sum _{j=0}^d{P}_j{X}_n^j=\sum _{k_1,\dots ,k_{n-1},j\in \{0,\dots ,d\}}{a}_{k_1,\dots ,k_{n-1},j}{X}_1^{k_1}\dots X_{n-1}^{k_{n-1}}{X}_n^j.$

Extension au cas d'un ensemble infini d'indéterminées

On remarque, en examinant la définition ci-dessus, que :

• l'algèbre A[XModèle:Ind, … , XModèle:Ind] obtenue est indépendante (à isomorphisme canonique près) de l'ordre choisi pour les indéterminées au cours de la construction. On peut donc la noter également A[(XModèle:Ind)Modèle:Ind], ou encore (en réindexant les indéterminées) A[(XModèle:Ind)Modèle:Ind] où I est un ensemble quelconque à n éléments, non ordonné ;
• pour toute partie J de I, A[(XModèle:Ind)Modèle:Ind] est un sous-anneau de A[(XModèle:Ind)Modèle:Ind].

Ceci permet de définir l'anneau A[(XModèle:Ind)Modèle:Ind] pour n'importe quel ensemble S (non nécessairement fini ni même dénombrable) comme la réunion (appelée « limite inductive ») des A[(XModèle:Ind)Modèle:Ind] pour toutes les parties finies I de S.

Quelques propriétés élémentaires se déduisent immédiatement de cette définition :

• l'anneau A[(XModèle:Ind)Modèle:Ind] est intègre si et seulement si A l'est ;
• pour toute partie J de S, l'anneau A[(XModèle:Ind)Modèle:Ind] s'identifie à A[(XModèle:Ind)Modèle:Ind][(XModèle:Ind)Modèle:Ind] ;
• si S est la réunion d'une chaîne F de parties (c'est-à-dire d'un ensemble de parties sur lequel l'ordre d'inclusion est total), alors A[(XModèle:Ind)Modèle:Ind] est la réunion des A[(XModèle:Ind)Modèle:Ind] pour tous les I de F.

Construction comme algèbre d'un monoïde

Une autre méthode de constructionModèle:,Modèle:, — équivalente au sens où elle définit la même structure — consiste à « calquer » le raisonnement utilisé pour les polynômes en une indéterminée, cette fois non pas sur une suite mais sur une famille. Elle permet une démonstration élégante de la propriété universelle des algèbres de polynômes.

Monoïde des monômes unitaires

À l'ensemble (quelconque) S des indices des indéterminées, on associe le monoïde commutatif libre sur S.

En notation additive, on peut se le représenter comme l'ensemble ℕModèle:Exp des applications de S dans ℕ à support fini — c'est-à-dire des familles (kModèle:Ind)Modèle:Ind d'entiers naturels dont tous sont nuls sauf un nombre fini — muni de l'addition terme à terme. Notons eModèle:Ind (pour tout s ∈ S) l'élément de ce monoïde constitué de la fonction de S dans ℕ qui vaut zéro partout sauf en s ou elle vaut 1. On dit que (eModèle:Ind)Modèle:Ind est une « base » de ce monoïde commutatif, au sens où tout élément de ℕModèle:Exp s'écrit, de manière unique à l'ordre près des termes, comme une somme finie d'éléments eModèle:Ind, avec répétitions éventuelles : (kModèle:Ind)Modèle:Ind est la somme des kModèle:IndeModèle:Ind pour tous les kModèle:Ind non nuls.

Le monoïde MModèle:Ind des monômes unitaires est le même monoïde commutatif libre sur S mais noté multiplicativement, et sa base canonique est notée (XModèle:Ind)Modèle:Ind. Autrement dit, tout monôme unitaire s'écrit de manière unique comme un produit fini de puissances des XModèle:Ind.

Algèbre de ce monoïde

L'anneau A[(XModèle:Ind)Modèle:Ind] est alors défini comme l'[[Algèbre d'un monoïde|algèbre A[MModèle:Ind] du monoïde]] MModèle:Ind : un polynôme P est une combinaison linéaire formelle à coefficients dans A de monômes unitaires. Il se représente donc comme une application de ℕModèle:Exp dans A à support fini : l'application qui, à chaque famille (kModèle:Ind)Modèle:Ind d'entiers presque tous nuls, associe le coefficient dans P du monôme ∏Modèle:IndXModèle:IndModèle:Exp qu'elle représente.

L'algèbre A[MModèle:Ind] est donc le A-module libre de base MModèle:Ind, muni de l'unique multiplication de A-algèbre qui prolonge la multiplication du monoïde MModèle:Ind.

Notations

Il existe beaucoup de manières de noter un polynôme P de A[(XModèle:Ind)Modèle:Ind] :

• la première est celle utilisée dans les paragraphes précédents :

$P=\sum _{(k_s)\in {\mathbb{N}}^{(S)}}{a}_{(k_s)}\prod _{s\in S}{X}_s^{k_s},a_{(k_s)}\in A;$

• une autre est plus concise. Elle consiste à noter k la famille (kModèle:Ind)Modèle:Ind d'entiers presque tous nuls qui représente un élément du monoïde MModèle:Ind et XModèle:Exp cet élément. Les notations précédentes deviennent :

$P=\sum _{k\in {\mathbb{N}}^{(S)}}{a}_k{X}^k,a_k\in A.$

Propriétés

Propriété universelle

Considérons, pour simplifier, l'anneau des polynômes à n variables A[X₁, … , X_n]. Alors, pour toute A-algèbre commutative B et tout n-uplet (b₁, … , b_n) dans B, il existe un unique morphisme de A-algèbres de Modèle:Nobr dans B, appelé « morphisme d'évaluation », qui envoie chaque X_i sur le b_i de même indice. Cette propriété, jointe au théorème de factorisation, montre que toute A-algèbre commutative de type fini est un quotient d'un A[X₁, … , X_n] ; elle est donc essentielle pour la construction de morphismes d'une telle algèbre vers une autre A-algèbre commutative.

Plus généralement, la propriété universelle suivante caractérise les algèbres de polynômes :

Exemples

• Si A est un sous-anneau de B, l'image de ce morphisme est le [[Sous-anneau#Sous-anneau engendré par un ensemble|sous-anneau A[(bModèle:Ind)Modèle:Ind] de B engendré]] par A et les bModèle:Ind.
• Si C est un anneau commutatif, tout morphisme ψ de A dans C se prolonge, par la propriété universelle, en un unique morphisme φ de A[(XModèle:Ind)Modèle:Ind] dans C[(XModèle:Ind)Modèle:Ind] tel que φ(XModèle:Ind) = XModèle:Ind pour tout s. Ceci traduit la fonctorialité, par rapport à l'anneau de coefficients, de l'anneau de polynômes en un ensemble fixé d'indéterminées. L'image de φ est alors D[(XModèle:Ind)Modèle:Ind] où D est l'image de ψ, et le noyau de φ est l'idéal engendré par le noyau de ψ.

Degré

Modèle:Voir Certaines définitions concernant les polynômes en une indéterminée se généralisent :

• un monôme est le produit d'un élément de A par un élément de MModèle:Ind :
  • l'élément de A est appelé le coefficient du monôme,
  • le degré d'un monôme est la somme des exposants des différentes indéterminées ;
• le degré d'un polynôme non nul est celui de son monôme de plus haut degré (on convient que le degré du polynôme nul est moins l'infini) ;
• un polynôme constant est un polynôme nul ou de degré 0 ;
• le terme constant d'un polynôme est le coefficient de son monôme de degré 0, ou terme indépendant.

En revanche, les termes de « polynôme unitaire » ou « monôme dominant » n'ont plus de sens.

Sur un anneau intègre, le degré du produit de deux polynômes non nuls est égal à la somme des degrés de ces deux polynômes, comme dans le cas d'une seule indéterminée.

Si A est un corps commutatif, l'anneau A[X] est euclidien. Cette proposition ne s'étend pas aux anneaux de polynômes en plusieurs indéterminées : l'anneau A[X, Y] n'est même pas principal car dans cet anneau, l'idéal (X, Y) engendré par X et Y n'est pas principal.

Il est alors nécessaire de rechercher des propriétés plus faibles. Dans le cas d'une unique indéterminée, la notion de degré permet d'établir le théorème de la base de Hilbert : si A est noethérien, A[X] l'est aussi. D'après la définition par récurrence de A[X₁, … ,X_n], on en déduit immédiatement :

• L'anneau des polynômes en un nombre fini d'indéterminées, à coefficients dans A, est noethérien dès que A l'est.

Ce résultat ne s'étend pas au cas d'un nombre infini d'indéterminées : dans A[(XModèle:Ind)Modèle:Ind], la suite des idéaux (X₀, … , X_n) est strictement croissante, et l'anneau ne peut être noethérien.

D'après un résultat fondamental de théorie algébrique des nombres, tout anneau d'entiers algébriques d'un corps de nombres est un ℤ-module de type fini (cf. § « Propriétés noethériennes » de l'article sur les entiers algébriques) et a fortiori, une ℤ-algèbre commutative de type fini, c'est-à-dire un quotient d'un ℤ[X₁, … ,X_n], noethérien. En conséquence :

• Tout anneau d'entiers algébriques d'un corps de nombres est noethérien.

Factorialité

Si un anneau A est factoriel, A[X] l'est encore. La construction par induction de l'anneau des polynômes en un nombre fini ou infini d'indéterminées permet d'en déduire :

• L'anneau des polynômes en plusieurs d'indéterminées, à coefficients dans A, est factoriel si et seulement si A l'est.

Ce transfert de factorialité est un peu différent de celui de noethérianité. Le nombre d'indéterminées n'est pas nécessairement fini. En revanche, la factorialité ne passant pas aux quotients, il existe des corps de nombres (et même des corps quadratiques) dont l'anneau des entiers n'est pas factoriel.

Ensemble algébrique

Soit k un corps algébriquement clos. L'ensemble des zéros d'un polynôme f(X₁, … , X_n) à coefficients dans k est l'ensemble des points (x₁, … , x_n) dans kⁿ tels que f(x₁, … , x_n) = 0. Un ensemble algébrique dans kⁿ est l'intersection des zéros d'une famille de polynômes dans k[X₁, … , X_n]. Du fait que l'anneau k[X₁, … , X_n] est noethérien, il suffit toujours de prendre une famille finie de polynômes. Les ensembles algébriques sont à la base de la géométrie algébrique.

Polynômes remarquables

Polynômes homogènes

Un polynôme homogène de degré d (entier positif ou nul) est une combinaison linéaire de monômes de degré d. Le polynôme nul est ici considéré comme étant de degré d pour tout d. Par exemple, en deux variables, 2XModèle:3 + XModèle:2Y – 5YModèle:3 est homogène de degré 3, tandis que 2XModèle:3 + XModèle:2YModèle:3 – 5YModèle:3 n'est pas homogène. Tout polynôme P de degré (total) d est, de façon unique, somme de polynômes homogènes PModèle:Ind, … , PModèle:Ind de degrés respectifs 0, … , d. On appelle alors PModèle:Ind la composante homogène de degré i de P. Dans l'exemple non homogène ci-dessus, la composante homogène de degré 3 est 2XModèle:3 – 5YModèle:3, celle de degré 5 est XModèle:2YModèle:3 et les autres composantes homogènes sont nulles. Une autre manière d'exprimer la décomposition en composantes homogènes est de dire que A[XModèle:Ind, … , XModèle:Ind] est la somme directe des AModèle:Ind[XModèle:Ind, … , XModèle:Ind], où d parcourt les entiers positifs ou nuls et où AModèle:Ind[XModèle:Ind, … , XModèle:Ind] est le sous-A-module des polynômes homogènes de degré d. On note que le produit de deux polynômes homogènes de degrés respectifs d, e est homogène de degré d + e, alors que leur somme n'est homogène que si d = e.

Identité d'Euler

Si P est homogène de degré d, alorsModèle:Retrait

Polynômes symétriques

Modèle:Voir Un polynôme à n variables est symétrique s'il est invariant par permutation de deux variables quelconques. Par exemple, en trois variables, XY + YZ + ZX est symétrique, alors que XModèle:2Y + YModèle:2Z + ZModèle:2X ne l'est pas. Contrairement aux polynômes homogènes, les polynômes symétriques sont stables par addition et multiplication, et forment un sous-anneau de l'anneau des polynômes.

Polynômes symétriques élémentaires

Pour i entre 1 et n, le i-ième polynôme symétrique élémentaire S_i est la somme des X_k1…X_ki où les indices parcourent les entiers k₁ < … < k_i entre 1 et n. Par exemple, le premier polynôme symétrique élémentaire est la somme des variables, et le dernier est le produit des variables.

Théorème fondamental sur les polynômes symétriques

Tout polynôme symétrique est, de façon unique, une expression polynomiale des polynômes symétriques élémentaires.

Identités de Newton

Soit d > 0 un entier. Alors P_d := X₁^d + … + X_n^d est symétrique et est appelé le d-ième polynôme de Newton. L'expression de P_d en fonction des polynômes symétriques élémentaires (comme prédit par le théorème ci-dessus) peut être déduite indirectement des identités de Newton :

• P_d – S₁P_d–1 + S₂P_d–2 + … + (–1)^n–1S_n–1P_d–n+1 + (–1)ⁿS_nP_d–n = 0, si d ≥ n et
• P_d – S₁P_d–1 + S₂P_d–2 + … + (–1)^d–1S_d–1P₁ + (–1)^ddS_d = 0, si d < n.

Sur un corps de caractéristique nulle, ces relations permettent d'écrire les polynômes symétriques élémentaires comme des polynômes en les polynômes de Newton. En particulier, sur le corps des nombres rationnels, les polynômes de Newton engendrent l'anneau des polynômes symétriques.

Relations entre coefficients et racines

Soit P(X) = Xⁿ + a₁X^n–1 + … + a_n un polynôme de degré n > 0 à coefficients dans un corps. Soient t₁, … , t_n les racines de P(X) (éventuellement répétées) dans un corps de décomposition de P(X). Alors S_i(t₁, … , t_n) = (–1)ⁱa_i pour tout i entre 1 et n.

Voir aussi

Article connexe

Algèbre d'un groupe fini

Bibliographie

N. Bourbaki, Éléments de mathématique, Algèbre, chapitres 4 à 7, Dunod, 1981 Modèle:ISBN