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
.

is a fundamental region of the subgroup ,
and
(Apostol 1997).
Modular Group Gamma, Modular Group Lambda, Supersingular Prime
Apostol, T. M. "The Subgroup " and "Fundamental Region
.