ディリクレ指標
整数から複素数への関数 χ {\displaystyle \chi } で、ある自然数 N に対し
a ≡ b ( mod N ) {\displaystyle a\equiv b{\pmod {N}}} ならば χ ( a ) = χ ( b ) {\displaystyle \chi (a)=\chi (b)}
χ ( a b ) = χ ( a ) χ ( b ) {\displaystyle \chi (ab)=\chi (a)\chi (b)}
χ ( 1 ) = 1 {\displaystyle \chi (1)=1}
a と N が互いに素でなければ χ ( a ) = 0 {\displaystyle \chi (a)=0}
という性質を満たすものを法 N のディリクレ指標という。 この性質を満たす関数は N > 1 のとき剰余類 Z / N Z {\displaystyle \mathbb {Z} /N\mathbb {Z} } の乗法群から複素数の乗法群への指標を整数全体を定義域とする関数に拡張したと考えられるので「指標」の名が付けられている。