23/02/18 00:58:30.25 LaZ2oQR1.net
それで>>501は理解できましたか？
モジュラー群が
1 1
0 1
と
0 -1
1 0
で生成されることは証明できますかね？
最初の作用で保型性があることは多くの場合自明であり
後者の作用で保型性があることは自明ではない
それが相互法則だと言ってるわけですが。
23/02/18 00:58:30.25 LaZ2oQR1.net
それで>>501は理解できましたか？
モジュラー群が
1 1
0 1
と
0 -1
1 0
で生成されることは証明できますかね？
最初の作用で保型性があることは多くの場合自明であり
後者の作用で保型性があることは自明ではない
それが相互法則だと言ってるわけですが。