ePrints

Computing subgroup presentations, using the coherence arguments of McCammond and Wise

Lookup NU author(s): Oliver Payne, Professor Sarah Rees

Downloads

• Published version [.pdf]

Abstract

We describe an algorithm which may be used to compute a finite presentation of a finitely generated subgroup of a finitely presented group G, provided that G satisfies appropriate hypotheses. The algorithm is based on an algorithm of McCammond and Wise, but is extended to cover a wider class of groups, including all those satisfying the path reduction or weak 2-cell reduction hypotheses of McCammond and Wise. The proofs of correctness of our algorithm emerge from McCammond and Wise' own proofs that their hypotheses imply coherence of the groups satisfying them. We also demonstrate that the algorithm may be extended further to cover groups satisfying appropriate conditions on fans (strings of 2-cells) within disc diagrams. The core of this work originally appeared in the PhD thesis of the first author. © 2006 Elsevier Inc. All rights reserved.

Publication metadata

Author(s): Payne O, Rees S

Publication type: Article

Publication status: Published

Journal: Journal of Algebra

Year: 2006

Volume: 300

Issue: 1

Pages: 109-133

ISSN (print): 0021-8693

ISSN (electronic): 1090-266X

Publisher: Academic Press

URL: http://dx.doi.org/10.1016/j.jalgebra.2006.01.041

DOI: 10.1016/j.jalgebra.2006.01.041

Notes: Computational Algebra Special Issue Celebrating the 65th birthday of Charles Leedham-Green

Altmetrics

Share