Lie powers of infinite-dimensional modules (Q1005908)

Assume \(G\) is a group and \(V\) is an \(FG\)-module, \(F\) being a field. The free Lie algebra \(L(V)\) on \(V\) has the structure of an \(FG\)-module in a natuarl way by extending the action of \(G\) on the vector space \(V\). In this way the elements of \(G\) are viewed as automorphisms of \(L(V)\). As \(L(V)\) is a free Lie algebra one considers its homogeneous components \(L^n(V)\); they are \(FG\)-submodules called the \(n\)-th Lie powers of \(V\). The structure of \(L^n(V)\) when \(\dim V<\infty\) was studied by \textit{R. Bryant} and \textit{M. Schocker} in [Proc. Lond. Math. Soc. (3) 93, No. 1, 175--196 (2006; Zbl 1174.17006)]. The paper under review extends many of the results from the paper above to the infinite-dimensional case. An advantage of the approach chosen in the present paper is that the results do depend on the characteristic of the field but are uniform for all field of the same characteristic.