數論特徵

數論特徵，也稱為狄利克雷特徵（因為狄利克雷在他的著名證明中首次引入了它們，即每個具有互質首項和公差的等差數列都包含無限多個素數），模 是一個 複函式 對於 正整數 使得

			(1)
			(2)
			(3)

對於所有 ，且

(4)

如果 。 只能取 次 單位根 的值，其中 是 尤拉函式。

數論特徵在 Wolfram 語言中以如下形式實現DirichletCharacter[k, j, n]，其中 是模數，而 是索引。