- 260 名前:Kummer ◆g2BU0D6YN2 [2006/12/17(日) 01:01:35 ]
- 補題
G を >>253 の通りとする。 g = (a, b)/(c, d) を SL_2(Z) の元とする。 なお、記法 (a, b)/(c, d) については >>196 を参照。 z, w ∈ G で w = g(z) = (az + b)/(cz + d) とする。 Im(w) ≧ Im(z) なら c = 0 または c = ±1 である。 証明 >>249 の証明とほとんど同じである。 >>246 の代わりに >>257 を使う。
|
|