原根

阶:

$若(a,m)=1,使a^l\equiv 1(\mathrm{m}\mathrm{o}\mathrm{d}m)成立的最小的l,成为a关于模m的阶,记为or{d}_{m}a.$
$若or{d}_{m}a=l,则or{d}_m{a}^t=\frac{l}{(t,l)}$

 

原根:

$(g,m)=1,若or{d}_{m}g=\phi (m)，则称g为m的一个原根$
g 为 m 的 一 个 原 根 当 且 仅 当 { g , g 2 , g 3 , ⋯ g φ ( m ) } 构 成 模 m 的 一 个 既 约 剩 余 系 g为m的一个原根当且仅当\{g, g^2, g^3, \cdots g^{\varphi{(m)}} \}构成模m的一个既约剩余系 g为m的一个原根当且仅当{g,g2,g3,⋯gφ(m)}构成模m的一个既约剩余系
 

判断是否有原根:

$若m有原根，则m一定是下列形式:2,4,p^a,2p^a，这里p为奇素数，a为正整数$
 

求所有原根:

$设g为m的一个原根,则集合$
S = { g s ∣ 1 ⩽ s ⩽ φ ( m ) , ( s , φ ( m ) ) = 1 } S = \{g^s | 1 \leqslant s \leqslant \varphi{(m)}, (s,\varphi{(m)}) = 1 \} S={gs∣1⩽s⩽φ(m),(s,φ(m))=1}
$给出m的全部原根.因此，若m有原根，则m有\phi (\phi (m))个原根$

 

求一个原根:

$对p-1进行质因数分解得到不同的质因子d_1,d_2....d_m，对于任意的1<a<p,要判定a是否是模p的原根，只需要检验a^{\frac{p-1}{d_1}},a^{\frac{p-1}{d_2}},...,a^{\frac{p-1}{d_m}}这m个数中是否存在一个数在模p意义下与1同余。若存在，则a不是p的原根;若不存在，则a是p的原根$

另一种表达形式:
$(g,m)=1，设p_1,p_2,...p_k是\phi (m)的所有不同素因数，则g是m的原根，当且仅当对任意的1⩽i⩽k，都有g^{\frac{\phi (m)}{p_i}}\not\equiv 1(\mathrm{m}\mathrm{o}\mathrm{d}m)$

 

原根的快速判定方法:

链接

用途:

$我们发现原根g所有拥有DFT所需单位根\omega 的性质，于是我们用g^{\frac{p-1}{n}}\mathrm{m}\mathrm{o}\mathrm{d}p来代替{\omega }_n，理论上就能把复数对应到一个整数，在模p意义下进行快速变换$

参考资料:

• https://oi-wiki.org/math/primitive-root/
• https://www.cnblogs.com/Dance-Of-Faith/p/9905786.html