标签：剩余 ac bar 同余 cdots mod equiv

定义：

若\((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)

令\(a=kp+r\)，\(b=k_1p+r_1\)，\(c=k_2p+r_2\)，则有\(ac=k_3+rr_2\)，\(bc=k_4p+r_1r_2\)，即\(rr_2=r_1r_2\)，
又\(r_2\neq 0\)，所以\(r=r_1\)

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\ p)\)

令\(a=kp+r\)，\(b=k_1p+r\)
\(\because m|p\)
\(\therefore a=k_2m+r\)，\(b=k_3m+r\)

剩余类，完全剩余系，缩剩余系

• 剩余类：

对于所有模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

标签：剩余,ac,bar,同余,cdots,mod,equiv
来源： https://www.cnblogs.com/hetailang/p/15910813.html

本站声明： 1. iCode9 技术分享网（下文简称本站）提供的所有内容，仅供技术学习、探讨和分享；
2. 关于本站的所有留言、评论、转载及引用，纯属内容发起人的个人观点，与本站观点和立场无关；
3. 关于本站的所有言论和文字，纯属内容发起人的个人观点，与本站观点和立场无关；
4. 本站文章均是网友提供，不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属；如您发现该文章侵犯了您的权益，可联系我们第一时间进行删除；
5. 本站为非盈利性的个人网站，所有内容不会用来进行牟利，也不会利用任何形式的广告来间接获益，纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。