狄利克雷特征的值等于零或单位根:
对所有整数,平凡特征取值为

:
主特征模

有指标

,对于与

互质的值给出

, 否则为

:
对奇数整数
k,
JacobiSymbol
是实数狄利克雷特征模
k:
实数本原特征

模
k 可以定义为
JacobiSymbol
:
在与

互质的整数处,非原实特征可以用
JacobiSymbol 来表示:
当
k 的原根
n 存在时,
DirichletCharacter
在该原根处给出

:
使用
DirichletCharacter 的乘法属性,得到在与

互质的整数处的值:
一个特征模

可以写成特征模

的素数幂的乘积:
首先找到 32 和 5 的原根:
提升原根:
找到 7 模 32 和 5 的指数:
狄利克雷特征是按因子数的增序标记的:
分解狄利克雷特征模 32 5 ,指标是 8:
对所有与 32 5 互质的整数,验证分解公式:
提升狄利克雷特征模 3 到狄利克雷特征模 3 的一个幂:
计算指标:
结果: