Monomial bases and pre-Lie structure for free Lie algebras
In this paper, we construct a pre-Lie structure on the free Lie algebra L(E) generated by a set E, giving an explicit presentation of L(E) as the quotient of the free pre-Lie algebra generated by E, by some ideal I. The main result in this paper is a description of Gr\"obner bases in terms of trees.