数论特征

数论特征，也称为狄利克雷特征（因为狄利克雷在他的著名证明中首次引入了它们，即每个具有互质首项和公差的等差数列都包含无限多个素数），模 是一个 复函数 对于 正整数 使得

			(1)
			(2)
			(3)

对于所有 ，且

(4)

如果 。 只能取 次 单位根 的值，其中 是 欧拉函数。

数论特征在 Wolfram 语言中以如下形式实现DirichletCharacter[k, j, n]，其中 是模数，而 是索引。