2
$\begingroup$

The Hecke group of level two, $\Gamma_{0}(2)$, is an index-$2$ subgroup of the Fricke group of level two, $\Gamma_{0}^{+}(2)$, i.e. $\left[\Gamma_{0}^{+}(2):\Gamma_{0}(2)\right] = 2$. The index of $\Gamma_{0}(2)$ in the modular group, $\text{SL}(2,\mathbb{Z})$ is $\left[\text{SL}(2,\mathbb{Z}):\Gamma_{0}(2)\right] = 3$. Using the multiplicative property of indices, we find that the index of $\Gamma_{0}^{+}(2)$ in the modular group turns out to be fractional, i.e. $$\mu = \left[\text{SL}(2,\mathbb{Z}):\Gamma_{0}^{+}(2)\right] = \frac{\left[\text{SL}(2,\mathbb{Z}):\Gamma_{0}(2)\right]}{\left[\Gamma_{0}^{+}(2):\Gamma_{0}(2)\right]} = \frac{3}{2}.$$ How can this be given that the indices of all other Fricke groups (of prime levels) in the modular group are integers?

$\endgroup$

1 Answer 1

3
$\begingroup$

$\Gamma_0^+(2)$ is not a subgroup of ${\rm SL}_2(\mathbb{Z})$: the elements of $\Gamma_0^+(2)$ not in $\Gamma_0(2)$ are fractional linear transformations such as $z \mapsto -1/(2z)$ that are represented by integer matrices (such as $\left(0\;-1\atop2\;\phantom-0\right)$) of determinant $2$. [Likewise for $\Gamma_0^+(p)$ with $p$ an odd prime, even though the "index" $(p+1)/2$ turns out to be an integer in that case.]

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.