On a certain representation of a free Lie algebra (Q1972667)

Let \(X\) be a free module of rank \(r\) over a unital commutative associative ring \(k\), let \(T=T(X)\) be the tensor \(k\)-algebra of \(X\), and let \(*\) be the shuffle operation on \(T\) defined by \[ x_1\cdots x_n * y_1\cdots y_m=\sum_{\sigma\in S_{nm}} \sigma(x_1\cdots x_n\cdot y_1\cdots y_m), \] where \(x_i,y_j\in X\) and \(S_{nm}\) is the set of all substitutions on the set \(\{x_1,\ldots,x_n,y_1,\ldots,y_m\}\) that conserve both the order of \(x\)'s and of \(y\)'s. The operation \(*\) is associative and commutative. The author defines the divided powers operations on \(T\) with respect to \(*\) and proves that the \(k\)-algebra \(T(*)\) is a free algebra of divided powers, with the set \(P\) of so called primary words on \(T\) as a free system of generators. Finally, the author gives a construction of a free Lie \(k\)-algebra and a complete Cartan extension of it in terms of differential operators of the shuffle algebra \(T(*)\).