SymmetricPolynomial[k,{x1,…,xn}]
gives the k
elementary symmetric polynomial in the variables x1,…,xn.
SymmetricPolynomial
SymmetricPolynomial[k,{x1,…,xn}]
gives the k
elementary symmetric polynomial in the variables x1,…,xn.
Details
- A symmetric polynomial of n variables {x1,…,xn} is invariant under any permutation of its variables. The k
elementary symmetric polynomial is the sum of all square-free monomials of degree k. - The degree k must satisfy 0≤k≤n.
- The elementary symmetric polynomials form a basis for the symmetric polynomials.
- Expressing a general symmetric polynomial in terms of elementary symmetric polynomials is accomplished by using SymmetricReduction.
Examples
open all close allBasic Examples (1)
Scope (1)
Applications (1)
The 2×3 matrices with entries 0 or 1:
tabs = Table[Partition[IntegerDigits[n, 2, 6], 3], {n, 64}];Select matrices whose column sums are 1,1,1 and whose row sums are 2,1:
MatrixForm /@ Cases[tabs, a_ /; Total[a, {1}] == {1, 1, 1}∧Total[a, {2}] == {2, 1}]You can also count how many such matrices there are by using SymmetricPolynomial. The generating function of 2×3 matrices whose row sums are 2,1 is given by:
genfun = SymmetricPolynomial[2, {Subscript[x, 1], Subscript[x, 2], Subscript[x, 3]}]SymmetricPolynomial[1, {Subscript[x, 1], Subscript[x, 2], Subscript[x, 3]}]The coefficient of x11x21x31 counts how many of these matrices have column sums 1,1,1:
Coefficient[genfun, {Subscript[x, 1]^1Subscript[x, 2]^1Subscript[x, 3]^1}]Properties & Relations (5)
The k
elementary symmetric polynomial is the sum of all monomials constructed from k-subsets of the variables:
Plus@@Subsets[Times[Subscript[x, 1], Subscript[x, 2], Subscript[x, 3], Subscript[x, 4]], {2}]SymmetricPolynomial[2, {Subscript[x, 1], Subscript[x, 2], Subscript[x, 3], Subscript[x, 4]}]The generating function for the symmetric polynomials in
variables is given by
:
CoefficientList[Underoverscript[∏, i = 1, 4](1 + Subscript[x, i]t), t]//TableFormTableForm[Table[SymmetricPolynomial[i, {Subscript[x, 1], Subscript[x, 2], Subscript[x, 3], Subscript[x, 4]}], {i, 0, 4}]]The monic polynomial with roots
has coefficients that are elementary symmetric polynomials of the
:
SolveAlways[x^4 + a x^3 + b x^2 + c x + d == (x - Subscript[α, 1])(x - Subscript[α, 2])(x - Subscript[α, 3])(x - Subscript[α, 4]), x][[1]]//TableFormSymmetricPolynomial[#, {-Subscript[α, 1], -Subscript[α, 2], -Subscript[α, 3], -Subscript[α, 4]}]& /@ Range[4]//TableFormThe elementary symmetric polynomials ek=SymmetricPolynomial[k,{x1,…,xn}] are related to the power sum polynomials
through the Newton–Girard formulas [MathWorld]. Generate all the Newton–Girard formulas for
:
n = 4;
ToeplitzMatrix[Table[If[k == 0, 1, (-1)^kSubscript[e, k]], {k, 0, n - 1}], UnitVector[n, 1]].Table[Subscript[s, k], {k, n}] - Table[(-1)^k + 1k Subscript[e, k], {k, n}] == 0//Thread% /.
{Subscript[s, j_] :> Sum[Subscript[x, k]^j, {k, n}], Subscript[e, j_] :> SymmetricPolynomial[j, {Subscript[x, 1], Subscript[x, 2], Subscript[x, 3], Subscript[x, 4]}]}//SimplifyThe elementary symmetric polynomials can be defined in terms of the generalized Bell polynomial BellY:
ee[n_, vars_] := BellY[Table[{(1/n!), (-1)^k - 1(k - 1)!Total[vars^k]}, {k, n}]]Verify for the case of five variables:
Table[ee[k, {x, y, z, u, v}] == SymmetricPolynomial[k, {x, y, z, u, v}]//Simplify, {k, 5}]Neat Examples (1)
Find integers
such that the roots of
are
:
x^3 + Subscript[a, 1]x^2 + Subscript[a, 2]x + Subscript[a, 3] /. {ToRules[Reduce[Table[SymmetricPolynomial[i, {Subscript[a, 1], Subscript[a, 2], Subscript[a, 3]}] == Subscript[a, i](-1)^i, {i, 3}], {Subscript[a, 1], Subscript[a, 2], Subscript[a, 3]},
Integers]]}Solve[# == 0, x]& /@ %Tech Notes
Related Guides
History
Text
Wolfram Research (2007), SymmetricPolynomial, Wolfram Language function, https://reference.wolfram.com/language/ref/SymmetricPolynomial.html.
CMS
Wolfram Language. 2007. "SymmetricPolynomial." Wolfram Language & System Documentation Center. Wolfram Research. https://reference.wolfram.com/language/ref/SymmetricPolynomial.html.
APA
Wolfram Language. (2007). SymmetricPolynomial. Wolfram Language & System Documentation Center. Retrieved from https://reference.wolfram.com/language/ref/SymmetricPolynomial.html
BibTeX
@misc{reference.wolfram_2026_symmetricpolynomial, author="Wolfram Research", title="{SymmetricPolynomial}", year="2007", howpublished="\url{https://reference.wolfram.com/language/ref/SymmetricPolynomial.html}", note=[Accessed: 12-June-2026]}
BibLaTeX
@online{reference.wolfram_2026_symmetricpolynomial, organization={Wolfram Research}, title={SymmetricPolynomial}, year={2007}, url={https://reference.wolfram.com/language/ref/SymmetricPolynomial.html}, note=[Accessed: 12-June-2026]}