Mathematica 9 is now available
THIS IS DOCUMENTATION FOR AN OBSOLETE PRODUCT.
SEE THE DOCUMENTATION CENTER FOR THE LATEST INFORMATION.
Mathematica > Mathematics and Algorithms > Polynomial Algebra >

SymmetricPolynomial

SymmetricPolynomial[k, {x1, ..., xn}]
gives the k^(th) elementary symmetric polynomial in the variables x1, ..., xn.
  • A symmetric polynomial of n variables {x1, ..., xn} is invariant under any permutation of its variables. The k^(th) elementary symmetric polynomial is the sum of all square-free monomials of degree k.
  • The degree k must satisfy 0≤kn.
  • 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.
The elementary symmetric polynomial of degree 3 in variables x1, x2, x3, x4:
The elementary symmetric polynomial of degree 3 in variables x1, x2, x3, x4:
In[1]:=
Click for copyable input
Out[1]=
The zeroth elementary symmetric polynomial is defined to be 1:
The 2 × 3 matrices with entries 0 or 1:
Select matrices whose column sums are 1, 1, 1 and whose row sums are 2, 1:
We 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:
The coefficient of x11x21x31 counts how many of these matrices have column sums 1, 1, 1:
The generating function for the symmetric polynomials in n variables is given by product_(i=1)^n(x_i+1):
Check:
The monic polynomial with roots alpha_i has coefficients that are elementary symmetric polynomials of the alpha_i:
The elementary symmetric polynomials ek=SymmetricPolynomial[k, {x1, ..., xn}]are related to the power sum polynomials through the Newton-Girard identities:
For example, with n=4:
Find integers a_1,a_2,a_3 such that the roots of x^3+a_1 x^2+a_2 x+a_3=0 are a_1,a_2,a_3:
Check:
New in 6
Ask a question about this page  |  Suggest an improvement  |  Leave a message for the team