Modular Group Gamma0

Let q be a positive integer, then is defined as the set of all matrices in the modular group gamma with . is a subgroup of . For any prime p, the set


is a fundamental region of the subgroup , where and (Apostol 1997).

 

Modular Group Gamma, Modular Group Lambda, Supersingular Prime




References

Apostol, T. M. "The Subgroup " and "Fundamental Region ." §4.2-4.3 in Modular Functions and Dirichlet Series in Number Theory, 2nd ed. New York: Springer-Verlag, pp. 75-78, 1997.