Non-associative gröbner bases, finitely-presented lie rings and the engel condition

@inproceedings{Cical2007NonassociativeGB,
  title={Non-associative gr{\"o}bner bases, finitely-presented lie rings and the engel condition},
  author={Serena Cical{\`o} and Willem A. de Graaf},
  booktitle={ISSAC},
  year={2007}
}
We give an algorithm for constructing a basis and a multiplication table of a finite-dimensional finitely-presented Liering. We apply this to construct the biggest <i>t</i> generator Lie rings that satisfy the <i>n</i>-Engel condition, for (<i>t</i>,<i>n</i>) = (<i>t</i>,2), (2,3), (3,3), (2,4). 

Topics from this paper.

Citations

Publications citing this paper.