Lie Powers and Pseudo-Idempotents

http://dx.doi.org/10.4153/CMB-2011-014-x
Canad. Math. Bull. 54(2011), 297-301

  Published:2011-02-10
 Printed: Jun 2011

We give a new factorisation of the classical Dynkin operator, an element of the integral group ring of the symmetric group that facilitates projections of tensor powers onto Lie powers. As an application we show that the iterated Lie power $L_2(L_n)$ is a module direct summand of the Lie power $L_{2n}$ whenever the characteristic of the ground field does not divide $n$. An explicit projection of the latter onto the former is exhibited in this case.