Free Lie Algebras, Generalized Witt Formula, and the Denominator Identity Original Research Article

Let Γ be a countable abelian semigroup satisfying a suitable finiteness condition, and letL=circled plusαset membership, variantΓLαbe the free Lie algebra generated by a Γ-graded vector spaceVoverC. In this paper, from the denominator identity, we derive a dimension formula for the homogeneous subspaces of the free Lie algebraL=circled plusαset membership, variantΓLαand discuss numerous applications of our dimension formula to various interesting cases. Our dimension formula will be expressed in terms of the Witt partition functions. Various expressions of the Witt partition functions will give rise to a number of interesting combinatorial identities. As a special case, we obtain a recursive relation for the coefficients of the elliptic modular functionj.