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