{"id":{"repo_id":"auckland-ms","oai_identifier":"oai:researchspace.auckland.ac.nz:2292/68855"},"canonical_url":"https://search.dev.ndltd.org/etd/auckland-ms/oai:researchspace.auckland.ac.nz:2292/68855","repository":{"repo_id":"auckland-ms","name":"University of Auckland","base_url":"https://researchspace.auckland.ac.nz/server/oai/request"},"display":{"title":"New computational methods for analysing finitely-presented groups","abstract":"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.","abstract_html":"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.","abstract_has_math":false,"creators":["Liversidge, Georgina"],"institution":"ResearchSpace@Auckland","degree_name":"PhD","degree_level":"Doctoral","degree_discipline":"Mathematics","degree_department":null,"school":null,"contributors":[],"advisors":["Conder, Marston"],"committee_chairs":[],"committee_members":[],"year":2023,"date_issued":"2023","date_published":"2023","updated_at":"2026-07-24T01:03:18Z","subjects":[],"languages":[],"rights":["Items in ResearchSpace are protected by copyright, with all rights reserved, unless otherwise indicated."],"rights_urls":["https://researchspace.auckland.ac.nz/docs/uoa-docs/rights.htm"],"identifier_entries":[]},"links":{"outbound_url":"https://hdl.handle.net/2292/68855","outbound_label":"Handle","outbound_source":"dc:identifier.uri"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:contributor.advisor","label":"Advisor","values":["Conder, Marston"]},{"key":"dc:creator","label":"Author","values":["Liversidge, Georgina"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date.accessioned","label":"Dc Date Accessioned","values":["2024-06-19T20:42:53Z"]},{"key":"dc:date.available","label":"Dc Date Available","values":["2024-06-19T20:42:53Z"]},{"key":"dc:date.issued","label":"Date","values":["2023"]},{"key":"dc:publisher","label":"Institution","values":["ResearchSpace@Auckland"]},{"key":"dc:type","label":"Dc Type","values":["Thesis"]},{"key":"thesis:degree_discipline","label":"Discipline","values":["Mathematics"]},{"key":"thesis:degree_level","label":"Degree Level","values":["Doctoral"]},{"key":"thesis:degree_name","label":"Degree Name","values":["PhD"]},{"key":"thesis:institution_name","label":"Thesis Institution Name","values":["The University of Auckland"]}]},{"id":"language_rights","label":"Language and Rights","entries":[{"key":"dc:rights","label":"Dc Rights","values":["Items in ResearchSpace are protected by copyright, with all rights reserved, unless otherwise indicated."]},{"key":"dc:rights.uri","label":"Rights URI","values":["https://researchspace.auckland.ac.nz/docs/uoa-docs/rights.htm"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier.uri","label":"Identifier URI","values":["https://hdl.handle.net/2292/68855"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description.abstract","label":"Abstract","values":["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."]},{"key":"dc:title","label":"Title","values":["New computational methods for analysing finitely-presented groups"]}]}],"canonical_facts":{"dc:contributor.advisor":["Conder, Marston"],"dc:creator":["Liversidge, Georgina"],"dc:date.accessioned":["2024-06-19T20:42:53Z"],"dc:date.available":["2024-06-19T20:42:53Z"],"dc:date.issued":["2023"],"dc:description.abstract":["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."],"dc:identifier.uri":["https://hdl.handle.net/2292/68855"],"dc:publisher":["ResearchSpace@Auckland"],"dc:rights":["Items in ResearchSpace are protected by copyright, with all rights reserved, unless otherwise indicated."],"dc:rights.uri":["https://researchspace.auckland.ac.nz/docs/uoa-docs/rights.htm"],"dc:title":["New computational methods for analysing finitely-presented groups"],"dc:type":["Thesis"],"thesis:degree_discipline":["Mathematics"],"thesis:degree_level":["Doctoral"],"thesis:degree_name":["PhD"],"thesis:institution_name":["The University of Auckland"]},"updated_at":"2026-07-24T01:03:18Z"}