剩余系
定义
一个数模 m 所得的余数域。
分类
- 完全剩余系:由
{0,1,2...m−1} 组成的剩余系简化剩余系:由小于 m 且与
m 互质的自然数组成的剩余系完全剩余系与加法、乘法组成了一个环。
简化剩余系与四则运算构成了一个域。证明需要用到的结论
结论一:若 a,b,c 为任意 3 个整数,
m 为正整数,且 (m,c)=1 , 则当 ac≡bc(modm) 时,有 a≡b(modm)
证明:根据题设有 (a−b)c≡0(modm) ,因为 (m,c)=1 , c 存在关于m 的逆元,两边同乘之即可证。结论二:若 a0,a2...am−1 两两不同余,则它们构成对 m 的完全剩余系。
证明:构造同余系{0,1,...,m−1} 建立起双射关系。结论三:若 { a0,a1...am−1p} 构成对 m 的完全剩余系,
(p,m)=1 ,则 { pa0,pa1...pam−1} 也构成对 m 的完全剩余系。
证明:利用定理一证明这m 个数两两不同余再利用定理二即可。
重要定理
费马小定理
若 p 是质数,且
(a,p)=1 ,则 ap−1≡1(modp)
证明:构造剩余系 { 1,...,p−1} ,根据定理三的思路有 { a,2a,...(p−1)a} 也构成了相同的剩余系。于是有 (p−1)!≡ap−1(p−1)!(modp) ,又有 ((p−1)!,p)=1 ,两边同乘其逆元即可。欧拉定理(费马小定理的推广)
若 a,p 为正整数且 (a,p