- 732 名前：Kummer ◆g2BU0D6YN2 [2007/02/24(土) 14:10:01 ]
- 補題
(a, b, c) を判別式 D の２次形式とし、２次形式 (a, b, c) が
σ = (p, q)/(r, s) ∈ SL_2(Z) により (m, l, k) に
変換されるとする。
さらに τ = (p, q')/(r, s') ∈ SL_2(Z) で
(a, b, c)τ = (m, l, k) とする。
このとき σ = τ である。
証明
>>719 において l' - l = 2mt だが ｌ= l' だから t = 0 である。
よって q = q', s = s' である。
つまり σ = τ である。
証明終
