Computing invariants for finitely presented nilpotent groups

Finitely generated nilpotent groups are finitely presented and residually finite

Definition 1. Let G be a group. G is said to be residually finite if the intersection of all normal subgroups of G of finite index in G is trivial. For a survey of results on residual finiteness and related properties, see Mag-nus, Karrass, and Solitar [6, Section 6.5]. We shall present a proof of the following well known theorem, which is important for Kharlampovich [4, 5]. See also O. V. Bele...

NQ A GAP 4 Package computing nilpotent factor groups of finitely presented groups

Fitting quotients of finitely presented abelian-by-nilpotent groups

We show that every finitely generated nilpotent group of class 2 occurs as the quotient of a finitely presented abelian-by-nilpotent group by its largest nilpotent normal subgroup.

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 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...

nilpotent quotients in finitely presented Lie rings †

A nilpotent quotient algorithm for finitely presented Lie rings over Z (LIENQ) 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...