剩余类、完系及简系

剩余类

定义

设m∈N*，将全体整数对m取模。将所有余数为r(0<=r<=m-1)的整数都整合到同一个集合中，记为$k_r$。所有$k_r$称为m的剩余类。

推论

根据定义，可得：
1.$k_0∪k_1∪k_2∪…∪k_{m-1}=Z$
2.$k_i∩k_j=∅(i!=j)$
3.$a,b∈k_r⇔a≡b(mod$ $m)$

完系

定义

从每个$k_r$中任取一个数，取出的m个数就是m的完全剩余系（简称完系），显然m的完系有无穷多个。

推论

1.辨定完系：对于任意i和j，都有$a_i≢a_j(mod$ $m)$。
2.设(b,m)=1，c是任意整数，如果a1,a2,a3,…,am是模m的一个完系，那么ba1+c,ba2+c,ba3+c,…,bam+c也是模m的一个完系。这个yy一下其实很好得出，所以就不证明了:P。

简系

定义

如果$k_r$中任意一个数与m互质，那么$k_r$就是与m互质的剩余类。欧拉函数$\varphi(n)$表示与n互质数的个数。从所有与m互质的剩余类中任意取一个数，这些数（共$\varphi(n)$个）称为模m的一个简化剩余系（简称简系）。

推论

1.判定简系：($a_i$,m)=1，且对于任意i和j，都有$a_i≢a_j(mod$ $m)$。
2.设(b,m)=1，如果$a_1,a_2,a_3,…,a_m$是模m的一个简系，那么$ba_1,ba_2,ba_3,…, ba_m$也是模m的一个简系。也不证明了:P。