Les polynômes symétriques forment une sous-A-algèbre associative unitaire de
. Une famille génératrice est donnée par les polynômes symétriques élémentaires comme on verra ci-après.
Définition
Pour
, le k-ième polynôme symétrique élémentaire en
variables,
, que nous noterons plus simplement
est la somme de tous les produits de
d'entre ces variables, c'est-à-dire, en notant
l'ensemble des combinaisons de
nombres pris dans l'ensemble
:
Ce polynôme est bien symétrique, puisqu'une permutation du groupe symétrique
envoie bijectivement une telle combinaison sur une autre.
- Exemples
;
;
si
;
;
,
- Cas
:
,
- Cas
:
;
,
- Cas
:
.
Une définition équivalente des polynômes symétriques élémentaires est :
- Exemples
:
;
:
;
:
.
D'après cette définition, si un polynôme unitaire
de degré
en une indéterminée admet une factorisation

en facteurs de degré 1, alors les coefficients du polynôme
sont donnés comme fonctions symétriques des racines
, c'est-à-dire :
Théorème
Pour tout polynôme symétrique
à coefficients dans A, il existe un unique polynôme
en
indéterminées à coefficients dans A tel que
Plus formellement : le morphisme d'algèbres
![{\displaystyle A[X_{1},\ldots ,X_{n}]\to A[X_{1},\ldots ,X_{n}]}](//wikimedia.org/api/rest_v1/media/math/render/svg/a5517da1b11670b20825c32d6a56a0a05a32faec)

est injectif, et a pour image la sous-algèbre des polynômes symétriques.
Ou encore : les polynômes symétriques élémentaires d'indices > 0 engendrent la sous-algèbre unifère des polynômes symétriques, et sont algébriquement indépendants sur A. Ce résultat est parfois appelé le théorème fondamental 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 si A contient le corps des nombres rationnels.