Cyclic subgroup of finite index in $\text{PSL}_2(\mathbb{Z})$

group-theorymodular-group

As the title suggests, I am considering the question of whether $\text{PSL}_2(\mathbb{Z})$ contains any cyclic subgroups of finite index. For this recall that $\text{PSL}_2(\mathbb{Z})$ is the quotient of $\text{SL}_2(\mathbb{Z})$ (the group of all 2×2 matrices with integer coefficients and determinant one) by $\pm I$.

My intuition says such a subgroup should not exist, however, neither do I know how to prove this nor could I find an example of such a group.

Any help is very much appreciated.

Best Answer

$\left( \begin{array}{cc}1&1\\0&1\end{array} \right)^n = \left( \begin{array}{cc}1&n\\0&1\end{array} \right)$ does not commute with $\left( \begin{array}{cc}1&0\\1&1\end{array} \right)^n = \left( \begin{array}{cc}1&0\\n&1\end{array} \right)$ for any $n > 0$, so ${\rm PSL}(2,{\mathbb Z})$ has no abelian subgroup of finite index.

Related Question