Gröbner-Shirshov bases for Lie superalgebras and their universal enveloping algebras (Q1305008)

Up till now, the Gröbner bases techniques have shown their efficiency in the computational theory of associative algebras, in both commutative and noncommutative cases. It has turned out that similar ideas appeared in the work of the Russian mathematician Shirshov on algorithmic problems for Lie algebras in the beginning of the 60's, even earlier than the notion of Gröbner basis in commutative algebra. Recently several authors, including L. A. Bokut, have suggested to use the notion of Gröbner-Shirshov basis instead of Gröbner basis, at least for noncommutative and for Lie algebras. In the paper under review the authors develop the theory of Gröbner-Shirshov bases for Lie superalgebras. Their main result is that the Gröbner-Shirshov basis for a Lie superalgebra coincides with the Gröbner-Shirshov basis of its universal enveloping algebra. This is a superanalogue of a recent result on ordinary Lie algebras by two of the authors [\textit{L. Bokut} and \textit{P. Malcolmson}, Gröbner-Shirshov bases for relations of a Lie algebra and its enveloping algebra, in K.-P. Shum, E. J. Taft, Z.-X. Wan (eds.), Algebras and Combinatorics: An International Congress, ICAC '97, Hong Kong, Springer-Verlag (1999); see also \textit{P. Lalonde} and \textit{A. Ram}, Trans. Am. Math. Soc. 347, 1821-1830 (1995; Zbl 0833.17003)] for an implicit version of the ordinary case). As applications the authors investigate the Gröbner-Shirshov bases for Kac-Moody superalgebras and give the explicit construction for the Gröbner-Shirshov bases for classical Lie superalgebras.