Non-associative Gröbner bases, finitely-presented Lie rings and the Engel condition. II (Q1025387)

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).