Non-associative Gröbner bases, finitely-presented Lie rings and the Engel condition. II (Q1025387)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Non-associative Gröbner bases, finitely-presented Lie rings and the Engel condition. II |
scientific article |
Statements
Non-associative Gröbner bases, finitely-presented Lie rings and the Engel condition. II (English)
0 references
18 June 2009
0 references
Once again, through an isomorphism it is possible to solve a problem using the theory of Gröbner basis. In this occasion, an algorithm for constructing a basis and a multiplication table of a finite-dimensional finitely-presented Lie ring is shown. Secondly, relations that are equivalent to the \(n\)-Engel condition, and only have to be checked for the elements of a basis of a Lie ring, are given. Finally, some \(n\)-Engel Lie rings are computed. Part I, cf. ISSAC 2007. Proceedings of the 32nd international symposium on symbolic and algebraic computation (ISSAC 2007), Waterloo, ON, Canada, July 29--August 1, 2007. New York, NY: Association for Computing Machinery (ACM), 100--107 (2007; Zbl 1189.17001).
0 references
Gröbner bases
0 references
finitely-presented Lie rings
0 references
the \(n\)-Engel condition
0 references