Gr\'obner--Shirshov bases: from incipiency to nowdays
Zapiski Nauchnykh Seminarov POMI, Problems in the theory of representations of algebras and groups. Part 7, Tome 272 (2000), pp. 26-67
Voir la notice de l'article provenant de la source Math-Net.Ru
In this paper we present a history and the main results of the Gróbner–Shirshov bases theory for commutative, non-commutative, Lie and conformal algebras from the beginning (1962) up to nowadays. We consider the problem of constructing free Lie algebra basis, structure of free products of Lie algebras, word problem for Lie algebras, embedding of arbitrary Lie algebra into algebraically closed one. The contemporary form of Composition–Diamond lemma (CD-lemma) is adduced. The rewriting systems for groups are considered from the Gróbner–Shirshov bases theory point of view. The important role is devoted to conformal algebras, we present a statement of CD-lemma for associative conformal algebras, some examples are
considered. The analogue of Hilbert basis theorem for commutative conformal algebras is stated.
@article{ZNSL_2000_272_a2,
author = {L. A. Bokut' and P. S. Kolesnikov},
title = {Gr\'obner--Shirshov bases: from incipiency to nowdays},
journal = {Zapiski Nauchnykh Seminarov POMI},
pages = {26--67},
publisher = {mathdoc},
volume = {272},
year = {2000},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/ZNSL_2000_272_a2/}
}
L. A. Bokut'; P. S. Kolesnikov. Gr\'obner--Shirshov bases: from incipiency to nowdays. Zapiski Nauchnykh Seminarov POMI, Problems in the theory of representations of algebras and groups. Part 7, Tome 272 (2000), pp. 26-67. http://geodesic.mathdoc.fr/item/ZNSL_2000_272_a2/