Number of Subgroups of Index m

Click For Summary
The discussion centers on exploring the number of subgroups of index m in SL(2,Z) and suggests using congruence subgroups or examining SL(2,Z) through its action on the projective line over integers modulo n. The complexity of the problem prompts a request for guidance on applicable theorems and techniques from the referenced paper. The paper indicates focusing on matrices S, T, and U, as well as elements of finite order to tackle the issue. Overall, the conversation seeks deeper insights into subgroup structures within SL(2,Z).
cyclic
Messages
3
Reaction score
1
Homework Statement
The special linear group ##SL(2, \mathbb{Z})## over ##\mathbb{Z}## is the multiplicative group consisting of all ##2 \times 2## matrices with entries in ##\mathbb{Z}## and determinant ##1##; that is,

$$
SL(2, \mathbb{Z}) = \left\{ \begin{pmatrix} a & b \\ c & d \end{pmatrix} : a, b, c, d \in \mathbb{Z} \text{ and } ad - bc = 1 \right\}.
$$

Let ##G## be the quotient group ##SL(2, \mathbb{Z}) / \{\pm I\}##, where ##I## is the ##2 \times 2## identity matrix. Find with proof the number of subgroups of ##G## of index ##m## for each ##m \in \{2, 3, 4, 5, 6\}##.
Relevant Equations
Let ##G## be a group and ##H## be a subgroup of ##G##. The index of ##H## in ##G##, denoted ##[G : H]##, is the number of distinct left cosets of ##H## in ##G##. That is,
$$
[G : H] = \frac{|G|}{|H|},
$$
if ##G## is finite. For infinite groups, ##[G : H]## is the cardinality of the set of left cosets:
$$
[G : H] = |\{gH : g \in G\}|.
$$
Perhaps we can use congruence subgroups here? Or perhaps we can study SL(2,Z) using its action on the projective line over the integers modulo n? I'm pretty stumped and would appreciate any help.
 
Physics news on Phys.org
I searched the internet to find some information about what subgroups of ##\operatorname{SL}(2,\mathbb{Z})## look like and found https://kconrad.math.uconn.edu/blurbs/grouptheory/SL(2,Z).pdf.

The problem appears somewhat complex so I wondered which theorems and techniques your source provides to approach it. Anyway, the above paper suggests that you consider the matrices ##S,T## and ##U## and generally elements of finite order.
 
First, I tried to show that ##f_n## converges uniformly on ##[0,2\pi]##, which is true since ##f_n \rightarrow 0## for ##n \rightarrow \infty## and ##\sigma_n=\mathrm{sup}\left| \frac{\sin\left(\frac{n^2}{n+\frac 15}x\right)}{n^{x^2-3x+3}} \right| \leq \frac{1}{|n^{x^2-3x+3}|} \leq \frac{1}{n^{\frac 34}}\rightarrow 0##. I can't use neither Leibnitz's test nor Abel's test. For Dirichlet's test I would need to show, that ##\sin\left(\frac{n^2}{n+\frac 15}x \right)## has partialy bounded sums...