原根
满足ar≡1(mod m)的最小r表示a对模m的阶,记作δm(a)
若δm(a)=φ(m),则称a是模m的原根
若m有原根,则原根个数为φ(φ(m))
证明:
首先生成元的概念见算到31.4
对于任意一个(a,m)=1, 如果a是m的原根, 那么 a 是整数模m乘法群(即加法群 Z/mZ的可逆元,也就是所有与 m 互素的正整数构成的等价类构成的乘法群)Zm∗ 的一个生成元,考虑这φ(m)个数:a1,a2,...aφ(m),如果ap为原根,那么就要求,他的某个乘方是a1,这个时候p和φ(m)互质,
所以原根个数为φ(φ(m)).