Formula for dimension of graded component of free Lie algebra

Statement
Suppose $$n$$ and $$r$$ are positive integers. Consider the free Lie algebra over $$\mathbb{Q}$$ with $$n$$ generators. Further, consider the degree $$r$$ graded component of this free Lie algebra. This is a $$\mathbb{Q}$$-vector space and is spanned by all the Lie brackets of length $$r$$ involving the generators. The dimension is equal to the number of equivalence classes of words of length $$r$$ in $$n$$ letters under cyclic permutations that have the property that no two cyclic permutations of the word are equal.

The expression is:

$$\frac{1}{r} \sum_{d \mid r} \mu(d) n^{r/d}$$

where $$\mu$$ denotes the Mobius function.

Note that instead of using free $$\mathbb{Q}$$-Lie algebras, we could also have used the free $$\mathbb{Z}$$-Lie ring. In this case, it would turn out that each graded component is a free abelian group and the above formula gives the rank of that group.

Related facts

 * Nilpotent multiplier of abelian group is graded component of free Lie ring: Combined with this fact, we can compute the nilpotent multipliers of free abelian groups.
 * Basic Lie products form a freely generating set of graded component of free Lie algebra: This provides an explicit freely generating set (or basis, if we choose to work over a field)
 * Induction formula for Lie operad

Particular cases
Each row corresponds to a value of $$r$$. For a given value of $$r$$, the dimension is a polynomial in $$n$$ of degree $$r$$. The polynomial is listed, then its values for small $$n$$ are given.

There are two ways that more detail could be provided. One is to provide the explicit Lyndon basis -- for more on that, see the basic Lie product page. The other is to provide explicit decompositions in terms of Schur functors. For more on that, see induction formula for Lie operad.

Facts used

 * 1) uses::Basic Lie products form a freely generating set of graded component of free Lie algebra

Proof
The reason this result holds is that it counts the number of basic Lie products, which are known to form a basis for the vector space by Fact (1).