- 326 名前：Kummer ◆g2BU0D6YN2 [2007/05/10(木) 12:43:06 ]
- D を平方数でない有理整数で、D ≡ 0 または 1 (mod 4) とする。
Q+(D) = { (-b + √D)/2a ; a ＞ 0, D ≡ b^2 (mod 4a) } とおく。
これは >>218 で Qd と書いたものである。
>>218 より
φ_FQ([ (a, b, c) ]) = ([ (-b + √D)/2|a| ], sign(a))
により同型 φ_FQ : F(D)/Γ_∞ → Q+(D)/Z × {±1}
が得られる。
(a, b, c) ∈ F(D) に ((-b + √D)/2|a|, sign(a)) を対応させる
ことにより
写像 F(D) → Q+(D) × {±1} が得られる。
この写像を記号の濫用でやはり φ_FQ と書くことにする。
これは明らかに集合としての同型である。
