ディリクレのL関数
ディリクレのL-関数(ディリクレのエルかんすう、Dirichlet L-function)は、リーマンゼータ関数を一般化したものである。算術級数中の素数の分布の研究に基本的な関数である。実際ディリクレは、初項と公差が互いに素であるような等差数列には無限に素数が含まれること(算術級数定理)を証明するために、この関数を導入した。最も古典的なL-関数であり、単にL-関数と呼ばれることもあるが、数論の発展に伴って類似の性質を持った数論的関数が多く考え出され、それらにもL-関数の名が付されている。
任意の整数 a に対し複素数を対応させる写像で、自然数 N に関して以下を満たす χ を法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)}
a と N が互いに素でなければ χ ( a ) = 0 {\displaystyle \chi (a)=0}
このディリクレ指標について、