Bases for partially commutative Lie algebras (Q694225)

Let \(X\) be a finite set and let \(G=\langle X,E\rangle\) be an indirected graph without loops with vertex set \(X\) and edge set \(E\). For a commutative associative unitary ring \(R\) one defines the partially commutative Lie algebra \({\mathcal L}_R(G)\) as the Lie algebra generated over \(R\) by the set \(X\) and with defining relations \((x_i,x_j)=0\) for all edges \(\{x_i,x_j\}\in E\). By analogy with other partially commutative algebraic systems, partially commutative Lie algebras were introduced in [\textit{G. Duchamp}, Algorithms sur les polynômes en variables non commutatives, Thèse d'Université, LITP Report No. 87--58, Université Paris 7 (1987)]. They were studied in detail in [\textit{G. Duchamp} and \textit{D. Krob}, Adv. Math. 95, No. 1, 92--126 (1992; Zbl 0763.17003)]. In particular, the later paper gives an algorithm to find a basis of the (free) \(R\)-module \({\mathcal L}_R(G)\). This algorithm depends on the partitioning of the graph \(G\). In the paper under review the author gives an explicit description of the basis of \({\mathcal L}_R(G)\) in terms of the Lyndon-Shirshov basis of the free Lie algebra over \(R\). He uses the technique of Gröbner-Shirshov bases. In particular, the author finds the Gröbner-Shirshov basis of the ideal of the free Lie algebra generated by the defining relations of \({\mathcal L}_R(G)\).