20/12/06 18:25:52.36 DTMWYA77.net
☆補題3.14
整数a,b,c,dがad-bc=1を満たすとき
(1,τ)=(aτ+b,cτ+d)
が成立する
☆補題3.15
τを上半平面H上の点とし、
整数a,b,c,dはad-bc=1を満たすと仮定する
このとき次が成立する
i) (aτ+b)/(cτ+d)∈H
ii)Cの各元を(cτ+d)^(-1)倍する写像C→Cは
複素トーラスの同型
C/(1,τ)≣C/(1､(aτ+b)/(cτ+d))
を引き起こす
20/12/06 18:25:52.36 DTMWYA77.net
☆補題3.14
整数a,b,c,dがad-bc=1を満たすとき
(1,τ)=(aτ+b,cτ+d)
が成立する
☆補題3.15
τを上半平面H上の点とし、
整数a,b,c,dはad-bc=1を満たすと仮定する
このとき次が成立する
i) (aτ+b)/(cτ+d)∈H
ii)Cの各元を(cτ+d)^(-1)倍する写像C→Cは
複素トーラスの同型
C/(1,τ)≣C/(1､(aτ+b)/(cτ+d))
を引き起こす