- 262 名前：Kummer ◆g2BU0D6YN2 [2007/05/04(金) 18:07:36 ]
- 命題
R = [1, fω] を実２次体 Q(√m) の整環とし、D ＞ 0 をその判別式
とする。
>>258 で 写像 ψ_QI: Q_0(D)/Γ → CL+(D) が定義された。
>260 で 写像 ψ_IQ: CL+(D) → Q_0(D)/Γ が が定義された。
(ψ_QI)(ψ_IQ) = 1 である。
証明
>>207 より Cl+(D) の代表として原始イデアル I が取れる。
>>210 より I = [a, b + (D + √D)/2] と書ける。
ここで a ＞ 0, 0 ≦ b ＜ a
α = a
β = b + (D + √D)/2 とおく。
-Δ(α, β) = a√D だから I の基底 α, β の向き(>>188)は正である。
β/α = (2b + D + √D)/2a
よって
ψ_IQ({ I }) = { (2b + D + √D)/2a })
a ＞ 0 だから
ψ_QI({ (2b + D + √D)/2a })) = { [a, b + (D + √D)/2] }
よって
(ψ_QI)(ψ_IQ) = 1 である。
証明終
|
 |
