- 286 名前：Kummer ◆g2BU0D6YN2 [2007/05/06(日) 08:07:13 ]
- >>282, >>283 より
写像 Ψ_0 : F_0(D)/Γ → (I(R) × {±1})/P~
が
Ψ_0( [ (a, b, c) ] ) = [ ([a, (-b + √D)/2], sign(a)) ]
により定義される。
>>284 より
写像 Ψ_1 : (I(R) × {±1})/P~ → F_0(D)/Γ
が
Ψ_1( [ (I, s) ] ) = [ f(α, β, s; x, y) ]
により定義される。
|
 |
