Gröbner-Shirshov bases for some Lie algebras
arXiv:1305.4546
Abstract
We give Gröbner-Shirshov bases for Drinfeld-Kohno Lie algebra in \cite{[Et]} and Kukin Lie algebra in \cite{Kukin}, where is a semigroup. As applications, we show that as -module is free and a -basis of is given. We give another proof of Kukin Theorem: if semigroup has the undecidable word problem then the Lie algebra has the same property.
10 pages. arXiv admin note: substantial text overlap with arXiv:1303.5366