最后更新于4年前
这有帮助吗?
模ppp原根
ppp为奇素数⟹\Longrightarrow⟹模ppp的原根存在,且有φ(p−1)\varphi{\left(p-1\right)}φ(p−1)个
ggg是模ppp的原根⟺gp−1≢1(mod p2)\Longleftrightarrow g^{p-1}\not\equiv1\left(\mod p^2\right)⟺gp−1≡1(modp2)或(g+p)p−1≢1(mod p2){\left(g+p\right)}^{p-1}\not\equiv1\left(\mod p^2\right)(g+p)p−1≡1(modp2)
模pαp^{\alpha}pα原根
若ppp为奇素数,则ggg为模ppp原根,gpk−2(p−1)=1+uk−2⋅pk−1,(uk−2,p)=1⟹g,g^{p^{k-2}\left(p-1\right)}=1+u_{k-2}\cdot p^{k-1},\left(u_{k-2},p\right)=1\Longrightarrow g,gpk−2(p−1)=1+uk−2⋅pk−1,(uk−2,p)=1⟹g为模pkp^kpk原根
ggg为模ppp原根⟹g\Longrightarrow g⟹g或g+pg+pg+p为模p2p^2p2原根
ggg为模p2p^2p2原根⟹g\Longrightarrow g⟹g为模pαp^{\alpha}pα原根
ggg为模pαp^{\alpha}pα原根⟹g\Longrightarrow g⟹g与g+pαg+p^{\alpha}g+pα中的奇数为模2pα2p^{\alpha}2pα原根
STEP1: 求一个原根ggg求出p−1p-1p−1的所有素因数q1,⋯ ,qsq_1,\cdots,q_sq1,⋯,qs,则ggg是模ppp的原根⟺∀i,gp−1qi≢1(mod p)\Longleftrightarrow \forall i,g^{\frac{p-1}{q_i}}\not\equiv1\left(\mod p\right)⟺∀i,gqip−1≡1(modp)STEP2: 求所有原根对于(d,φ(m))=1\left(d,\varphi\left(m\right)\right)=1(d,φ(m))=1,gdg^dgd为原根
STEP1: 求一个原根ggg
求出p−1p-1p−1的所有素因数q1,⋯ ,qsq_1,\cdots,q_sq1,⋯,qs,则ggg是模ppp的原根⟺∀i,gp−1qi≢1(mod p)\Longleftrightarrow \forall i,g^{\frac{p-1}{q_i}}\not\equiv1\left(\mod p\right)⟺∀i,gqip−1≡1(modp)
STEP2: 求所有原根
对于(d,φ(m))=1\left(d,\varphi\left(m\right)\right)=1(d,φ(m))=1,gdg^dgd为原根
STEP1: 求ppp的一个原根ggg
STEP2: 求pαp^{\alpha}pα的原根
若gp−1≢1(mod p2)g^{p-1}\not\equiv1\left(\mod p^2\right)gp−1≡1(modp2),则ggg为原根
若(g+p)p−1≢1(mod p2){\left(g+p\right)}^{p-1}\not\equiv1\left(\mod p^2\right)(g+p)p−1≡1(modp2),则g+pg+pg+p为原根
STEP1: 求pαp^{\alpha}pα的一个原根ggg
STEP2: 求2pα2p^{\alpha}2pα的原根
ggg与g+pαg+p^{\alpha}g+pα中的奇数为原根
模mmm存在原根⟺m=2,4,pα,2pα\Longleftrightarrow m=2,4,p^{\alpha},2p^{\alpha}⟺m=2,4,pα,2pα