带余除法专题

剩余系

定义

一个数模$m$所得的余数域。

分类

• 完全剩余系：由$\{0, 1, 2...m-1\}$组成的剩余系

  • 简化剩余系：由小于$m$且与$m$互质的自然数组成的剩余系

    完全剩余系与加法、乘法组成了一个环。
    简化剩余系与四则运算构成了一个域。

  • 证明需要用到的结论

    • 结论一：若$a ,b,c$为任意$3$个整数，$m$为正整数，且$(m, c ) = 1$, 则当$ac \equiv bc \pmod m$ 时，有$a \equiv b \pmod m$
      证明：根据题设有$(a-b)c\equiv 0 \pmod m$，因为$(m, c)=1$，$c$存在关于$m$的逆元，两边同乘之即可证。

    • 结论二：若$a_0,a_2...a_{m-1}$两两不同余，则它们构成对$m$的完全剩余系。
      证明：构造同余系$\{0,1,...,m-1\}$建立起双射关系。

    • 结论三：若$\{a_0,a_1...a_{m-1}p\}$构成对$m$的完全剩余系，$(p, m)=1$，则$\{pa_0,pa_1...pa_{m-1}\}$也构成对$m$的完全剩余系。
      证明：利用定理一证明这$m$个数两两不同余再利用定理二即可。

      ---

    重要定理

    费马小定理

    若$p$是质数，且$(a, p)=1$，则$a^{p-1}\equiv 1\pmod p$
    证明：构造剩余系$\{1,...,p-1\}$，根据定理三的思路有$\{a, 2a,...(p-1)a\}$也构成了相同的剩余系。于是有$(p-1)!\equiv a^{p-1}(p-1)!\pmod p$，又有$((p-1)!, p)=1$，两边同乘其逆元即可。

    欧拉定理（费马小定理的推广）

    若$a, p$为正整数且 (a,p