阶
满足同余式 an≡1(modm)a^n \equiv 1 \pmod m 的最小正整数 nn 称作 aa 模 mm 的 阶,记作 δm(a)\delta_m(a) 或 ordm(a)\operatorname{ord}_m(a).
详见 阶 词条.
原根
设 m∈N∗m \in \mathbf{N}^{*},g∈Zg\in \mathbf{Z}. 若 (g,m)=1(g,m)=1,且 δm(g)=φ(m)\delta_m(g)=\varphi(m),则称 gg 为模 mm 的 原根.
即 gg 满足 δm(g)=∣Zm∗∣=φ(m)\delta_m(g) = \left| \mathbf{Z}_m^* \right| = \varphi(m).
当 mm 是质数时,我们有 gi mod m, 0<i<mg^i \bmod m,\,0 \lt i \lt m 的结果互不相同.
原根是循环群的生成元
在抽象代数中,原根就是循环群的生成元. 这个概念只在模 mm 缩剩余系关于乘法形成的群中有「原根」这个名字,在一般的循环群中都称作「生成元」.
并非每个模 mm 缩剩余系关于乘法形成的群都是循环群,存在原根就表明它同构于循环群,如果不存在原根就表明不同构.
原根判定定理
计算阶
设 m∈N∗m \in \mathbf{N}^{*},g∈Zg\in \mathbf{Z}. 若 (g,m)=1(g,m)=1,且 δm(g)=φ(m)\delta_m(g)=\varphi(m),则称 gg 为模 mm 的原根.
此方法需要计算 g1g^1 到 gφ(m)g^{\varphi(m)},比较低效.
计算每个素因数次方是否均不为 1
设 m⩾3,(g,m)=1m \geqslant 3, (g,m)=1,则 gg 是模 mm 的原根的充要条件是,对于 φ(m)\varphi(m) 的每个素因数 pp,都有 gφ(m)p≢1(modm)g^{\frac{\varphi(m)}{p}}\not\equiv 1\pmod m.
原根个数
若一个数 mm 有原根,则它原根的个数为 φ(φ(m))\varphi(\varphi(m)).
特别地:若 pp 为素数,那么它有 φ(p−1)\varphi(p-1) 个原根.
原根存在定理
一个数 mm 存在原根当且仅当 m=2,4,pα,2pαm=2,4,p^{\alpha},2p^{\alpha},其中 pp 为奇素数,α∈N∗\alpha\in \mathbf{N}^{*}.
原根的合成
模 mnmn 的原根 gmng_{mn} 可以由 mm 和 nn 的原根 gmg_m 和 gng_n 快速得到.
{gmn≡gm(modm)gmn≡gn(modn)\begin{cases} g_{mn} \equiv g_m \pmod m \\ g_{mn} \equiv g_n \pmod n \end{cases}
例如已知 13 的原根为 2,求 26 的原根.
{g26≡2(mod13)g26≡1(mod2)\begin{cases} g_{26} \equiv 2 \pmod {13} \\ g_{26} \equiv 1 \pmod 2 \end{cases}
由中国剩余定理得到 g26≡15(mod26)g_{26} \equiv 15 \pmod{26}.
参考
https://oi-wiki.org/math/number-theory/primitive-root/
https://zh.wikipedia.org/wiki/原根