Utilisateur:Greges2mlv/BrouillonFS

En mathématiques, un polynôme symétrique est un polynôme en plusieurs indéterminées, invariant par permutation de ses indéterminées. Ils jouent notamment un rôle dans les relations entre coefficients et racines.

Définition

Dans un espace $K[T_{1},\dots ,T_{n}]$ de polynômes à plusieurs indéterminées, un polynôme $P(T_{1},...,T_{n})$ est dit symétrique si pour toute permutation s de l'ensemble d'indices [1,n], l'égalité suivante est vérifiée : $P(T_{1},\dots ,T_{n})=P(T_{s(1)},\dots ,T_{s(n)}).$ Pour n=1, tout polynôme est symétrique. Pour n=2, le polynôme T₁+T₂ est symétrique alors que le polynôme T₁-T₂ ne l'est pas, du moins en caractéristique différente de 2 (puisque la transposition des indices transforme le polynôme en son opposé).

Les polynômes symétriques forment une sous-algèbre de $K[T_{1},\dots ,T_{n}]$. Une famille génératrice est donnée par les polynômes symétriques élémentaires : ce sont les polynômes $\sigma _{i}(T_{1},\dots ,T_{n})$, pour $0\leq i\leq n$ définis par :

$\prod _{k=1}^{n}(X-T_{k})=\sum _{i=0}^{n}(-1)^{i}\sigma _{i}(T_{1},\dots ,T_{n})X^{n-i}.$

En particulier, $\sigma _{1}(T_{1},\dots ,T_{n})=T_{1}+\dots +T_{n}$, et $\sigma _{n}(T_{1},\dots ,T_{n})=T_{1}\times \dots \times T_{n}$. Plus précisément, le morphisme d'algèbre défini par :

${\begin{array}{ccc}K[X_{1},\dots X_{n}]&\to &K[\sigma _{1}(T_{1},\dots ,T_{n}),\dots ,\sigma _{1}(T_{1},\dots ,T_{n})]\\X_{i}&\mapsto &\sigma _{i}(T_{1},\dots ,T_{n})\end{array}}$

est un isomorphisme à valeurs dans l'algèbre des polynômes symétriques. Un autre système de générateurs célèbre, lié au précédent, est constitué des sommes de Newton.

Dans le contexte de la théorie des polynômes à une indéterminée, si un tel polynôme admet une factorisation $P(X)=\prod _{k}(X-z_{k})=\sum _{i=0}^{n}a_{i}X^{n-i}$ en facteurs de degré 1, alors les coefficients du polynôme P sont donnés comme fonctions symétriques des racines z_i, c'est-à-dire :

$a_{i}=(-1)^{i}\sigma _{i}(z_{1},\dots ,z_{n}).$