同余
定义:
若\((a-b)\ mod\ p=0\),则\(a\)与\(b\)在模\(p\)的意义下同余,记作\(a\equiv b(mod\ p)\)。(\(a,c\in Z\)(整数),\(m\in N^*\)(正整数))
性质:
1.\(a\equiv a(mod\ p)\)
2.若\(a\equiv b(mod\ p)\),则\(b\equiv a(mod\ p)\)
3.若\(a\equiv b(mod\ p)\),且\(b\equiv c(mod\ p)\),则\(a\equiv c(mod\ p)\)
令\(a=kp+r\),\(b=k_1p+r\),\(c=k_2p+r\),则有\(a-c=k_3p\),即 \(a\equiv c(mod\ p)\)
4.若\(a\equiv b(mod\ p)\),且\(c\equiv d(mod\ p)\),则\(a\pm c\equiv b\pm d(mod\ p)\)
证法与3相同
5.若\(a\equiv b(mod\ p)\),且\(c\equiv d(mod\ p)\),则\(ac\equiv bd(mod\ p)\)
令\(a=kp+r\),\(b=k_1p+r\),\(c=k_2p+r_1\),\(d=k_3+r_1\),则有\(ac=k_4p+rr_1\),\(bd=k_5p+rr_1\),即\((ac-bd)mod\ p=0\)
6.如果\(ac\equiv bc(mod\ p)\),且 c和p互质,则有\(a\equiv b(mod\ p)\)
若\(c\)和\(p\)互质,则存在\(c^{\prime}\)使得\(c^{\prime}c \equiv 1\)(逆元),对于\(ac\equiv bc(mod\ p)\),两边同乘以\(c^{\prime}\),得到\(acc^{\prime}\equiv bcc^{\prime}(mod\ p)\),由于\(acc^{\prime}\equiv a\)以及\(bcc^{\prime}\equiv b\),即可得到\(a\equiv b(mod\ p)\)。
7.若\(a\equiv b(mod\ p)\),则\(a^c\equiv b^c(mod\ p)\)(\(c\in N\))
由第3条性质可得该性质
8.若\(a-b\equiv c(mod\ p)\),则\(a\equiv c+b(mod\ p)\)
9.若\(a\equiv b(mod\ p)\),且\(m|p\),则\(a\equiv b(mod\ m)\)
令\(a=kp+r\),\(b=k_1p+r\)
\(\because m|p\)
\(\therefore a=k_2m+r\),\(b=k_3m+r\)
10.\(ad\equiv bd\ (mod\ pd)\ \Leftrightarrow\ a\equiv b\ (mod\ p)\)
先证分配律:\((a\ mod\ p)d=ad\ mod\ pd\)
\(令a=kp+r\),则\((a\ mod\ p)d=dr\)
\(ad=kdp+dr\),则\(ad\ mod\ pd=dr\)证毕
\(a\ mod\ p=b\ mod\ p\Leftrightarrow(a\ mod\ p)d=(b\ mod\ p)d\Leftrightarrow(ad\ mod\ pd)=(bd\ mod\ pd)\)
11.\(ad\equiv bd(mod\ p)\Leftrightarrow a\equiv b(mod\frac{p}{gcd(d,m)})\)
结合6,10可得
12.\(a\equiv b(mod\ p)\)且\(a\equiv b(mod\ q)\Leftrightarrow a\equiv b(mod\ lcm(p,q))\)
若a-b是p和q的一个公倍数,那么它就是lcm(q,p)的公倍数
13.\(a=b(mod\ pq)\Leftrightarrow a=b(mod\ p)\)且\(a=b(mod\ q)\),如果\(p\perp q\)
此时\(lcm(q,p)=qp\)
剩余类,完全剩余系,缩剩余系
- 剩余类:
对于所有模n余r的整数,我们可以将其分为n类,
那么\(\bar{r}_n=\{k\in Z|kn+r\}\)就为n余r剩余类。
比如模5的一个剩余类\(\cdots,-5,0,5,10,\cdots\)
- 完全剩余系:
若从\(\bar{0}_n,\bar{1}_n,\bar{2}_n,\cdots,\bar{(n-1)}_n\)中各挑选出一个数,便组成了模n的完全剩余系。
\(R(n)=\{0,1,2,\cdots,n-1\}\)称为模n的最小非负完全剩余系。
比如模5的一个(最小非负)完全剩余系0,1,2,3,4
- 缩剩余系
对于模n的完全剩余系,取所有与n互质的数,即为模n的缩剩余系\(\Phi_n\)。
\(\Phi_n=\{c_1,c_2,\cdots,c_{\Phi(n)}\}\)
若缩剩余系\(\Phi_n\)满足\(c_i\in [i,n-1]\),那么就称为模n的最小正缩剩余系。
比如模6的一个(最小正)缩剩余系1,5
剩余系
所谓“剩余系”,就是指对于某一个特定的正整数n,一个整数集中的数模n所得的余数域。(完全剩余系的子集)
剩余系的应用
我们可以用整数x表示成为关于一组互素的模的剩余(余数)序列:
这玩意有啥用呢?
我们先来看下仅有模3和模5的剩余系的小情形:
x mod 15 | x mod 3 | x mod 5 |
---|---|---|
0 | 0 | 0 |
1 | 1 | 1 |
2 | 2 | 2 |
3 | 0 | 3 |
4 | 1 | 4 |
5 | 2 | 0 |
6 | 0 | 1 |
7 | 1 | 2 |
8 | 2 | 3 |
9 | 0 | 4 |
10 | 1 | 0 |
11 | 2 | 1 |
12 | 0 | 2 |
13 | 1 | 3 |
14 | 2 | 4 |
带入上面的公式可得:\(Res(13)=13mod15=(1,3),Res(7)=7mod15=(1,2),\cdots\)
我们可以发现任意一个有序对(x mod 3,x mod 5)对应的Res(x)都是不同的,即它们是一一对应的关系。
因为\(x\ mod\ 3=y\ mod\ 3且x\ mod\ 5=y\ mod\ 5\Leftrightarrow x\ mod\ 15=y\ mod 15\)
假设有两个数x,y,满足:
\(x\ mod\ 3=y\ mod\ 3且x\ mod\ 5=y\ mod\ 5\ 及\ x\ mod\ 15\neq y\ mod 15\)
但这是不可能的
根据同余式的规则,我们可以在两个分量上独立的执行加,减,乘。例如:
用13=(1,3)乘7=(1,2) mod 15,就计算1*1 mod 3=1,2*3 mod 5=1即(1,1)=1,
这说明7*13 mod 15 必定等于1。
13%3=1 7%3=1
13%5=3 7%5=2
\(\quad\quad\Downarrow\)
\(13\equiv 1\quad 7\equiv 1\ (mod\ 3)\Rightarrow 13*7\equiv 1\ (mod\ 3)\)
\(13\equiv 3\quad 7\equiv 2\ (mod\ 5)\Rightarrow 13*7\equiv 6\equiv 1\ (mod\ 5)\)
\(\quad\quad\Downarrow\)
\(13*7\equiv 1\ (mod\ 15)\)
参考博客同余