- 445 名前：Kummer ◆g2BU0D6YN2 [2007/06/06(水) 22:28:02 ]
- D を平方数でない有理整数で、D ≡ 0 または 1 (mod 4) とする。
(a, b, c) を判別式 D の２次形式とする。
ここで σ = (p, q)/(r, s) ∈ GL_2(Z) で det(σ) = ps - qr = -1
とし、(a, b, c)σ = (a, b, c) とする。
>>443 より s = -p である。
よって p^2 + qr = 1 である。
今度は r ≠ 0 の場合を考える。
τ = (u, v)/(w, z) ∈ SL_2(Z) を適当にとると
(a, b, c)τρ = (a, b, c)τ
τρτ^(-1) = σ
となる ρ ∈ GL_2(Z) で
det(ρ) = -1 で ρ = (α、β)/(0, -α) の形となることを
証明しよう。
τρτ^(-1) = σ より ρ = τ^(-1)στ
τ^(-1) = (z, -v)/(-w, u)
σ = (p, q)/(r, -p)
だから
τ^(-1)σ = (zp - vr, zq + vp)/(-wp + ur, -wq - up)
これと
ρ = τ^(-1)στ の (2, 1)-成分が 0 より
-uwp + u^2 r - w^2q - uwp = u^2 r - 2uwp - w^2q = 0
|
 |
