Details:
Title  Nonassociative Gröbner bases, finitelypresented Lie rings and the Engel condition, II  Author(s)  Willem A., Serena Cicalò  Type  Article in Journal  Abstract  We give an algorithm for constructing a basis and a multiplication table of a finitedimensional finitelypresented Lie ring. Secondly, we give 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. We apply this to construct the freest t generator Lie rings that satisfy the n Engel condition, for ( t , n ) = ( 2 , 3 ) , ( 3 , 3 ) , ( 4 , 3 ) , ( 2 , 4 ) .  Keywords  Nonassociative Gröbner bases, Finitelypresented Lie rings, The n Engel condition  ISSN  07477171 
URL 
http://www.sciencedirect.com/science/article/pii/S0747717108001211 
Language  English  Journal  Journal of Symbolic Computation  Volume  44  Number  7  Pages  786  800  Year  2009  Note  International Symposium on Symbolic and Algebraic Computation  Edition  0  Translation 
No  Refereed 
No 
