ここで主合同部分群 γ(n)とは