#群論の知識

#モジュラー群(modular group)
https://ja.wikipedia.org/wiki/...

ad－bc＝1 を満たす整数 a, b, c, dにより
z → (az＋b) / (cz＋d)
と表せる
複素上半平面の一次分数変換の #群.

#特殊射影線形群 PSL( 2, Z ) に #同型.