- 587 名前:Kummer ◆g2BU0D6YN2 [2007/02/03(土) 15:40:18 ]
- 命題
D を平方数でない有理整数で、D ≡ 0 または 1 (mod 4) とする。 >>586 より D はある2次体 Q(√m) の整環 R の判別式である。 ax^2 + bxy + cy^2 を判別式 D の2次形式とすると、 I = [a, (-b + √D)/2] は R のイデアルである。 証明 D = b^2 - 4ac だから a ≠ 0 である。 >>585 より R = [1, (D + √D)/2] だから a(D + √D)/2 ∈ [1, (-b + √D)/2] と (-b + √D)(D + √D)/4 ∈ [1, (-b + √D)/2] を示せばよい。 a(D + √D)/2 = (aD + a√D)/2 = (aD + ab + a(-b + √D))/2 = a(D + b)/2 + a(-b + √D))/2 D ≡ b^2 (mod 2) だから D + b ≡ b^2 + b ≡ b(b + 1) ≡ 0 (mod 2) よって (D + b)/2 は有理整数である。 よって a(D + √D)/2 ∈ [1, (-b + √D)/2] である。 次に、 (-b + √D)(D + √D) = -bD - b√D + D√D + D = -bD + D + (D - b)√D = -bD + D + (D - b)b + (D - b)(-b + √D) = -bD + D + Db - b^2 + (D - b)(-b + √D) = D - b^2 + (D - b)(-b + √D) よって (-b + √D)(D + √D)/4 = (D - b^2)/4 + (D - b)(-b + √D)/4 D ≡ b^2 (mod 4) D ≡ b^2 ≡ b (mod 2) だから (D - b^2)/4 と (D - b)/2 は有理整数である。 よって (-b + √D)(D + √D)/4 ∈ [1, (-b + √D)/2] である。 証明終
|
|