# Formula for dimension of graded component of free Lie algebra

## Statement

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

The expression is:

where denotes the Mobius function.

Note that instead of using free -Lie algebras, we could also have used the free -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 . For a given value of , the dimension is a polynomial in of degree . The polynomial is listed, then its values for small 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.

Value of | Polynomial sending to dimension | Dimension case | Dimension case | Dimension case | Dimension case | Dimension case |
---|---|---|---|---|---|---|

1 | 1 | 2 | 3 | 4 | 5 | |

2 | 0 | 1 | 3 | 6 | 10 | |

3 | 0 | 2 | 8 | 20 | 40 | |

4 | 0 | 3 | 18 | 60 | 150 | |

5 | 0 | 6 | 48 | 204 | 624 | |

6 | 0 | 9 | 116 | 670 | 2580 | |

7 | 0 | 18 | 312 | 2340 | 11160 | |

8 | 0 | 30 | 810 | 8160 | 48750 | |

9 | 0 | 56 | 2184 | 29120 | 217000 | |

prime | 0 | |||||

prime power | 0 | |||||

product of distinct primes | 0 |

## Facts used

## 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).