Computing nilpotent quotients in finitely presented Lie rings
@article{Schneider1997ComputingNQ, title={Computing nilpotent quotients in finitely presented Lie rings}, author={C. Schneider}, journal={Discret. Math. Theor. Comput. Sci.}, year={1997}, volume={1}, pages={1-16} }
A nilpotent quotient algorithm for finitely presented Lie rings over \textbfZ (and \textbfQ) is described. The paper studies the graded and non-graded cases separately. The algorithm computes the so-called nilpotent presentation for a finitely presented, nilpotent Lie ring. A nilpotent presentation consists of generators for the abelian group and the products expressed as linear combinations for pairs formed by generators. Using that presentation the word problem is decidable in L. Provided… CONTINUE READING
Topics from this paper
6 Citations
Non-associative Gröbner bases, finitely-presented Lie rings and the Engel condition, II
- Mathematics, Computer Science
- J. Symb. Comput.
- 2009
- 3
Non-associative gröbner bases, finitely-presented lie rings and the engel condition
- Mathematics, Computer Science
- ISSAC '07
- 2007
- 3
- PDF
The Homotopy Lie Algebra of a Complex Hyperplane Arrangement Is Not Necessarily Finitely Presented
- Mathematics, Computer Science
- Exp. Math.
- 2008
- 11
- Highly Influenced
- PDF
References
SHOWING 1-10 OF 29 REFERENCES
A Nilpotent Quotient Algorithm for Graded Lie Rings
- Mathematics, Computer Science
- J. Symb. Comput.
- 1990
- 42
- PDF
Computation with finitely presented groups
- Mathematics, Computer Science
- Encyclopedia of mathematics and its applications
- 1994
- 408
- Highly Influential
I. On systems of linear indeterminate equations and congruences
- Mathematics
- Proceedings of the Royal Society of London
- 1862
- 163