- 521 名前：Kummer ◆g2BU0D6YN2 [2007/06/28(木) 04:25:40 ]
- D を平方数でない有理整数で、D ≡ 0 または 1 (mod 4) とする。
p_1, p_2, . . . , p_r を D の素因子のすべてとする。
D ＞ 0 のときは F_0(D)/Γ(>>461)、D ＜ 0 のときは
(F_0)+(D)/Γ (>>461)の類 C に対して、
列 χ_(p_1)(C), . . . , χ_(p_r)(C) が定まる(>>519)。
二つの類はこの列が一致するとき同じ種(genus)に属すという。
これは同値関係であり、この同値類を判別式 D の種と呼ぶ。
