ディリクレ指標 ディリクレ指標の概要

ウィキペディア

ディリクレ指標

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/08/30 09:39 UTC 版)

定義

整数から複素数への関数 $\chi$ で、ある自然数 N に対し

$a\equiv b{\pmod {N}}$ ならば $\chi (a)=\chi (b)$

$\chi (ab)=\chi (a)\chi (b)$

$\chi (1)=1$

a と N が互いに素でなければ $\chi (a)=0$

という性質を満たすものを法 N のディリクレ指標という。 この性質を満たす関数は N > 1 のとき剰余類 $\mathbb {Z} /N\mathbb {Z}$ の乗法群から複素数の乗法群への指標を整数全体を定義域とする関数に拡張したと考えられるので「指標」の名が付けられている。

具体例

• 全ての整数に対して 1 となる関数は(法 1 の)自明な指標と言われる。
• ルジャンドル記号 $\left({\frac {a}{p}}\right)$ は a を変数と見ると法 p のディリクレ指標である。