07/06/13 13:11:54
D を平方数でない(正または負の)有理整数で、D ≡ 0 または 1 (mod 4)
とする。
判別式 D の２次形式の集合を F(D) と書いた(>>184)。
判別式 D の原始的２次形式の集合を F_0(D) と書いた(>>220)。
D ＜ 0 のときは、判別式 D の正定値(過去スレ293)な２次形式の集合を
F+(D) と書く。
さらに、判別式 D の正定値かつ原始的な２次形式の集合を (F_0)+(D) と
書く。
F(D) を Γ = SL_2(Z) の作用(>>184)で類別した集合を F(D)/Γ と書く。
F_0(D)/Γ, F+(D)/Γ, (F_0)+(D)/Γ も同様に定義する。