- 514 名前：Kummer ◆g2BU0D6YN2 [2007/06/27(水) 21:01:21 ]
- >>513 の続き。
有理整数の集合 Z から {±1} への写像 χ_2 を
1) D' ≡ 0 (mod 8) のとき χ_2 = ψ_1
2) D' ≡ 2 (mod 8) のとき χ_2 = ψ_2
3) D' ≡ 3, 4, 7 (mod 8) のとき χ_2 = ψ_1
4) D' ≡ 6 (mod 8) のとき χ_2 = ψ_1ψ_2
で定義する。
χ_2 は D により一意に決まる。
