Computing Nilpotent Quotients in Finitely Presented Lie Rings
摘要
A nilpotent quotient algorithm for finitely presented Lie rings over Z (LieNQ) is described. The paper studies graded and non-graded cases separately. The algorithm computes the so-called nilpotent presentation for a finitely presented, nilpotent Lie ring. The 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 . Provided that the Lie ring is graded, it is possible to determine the canonical presentation for a lower central factor of . LieNQ's complexity is studied and it is shown that optimizing the presentation is NP-hard. Computational details are provided with examples, timing and some structure theorems obtained from computations. Implementation in C and GAP 3.5 interface is available.
引用
@article{arxiv.math/9604206,
title = {Computing Nilpotent Quotients in Finitely Presented Lie Rings},
author = {Csaba Schneider},
journal= {arXiv preprint arXiv:math/9604206},
year = {2009}
}
备注
DVI and Post-Script files only