>>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) ]
により定義される。