费马小定理及MR素数判断

许多部分材料取自百度百科

费马小定理及MR素数判断

费马小定理

内容

假如p是质数，且gcd(a,p)=1，那么 a(p-1)≡1（mod p）。

证明

先证两个引理：
①：若a,b,c为任意3个整数,m为正整数,且(m,c)=1,则当ac≡bc(mod m)时,有a≡b(mod m)
（这个很显然吧。。。）

②：设m是一个整数,且m>1,b是一个整数且(m,b)=1.如果a[1],a[2],a[3],a[4],…a[m]是模m的一个完全剩余系,则ba[1],ba[2],ba[3],ba[4],…ba[m]也构成模m的一个完全剩余系.

证明：若存在ba[i]、ba[j]使得$ba_i\equiv ba_j(mod\ m)$，则$a_i\equiv a_j(mod\ m)$。然而根据完全剩余系的定义可知这并不存在。

然后再来证明费马小定理：
构造P的完全剩余系：$\{1,2,3\dots ,p-1\}$

因为