ディリクレ指標(でぃりくれしひょう)とは、ディリクレがL関数を定義する際に導入した整数から複素数への関数である。
定義
整数から複素数への関数
で、ある自然数 N に対し
ならば ![{\displaystyle \chi (a)=\chi (b)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7e60330ac2455c7f34a4309462bd34079ab1779b)
![{\displaystyle \chi (ab)=\chi (a)\chi (b)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cf783fd67b1c57f425de13fc775b9b67f77d82cc)
![{\displaystyle \chi (1)=1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b6902bcac39b9788a2319da421c1e4ea307e02dc)
- a と N が互いに素でなければ
![{\displaystyle \chi (a)=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9f686ebbf5ca33d71d2ac2b57d0843d4054d9476)
という性質を満たすものを法 N のディリクレ指標という。 この性質を満たす関数は N > 1 のとき剰余類
の乗法群から複素数の乗法群への指標を整数全体を定義域とする関数に拡張したと考えられるので「指標」の名が付けられている。
具体例
- 全ての整数に対して 1 となる関数は(法 1 の)自明な指標と言われる。
- ルジャンドル記号
は a を変数と見ると法 p のディリクレ指標である。
関連項目