初等数论--原根--a^k对模m的阶
博主是初学初等数论(整除+同余+原根),本意是想整理一些较难理解的定理、算法,加深记忆也方便日后查找;如果有错,欢迎指正。
我整理成一个系列:初等数论,方便检索。
- 阶: m m m是正整数, ( a , m ) = 1 (a,m)=1 (a,m)=1,使得 a d ≡ 1 ( m o d m ) a^d\equiv 1(mod m) ad≡1(modm)满足的最小正整数 d d d,称为 a a a对模 m m m的阶,记为 o r d m ( a ) 。 ord_m(a)。 ordm(a)。
- 原根:如果 o r d m ( a ) = φ ( m ) , ord_m(a)=\varphi(m), ordm(a)=φ(m),那么我们称 a a a是模 m m m的原根。
- 一个小定理: m m m是正整数, ( a , m ) = 1 (a,m)=1 (a,m)=1,如果 a d ≡ 1 ( m o d m ) , a^d\equiv 1(mod m), ad≡1(modm),那么 o r d m ( a ) ∣ d 。 ord_m(a)\mid d。 ordm(a)∣d。
证明:我们有 d = o r d m ( a ) ⋅ q + r , ∃ q , r ∈ Z , 0 ≤ r < o r d m ( a ) , d=ord_m(a)·q+r,{\exists}q,r\in Z,0\le r<ord_m(a), d=ordm(a)⋅q+r,∃q,r∈Z,0≤r<ordm(a), 则