arXiv:1802.02000v1 [] 6 Feb 2018

Finite Subgroups of the Extended Modular Group
Gregory Dresden, Prakriti Panthi, Anukriti Shrestha, Jiahao Zhang,
Washington & Lee University, Lexington, VA, USA,
corresponding author: dresdeng@wlu.edu

Abstract
We show that in the extended modular group Γ = PGL(2, Z) there are exactly seven finite subgroups
up to conjugacy; three subgroups of size 2, one subgroup each of size 3, 4, and 6, and the trivial subgroup
of size 1.
Key words: extended modular group, conjugacy class, finite subgroups.

1

Introduction.

We recall that linear fractional transforms (also known as Möbius transforms) are functions of the form
m(x) =

ax + b
cx + d

such that ad − bc 6= 0. These functions form a group under composition, but we will be interested in the
particular group of such functions with integer coefficients a, b, c, d and associated determinant equal to ±1.
We note that the map


ax + b
a b
7−→
φ:
c d
cx + d
is an isomorphism from this group of functions (with integer coefficients ad − bc = ±1) to the projective
matrix group Γ = PGL(2, Z), which is often referred to as the extended modular group. A particularly nice
feature of this isomorphism is that composition of functions can be re-written in terms of multiplication of
matrices. In what follows, we will use the function notation and the matrix notation interchangeably, with
the further understanding that
ax + b
cx + d
and likewise we understand that


a
c

b
d



is the same as

is the same as

−ax − b
,
−cx − d



−a −b
−c −d


.

Although much has been written about this extended modular group (see, for example, [2, 3, 4, 5]), we
are interested in the following question: what are the possible finite subgroups of Γ = PGL(2, Z), up to
conjugacy? The answer can be found by carefully utilizing two previous results from 2003 and 2004.
1

2

2

Statement of Main Result.

This first theorem, by Yılmaz Özgür and Şahin [6, Theorem 2.3], comes from considering the presentation
of Γ as a free group with three generators, and it gives us elements in Γ of finite order, up to conjugacy.
Theorem 1 (Yılmaz Özgür, Şahin). There are exactly four conjugacy classes for non-trivial elements of
finite order in Γ. Every element of order two is conjugate to either 1/x or −x or −1/x, and every element
of order three is conjugate to −1/(x + 1).
This second result, derived from a paper by Dresden [1], comes from considering the finite symmetry
groups of the sphere, and it gives us subgroups in Γ of finite order, up to isomorphism.
Theorem 2. There are exactly four isomorphism classes for non-trivial subgroups of finite order in Γ. Every
such subgroup is isomorphic to either one of the cyclic groups C2 , C3 , or one of the dihedral groups D2 , D3 ,
of sizes 2, 3, 4, and 6 respectively.
(We will prove this theorem in a moment.) We will be able to combine these two theorems to prove our
main result, which we state here.
Theorem 3. Any finite non-trivial subgroup of Γ = PGL(2, Z) is of size two, three, four, or six. The
groups of size two are conjugate in Γ to either {x, −x} or {x, 1/x} or {x, −1/x}. All groups of size three in
Γ = PGL(2, Z) are conjugate in Γ to


−x − 1
−1
.
,
G3 = x,
x+1
x
Likewise, all groups of size four are conjugate to


1
−1
G4 = x, , −x,
.
x
x
and all groups of size six are conjugate to


−1
−x − 1 1
−x
G6 = x,
,
,
,
, −x − 1 .
x+1
x
x x+1

3

Proofs

Proof of Theorem 2. While Γ = PGL(2, Z) consists of linear fractional transforms (ax + b)/(cx + d) with
integer coefficients and determinant ad − bc = ±1, we can also define the larger group PGL(2, Q) to be all
such linear fractional transforms with integer coefficients but with determinant ad − bc 6= 0. By Theorem 1
of [1], we learn that all non-trivial finite subgroups of PGL(2, Q) are isomorphic to either C2 , C3 , C4 , C6 , D2 ,
D3 , D4 , or D6 . From Lemma 1 of the same paper, we learn that all finite elements of order 4 are conjugate
2x − 1
x−1
, and those of order 6 are conjugate (again, in PGL(2, Q)) to
. Since these
(in PGL(2, Q)) to
x+1
x+1
have determinants 2 and 3 respectively, and since multiplication in PGL(2, Q) can change the determinant
only up to a square factor, we can conclude that there can be no elements in PGL(2, Z) of order 4 or 6. This
eliminates from consideration the groups C4 , C6 , D4 , and D6 .
It remains to show that the groups C2 , C3 , D2 , and D3 are realizable in Γ = PGL(2, Z). The cyclic group

3
C2 can be realized by {x, −x}, and C3 , D2 , and D3 are represented by the groups G3 , G4 , and G6 in Theorem
3.
The following proposition is essential to our proof, and will allow us to stitch together Theorems 1 and
2.
Proposition 1. If a subgroup of Γ = PGL(2, Z) contains −x and is of size 4, then it must equal G4 .
Likewise, if a subgroup of Γ = PGL(2, Z) contains −1/(x + 1) and is of size 6, then it must equal G6 .
Proof. Suppose F4 is a subgroup of size 4 in Γ = PGL(2, Z) that contains −x and some other function
ax + b
different from x and −x. We know from Theorem 2 that F4 is dihedral, which means
p(x) =
cx + d
F4 = {x, p(x), −x, p(−x)}.
In particular, p(p(x)) is required to equal x, and p(−x) must equal −p(x). From the first requirement we
get the matrix equation



 2
1 0
a + bc ab + bd
,
(1)
= ±
0 1
ac + cd d2 + bc
and from the second requirement we obtain the equation


−a
−c

b
d



= ±



−a −b
c
d


.

(2)

We consider the two options from the above equation. If we have the “+” in the ± in equation (2), then
b = c = 0, which means equation (1) gives us a2 = 1 and d2 = 1, and so p(x) is either x or −x, a contradiction
to out assumption. On the other hand, if we have the “−” in the ± in equation (2), then a = d = 0, which
means equation (1) gives us bc = ±1, which implies p(x) is either 1/x or −1/x. Either way, we get that F4
is identical to G4 .
Now, suppose F6 is a subgroup of size 6 in Γ = PGL(2, Z) that contains m(x) = −1/(x + 1). From
ax + b
of
Theorem 2 we know that F6 is dihedral, and hence it must also contain some function p(x) =
cx + d
order two, such that
F6 = {x, m(x), m(m(x)), p(x), p(m(x)), m(p(x))}.
In particular, p(p(x)) is required to equal x, and p(m(x)) must equal m(m(p(x)). The first requirement gives
us equation (1), and from the second requirement we obtain the equation


b −a + b
d −c + d



= ±



−a − c
a

−b − d
b


.

(3)

If we have the “+” in the ± in equation (3), we quickly solve to find a = b = c = d = 0, a contradiction to
ad − bc = ±1. On the other hand, if we have the “−” in the ± in equation (3), then we get b = a + c and
d = −a, which when substituted into ad − bc = ±1 becomes a2 − ac + c2 = ∓1, and this only has a solution
for a2 − ac + c2 = 1; we also get from equation (1) that a2 + ac + c2 = 1, and combining these two equations
and enumerating the possible values for a and c leads us to conclude that p(x) is either −x − 1, or 1/x, or
−x/(x + 1). In all cases, we get that F6 is identical to G6 .
It is now an easy matter to prove our main result.

4
Proof of Theorem 3. The case for groups of size two and three follows immediately from Theorem 1. If G is
a group of size four, then by Theorem 2 it is dihedral with three elements of order two; by Theorem 1 one of
those elements is conjugate to −x and so we can conjugate our group G to get a new group G′ containing
−x; by Proposition 1 this new group G′ must equal G4 . Finally, if G is a group of size 6, then by Theorem
2 it is dihedral with an element of order three; by Theorem 1 we can conjugate it to get a new group G′
containing −1/(x + 1), and by Proposition 1 this new group G′ must equal G6 .

References
[1] G. P. Dresden, There Are Only Nine Finite Groups of Linear Fractional Transformas with Integer
Coefficients, Math. Mag., 77 (2004), pp. 211–218.
[2] G. A. Jones and J. S. Thornton, Automorphisms and congruence subgroups of the extended modular
group, J. London Math. Soc. (2), 34 (1986), pp. 26–40.
[3] R. S. Kulkarni, An arithmetic-geometric method in the study of the subgroups of the modular group,
Amer. J. Math., 113 (1991), pp. 1053–1133.
[4] R. Şahin, S. İkikardeş, and O. Koruoğlu, On the power subgroups of the extended modular group
Γ, Turkish J. Math., 28 (2004), pp. 143–151.
[5] D. Singerman, PSL(2, q) as an image of the extended modular group with applications to group actions
on surfaces, Proc. Edinburgh Math. Soc. (2), 30 (1987), pp. 143–151. Groups—St. Andrews 1985.
[6] N. Yılmaz Özgür and R. Şahin, On the extended Hecke groups H(λq ), Turkish J. Math., 27 (2003),
pp. 473–480.

