信息安全数学基础——同余和剩余类

最新推荐文章于 2024-05-13 21:32:22 发布

@小白.

最新推荐文章于 2024-05-13 21:32:22 发布

阅读量909

点赞数 2

分类专栏：信息安全数学基础文章标签：算法密码学其他安全

本文链接：https://blog.csdn.net/weixin_45930035/article/details/127186118

版权

信息安全数学基础专栏收录该内容

8 篇文章 2 订阅

订阅专栏

文章目录

定义2.1
定理2.1
定理2.2
定理2.3
定理2.4
定理2.5
定理2.6
定义2.2
定理2.7
定理2.8
- 证明
定义2.3
总结

定义2.1

给定一个正整数m，如果两个整数a，b有m|a - b，则a，b模m同余，记作 $a \equiv b$ （mod m）；否则，a，b模m不同余，记作 ${a}\not\equiv{b}$ （mod m）。

定理2.1

设m是一个正整数，a，b是两个整数，则
${a}\equiv{b}\quad(mod\quad{m})$
的充要条件是存在一个整数k，使得 $a = b + km$ 。

定理2.2

设m是一个正整数，则模m同余是等价关系，即
（1）自反性，对任一整数 $a$ ， $a\equiv{a}\quad(mod\quad{m})$ 。
（2）对称性，若 $a\equiv{b}\quad(mod\quad{m})$ ，则 $b\equiv{a}\quad(mod\quad{m})$ 。
（3）传递性，若 $a\equiv{b}\quad(mod\quad{m})$ ， $b\equiv{c}\quad(mod\quad{m})$ ，则 $a\equiv{c}\quad(mod\quad{m})$ 。

定理2.3

设m是给定的一个正整数， $a_1,a_2,b_1,b_2$ 是4个整数，如果
$a_1\equiv{b_1}\quad(mod\quad{m})$
$a_2\equiv{b_2}\quad(mod\quad{m})$
则有
$a_1+a_2\equiv{b_1+b_2}\quad(mod\quad{m})$
$a_1a_2\equiv{b_1b_2}\quad(mod\quad{m})$

定理2.4

设m是一个正整数， $ad\equiv{bd}\quad(mod\quad{m})$ ，如果 $(d, m) = 1$ ，则
$a\equiv{b}\quad(mod\quad{m})$

定理2.5

设m是一个正整数， $a\equiv{b}\quad(mod\quad{m})$ ，如果整数 $d ∣ (a, b, m)$ ，则
$\frac{a}{d}\equiv{\frac{b}{d}}\quad(mod\quad{\frac{m}{d}})$

定理2.6

设m是一个正整数， $a\equiv{b}\quad(mod\quad{m})$ ，如果整数 $d ∣ m$ ，则
$a\equiv{b}\quad(mod\quad{d})$

定义2.2

$C_a$ 叫作模 $m$ 的 $a$ 的剩余类。一个剩余类中的任一数叫作该类的剩余或代表元。若 $r_0,r_1,...,r_{m-1}$ 是 $m$ 个整数，且其中任何两个数都不在同一个剩余类里，则 $r_0,r_1,...,r_{m-1}$ 叫作模 $m$ 的一个完全剩余系。完全剩余系 $0, 1, 2, ..., m - 1$ 称为最小非负完全剩余系。
模 $m$ 的剩余类通常写成
$Z/mZ=\lbrace{C_0,C_1,...,C_{m-1}}\rbrace=\lbrace{C_a|0≤a≤m-1}\rbrace$
特别地，当 $m = p$ 为素数时，也写成
$F_p=Z/pZ=\lbrace{C_0,C_1,...,C_{p-1}}\rbrace=\lbrace{C_a|0≤a≤p-1}\rbrace$
$C_i$ 也可以记为 $i]_m$ 。

定理2.7

设 $m$ 是正整数，则 $m$ 个整数 $a_1,a_2,...,a_m$ 为模 $m$ 的一个完全剩余系的充要条件是它们模 $m$ 两两不同余。

定理2.8

设 $m$ 是正整数，整数 $a$ 满足 $(a, m) = 1$ ， $b$ 是任意整数。若 $x$ 遍历模 $m$ 的一个完全剩余系，则 $a x + b$ 也遍历模 $m$ 的一个完全剩余系。

证明

设 $a_1,a_2,...,a_m$ 为模 $m$ 的完全剩余系，由完全剩余系的定义，这组整数模 $m$ 两两不同余。需要证明的是， $aa_1+b,aa_2+b,...,aa_m+b$ 也是模 $m$ 的一组完全剩余系。只需要证明这 $m$ 个数模 $m$ 两两不同余即可（这里用到“抽屉原则”或鸽巢原理）。若存在 $a_i$ 和 $a_j$ ， $i\neq{j}$ ，使得
$aa_i+b\equiv{aa_j+b}\quad(mod\quad{m})$
则有 $m|a(a_i-a_j)$ ，由于 $(a, m) = 1$ ，所以 $a_i\equiv{a_j}(mod\quad{m})$ 。这与 $a_1,a_2,...,a_m$ 模 $m$ 两两不同余矛盾。因此， $aa_1+b,aa_2+b,...,aa_m+b$ 模 $m$ 两两不同余。
定理2.8中取特例 $b = 0$ ，说明 $aa_1,aa_2,...,aa_m$ 也是模 $m$ 的一组完全剩余系。于是， $aa_i(mod\quad{m})$ 必然有且仅有一个数为 $1(mod\quad{m})$ 。于是可引出如下概念：

定义2.3

设 $m$ 是一个正整数， $a$ 是一个整数，如果存在整数 $a^{'}$ 使得
$aa'\equiv{1}\quad(mod\quad{m})$
成立，则 $a$ 叫作模 $m$ 的可逆元， $a^{'}$ 叫作 $a$ 的模 $m$ 逆元。
根据定理2.8，在模 $m$ 的意义下（即 $m$ 的完全剩余系中）， $a^{'}$ 是存在且唯一的。