Polynôme en plusieurs indéterminées

En algèbre, un polynôme en plusieurs indéterminées à coefficients dans un anneau A commutatif unitaire (et souvent intègre) est un élément d'une structure d'algèbre, qui est une extension de l'algèbre des polynômes en une indéterminée. Il existe plusieurs manières de définir ces polynômes. La plus simple consiste à procéder par récurrence. Une fois la structure A[X₁] construite, on considère l'algèbre A[X₁][X₂] des polynômes en une indéterminée X₂ construite sur l'anneau A[X₁] et on la nomme A[X₁,X₂]. En réitérant n fois, on obtient une algèbre de polynômes en n indéterminées, souvent notée A[X₁,...,X_n].

Une autre méthode consiste à généraliser le mode de construction de A[X]. On considère tout d'abord un ensemble d'indices I, et N^(I) l'ensemble des applications de I dans N à support fini, c'est-à-dire nulle partout, sauf peut-être sur un ensemble fini de points de I. Cet ensemble dispose avec l'addition d'une structure de monoïde. Notons alors A[I], la A-algèbre du monoïde N^(I), c'est-à-dire l'ensemble des applications de N^(I) à valeurs dans A et à support fini. Lorsque la structure A[I] est équipée d'une bonne multiplication(qui n'est pas la multiplication naturelle), cela permet de considérer A[I] comme une A-algèbre généralisant l'algèbre des polynômes à coefficients dans A. A[I] est en fait A^(N(I)), c'est l'algèbre des polynômes à indéterminées quelconques indicées par I.

Si, dans le cas fini, les deux méthodes sont équivalentes, elles présentent chacune des avantages. La première est plus simple, la deuxième est à la fois plus générale et plus riche. Elle est plus générale car l'ensemble d'indices I n'est pas nécessairement fini ou même dénombrable, ce qui permet de construire des algèbres plus vastes. Elle est aussi plus simple pour établir les propriétés universelles dont dispose l'algèbre. Par exemple, la première construction, dans le cas de l'anneau A[X₁,X₂], donne un rôle différent à X₁ et X₂, pourtant les anneaux A[X₁,X₂] et A[X₂,X₁] sont isomorphes.

Dans la suite de l'article A désigne un anneau commutatif unitaire (et parfois intègre). Seule, cette configuration est étudiée ici. Le terme de A-algèbre désigne une algèbre associative, commutative et unifère.

Deux indéterminées

Construction par récurrence

Considérons l'anneau des polynômes A[X₁][X₂], c'est-à-dire l'anneau des polynômes en une indéterminée X₂, construit sur l'anneau A[X₁], c'est-à-dire l'anneau des polynômes en une indéterminée et à coefficients dans A. L'article Construction des polynômes en une indéterminée, montre que c'est un anneau et un A[X₁]-module de base (X₂ⁿ), si n décrit l'ensemble des entiers positifs N. Un élément P de ce module s'écrit, si n est le degré du polynôme, vu comme un polynôme à une indéterminée à coefficients dans A[X₁]:

$P = \sum_{j= 0}^n P_j(X_1)X_2^j\quad\text{avec}\quad P_j(X_1)\in \mathbb A[X_1]$

Si m est le degré maximal des polynômes P_j(X₁) coefficients de P, il existe une famille d'éléments de A (a_ij) pour i variant de 0 à m et j de 0 à n tel que :

$P = \sum_{j= 0,\;i=0}^{j=m,\;i=n} a_{ij}X_1^iX_2^j$

La structure A[X₁] contient, par identification, l'anneau A et l'anneau A[X₁][X₂] dispose naturellement d'une multiplication externe de AxA[X₁], définie par l'égalité suivante, si λ est un élément de A :

$\lambda P = \sum_{j= 0}^n (\lambda P_j(X_1))X_2^j\;$

Ce qui s'écrit encore, d'après les propriétés du A-module A[X₁].

$\lambda P = \sum_{j= 0,\;i=0}^{j=m,\;i=n} (\lambda a_{ij})X_1^iX_2^j$

On en déduit, que A[X₁][X₂] dispose d'une structure de A-algèbre associative que l'on appelle A-algèbre des polynômes en deux indéterminées à coefficients dans A et que l'on note A[X₁,X₂] si les deux indéterminées sont symbolisées par les lettres X₁ et X₂^[1].

Construction par un monoïde d'indices

Une autre méthode de construction 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 à double indice. Soient S un ensemble à deux éléments et M l'ensemble des fonctions de S dans N, l'ensemble des entiers positifs. On note Y₁^mY₂ⁿ la fonction de M qui vaut m sur le premier élément de S et n sur le deuxième. La structure de monoïde de N confère à M une structure de monoïde, que l'on note multiplicativement :

$\forall m_1,m_2,n_1,n_2 \in \mathbb N \quad Y_1^{m_1}Y_2^{n_1}\cdot Y_1^{m_2}Y_2^{n_2} = Y_1^{m_1 + m_2}Y_2^{n_1+n_2}$

Soit A^(M) l'ensemble des fonctions de M dans A à support fini, c'est-à-dire nulles partout sauf peut-être sur un ensemble fini de points de M. Par construction, l'ensemble A^(M) hérite d'une structure de A-module libre de base Y₁^mY₂ⁿ où n et m décrivent chacun l'ensemble N. Ici . Autrement dit, Y₁^mY₂ⁿ est identifiée à la fonction de M dans A, nulle partout sauf en Y₁^mY₂ⁿ, où elle est égale à 1, l'élément neutre de la multiplication de A. Pour un élément P de A^(M), il existe deux entiers n et m et une unique famille (a_ij) pour i variant de 0 à m et j de 0 à n d'éléments de A tel que :

$P = \sum_{j= 0,\;i=0}^{j=m,\;i=n} a_{ij}Y_1^iY_2^j$

Il existe une bijection Φ entre la structure A[X₁,X₂] construite au paragraphe précédent et A^(M) qui est aussi un morphisme pour l'addition et la multiplication externe. Cette bijection Φ associe X₁^m la fonction Y₁^m, et à X₂ⁿ la fonction Y₂ⁿ, pour tout n et m entiers positifs. La multiplication du monoïde M se prolonge de manière unique en une multiplication sur A^(M). Avec les notations suivantes, si i, j, k, l, r et s sont six indices décrivant N et (b _kl) une famille à support fini de A^(M) :

$\text{si}\quad P = \sum_{i,j} a_{ij}Y_1^iY_2^j,\quad Q = \sum_{k,l} b_{kl}Y_1^kY_2^l\quad\text{alors}\quad P\cdot Q = \sum_{r,s}\left(\sum_{i+k=r,\;j+l=s} a_{ij}b_{kl}\right)Y_1^rY_2^s$

On retrouve la multiplication interne de la structure précédente, le morphisme Φ est un automorphisme de A-algèbre, qui confère à A^(M) muni de sa multiplication, une structure de A-algèbre.

Les deux constructions sont équivalentes et définissent la même structure^[2].

Définitions

Il devient possible de présenter une définition de la structure de A-algèbre des polynômes en deux indéterminées à coefficients dans A.

• Une A-algèbre B disposant de deux éléments canoniques appelées indéterminées et notés ici X₁ et X₂ est qualifiée de A-algèbre des polynômes en deux indéterminées si le monoïde multiplicatif M de base canonique (X₁, X₂) est une base de B considéré comme un A-module. On le note indifféremment A[X₁,X₂], A[M] ou encore A[S] si S est la paire {X₁,X₂}^[3],[4].

Dire que (X₁, X₂) est une base du monoïde revient à dire que tout élément de M s'écrit de manière unique comme produit de puissances de X₁ et de X₂. Ainsi, pour tout élément de M il existe deux entiers positifs n et m tel que l'élément soit égal à X₁^mX₂ⁿ, et si m, n, p et q sont 4 entiers positifs, l'égalité X₁^mX₂ⁿ = X₁^pX₂^q a lieu si, et seulement si les couples (m, n) et (p, q) sont égaux. L'existence d'une A-algèbre des polynômes en deux indéterminées est assurée par les constructions des deux paragraphes précédents.

Certaines définitions données pour le polynôme 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 M, l'élément de A est appelé coefficient. Le degré d'un monôme colinéaire à X₁^mX₂ⁿ désigne l'entier m + n. Le degré d'un polynôme est égal au degré de son monôme de plus haut degré, sauf si le polynôme est nul et on dit que son degré est égal à moins l'infini. La constante d'un polynôme correspond au coefficient du terme X₁⁰X₂⁰, polynôme composé d'un unique terme colinéaire à X₁⁰X₂⁰ est encore appelé polynôme constant. En revanche les termes de polynôme unitaire ou monôme dominant n'ont plus de sens.

Certaines identifications sont immédiates, par exemple l'anneau des polynômes constants s'identifie à A, la sous-algèbre des polynômes de A[X₁,X₂] engendré par X₁ (resp. X₂) est identifiée à A[X₁] (resp. A[X₂]).

On dispose des trois propriétés :

• Il existe une A-algèbre B des polynômes en deux indéterminées.

puis :

• Il existe un unique isomorphisme de A-algèbres de A[X₁,X₂] dans A[Y₁][Y₂] qui à X₁ (resp. X₂) associe Y₁ (resp. Y₂).

enfin :

• Il existe un unique automorphisme de A-algèbres de A[X₁,X₂], qui à X₁ (resp. X₂) associe X₂ (resp. X₁).

Ces trois propriétés sont les conséquences des deux constructions des paragraphes précédents. Ainsi, quelle que soit la manière dont on définit les générateurs de l'ensemble S, la structure finale est la même, à un isomorphisme près.

Construction de l'algèbre

Introduction

L'objectif est de généraliser la construction au cas où l'ensemble S des indéterminées est de cardinal quelconque. L'approche par récurrence s'avère impuissante si le cardinal de S est trop vaste. Si S est fini, elle ne présente aucune difficulté, dans le cas où S est dénombrable, les différentes identifications permettent de considérer l'union d'ensembles emboités :

$A[S] = \bigcup_{n \in \mathbb N^*} A[X_1,\cdots ,X_n]\quad\text{avec}\quad \forall k \in \mathbb N^*\quad A[X_1,\cdots ,X_{k+1}] = A[X_1,\cdots ,X_k][X_{k+1}]$

Cette union s'équipe naturellement de la structure de A-algèbre généralisant la définition du paragraphe précédent. Cette définition est pratique, par exemple pour montrer le caractère factoriel ou noethérien d'une algèbre de polynômes en n indéterminées. Elle est en revanche impraticable pour une configuration où S est de cardinal quelconque. La deuxième méthode est strictement équivalent à la première, si S est dénombrable, mais se prolonge aisément au cas de cardinal quelconque. Elle suppose néanmoins un peu de préparation^[5].

On peut se poser la question de la pertinence d'une démarche qui n'offre, comme unique avantage, que de permettre la construction d'une algèbre de polynômes en un ensemble d'indéterminées non dénombrable. Cette situation n'est en effet pas si fréquente. En revanche, cette construction se fonde sur une démarche permettant une démonstration élégante de propriétés universelles sur les A-algèbres associatives, tel est le principal intérêt de la méthode^[6].

Algèbre de polynômes

Une algèbre de polynômes est un cas particulier d'algèbre d'un monoïde. Soit S un ensemble d'indices et L le monoïde commutatif des fonctions à support fini de S dans N^[7].

• L'algèbre des polynômes à coefficients dans A construite sur S, est l'algèbre du monoïde L. On la note A[S].

On identifie ici l'ensemble S à une partie de A[S] de la manière suivante : A un élément s de S, on associe la fonction e_s de S dans N qui vaut zéro partout sauf en s ou elle vaut 1, l'élément neutre pour la multiplication dans N. Ainsi, e_s est un élément du monoïde L, et plus précisément un membre de la base canonique du monoïde. Ensuite on associe à l'élément e_s, l'élément X_s, correspondant à la famille d'éléments de A indexée par L, qui vaut zéro partout sauf en e_s ou elle vaut 1.

Dans le cas où S est un ensemble fini : {1,...,n}, les éléments de S s'identifient à X_s les éléments canoniques de A[S], on retrouve la notation A[X₁,...,X_n] et le mode construction utilisée bâtir pour A[X₁,X₂]. La propriété universelle du paragraphe précédent prend la forme :

• Soit B une A-algèbre et (b_s) une famille d'éléments de B indexée par S. Il existe un unique morphisme φ de A-algèbre de A[S] dans B tel que :

$\forall s \in S\quad f(X_s) = b_s$

Toutes les A-algèbres ne sont pas des algèbres de polynômes. Considérons la A-algèbre B = A[X] / (X²). En tant que A-module, elle est libre de rang 2. Or une algèbre de polynômes est libre de rang 1 ou infini en tant que A-module. Donc B n'en est pas une.

Notations

Il existe trois manières de noter un polynôme :

• La première correspond aux notations utilisées au paragraphe sur les polynômes en deux indéterminées. Le symbole X_s désigne la famille qui associe 0 à tous les éléments de N^(S) à l'exception de e_s qui est associée à 1, le neutre de l'anneau A. Un monôme s'écrit comme le produit d'un élément de A et d'un monôme spécifique de la forme suivante, où la famille (k_s) est presque nulle et à valeurs dans les entiers positifs :

$\prod_{s \in S} X_s^{k_s}$

Un polynôme P s'écrit de la manière suivante, utilisée dans les paragraphes précédents et l'algèbre est notée :

$P = \sum_{k=0}^n a_k\prod_{s \in S} X_s^{k_s},\quad a_k \in A,\; k_s \in \mathbb N \quad\text{et}\quad P \in A[(X_s)_{s \in S}]$

• La deuxième manière est plus concise. Elle consiste à noter k la famille (k_s) des coordonnées d'un élément du monoïde dans la base canonique S et X^k le correspondant dans l'algèbre de l'élément du monoïde de coordonnées k dans la base canonique S. Si (a_k) désigne une famille presque nulle de coefficients de A et indexée par N^(S), les notations précédentes deviennent :

$P = \sum_{k \in \mathbb N^{(S)}} a_kX^k,\quad a_k \in A \quad\text{et}\quad P \in A[S]$

• Une troisième approche est utilisée quand l'algèbre des polynômes est construite à partir d'une A-algèbre B et définie à l'aide du formalisme utilisé dans le paragraphe sur les polynômes en deux indéterminées. La lettre S désigne maintenant la base canonique de B. Il est fréquent que les éléments de cette base soient notés à l'aide de minuscules, on trouve la notation K[b₁,...,b_n] dans le cas d'un nombre fini d'indéterminées. Cette notation est aussi utilisée pour décrire n'importe quel image Φ d'un morphisme φ de A-algèbre de K[S] dans B. Ainsi, si b_s désigne l'image de X_s par le morphisme φ, l'algèbre Φ est notée K[(b_s)]. L'ensemble Z[√2, √5] désigne l'image de Z[X₁, X₂] par le morphisme qui à X₁ (resp. X₂) associe √2 (resp. √5). Dans ce cas particulier l'image Φ de n'est pas une Z-algèbre de polynômes car le monoïde sous-jacent n'est pas une base de l'algèbre. Enfin, les algébristes notent aussi A[M] l'ensemble A^(M) muni de la structure de A-algèbre du monoïde M, cette notation est par exemple utilisée dans les articles Algèbre d'un monoïde et Algèbre d'un groupe fini^[4].

Propriétés

Propriétés élémentaires

Certaines identifications ne dépendent pas du caractère fini de S. Ainsi :

• Si S₁ est une partie de S, l'algèbre A[S₁] s'identifie à une partie de A[S].

La proposition, qui permet de construire l'algèbre des polynômes en un nombre fini d'indéterminée, se généralise :

• Si S₁ et S₂ forment une partition de S, l'algèbre A[S] s'identifie à A[S₁][S₂]

La construction par récurrence, illustrée dans le cas des polynômes en deux indéterminées permet de construire un anneau en un nombre dénombrables d'indéterminées. Cette propriété se généralise aussi. Soit S_i, où i est un indice élément d'un ensemble I totalement ordonnée. On suppose la suite croissante pour l'inclusion, c'est-à-dire que si i est plus petit que j, S_i est inclus dans S_j. On note S l'union des S_i.

• L'union des algèbres A[S_i] est égale à A[S].

Enfin :

• Si I est un idéal de A et J l'idéal de A[S] engendré par I, A/I[S] s'identifie à A[S]/J.

Une conséquence de ces propriétés est :

• Si A est un anneau intègre, A[S] l'est aussi.

Démonstrations

• Si S₁ est une partie de S, l'algèbre A[S₁] s'identifie à une partie de A[S] :

Il suffit de considérer le morphisme de A-algèbre, qui à s₁, considéré comme un élément de A[S₁] associe s₁, considéré comme un élément de A[S]. C'est un morphisme injectif.

• Si S₁ et S₂ forment une partition de S, l'algèbre A[S] s'identifie à A[S₁][S₂] :

On considère un polynôme P de A[S], il s'écrit de manière unique, avec le deuxième système de notations :

$(1)\quad P = \sum_{k \in \mathbb N^{(S)}} a_kX^k,\quad a_k \in A$

Comme N ^(S) est égal à N ^(S₁) x N ^(S₂), l'égalité précédente s'écrit encore de manière unique :

$P = \sum_{(k_1, k_2) \in \mathbb N^{(S_1)}\times \mathbb N^{(S_2)}} a_{k_1k_2} X^{k_1} X^{k_2} = \sum_{k_2 \in \mathbb N^{(S_2)}} P_{k_2}X^{k_2}\quad\text{avec}\quad P_{k_2} = \sum_{k_1 \in \mathbb N^{(S_2)}} a_{k_1k_2} X^{k_1}$

Le morphisme de A[S] dans A[S₁][S₂], qui au polynôme P associe le polynôme de A[S₁][S₂] dont l'écriture est donnée à la ligne précédente est bijectif, ce qui montre la proposition.

• L'union des algèbres A[S_i] est égale à A[S] :

L'identification de A[S_i] à A[S] montre que l'union des A[S_i] est incluse dans A[S]. Réciproquement, un polynôme P s'écrit sous la forme (1) du paragraphe précédent. Chaque monôme est élément des algèbres de l'union, noté ici A[S_k], avec k élément d'un ensemble fini K. Soit h le plus grand indice de l'ensemble K, comme la suite (S_i) est croissante, P est élément de A[S_h] et donc de l'union des algèbres.

• Si I est un idéal de A et J l'idéal de A[S] engendré par I, A / I [S] s'identifie à A[S] / J :

Soit φ l'application de de A dans A / I, qui à a associe sa classe dans A / I. Cette application permet d'en définir une autre de A[S] dans A / I [S] notée Φ et définie par :

$P\in A[S], \quad P = \sum_{k \in \mathbb N^{(S)}} a_kX^k,\quad a_k \in A,\quad \Phi(P) = \sum_{k \in \mathbb N^{(S)}} \varphi(a_k)X^k$

Cette application Φ est un morphisme surjectif de A-algèbre, son noyau est J l'idéal de A[S] engendré par I, ce qui démontre la proposition.

• Si A est un anneau intègre, A[S] l'est aussi :

Dans le cadre de cet article, seul les anneaux A intègres sont considérés, ce qui montre que les anneaux de polynômes le sont aussi. Si S est un singleton, il suffit de considérer les deux monômes de plus haut degré pour vérifier que le produit de deux polynômes non nuls est non nul.

Si S est un ensemble fini, il est possible de construire A[X₁, ...,X_n], à l'aide de l'identification A[X₁, ...,X_p-1][X_p], ce qui permet de démontrer la proposition car si A[X₁, ...,X_p-1] est intègre, A[X₁, ...,X_p] l'est aussi.

Si S est un ensemble quelconque et P, Q deux polynômes de A[S], il existe un anneau de polynômes en un nombre fini d'indéterminées contenant P et Q. Si A est intègre, le raisonnement précédent montre que P.Q est non nul.

 

Degré

Dans le cas d'une A-algèbre de polynômes en une indéterminée, l'application degré est un morphisme de monoïde de A[X], considéré comme un monoïde multiplicatif. Cette propriété est toujours vraie. Le degré d'un monôme est la somme des exposants des différentes indéterminées et le degré d'un polynôme est celui de son monôme de plus haut degré. Elle engendre une conséquence importante pour A[X], si les coefficients sont choisis dans un corps commutatif, l'anneau des polynômes est euclidien. Dans le cas d'un anneau de polynômes en plusieurs indéterminée, la proposition devient fausse. Si X et Y désigne deux indéterminées, l'idéal engendré par X et Y n'est pas principal, or un anneau euclidien est toujours principal.

Il est alors nécessaire de rechercher des propriétés plus faibles. Dans le cas d'une unique indéterminée, le morphisme du degré permet d'établir que si A est noethérien, l'anneau des polynômes l'est aussi (cf Anneau noethérien). Le fait que A[X₁,...,X_n][X_n+1] soit isomorphe à l'anneau des polynômes en n + 1 indéterminées, montre par récurrence le résultat suivant, connu sous le nom de Théorème de la base de Hilbert :

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

Ce résultat est faux dans le cas d'un nombre infini d'indéterminées. Si (X_n), où n est un entier strictement positif, désigne une famille infinie d'indéterminées deux à deux distinctes, la suite (J_k) des idéaux engendrés par la famille (X₁, ...,X_k) est strictement croissante et infinie, et l'anneau ne peut être noethérien.

La propriété universelle permet d'en conclure un résultat fondamental en théorie algébrique des nombres. Un anneau d'entiers algébriques d'un corps de nombre est l'image par un morphisme de A-algèbre d'un anneau de polynômes à coefficients dans Z, l'ensemble des nombres entiers, et dont le nombre d'indéterminées est fini. L'image réciproque d'une suite croissante d'idéaux par ce morphisme est une suite croissante dans un anneau noethérien, elle est stationnaire à partir d'un certain rang, en conséquence :

• L'anneau des entiers algébriques d'un corps de nombre est noethérien.

Le morphisme du degré est encore utile si A possède une propriété plus forte. Si un anneau A est factoriel, A[X] l'est encore (cf l'article anneau factoriel). La construction par récurrence de l'anneau des polynômes en un nombre fini d'indéterminées montre que^[8] :

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

Cette fois-ci, la configuration est un peu différente, le nombre d'indéterminées n'est pas nécessairement fini. Un polynôme est toujours inclus dans un anneau ayant un nombre fini d'indéterminées et l'article Anneau factoriel montre que, dans ce cas là, la décomposition est bien unique. En revanche, le raisonnement précédent ne s'applique plus aux anneaux d'entiers algébriques, ainsi Z[i√3] n'est pas factoriel. En effet, les égalités 4=(1+i√3)(1-i√3)=2x2 correspondent à deux factorisations différentes en facteurs irréductibles d'un élément de Z[i√3].

Propriété universelle

Considérons, pour simplifier, l'anneau des polynômes à n variables A[X₁, ...,X_n]. Soit B une A-algèbre (commutative unitaire). Alors

• Pour tout n-uplet b₁, ..., b_n dans B, il existe un unique homomorphisme de A-algèbres de A[X₁, ...,X_n] dans B qui envoie X_i sur b_i pour tout i entre 1 et n.

Cette propriété, conjuguée au théorème de factorisation, est essentielle pour la construction d'homomorphismes d'une A-algèbre de type fini vers une autre A-algèbre.

Fonction polynomiale

Résultant

Discriminant

Ensemble algébrique

Article détaillé : 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 considéré comme étant de degré d pour tout d. Par exemple, en deux variables, 2X³+X²Y-5Y³ est homogène de degré 3; tandis que 2X³+X²Y³-5Y³ n'est pas homogène. Tout polynôme P de degré (total) d est, de façon unique, somme de polynômes homogènes P_0, ..., P_d de degrés respectifs 0, ...,d. On appelle alors P_i 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 2X³-5Y³, celle de degré 5 est X²Y³, 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[X₁, ...,X_n] est la somme directe des A_d[X₁, ...,X_n], où d parcourt les entiers positifs ou nul et où A_d[X₁, ...,X_n] 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, alors

• $dP = \sum_{1\le i\le n} X_i \partial P/\partial X_i.$

Polynômes symétriques

Un polynôme à n variables est symétrique s'il est invariant par permutation de deux variables quelconques. Par exemple, en trois variables, X²Y+Y²Z+Z²X est symétrique, alors que X²Y+Y³Z+Z²X 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 polynômiale des polynômes symétriques élémentaires.

Polynômes 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 par les 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 - 1 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 les zéros et les coefficients d'un polynôme. 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 zéros de P(X) (éventuellement répétés) 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.

Notes et références

Notes

1. ↑ La démarche didactique consistant à présenter d'abord l'algèbre des polynômes en n indéterminées comme le fruit d'une construction par récurrence s'inspire de Ferrand 2005.
2. ↑ Cette construction s'inspire de la méthode utilisée par A. Chambert-Loir, Algèbre commutative, université de Rennes 1, 2006 [lire en ligne] 
3. ↑ Cette définition s'inspire du cours Anneaux de polynômes en plusieurs variables par P. Polo, de l'université Pierre et Marie Curie.
4. ↑ ^{a et b} Les notations proviennent de A. et R. Douady, p. 140.
5. ↑ La démarche du paragraphe s'inspire de A. et R. Douady, p. 138-156.
6. ↑ Voir à ce sujet Ferrand 2005.
7. ↑ Ce paragraphe reprend A. et R. Douady, p. 139.
8. ↑ Ce paragraphe s'inspire de : Serge Lang, Algèbre [détail des éditions], V, §6 (éd. ang. p. 126-128)

Références

• N. Bourbaki, Éléments de mathématique, Algèbre, chapitres 4 à 7, Dunod, 1981 (ISBN 2225685746)
• Adrien Douady et Régine Douady, Algèbre et théories galoisiennes [détail des éditions] 
• D. Ferrand, Note sur les polynômes à plusieurs indéterminées, 2005 [lire en ligne] , université de Rennes 1, texte écrit suite à la correction des copies de l'agrégation de mathématiques