学习：费马小定理和模生成环什么时候为域的问题

以下讨论二元运算模运算

1.引理1：若ac=bc(mod e),且(e,c)=1,则a=b(mod e)

十分易推。ac=bc(mod e),则(a-b)*c=0(mod e),又由于(e,c)=1,故a-b=0(mod e),q.e.d

2.引理2：若a=b(mod e),c=d(mod e),则ac=bd(mod e)

显然。设a=n1 * e+k1,b=n2 * e+k1,c=n3 * e+k2,d=n4 * e+k2,则
ac=…+k1 * k2(前面省略了e的整数倍项),bd=…+k1 * k2,故有：ac=bd(mod e)

3.引理3：若{1，2，3…，p}是模e运算的一个完全剩余系，则{a，2a，3a…，pa}也是模e运算的一个完全剩余系(e,a)=1，且123…p=a2a*3a…*pa(mod e)

简单。由引理1反证法证明新系中任意两个元素之间不在一个同余类中，可知{a，2a，3a…，pa}是模e运算的完全剩余系,由引理2数学归纳可得后半部分.

4.费马小定理

当p为大于1的素数时，设p的完全剩余系{1，2&#