- 296 名前：Kummer ◆g2BU0D6YN2 [2007/05/07(月) 20:51:58 ]
- τ = (1, 0)/(0, -1) とおく。
det(τ) = -1 である。
(a, b. c) ∈ F_0(D) のとき (a, b. c)τ = (a, -b, c) である。
σ ∈ SL_2(Z) とし、(a, b, c)σ = (k, l, m) とする。
(-a, -b, -c) と (-k, -l, -m) も F_0(D) の元であることに注意する。
過去スレ４の401より
k = ap^2 + bpr + cr^2
l = 2apq + b(ps + qr) + 2crs
m = aq^2 + bqs + cs^2
よって
(-a, -b, -c)σ = (-k, -l, -m)
一方、(-a, b, -c)τ = (-a, -b, -c) だから
(-a, b, -c)τσ = (-k, -l, -m) = (-k, l, -m)τ
τを両辺に掛けて τ^2 = 1 より
(-a, b, -c)τστ = (-k, l, -m)
det(τστ) = det(τ)^2 det(σ) = 1
以上から
(a, b, c) と (k, l, m) が F_0(D)/Γ の同じ類にあるなら
(-a, b, -c) と (-k, l, -m) も同じ類にある。
|
 |
