Fundamental theorem of symmetric polynomials (source code)

= Fundamental theorem of symmetric polynomials
{c}
{wiki}

Every symmetric polynomial over a commutative ring has a unique expression as a polynomial in the elementary symmetric polynomials.