Title: Lie Algebras and Superalgebras Defined by a Finite Number of Relations: Computer Analysis
Abstract: The presentation of Lie (super)algebras by a finite set of generators and defining relations is one of the most general mathematical and algorithmic schemes of their analysis.It is very important, for instance, for investigation of the particular Lie (super)algebras arising in different (super)symmetric physical models.Generally, one can put the following question: what is the most general Lie algebra or superalgebra satisfying to the given set of Lie polynomial equations?To solve this problem, one has to perform a large volume of algebraic transformations which sharply increases with growth of the number of generators and relations.By this reason, in practice, one needs to use a computer algebra tool.We describe here an algorithm and its implementation in C for constructing the bases of finitely presented Lie (super)algebras and their commutator tables.