A Combinatorial Basis for the Free Lie Algebra of the Labelled Rooted Trees

N. Bergeron ; M. Livernet

Journal of Lie theory, Tome 20 (2010) no. 1, pp. 3-15.

Résumé

\def\calT{{\cal T}} \def\calF{{\cal F}} \def\Lie{{\cal {L}}{\it ie}} \def\N{{\Bbb N}} The pre-Lie operad is an operad structure on the species $\calT$ of labelled rooted trees. A result of F. Chapoton shows that the pre-Lie operad is a free twisted Lie algebra over a field of characteristic zero, that is $\calT = \Lie \circ \calF$ for some species $\calF$. Indeed Chapoton proves that any section of the indecomposables of the pre-Lie operad, viewed as a twisted Lie algebra, gives such a species $\calF$. \par In this paper, we first construct an explicit vector space basis of $\calF[S]$ when $S$ is a linearly ordered set. We deduce the associated explicit species $\calF$, solution to the equation $\calT = \Lie \circ \calF$. As a corollary the graded vector space $(\calF[\{1,\ldots,n\}])_{n\in\N}$ forms a sub non-symmetric operad of the pre-Lie operad $\calT$.

Détail

Classification : 18D, 05E, 17B
Mots-clés : Free Lie algebra, rooted tree, pre-Lie operad, Lyndon word