一、同余的定义：

①若两个整数a、b除以m的余数相同，则称a、b对于模m同余。

②已知三个整数a、b、m，如果m|a-b，就称a、b对于模m同余，记作a≡b(mod m)，读作a同余于b模m。

二、同余的性质：

①自身性：a≡a(mod m)；

②对称性：若a≡b(mod m)，则b≡a(mod m)；

③传递性：若a≡b(mod m)，b≡c(mod m)，则a≡ c(mod m)；

④和差性：若a≡b(mod m)，c≡d(mod m)，则a+c≡b+d(mod m)，a-c≡b-d(mod m)；

⑤相乘性：若a≡ b(mod m)，c≡d(mod m)，则a×c≡ b×d(mod m)；

⑥乘方性：若a≡b(mod m)，则an≡bn(mod m)；

⑦同倍性：若a≡ b(mod m)，整数c，则a×c≡ b×c(mod m×c)；

三、关于乘方的预备知识：

①若A=a×b，则MA=Ma×b=(Ma)b

②若B=c+d则MB=Mc+d=Mc×Md

四、被3、9、11除后的余数特征：

①一个自然数M，n表示M的各个数位上数字的和，则M≡n(mod 9)或(mod 3)；

②一个自然数M，X表示M的各个奇数位上数字的和，Y表示M的各个偶数数位上数字的和，则M≡Y-X或M≡11-(X-Y)(mod 11)；

五、费尔马小定理：

如果p是质数(素数)，a是自然数，且a不能被p整除，则ap-1≡1(mod p)。