does Math

By Cali G, Published on Mon 13 January 2020

Category:
Symmetric functions

Symmetric functions are polynomials such that when we permute the indices of the polynomial we get the same polynomial. Symmetric functions have some interesting combinatorics which will be looked out throughout this blog, but for now let's look at the exact definition.

Suppose we have a set of infinitely many variables. For some ring let be the ring of all polynomials with variables in and coefficients in .

**Definitions:** Let be a permutation in and be a monomial in . We can apply to the indices of in the following way:
and we call this a **permutation of the indices of .** A **symmetric function** is a polynomial in such that any permutation of the indices keeps invariant. The set of all symmetric functions together with normal addition and multiplication give us the **ring of symmetric functions in variables **which we denote by .

We can further look at vector subspaces of . Let . Then is the vector subspace of whose symmetric functions are functions of degree .

There are many different bases that can be associated to . These are normally done through partitions. Recall that a partition of is such that . A lot of times, we use Young diagrams to represent a partition.

**Definition:** A **monomial symmetric function** is a symmetric function in such that:
If there is no ambiguity for , we let mean .

Let us look at some monomial symmetric functions:

**Definition:** An **elementary symmetric function** is the symmetric function .

It turns out there is a nice way to reformulate the elementary symmetric functions

**Theorem**
Let be some variable.

**Proof**
The proof for this is pretty simple:

**Definition**: A **power symmetric function** is the symmetric function .

As an example

**Definition**: A **complete homogeneous symmetric function** is the symmetric function . If is a partition of then is defined to be the complete homogeneous symmetric function:

As an example, let's look at .

**Theorem**
Let be some variable.

**Proof**
By recalling that the proof is easy to show.