- 409 名前：Kummer ◆g2BU0D6YN2 [2006/12/30(土) 11:15:30 ]
- 定義
D を負の有理整数で D ≡ 0 または 1 (mod 4) とする。
f(x, y) = ax^2 + bxy + cy^2 を判別式 D の正定値かつ原始的な
２次形式とする。
[D] を >>253 で定義した集合とする。
つまり
[D] = { z ∈ H ; |Re(z)| ≦ 1/2 かつ |z| ≧ 1 } である。
(-b + √D)/2a が [D] に属すとき f(x, y) を広義の簡約２次形式と呼ぶ。
