Abstract:
We give Gröbner–Shirshov bases for the Drinfeld–Kohno Lie algebra $\mathbf L_n$ in [1] and the Kukin Lie algebra $A_P$ in [2], where $P$ is a semigroup. By way of application, we show that $\mathbf L_n$ is free as a $\mathbb Z$-module and exhibit a $\mathbb Z$-basis for $\mathbf L_n$. We give another proof of the Kukin Theorem: If $P$ has the undecidable word problem then so is$A_P$.
Keywords:Gröbner–Shirshov basis, Lie algebra, Drinfeld–Kohno Lie algebra, word problem, semigroup.