- 240 名前：Kummer ◆g2BU0D6YN2 [2006/12/11(月) 00:03:58 ]
- 問題
S = (1, 1)/(0, 1) と T = (0, -1)/(1, 0) で生成される SL_2(Z) の
部分群を G' とする。
>>238 より 複素上半平面 H の任意の点 z に対してある g ∈ G'
があり Im(g(z)) が最大値となる。
w = S^n(g(z)) とおく。つまり w = g(z) + n である。
|Re(w)| ≦ 1/2 となるように整数 n をとる。
このとき |Im(w)| ≧ 1 である。
つまり、w は
D~ = { z ∈ H ; |Re(z)| ≦ 1/2 かつ |z| ≧ 1 } の点である。
