Maximal subgroups of the modular and other groups

Abstract

In 1933 B. H. Neumann constructed uncountably many subgroups of SL 2 (Z) {{\rm SL}-{2}(\mathbb{Z})} which act regularly on the primitive elements of Z 2 {\mathbb{Z}^{2}}. As pointed out by Magnus, their images in the modular group PSL 2 (Z) ≅ C 3 ∗ C 2 {{\rm PSL}-{2}(\mathbb{Z})\cong C-{3}∗C-{2}} are maximal nonparabolic subgroups, that is, maximal with respect to containing no parabolic elements. We strengthen and extend this result by giving a simple construction using planar maps to show that for all integers p ≥ 3 {p\geq 3}, q ≥ 2 {q\geq 2} the triangle group Γ = Δ (p, q, ∞) ≅ C p ∗ C q {\Gamma=\Delta(p,q,\infty)\cong C-{p}∗C-{q}} has uncountably many conjugacy classes of nonparabolic maximal subgroups. We also extend results of Tretkoff and of Brenner and Lyndon for the modular group by constructing uncountably many conjugacy classes of such subgroups of Γ which do not arise from Neumann's original method. These maximal subgroups are all generated by elliptic elements, of finite order, but a similar construction yields uncountably many conjugacy classes of torsion-free maximal subgroups of the Hecke groups C p ∗ C 2 {C-{p}∗C-{2}} for odd p ≥ 3 {p\geq 3}. Finally, an adaptation of work of Conder yields uncountably many conjugacy classes of maximal subgroups of Δ (2, 3, r) {\Delta(2,3,r)} for all r ≥ 7 {r\geq 7}.

More information

Identifiers

Catalogue record

Export record

ASCII CitationAtomBibTeXData Cite XMLDublin CoreDublin CoreEP3 XMLEndNoteHTML CitationHTML CitationHTML ListJSONMETSMODSMPEG-21 DIDLOpenURL ContextObjectOpenURL ContextObject in SpanRDF+N-TriplesRDF+N3RDF+XMLRIOXX2 XMLReferReference ManagerSimple Metadata

Altmetrics