In mathematics, specifically in commutative algebra, the power sum symmetric polynomials are a type of basic building block for symmetric polynomials, in the sense that every symmetric polynomial with rational coefficients can be expressed as a sum and difference of products of power sum symmetric polynomials with rational coefficients. However, not every symmetric polynomial with integral coefficients is generated by integral combinations of products of power-sum polynomials: they are a generating set over the rationals, but not over the integers.
Definition The power sum symmetric polynomial of degree k in n {\displaystyle n} variables x1, ..., xn, written pk for k = 0, 1, 2, ..., is the sum of all kth powers of the variables. Formally,
p k ( x 1 , x 2 , … , x n ) = ∑ i = 1 n x i k . {\displaystyle p_{k}(x_{1},x_{2},\dots ,x_{n})=\sum _{i=1}^{n}x_{i}^{k}\,.}
The first few of these polynomials are
p 0 ( x 1 , x 2 , … , x n ) = 1 + 1 + ⋯ + 1 = n , {\displaystyle p_{0}(x_{1},x_{2},\dots ,x_{n})=1+1+\cdots +1=n\,,}
p 1 ( x 1 , x 2 , … , x n ) = x 1 + x 2 + ⋯ + x n , {\displaystyle p_{1}(x_{1},x_{2},\dots ,x_{n})=x_{1}+x_{2}+\cdots +x_{n}\,,}
p 2 ( x 1 , x 2 , … , x n ) = x 1 2 + x 2 2 + ⋯ + x n 2 , {\displaystyle p_{2}(x_{1},x_{2},\dots ,x_{n})=x_{1}^{2}+x_{2}^{2}+\cdots +x_{n}^{2}\,,}
p 3 ( x 1 , x 2 , … , x n ) = x 1 3 + x 2 3 + ⋯ + x n 3 . {\displaystyle p_{3}(x_{1},x_{2},\dots ,x_{n})=x_{1}^{3}+x_{2}^{3}+\cdots +x_{n}^{3}\,.}
Thus, for each nonnegative integer k {\displaystyle k} , there exists exactly one power sum symmetric polynomial of degree k {\displaystyle k} in n {\displaystyle n} variables. The polynomial ring formed by taking all integral linear combinations of products of the power sum symmetric polynomials is a commutative ring.
Examples The following lists the n {\displaystyle n} power sum symmetric polynomials of positive degrees up to n for the first three positive values of n . {\displaystyle n.} In every case, p 0 = n {\displaystyle p_{0}=n} is one of the polynomials. The list goes up to degree n because the power sum symmetric polynomials of degrees 1 to n are basic in the sense of the theorem stated below. For n = 1:
p 1 = x 1 . {\displaystyle p_{1}=x_{1}\,.}
For n = 2:
p 1 = x 1 + x 2 , {\displaystyle p_{1}=x_{1}+x_{2}\,,}
p 2 = x 1 2 + x 2 2 . {\displaystyle p_{2}=x_{1}^{2}+x_{2}^{2}\,.}
For n = 3:
… excerpt ends here. Continue reading the full article.
