Maximal subgroups of the modular and other groups

From MaRDI portal




Abstract: In 1933 B.~H.~Neumann constructed uncountably many subgroups of mSL2(mathbbZ) which act regularly on the primitive elements of mathbbZ2. As pointed out by Magnus, their images in the modular group mPSL2(mathbbZ)congC3C2 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 pge3, qge2 the triangle group Gamma=Delta(p,q,infty)congCpCq 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 Gamma 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 CpC2 for odd pge3. Finally, an adaptation of work of Conder yields uncountably many conjugacy classes of maximal subgroups of Delta(2,3,r) for all rge7.









This page was built for publication: Maximal subgroups of the modular and other groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q667024)