Let q be a positive integer, then is defined as the set of all matrices in the modular group gamma with
is a fundamental region of the subgroup
Modular Group Gamma, Modular Group Lambda, Supersingular Prime
Apostol, T. M. "The Subgroup " and "Fundamental Region