Module（取模运算）

定义

给定一个正整数$p$，任意一个整数$n$，一定存在等式：$n=kp+r$

其中 $k、r$ 是整数，且 $0\le r<p$，则称 $k$ 为 $n$ 除以 $p$ 的商，$r$ 为 $n$ 除以 $p$ 的余数

对于正整数 $p$ 和整数 $a,b$，定义如下运算：

取模运算：$a\%p$（或$amodp$），表示$a$除以$p$的余数

模$p$加法：其结果是$a+b$算术和除以$p$的余数

模$p$减法：其结果是$a-b$算术差除以$p$的余数

模$p$乘法：其结果是 $a\ast b$算术乘法除以$p$的余数

模$p$除法：除法的取模需要求逆元（见另外章节的详细介绍）

说明：

• 同余式：正整数$a,b$对$p$取模，它们的余数相同，记做$a\equiv b(modp)$

• $n\%p$ 得到结果的正负由被除数$n$决定,与$p$无关。例如：$7\%4=3$， $-7\%4=-3$， $7\%-4=3$， $-7\%-4=-3$。

基本性质

若$p|(a-b)$，则$a\equiv b(\%p)$。例如 $11\equiv 4(\%7)$， $18\equiv 4(\%7)$

$(a\%p)=(b\%p)$意味$a\equiv b(\%p)$

对称性：$a\equiv b(\%p)$等价于$b≡a (% p) $

传递性：若$a\equiv b(\%p)$且$b\equiv c(\%p)$ ，则$a\equiv c(\%p)$

运算规则

模运算与基本四则运算：

$(a+b)\%p=(a\%p+b\%p)\%p$

$(a-b)\%p=(a\%p-b\%p+p)\%p$ //后面加p是为了防止出现负数

$(a\ast b)\%p=(a\%p\ast b\%p)\%p$

$a^b\%p=((a\%p{)}^b)\%p$

结合律：

$((a+b)\%p+c)\%p=(a+(b+c)\%p)\%p$

$((a\ast b)\%p\ast c)\%p=(a\ast (b\ast c)\%p)\%p$

交换律：

$(a+b)\%p=(b+a)\%p$

$(a\ast b)\%p=(b\ast a)\%p$

分配律：

$(a+b)\%p=(a\%p+b\%p)\%p$

$((a+b)\%p\ast c)\%p=((a\ast c)\%p+(b\ast c)\%p)\%p$

重要定理

若$a\equiv b(\%p)$，则对于任意的$c$，都有$(a+c)\equiv (b+c)(\%p)$

若$a\equiv b(\%p)$，则对于任意的$c$，都有$(a\ast c)\equiv (b\ast c)(\%p)$

若$a\equiv b(\%p)$，$c\equiv d(\%p)$，则 $(a+c)\equiv (b+d)(\%p)$，$(a-c)\equiv (b-d)(\%p)$，$(a\ast c)\equiv (b\ast d)(\%p)$