Monomial bases and pre-Lie structure for free Lie algebras
arXiv:1708.08312
Abstract
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öbner bases in terms of trees.