Computing with abelian sections of finitely presentedgroups.
Derek F. Holt and Sarah Rees
Keywords algorithms, finitely presented groups, computing quotients
Status Published in J. Algebra 214 (1999) 714--728.
Let $G$ be a finitely presented group.
This paper describes the theory and practice of a method for
obtaining information about the finite and abelian-by-finite quotients
of $G$, which often allows computation further down into the group than has
been possible by more traditional methods.
The paper also describes the authors' software package \quotpic,
which provides a user-friendly implementation of the
algorithms involved in this method, as part of a complete range
of facilities for computing various types of quotients of finitely
The preprint is available as gzipped
dvi (24 kB) and
postscript (85 kB) files.
Alternatively, you can request a copy by
23 September 1997.