15/03/13 16:40:30.18 hKmg+Ort.net
>>279
>>512のCase2は次のように訂正：
>Case2)：mn≦-2のとき。①、②から、e^{isπ}＝e^{i(mn)sπ}、e^{itπ}＝e^{i(mn)tπ}
>であり、e^{i(-s)π}＝e^{i(-mn)sπ}、e^{i(-t)π}＝e^{i(-mn)tπ}。また、点1はT(s)、T(t)の単位元である。
>T(s)の点e^{i(-s)π}はe^{isπ}∈T(s)の逆元であり、T(t)の点e^{i(-t)π}はe^{itπ}∈T(t)の逆元である。
>T(s)、T(t)は単位円周C’上の群だから、-mn≧2から、T(s)、T(t)は両方共に
>位数(|mn|+2)-1＝|mn|+1＝-mn+1の有限巡回群になって矛盾。