- 304 名前：Kummer ◆g2BU0D6YN2 [2007/05/07(月) 22:41:44 ]
- I を R の原始イデアルとする。
>>210より I = [a, b + (D + √D)/2] と書ける。
ここで a, b は有理整数で a ＞ 0 である。
α = a
β = b + (D + √D)/2 とおく。
Δ(α, β) = -a√D だから I の基底 α, β の向き(>>188)は正である。
>>228 において
(αα')/N(I) = a^2/a = a
-(αβ' + βα')/N(I) = -a(2b + D)/a = -2b - D
(ββ')/N(I) = (b^2 + bD + (D^2 - D)/4)/a
よって
χ_1([I]) = [[ (a, -2b - D, (b^2 + bD + (D^2 - D)/4)/a) ]]
χ_0χ_1([I]) = [[a, b + (D + √D)/2]]
よって χ_0χ_1 = 1 である。
