ABSTRACT
Let A be a brace algebra. This structure implies that A is also a pre-Lie algebra. In this paper, we establish Composition-Diamond lemma for brace algebras. For each pre-Lie algebra L, we find a Gröbner–Shirshov basis for its universal brace algebra Ub(L). As applications, we determine an explicit linear basis for Ub(L) and prove that L is a pre-Lie subalgebra of Ub(L).
Acknowledgment
We are thankful to Leonid Bokut and Vladimir Dotsenko for useful remarks on a draft version of this paper and references to literature.