Geodesic
Computing nilpotent quotients in finitely presented Lie rings
Discrete mathematics & theoretical computer science, Tome 1 (1997).

Voir la notice de l'article provenant de la source Episciences

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 that the Lie ring L is graded, it is possible to determine the canonical presentation for a lower central factor of L. Complexity is studied and it is shown that optimising the presentation is NP-hard. Computational details are provided with examples, timing and some structure theorems obtained from computations. Implementation in C and GAP interface are available. 
@article{DMTCS_1997_1_a3,
     author = {Schneider, Csaba},
     title = {Computing nilpotent quotients in finitely presented {Lie} rings},
     journal = {Discrete mathematics & theoretical computer science},
     publisher = {mathdoc},
     volume = {1},
     year = {1997},
     doi = {10.46298/dmtcs.234},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.46298/dmtcs.234/}
}
TY  - JOUR
AU  - Schneider, Csaba
TI  - Computing nilpotent quotients in finitely presented Lie rings
JO  - Discrete mathematics & theoretical computer science
PY  - 1997
VL  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/articles/10.46298/dmtcs.234/
DO  - 10.46298/dmtcs.234
LA  - en
ID  - DMTCS_1997_1_a3
ER  - 
%0 Journal Article
%A Schneider, Csaba
%T Computing nilpotent quotients in finitely presented Lie rings
%J Discrete mathematics & theoretical computer science
%D 1997
%V 1
%I mathdoc
%U http://geodesic.mathdoc.fr/articles/10.46298/dmtcs.234/
%R 10.46298/dmtcs.234
%G en
%F DMTCS_1997_1_a3
Schneider, Csaba. Computing nilpotent quotients in finitely presented Lie rings. Discrete mathematics & theoretical computer science, Tome 1 (1997). doi : 10.46298/dmtcs.234. http://geodesic.mathdoc.fr/articles/10.46298/dmtcs.234/

Cité par Sources :