A generalization of Witt's formulae (Q1095241)

Let \(L=L(Z)\) be a free Lie algebra on a set Z over a non-trivial commutative ring K. let \(Z=X\cup Y\), where \(X\cap Y=\emptyset\). The Lie algebra L(X,Y) is obtained from L(Z) by factoring out the ideal generated by all elements \([x,x']\) with \(x,x'\in X\). There are two gradations on L(X,Y): total and multigradation. For both of them the author derives formulae for the ranks of the homogeneous components of L(X,Y). These results generalize those of Witt because if \(X=\emptyset\) we have \(L(X,Y)=L(Z)\) [\textit{E. Witt}, J. Reine Angew. Math. 177, 152-160 (1937; Zbl 0016.24401)].