- 523 名前：Kummer ◆g2BU0D6YN2 [2007/06/28(木) 04:56:01 ]
- D を平方数でない有理整数で、D ≡ 0 または 1 (mod 4) とする。
D ≡ 0 (mod 4) のとき (1, 0 -D/4) は判別式 D の原始的２次形式
である。
D ≡ 1 (mod 4) のとき (1, 1, (1 - D)/4) は判別式 D の
原始的２次形式である。
(1, 0 -D/4) または (1, 1, (1 - D)/4) を判別式 D の主形式と呼ぶ。
主形式の属す類を主類と呼ぶ。
>>242 より主類には Cl(D) または Cl+(D) の単位類が対応する。
