Subgroups of some (2, 3, n) triangle groups

Stephenson, Philip Charles Robertson (1992) Subgroups of some (2, 3, n) triangle groups. PhD thesis, University of Glasgow.

Full text available as:
[img]
Preview
PDF
Download (4MB) | Preview

Abstract

As an abstract group, the (2,3,n) triangle group has the presentation mit _n = < x,y : x^2 = y^3 = (yx)^n = 1 > This thesis is concerned with subgroups of finite index in mit 9, mit _11 and mit 13. With a subgroup of finite index, u, in the (2,3,11) triangle group, we associate a quintuple of non-negative integers (u,p,e,f,g), with u 1 and 5u = 132(p - 1) + 33e + 44f + 60g. We show in Theorem 1.4.6 that each quintuple, satisfying the conditions, corresponds to a subgroup of mit 11. With a subgroup of finite index, u, in the (2,3,12) triangle group, we associate a quintuple of non-negative integers (u,p,e,f,g), with u 1 and 7u = 156(p - 1) + 39e + 52f + 72g. We show in Theorem 3.3.6 that each quintuple, satisfying the conditions, corresponds to a subgroup of mit 13. With a subgroup of finite index, u, in the (2,3,9) triangle group, we associate a sextuple of non-negative integers (u,p,e,f,g1,g3) with u 1, u = f (mod 3) and u = 36(p - 1) + 9e + 12f + 16g_1 + 12g_3. We show in Theorem 2,3,9 that each sextuple, satisfying the conditions, corresponds to a subgroup of mit 9 with the following exceptions: (a) (12n+ 9,0,1,0,0,n+ 3), V n 0 (b) (24,0,0,0,0,5) (c) (24,0,0,0,3,1) (d) (24,0,0,3,0,2) Coset diagrams are used extensively in the proofs, although to prove exception (a) for mit 9, we make use of Hauptmodul equations (see [1] and [23]). Computer programs were developed to generate all quintuples satisfying the relevant conditions for (2,3,110 subgroups for u 101, all quintuples satisfying the relevant conditions for (2,3,13) subgroups for u 110, and all sextuples satisfying the relevant conditions for (2,3,9) subgroups for u 38. These programs and their output are presented in the Appendices. We show in Theorem 1.2.2 that quintuples, which satisfy the relevant (2,3,11) conditions, exist for each u 99. We show in Theorem 2.2.1 that sextuples, which satisfy the relevant (2,3,9) conditions, exist for each u 36. We show in Theorem 3.2.1 that quintuples, which satisfy the relevant (2,3,13) conditions, exist for each u 104.

Item Type: Thesis (PhD)
Qualification Level: Doctoral
Subjects: Q Science > QA Mathematics
Colleges/Schools: College of Science and Engineering > School of Mathematics and Statistics > Mathematics
Funder's Name: UNSPECIFIED
Supervisor's Name: Stothers, Dr. W.W.
Date of Award: 1992
Depositing User: Mrs Marie Cairney
Unique ID: glathesis:1992-3054
Copyright: Copyright of this thesis is held by the author.
Date Deposited: 07 Dec 2011
Last Modified: 05 Feb 2014 11:03
URI: http://theses.gla.ac.uk/id/eprint/3054

Actions (login required)

View Item View Item