Structure des polynômes symétriques

L'algèbre $A[X_1 , \ldots , X_n]_{\text{sym}}$ des polynômes symétriques est engendrée par les polynômes symétriques élémentaires en $X_1 , \ldots , X_n$.