定义
p是质数,并且gcd(a,p)=1(a,p互质),那么有
ap−1≡1mod(p)
证明
准备知识
- 剩余类:对模n同余的整数构成的一个集合叫做模n的一个剩余类。
- 简化剩余系(也叫既约剩余系):模n的值与n互质的全部剩余类中,从每一类中各任取一数所组成的数的集合,叫做模n的一个简化,也叫缩系。
- 完全剩余系:从模n的每个剩余类中各取一个数,得到一个由n个数组成的集合,叫做模n的一个完全剩余系。
剩余系定理2:有整数a,b,c,m为正整数,且gcd(m,c)=1, 则当ac≡bcmod(m)时,有