# A Nilpotent Quotient Algorithm for Certain Infinitely Presented Groups and its Applications

@article{Bartholdi2008ANQ, title={A Nilpotent Quotient Algorithm for Certain Infinitely Presented Groups and its Applications}, author={Laurent Bartholdi and Bettina Eick and Ren{\'e} Hartung}, journal={Int. J. Algebra Comput.}, year={2008}, volume={18}, pages={1321-1344} }

We describe a nilpotent quotient algorithm for a certain class of infinite presentations: the so-called finite L-presentations. We then exhibit finite L-presentations for various examples and report on the application of our nilpotent quotient algorithm to them. As a result, we obtain conjectural descriptions of the lower central series structure of various interesting groups including the Grigorchuk supergroup, the Brunner–Sidki–Vieira group, the Basilica group, certain generalizations of the…

## 17 Citations

Approximating the Schur multiplier of certain infinitely presented groups via nilpotent quotients

- Mathematics
- 2010

We describe an algorithm for computing successive quotients of the Schur multiplier M ( G ) of a group G given by an invariant finite L -presentation. As applications, we investigate the Schur…

Coset Enumeration for certain Infinitely Presented Groups

- MathematicsInt. J. Algebra Comput.
- 2011

This algorithm shows that the subgroup membership problem for finite index subgroups in a finitely $L$-presented group is decidable.

Computing Polycyclic Quotients of Finitely (L-)Presented Groups via Groebner Bases

- MathematicsICMS
- 2010

We announce the development and implementation of a new GAP package PCQL. This facilitates the computation of consistent polycyclic presentations for polycyclic quotients of groups defined by a…

Algorithms for finitely L-presented groups and their applications to some self-similar groups

- Mathematics
- 2013

A Reidemeister-Schreier theorem for finitely $L$-presented groups

- Mathematics
- 2011

We prove a variant of the well-known Reidemeister-Schreier theorem for finitely $L$-presented groups. More precisely, we prove that each finite index subgroup of a finitely $L$-presented group is…

Refined solvable presentations for polycyclic groups

- Mathematics
- 2011

We describe a new type of presentation that, when consistent, describes a polycyclic group. This presentation is obtained by refining a series of normal subgroups with abelian sections.…

Investigating self-similar groups using their finite $L$-presentation

- Mathematics
- 2012

Self-similar groups provide a rich source of groups with interesting properties; e.g., infinite torsion groups (Burnside groups) and groups with an intermediate word growth. Various self-similar…

A Note on Invariantly Finitely $L$-Presented Groups

- Mathematics
- 2012

In the first part of this note, we introduce Tietze transformations for $L$-presentations. These transformations enable us to generalize Tietze's theorem for finitely presented groups to invariantly…

Automorphisms of free groups . I — erratum

- Mathematics
- 2016

I report an error in Theorem A of Automorphisms of free groups. I , New York J. Math. 19 (2013), 395–421, where it was claimed that two filtrations of the group of IA automorphisms of a free group…

On the Basilica Operation

- Mathematics
- 2021

Inspired by the Basilica group B, we describe a general construction which allows us to associate to any group of automorphisms G ď AutpT q of a rooted tree T a family of Basilica groups BasspGq, s P…

## References

SHOWING 1-10 OF 52 REFERENCES

A finitely generated, infinitely related group with trivial multiplicator

- MathematicsBulletin of the Australian Mathematical Society
- 1971

We exhibit a 3-generator metabelian group which is not finitely related but has a trivial multiplicator. 1. The purpose of this note is to establish the exitense of a finitely generated group which…

Chen Lie algebras

- Mathematics
- 2004

The Chen groups of a finitely presented group G are the lower central series quotients of its maximal metabelian quotient G/G″. The direct sum of the Chen groups is a graded Lie algebra, with bracket…

Wreath products and p–groups

- MathematicsMathematical Proceedings of the Cambridge Philosophical Society
- 1959

The wreath product is a useful method for constructing new soluble groups from given ones (cf. P. Hall (3)). Now although the wreath product of one soluble group by another is (obviously) always…

Lie Methods in Growth of Groups and Groups of Finite Width

- Mathematics
- 2000

In the first, mostly expository, part of this paper, a graded Lie algebra is associated to every group G given with an N-series of subgroups. The asymptotics of the Poincare series of this algebra…

A just-nonsolvable torsion-free group defined on the binary tree

- Mathematics
- 1999

Abstract A two-generator torsion-free subgroup of the group of finite-state automorphisms of the binary tree is constructed having the properties of being just-nonsolvable and residually…

On Parabolic Subgroups and Hecke Algebras of Some Fractal Groups

- Mathematics
- 1999

We study the subgroup structure, Hecke algebras, quasi-regular representations, and asymptotic properties of some fractal groups of branch type. We introduce parabolic subgroups, show that they are…

Lie Algebras and Growth in Branch Groups

- Mathematics
- 2001

We compute the structure of the Lie algebras associated to two examples of branch groups, and show that one has finite width while the other, the ``Gupta-Sidki group'', has unbounded width. This…

Lower central series of a group of tree automorphisms

- Mathematics
- 1996

The lower central series of the Grigorchuk 3-generated 2-group is described; the indices of the factors of this series are calculated. The nilpotent length and solvability length of the factors by…