若 x mod n=y mod n [= a],则说x和y是模n同余的,记x ≡ y mod n (x≡y | mod n) 如20≡7 %13
(a+b) mod n = (a mod n+b mod n) mod n
(a-b) mod n = (a mod n-b mod n) mod n
(a × b) mod n = (a mod n × b mod n) mod n
模n的剩余集
定义比n小的非负整数集合为Zn :
Zn={0,1,2,3,…,n-1}
这个集合被称为剩余类集,或模n的剩余类
欧拉函数:Φ(n)定义为小于n而且与n互素的正整数的个数
欧拉定理:
如果a、n互素,则
a^φ(n)≡1 mod n
或即
a^[φ(n)+1]≡a mod n