标签：
定理1：如果 ac = bc (mod m)，那么 a = b (mod m / (m, c))
完全剩余系即是每个剩余类中任意取一数。
定理1：x 过 m 的完全剩余系，那么若如果有与 m 互素的整数 a，ax 也过 m 的完全剩余系。
定理2：m1 m2 是两个互素的正模，那么如果 x1 x2 分别过 m1 m2 的完全剩余系，m1x2 + m2x1 过 m1m2 的完全剩余系。
定义：首先，对于一个模 m 每个剩余类中的数与 m 的互素性是相同的，对每个与 m 具有互素性的剩余类中取一个数，就得到了 m 的一个缩系。
定义：欧拉函数 phi(n) 表示与 1~n 中与 n 互素的数的个数。
定理1：m 的缩系中有 phi(m) 个数
定理2：a[1] a[2] ... a[phi(m)] 构成 m 的缩系，等价于：
定理3：x 过 m 的缩系，那么若如果有与 m 互素的整数 a，ax 也过 m 的缩系。
定理4：m1 m2 是两个互素的正模，那么如果 x1 与 x2 分别过 m1 与 m2 的缩系，m1x2 + m2x1 过 m1*m2 的缩系。
本节的定理 3 4 与第二节的定理 1 2 完全类似
定理5：【欧拉定理】：如果 (a, m) = 1，那么 pow(a, phi(m)) = 1 (mod m)
证明：(a x1)(a x2)...(a xp) = x1 x2 ... xp (mod m)
pow(a, p) x1 x2 ... xp = x1 x2 ... xp
$$a^p = 1 (\mod m)$$
定理6：phi(n) = phi(p1 ^ a1 p2 ^ a2 ... pk ^ ak) = n(1 - 1/p1)(1 - 1/p2)...(1 - 1/pk)
有定理 3 4 的支持，定理 5 6 变得显然。
标签：
原文地址：http://www.cnblogs.com/gu-castle/p/4962640.html
