χ: (Z/DZ)^* → {±1} を >>564 の準同型とする。

n を有理整数とする。
gcd(n, D) = 1 のとき、χ(n) = χ([n])
gcd(n, D) ≠ 1 のとき、χ(n) = 0
と定義することにより χ を写像
χ: Z → {±1} に拡張する。