设 是一个正整数,则 定义为所有矩阵 在模群 Gamma 中且满足 的集合。 是 的一个子群。对于任意素数 ,集合
是子群 的一个基本区域,其中 且 (Apostol 1997)。
更多尝试
Weisstein, Eric W. "模群 Gamma_0。" 来自 MathWorld——Wolfram Web 资源。 https://mathworld.net.cn/ModularGroupGamma0.html