Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Say a function is commutative if it remains unchanged under any permutation of its arguments. E.g. $f(0,1)=f(1,0)$. (Alternatively we could describe these as functions over multi-sets, or say that they are reflective about any hyperplane $x_i=x_j$). Some examples are sum, product and average.

  1. Is there a name for these functions? Google searches for "commutative" and "reflective" functions don't turn up anything.
  2. Can we say anything interesting about these functions? For example, I note that any commutative function which is linear must be the sum function, multiplied by some constant. (i.e. $f(x)=c\sum x_i$). Also I see that the functions make up a field under the obvious operations.
share|cite|improve this question
up vote 6 down vote accepted

These are called symmetric functions (of two variables.) There is a large literature, that mostly concentrates on symmetric polynomials. Any symmetric polynomial in two variables $x$, $y$ is a polynomial in the variables $x+y$ and $xy$. There is an important analogue for symmetric polynomials in more variables.

share|cite|improve this answer

As a response to your second question:

Every symmetric polynomial can be expressed as a polynomial in the elementary symmetric polynomials, the proof of which you can find on most Abstract Algebra texts (e.g. Dummit and Foote)

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.