Bases for partially commutative Lie algebras
arXiv:1012.1089
Abstract
In this paper, linear bases for the partially commutative Lie algebras are found. The method of the Gröbner--Shirshov bases is used. It easily follows from the structure that the equality problem is algorithmically solvable for the partially commutative Lie algebras.