剩余类与剩余系

1、模m的两两不同的剩余类有m个

2、同余方程的解就是一个或几个剩余类

3、一个完全剩余系（完系）中，与m互质的整数的个数叫作欧拉函数，记作$\varphi(m)$。
这$\varphi(m)$个与m互质的整数组成模m的一个简化剩余系（缩系）。

4、$\varphi(m)$是偶数。

5、当p为素数时，$\varphi(p)$=p-1；若q也为素数，m=pq时，$\varphi(m)$=$\varphi(pq)$=$\varphi(p)$$\varphi(q)$=(p-1)(q-1)

6、计算欧拉函数
设$n\in Z^+，n \ge2$，n有整数标准分解式$n=\prod_{k=1}^s p_k^{a_k}$，则
$\varphi(n)=\prod_{k=1}^s (p_k^{a_k}-p_k^{a_k-1})=n\prod_{k=1}^s (1-\frac{1}{p_k})$

7、Wilson（威尔逊）定理
设p为素数，则$(p-1)!\equiv-1(mod p)$