原根

来源:互联网 发布:软件协议工程师要求 编辑:程序博客网 时间:2024/04/28 14:10

数论,特别是整除理论中,原根是一个很重要的概念。

对于两个正整数gcd(a,m)=1,由欧拉定理可知,存在正整数d \le m-1, 比如说欧拉函数d= \phi (m),即小于等于 m 的正整数中与 m 互质的正整数的个数,使得a^d \equiv 1 \pmod{m}

由此,在gcd(a,m)=1时,定义a对模m的指数Ord_m(a)为使a^d \equiv 1 \pmod{m}成立的最小的正整数d。由前知Ord_m(a) 一定小于等于  \phi (m),若Ord_m (a) = \phi (m),则称a是模m的原根


  • 可以证明,如果正整数(a,m)=1和正整数 d 满足a^d \equiv 1 \pmod{m} ,则 Ord_m (a) 整除 d。[1]因此Ord_m (a)整除 \phi (m) 。在例子中,当a=3时,我们仅需要验证 3 的 1 、2、3 和 6 次方模 7 的余数即可。
  • \delta = Ord_m (a),则a^0,a^1,a^2 \cdots , a^{\delta -1} 模 m 两两不同余。因此当a是模m的原根时,a^0,a^1,a^2 \cdots , a^{\delta -1} 构成模 m 的简化剩余系
  • m有原根的充要条件是m = 2 , 4 , p^n , 2p^n,其中p是奇质数,n是任意正整数
  • 对正整数(a,m)=1,如果 a 是模 m 的原根,那么 a 是整数模n乘法群(即加法群 Z/mZ 的可逆元,也就是所有与 m 互素的正整数构成的等价类构成的乘法群)Zn×的一个生成元。由于Zn×有  \phi (m)个元素,而它的生成元的个数就是它的可逆元个数,即  \phi (\phi (m))个,因此当模m有原根时,它有\phi (\phi (m))个原根。

0 0
原创粉丝点击