信息安全数学基础（一）：同余

一.同余的概念

给定一个正整数m,如果a-b被m整除（即m|（a-b）），则称两个整数a,b模m同余，否则叫做a,b模m不同余。

同余的判断
设m是一个正整数，a,b是两个整数，则
a=b(mod m)
的充要条件是存在一个整数q使得
a=b+q*m
其实也就是m|（a-b)

二.同余的性质

设m是一个正整数，则模m同余是等价关系，即满足：
自反性：对任一整数a，有a=a(mod m)
对称性：若a=b(mod m),则b=a(mod m)
传递性：若a=b(mod m),b=c(mod m),那么a=c(mod m)

设a1,a2,b1,b2是4个整数，m是一个正整数，且满足
a1=b1(mod m) a2=b2(mod m)
对于乘法和加法运算：
(1) a1+a2=b1+b2(mod m)
(2) a1 * a2=b1 * b2(mod m)

设m，d是两个正整数，且（d,m)=1,那么：
a=b(mod m)等价于ad=bd(mod m)

设a=b(mod m),则
（a,m)=(b,m)
性质太多了，列几个体会一下，一般也不会直接考。

三.剩余类

剩余类是这门课很重要的一个概念，由于同余是一种等价关系，所以可以借用同余对全体整数进行分类，并将某一类作为一个数来看待。

设m是一个正整数，对任意整数a，令
Ca={ c|c属于Z，c=a(mod m) }
Ca叫做模m的a的剩余类，代表着模m结果为a的一类数，Ca中的任一数叫做该类的剩余或代表元。剩余类其实就是等价关系中的等价类，将等价的一类数放在一个集合中。
如果 r0,r1…rm-1这m个整数，其中任意两个数都不在同一个剩余类中（两两不同余），则称其为模m的一个完全剩余系。

四.完全剩余系的性质

设m是正整数，a是满足（a,m)=1的整数，b是任意整数，若k遍历模m的一个完全剩余系，则：a*k+b也遍历m的一个完全剩余系

两个模的完全剩余系：（实际上也可以推广到n个模）
设m1,m2是两个互素的正整数，若k1,k2分别遍历模m1,m2的完全剩余系，则
m2k1+m1k2遍历模m1*m2的完全剩余系

五.简化剩余系和欧拉函数

欧拉函数：设m是一个正整数，则m个整数1，…,m-1，m中与m互素的整数的个数。

简化剩余类：一个剩余类中存在一个与模互素的剩余，那么这个类成为模m的一个简化剩余类。
简化剩余系：设m是一个正整数，在模m的所有不同的简化剩余类中，从每个类中任取一个数组成的整数的集合，叫做模m的一个简化剩余系。
模m的完全剩余系的元素个数为m，模m的简化剩余系的元素个数为Euler(m).
区分几个概念：最小非负，最小正，最大非正，最大负

定理：设m是一个正整数，a是满足（a,m)=1的整数，则存在唯一的整数a’,1<=a’<m使得
a * a’ =1（mod m)，称a’为a的逆元。

简化剩余系的性质应该也不会考，所以直接快进到欧拉函数了，想了解的可以去百度或者看书。