New computational methods for analysing finitely-presented groups

In this thesis, we describe three new and/or improved methods for the analysis of finitely-presented groups and show their usefulness in a variety of contexts. The first procedure creates a labelled coset graph which can be used for rewriting and also for finding expressions for subgroup elements in terms of given generators. We use this procedure to find nice generating sets for torsion-free subgroups of finite index in ordinary triangle groups, with implications for the study of regular maps and automorphism groups of compact Riemann surfaces. Our second procedure is an improvement of the package PEACE by Havas and Ramsay. This package uses coset enumeration to find a proof for subgroup inclusion, by way of a proof word (which is a sequence of the elements of the supergroup and various brackets indicating two methods of simplification, the equality of which proves the inclusion). We use this procedure to find new generating sets and presentations for the special linear group SL(3, Z). Finally, we give a version of the low-index subgroups algorithm with added capabilities for finding specific types of subgroups by way of avoiding the inclusion of specified words. We use this algorithm to find torsion-free subgroups of Coxeter groups, with implications for the construction of hyperbolic manifolds.

Name thesis:degree_name

PhD

Level thesis:degree_level

Doctoral

Discipline thesis:degree_discipline

Mathematics

Grantor dc:publisher

ResearchSpace@Auckland

Year dc:date.issued

2023

Author dc:creator

• Liversidge, Georgina

Advisor dc:contributor.advisor

• Conder, Marston

Statement dc:rights

• Items in ResearchSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

Licence dc:rights.uri

• https://researchspace.auckland.ac.nz/docs/uoa-docs/rights.htm

Handle dc:identifier.uri

https://hdl.handle.net/2292/68855

OAI identifier oai:identifier

oai:researchspace.auckland.ac.nz:2292/68855