Elementary symmetric polynomial

In mathematics, specifically in commutative algebra, the elementary symmetric polynomials are one type of basic building block for symmetric polynomials, in the sense that any symmetric polynomial can be expressed as a polynomial in elementary symmetric polynomials. That is, any symmetric polynomial P is given by an expression involving only additions and multiplication of constants and elementary symmetric polynomials. There is one elementary symmetric polynomial of degree d in n variables for each positive integer d ≤ n, and it is formed by adding together all distinct products of d distinct variables. The elementary symmetric polynomials in n variables X1, ..., Xn, written ek(X1, ..., Xn) for k = 1, ..., n, are defined by and so forth, ending with In general, for k ≥ 0 we define so that ek(X1, ..., Xn) = 0 if k > n. (Sometimes, 1 = e0(X1, ..., Xn) is included among the elementary symmetric polynomials, but excluding it allows generally simpler formulation of results and properties.) Thus, for each positive integer k less than or equal to n there exists exactly one elementary symmetric polynomial of degree k in n variables. To form the one that has degree k, we take the sum of all products of k-subsets of the n variables. (By contrast, if one performs the same operation using multisets of variables, that is, taking variables with repetition, one arrives at the complete homogeneous symmetric polynomials.) Given an integer partition (that is, a finite non-increasing sequence of positive integers) λ = (λ1, ..., λm), one defines the symmetric polynomial eλ(X1, ..., Xn), also called an elementary symmetric polynomial, by Sometimes the notation σk is used instead of ek. The following lists the n elementary symmetric polynomials for the first four positive values of n. For n = 1: For n = 2: For n = 3: For n = 4: The elementary symmetric polynomials appear when we expand a linear factorization of a monic polynomial: we have the identity That is, when we substitute numerical values for the variables X1, X2, ...