設 是一個正整數,則 定義為所有矩陣 在模群 Gamma 中且滿足 的集合。 是 的一個子群。對於任意素數 ,集合
是子群 的一個基本區域,其中 且 (Apostol 1997)。
更多嘗試
Weisstein, Eric W. "模群 Gamma_0。" 來自 —— 資源。 https://mathworld.tw/ModularGroupGamma0.html