- 275 名前：Kummer ◆g2BU0D6YN2 [2007/05/05(土) 10:01:18 ]
- D ＜ 0 のとき >>248 と >>249 より
ψ_FI : (F_0)+(D)/Γ → Cl(D) は同型である。
>>271 と >>273 より
ψ_IQ: CL(D) → (Q_0)+(D)/Γ は同型である。
よって
ψ_FQ = IQ(ψ_IQ)(ψ_FI) : (F_0)+(D)/Γ → (Q_0)+(D)/Γ は
同型である。
このとき
(a, b, c) ∈ (F_0)+(D) の類には (-b + √D)/2a の類が
対応する。
|
 |
