- 211 名前：Kummer ◆g2BU0D6YN2 [2007/04/29(日) 05:08:37 ]
- >>208 の続き。
>>190 と >>191 より
(φ_IF)(φ_FI) = 1 である。
I を R = [1, ω] の原始イデアルとする。
>>210より I = [a, b + (D + √D)/2] と書ける。
ここで a, b は有理整数で a ＞ 0 である。
θ = (D + √D)/2 とおく。
α = a
β = b + θ
とおいて
>>197 の f(α, β, s; x, y) を計算する。
N(I) = a だから
s(αα')/N(I) = sa
-(αβ' + βα')/N(I) = -(β + β') = -(2b + D)
従って >>197 より f(α, β, s; x, y) = (sa, -(2b + D), *) である。
ここで * はある有理整数だがその正確な値はここでは必要ない。
この２次形式の φ_FI による像は
([sa, b + (D + √D)/2], s) = (I, s) である。
これは (φ_FI)(φ_IF) = 1 を意味する。
以上から φ_FI と φ_IF は互いに逆写像である。
|
 |
