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.
Soit A un anneau commutatif unitaire. Un polynôme Q(T, ..., T) en n indéterminées à coefficients dans A est dit symétrique si pour toute permutation s de l'ensemble d'indices {1, ..., n}, l'égalité suivante est vérifiée :
Exemples
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.
Pour n = 3, le polynôme (T – T)(T – T)(T – T) est symétrique ;
Une classe importante de polynômes symétriques est constituée par les sommes de Newton, définies par p(T1, ..., Tn) = T.
Les polynômes symétriques forment une sous-A-algèbre associative unitaire de A[T1, ..., Tn]. Une famille génératrice est donnée par les polynômes symétriques élémentaires comme on verra ci-après.
Pour 0 ≤ k ≤ n, le k-ième polynôme symétrique élémentaire en n variables, σ(T, ..., T), que nous noterons plus simplement σ(T, ..., T) est la somme de tous les produits de k d'entre ces variables, c'est-à-dire, en notant l'ensemble des combinaisons de k nombres pris dans l'ensemble {1, 2, ..., n} :
Ce polynôme est bien symétrique, puisqu'une permutation du groupe symétrique S envoie bijectivement une telle combinaison sur une autre.
Exemples
si ;
Cas n = 3 : ,
Cas n = 4 : ;
Cas n = 4 : .
Une définition équivalente des polynômes symétriques élémentaires est :
Exemples
n = 1 : ;
n = 2 : ;
n = 3 : .
D'après cette définition, si un polynôme unitaire R(X) de degré n en une indéterminée admet une factorisation
en facteurs de degré 1, alors les coefficients du polynôme R sont donnés comme fonctions symétriques des racines zi, c'est-à-dire :
Pour tout polynôme symétrique Q(T1, ..., Tn) à coefficients dans A, il existe un unique polynôme P en n indéterminées à coefficients dans A tel que
Plus formellement : le morphisme d'algèbres
est injectif, et a pour image la sous-algèbre des polynômes symétriques.