Symmetric function

Symmetric function

In mathematics, the term "symmetric function" can mean two different concepts.

A symmetric function of n variables is one whose value at any n-tuple of arguments is the same as its value at any permutation of that n-tuple. While this notion can apply to any type of function whose n arguments live in the same set, it is most often used for polynomial functions, in which case these are the functions given by symmetric polynomials. There is very little systematic theory of symmetric non-polynomial functions of n variables, so this sense is little-used, except as a general definition.

In algebra and in particular in algebraic combinatorics, the term "symmetric function" is often used instead to refer to elements of the ring of symmetric functions, where that ring is a specific limit of the rings of symmetric polynomials in n indeterminates, as n goes to infinity. This ring serves as universal structure in which relations between symmetric polynomials can be expressed in a way independent of the number n of indeterminates (but its elements are neither polynomials nor functions). Among other things, this ring plays an important role in the representation theory of the symmetric groups.

For these specific uses, see the corresponding articles; the remainder of this article addresses general properties of symmetric functions in n variables.



Given any function f in n variables with values in an abelian group, a symmetric function can be constructed by summing values of f over all permutations of the arguments. Similarly, an anti-symmetric function can be constructed by summing over even permutations and subtracting the sum over odd permutations. These operations are of course not invertible, and could well result in a function that is identically zero for nontrivial functions f. The only general case where f can be recovered if both its symmetrization and anti-symmetrization are known is when n = 2 and the abelian group admits a division by 2 (inverse of doubling); then f is equal to half the sum of its symmetrization and its anti-symmetrization.



In statistics, an n-sample statistic (a function in n variables) that is obtained by bootstrapping symmetrization of a k-sample statistic, yielding a symmetric function in n variables, is called a U-statistic. Examples include the sample mean and sample variance.

See also

  • Ring of symmetric functions
  • Quasisymmetric function

Wikimedia Foundation. 2010.

Look at other dictionaries:

  • symmetric function — simetrinė funkcija statusas T sritis fizika atitikmenys: angl. symmetric function vok. symmetrische Funktion, f rus. симметрическая функция, f pranc. fonction symétrique, f …   Fizikos terminų žodynas

  • symmetric function — Math. a polynomial in several indeterminates that stays the same under any permutation of the indeterminates. Also called symmetric polynomial. [1850 55] * * * …   Universalium

  • symmetric function — Math. a polynomial in several indeterminates that stays the same under any permutation of the indeterminates. Also called symmetric polynomial. [1850 55] …   Useful english dictionary

  • symmetric function — noun Any function, of multiple variables, whose value is independent of the order of the variables i.e. f(a,b) = f(b,a) …   Wiktionary

  • Symmetric group — Not to be confused with Symmetry group. A Cayley graph of the symmetric group S4 …   Wikipedia

  • Symmetric polynomial — This article is about individual symmetric polynomials. For the ring of symmetric polynomials, see ring of symmetric functions. In mathematics, a symmetric polynomial is a polynomial P(X1, X2, …, Xn) in n variables, such that if any of the… …   Wikipedia

  • Symmetric-key algorithm — Symmetric key algorithms are a class of algorithms for cryptography that use trivially related, often identical, cryptographic keys for both decryption and encryption.The encryption key is trivially related to the decryption key, in that they may …   Wikipedia

  • Symmetric matrix — In linear algebra, a symmetric matrix is a square matrix, A , that is equal to its transpose:A = A^{T}. ,!The entries of a symmetric matrix are symmetric with respect to the main diagonal (top left to bottom right). So if the entries are written… …   Wikipedia

  • Symmetric difference — Venn diagram of The symmetric difference is the union without the intersection …   Wikipedia

  • Symmetric derivative — In mathematics, the symmetric derivative is an operation related to the ordinary derivative.It is defined as::lim {h o 0}frac{f(x+h) f(x h)}{2h}.A function is symmetrically differentiable at a point x if its symmetric derivative exists at that… …   Wikipedia