- 201 名前：Kummer ◆g2BU0D6YN2 [2007/04/28(土) 15:36:32 ]
- R = [1, fω] を２次体 Q(√m) の整環とし、
I を R の分数イデアルとする。
分数イデアルの定義(>>148)より、
γI ⊂ R となる R の元 γ ≠ 0 がある。
γ' ∈ R だから
γ'γI ⊂ γ'R ⊂R
r = γγ' とおけば、r は有理整数で rI ⊂ R である。
rI は R のイデアルだから過去レス４の427より
rI = [a, b + cfω] と書ける。
ここで a ＞ 0, 0 ≦ b ＜ a, c ＞ 0 で a と b は c で割れる。
I = [a/r, (b + cfω)/r] である。
Δ(a, b + cfω) = a(b + cfω') - a(b + cfω) = acf(ω' - ω)
= -ac√D
ac ＞ 0 だから a, b + cfω の向きは正である。
Δ(a/r, (b + cfω)/r) = (1/r^2)Δ(a, b + cfω) だから
a/r, b + cfω/r の向きも正である。
即ち、
α = a/r
β = (b + cfω)/r とおけば
I = [α, β] で α, β の向きは正である。
|
 |
