- 273 名前：Kummer ◆g2BU0D6YN2 [2007/05/05(土) 01:10:04 ]
- 命題
R = [1, fω] を虚２次体 Q(√m) の整環とし、D ＜ 0 をその判別式
とする。
>>266 で 写像 ψ_QI: (Q_0)+(D)/Γ → CL(D) が定義された。
>>270 で 写像 ψ_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 である。
証明終
|
 |
