最新的学习笔记—《信息安全数学基础》

cryptocxf

已于 2024-04-11 20:33:46 修改

阅读量5.4k

点赞数 29

分类专栏：基础课程学习笔记文章标签：安全信息安全抽象代数网络安全密码学

于 2021-03-24 09:57:08 首次发布

本文链接：https://blog.csdn.net/A33280000f/article/details/115137058

版权

基础课程学习笔记专栏收录该内容

1 篇文章 2 订阅

订阅专栏

《信息安全数学基础》最新学习笔记

这里是关于《信息安全数学基础》书的个人笔记和总结，包括将一些概念（整除、同余、群、环、域、多项式等代数学基础）重点记录下来，这样容易快速记忆一些重点，建立信息安全需要掌握的数学基础。然而，这里没有相应的证明，需要详细的证明可以翻书查阅。若有错误的地方，欢迎指正，本人也同步在学习，将不断完善。(本人耗时一整天码字不易，希望对你有所帮助，仅供参考)

参考书籍《信息安全数学基础教程》(第2版)，许春香周俊辉等人编著。

附：也可直接下载PDF学习，可能里面对应的标注和内容更直观、清晰和完整。

一、整除与同余

定义1.1：假设 $a 、 b$ 是任意两个整数，其中 $b$ 非零，若存在一个整数 $q$ ，使得
$a = q b$
则称为 $b$ 能整除 $a$ ，或称 $a$ 能被 $b$ 整除，记为 $b ∣ a$ ，且 $b$ 是 $a$ 的因子， $a$ 是 $b$ 的倍数。

设 $c > 0$ 是两个不全为零的整数 $a 、 b$ 的公因子，若 $a 、 b$ 的任何公因子都整除c，则称为 $a 、 b$ 的最大公因子。记为 $c = (a, b)$ ，或者 $c = g c d (a, b)$ 。假设 $a 、 b$ 是两个非零的整数，则存在两个整数 $u 、 v$ 使得 $(a, b) = u a + v b$ 。
设 $m > 0$ 是两个整数 $a 、 b$ 的公倍数，若 $m$ 整除 $a 、 b$ 的任何公倍数，则 $m$ 称为 $a 、 b$ 的最小公倍数，记为 $m = [a, b]$ ，或者 $m = l c m (a, b)$ 。有 $b]=\frac {|ab|}{(a, b)}$ ，若 $(a, b) = 1$ ，则 $[a, b] = ∣ ab ∣$ 。

元素 $a 、 b$ 互素的充要条件是，存在 $u 、 v$ 使 $u a + v b = 1$ ，则由 $(a, b) ∣ (u a + v b)$ ，得 $(a, b) ∣1$ ，所以 $(a, b) = 1$ 。

对于正整数 $n$ 和整数 $a$ ， $a^{-1} mod n$ 存在的充分必要条件为 $(a, n) = 1$

如： $a^{-1} \pmod n\Rightarrow$ 存在整数 $b$ 使得 $ab \pmod n=1$ 。

例1： $7^{-1}\pmod {13}=？$ 解：因为 $\pmod {13} =1$ ，所以 $7^{-1}\pmod {13} = 2$ 。

定义1.2：设 $\in R$ ， $\leq x$ 的最大整数称为 $x$ 的整数部分，记为 $\lfloor x\rfloor$ 。其中 $\lfloor x\rfloor\leq x\leq \lfloor x\rfloor+1$ 。

定义1.3：给定称为模的正整数 $m$ ，若 $m$ 除整数 $a 、 b$ 得相同的余数，即存在整数 $q_{1}$ 和 $q_{2}$ 使得
$a=q_{1}m+r，b=q_{2}m+r$
则称 $a$ 和 $b$ 关于模 $m$ 同余，记为
$a\equiv b\pmod m$
$a$ 和 $b$ 关于模 $m$ 同余的充分必要条件为： $m ∣ (a - b)$ ，即 $a = b + m t$ ， $t$ 是整数。

第一章小结：（1) 重点记住”整除“和”被整除“的关系，通常为小的数整除大的数，大的数被小的数整除；(2) 注意 $g c d = (a, b)$ 表示最大公因子(greatest common divisor, gcd）， $l c m = [a, b]$ 表示最小公倍数(least common multiple, lcm)；（3）需要注意定义1.2中是 $\lfloor x\rfloor$ 不是 $[x]$ 。

二、群

2.1 群

定义2.1：设 $S$ 是一个非空集合，如果在 $S$ 上定义了一个代数运算，称为乘法 ·，记为 $a \cdot b$ 。对于乘法，根据习惯可省略乘号写成 $ab$ ，且满足下列条件，则称 $(S,\cdot)$ 为一个半群。

$S$ 关于乘法 · 是封闭的，即对于 $S$ 中任意元素 $a 、 b$ ，有 $a \cdot b$ 属于 $S$ 。
$S$ 对于乘法 ·，结合律成立，即对于 $S$ 中任意元素 $a 、 b 、 c$ ，有 $a \cdot (b \cdot c) = (a \cdot b) \cdot c$ 。

则用”乘法“定义的群称为乘法半群；用”加法“定义的群称为加法半群。

半群必须满足封闭性和结合律；
另外群还要满足左单位元 $e (e \cdot a = a)$ 和左逆元 $b (b \cdot a = e)$ ；
若群中的运算满足交换律，则这个群称为交换群或阿贝尔(Abel)群；
若群 $G$ 中元素的个数是无限多个，称为 $G$ 是无限群，若有限个，称为有限群， $G$ 中元素的个数称为群的阶，记为 $∣ G ∣$ 。

2.2 子群

定义2.2：一个群 $G$ 的一个子集 $H$ 如果对于 $G$ 的乘法构成一个群，则称为 $G$ 的子群。

(1) 对于任意群 $G$ 都至少有两个子群：一个是群 $G$ 本身，另一个是包含单位元的子集 ${e}$ ，它们称为平凡子群，其他称为真子群。
- $G$ 的单位元和子集H的单位元是同一的；
- 若 $a\in H$ ，且 $a^ {-1}$ 是 $a$ 在 $G$ 中的逆元，则 $a^ {-1}\in H$ 。
(2) 非空子集H构成一个子群的充分必要条件是：
- 对于任意的 $a，b\in H$ ，有 $ab\in H$ ；（封闭性）
- 对于任意的 $a\in H$ ，有 $a^{-1}\in H$ 。（逆元）
(3)一个集合 $A$ 到另一个集合 $B$ 的映射 $f$ 是对于任意 $a\in A$ ，都有唯一确定的
$b=f(a)\in B$
与之对应。 $b$ 称为 $a$ 在 $f$ 下的像，而 $a$ 称为 $b$ 在 $f$ 下的原像，如下图。

映射关系

对于任意 $a，b\in A$ ，如果 $a\neq b$ ，有 $f(a)\neq f(b)$ ，则称为 $f$ 为单射。对于任意 $b\in B$ ，总有 $a\in A$ ，使 $f (a) = b$ ，则称 $f$ 为满射。既是满射又是单射的映射称为一一映射。单射的含义是 $A$ 中的不同的元素在B中有不同的像。满射是 $B$ 中的每个元素都成为 $A$ 中元素的一个像。

第二章小结：(1) 要理解半群和群G的区别，半群要满足结合律和封闭性，群则是不仅要满足结合律和封闭性，而且需要满足存在左(右)单位元和左(右)逆元；(2) 理解封闭性、逆元的含义，以及”像“和”原像“等概念。

三、循环群与群的结构

3.1 循环群

定义3.1：如果一个群 $G$ 里的元素都是某一个元素 $g$ 的幂，则 $G$ 称为循环群， $g$ 称为 $G$ 的一个生成元。由 $g$ 生成的循环群记为 $(g)$ 或 $\langle g\rangle$ 。

无限循环群可表示为：{ $g^{-2}, g^{-1}, g^{0}, g^{1}, g^{2},...$ }，其中 $g^{0}=e$ 。
有限n阶循环群可表示为：{ $g^{0}, g^{1}, g^{2},..., g^{n}$ }, 其中 $g^{0}=e$ 。

循环群的几个性质：

（1）循环群是交换群；
（2）在 $n$ 阶循环群中，有 $g^{n}=e$ ；
（3）由于 $n$ 阶循环群中 $g^{n}=e$ ，则可以得到：设 $i 、 j$ 是任意整数，如果 $i=j\pmod n$ ，则
$g^{i}=g^{j}$
$g^{i}$ 的逆元为 $g^{-i}=g^{n-i}$ 。

3.2 剩余类群

特殊的循环群——剩余类群。

由同余概念，将全体整数 $Z$ 进行分类，设 $m$ 是正整数，把模 $m$ 同余的整数归为一类，即可表示为
$a=qm+r，0\leqslant r<m，q=0,\pm 1, \pm2,...$
的整数是一个模 $m$ 为一类，称为剩余类，剩余类中的每个数都称为该类的剩余或代表， $r$ 称为该类的最小非负剩余。

例如模8的剩余类为
$\overline{0}=$ { $0,\pm8, \pm2\times 8, \pm3\times8,...$ }
$\overline{1}=$ { $1,1\pm8, 1\pm2\times 8, 1\pm3\times8,...$ }
$\overline{2}=$ { $2,2\pm8, 2\pm2\times 8, 2\pm3\times8,...$ }
…
$\overline{7}=$ { $7,7\pm8, 7\pm2\times 8, 7\pm3\times8,...$ }

定理3.1：模 $m$ 的全体剩余类集合对于剩余类加法构成 $m$ 阶循环群。注意对于加法，元素的“幂”就是元素的连加。

第三章小结：（1）需要记住循环群的几个性质；（2）剩余类往往在其上方加一横杠，即 $\overline{0}、\overline{1}、\overline{2}$ 这种方式。

四、环

定义4.1：设 $R$ 是一非空集合，在 $R$ 上定义了加法和乘法两种代数运算，分别记为“ $+$ ”和“ $\cdot$ ”，如果R具有如下性质：

(1) $R$ 对于加法 $+$ 是一个交换群；
(2) $R$ 对于乘法 $\cdot$ 是封闭的；
(3) 乘法满足结合律，即对于任意 $a、b、c\in R$ ，有 $a \cdot (b \cdot c) = (a \cdot b) \cdot c$ ；
(4) 分配律成立，即对于任意 $a、b、c\in R$ ，有 $a \cdot (b + c ） = a \cdot b + a \cdot c$ ， $(b + c) \cdot a = b \cdot a + c \cdot a$ 。

则称 $(R, +,\cdot)$ 为一个环。环对于加法构成交换群，对于乘法满足封闭性和结合律，又对加法和乘法满足分配律。如果环 $R$ 关于乘法还满足交换律，即对于任意，总有，则称 $R$ 为交换环。

全体整数集合 $Z$ 构成的环是交换环。

由于环里存在两种运算，因此把加法群的单位元称为零元，记为 $0$ ，元素的加法逆元称为负元，记为 $- a$ 。而继续把乘法单位元和乘法逆元分别称为单位元和逆元，用 $1$ 和 $a^{-1}$ 表示。

定义4.2：如果在一个环 $R$ 里 $a\neq 0$ ， $b\neq 0$ ，但
$ab = 0$

则称 $a$ 是这个环的一个左零因子， $b$ 是这个环的一个右零因子。显然交换环里每个左零因子同时是右零因子。若左右零因子同时存在，则称为零因子。

4.1 整环、除环与域

定义4.3：如果一个环 $R$ 满足下列条件：

(1) $R$ 是交换环；
(2) 存在单位元，且 $1\neq 0$ ；
(3) 没有零因子。

则 $R$ 称为整环。整数环、全体有理数、全体实数和全体复数都是整环。
条件(2)中 $1\neq 0$ 意味着环中不止一个元素，或存在非零元。

定义4.4：若一个环 $R$ 存在非零元，而且全体非零元构成一个乘法群，则 $R$ 称为除环。全体有理数 $Q$ 、全体实数 $R$ 和全体复数 $C$ 对于普通的加法和乘法都是除环。

定义4.5：一个交换除环称为一个域 。如果一个环 $F$ 存在非零元，而且全体非零元构成一个乘法交换群，则 $F$ 称为一个域。全体有理数 $Q$ 、全体实数 $R$ 和全体复数 $C$ 对于普通的加法和乘法都是域。

当 $p$ 是素数时，模 $p$ 剩余类集合对于剩余类加法和乘法构成一个域，记为 $GF (p)$ 。

从群的角度出发，则一个集合 $F$ 是一个域应该满足以下3个条件：

(1) 构成加法交换群；
(2) 非零元构成乘法交换群；
(3) 满足分配律。

从域、除环、无零因子环和环的定义，可以知道域一定是除环，除环一定是无零因子环。

域、除环、无零因子和环的关系

4.2 环的同态与理想

定义4.6： $(R, +,\cdot)$ 和 $(R^{'},\oplus, \otimes)$ 是两个环，如果存在 $R$ 到 $R^{'}$ 的一个映射 $f$ ，加法和乘法都在 $f$ 下得到保持，即对任意
$f (ab) = f (a) f (b)$
$f (a + b) = f (a) + f (b)$

则称 $f$ 是 $R$ 到 $R^{'}$ 同态映射，或简称同态。如果 $f$ 是单射，则称为 $f$ 是单同态。如果 $f$ 是满射，则称为 $f$ 是满同态。如果 $f$ 是一一映射，则称 $f$ 是同构(映射)，此时称 $(R, +,\cdot)$ 和 $(R^{'},\oplus, \otimes)$ 是同构，并用 $R\cong R^{'}$ 表示。

第四章小结：(1) 整环与除环的区别：除环少了交换性，增加了乘法群。相同处：都有单位元，都是无零因子环；不同处：前者可以是零环，而后者不行；(2) 整环的优点（可换性）与除环的优点（可逆性）凑合在一起，就成了——域；(3) 集合F是一个域需要满足三个条件：构成加法交换群、非零元构成乘法交换群和满足分配律；(4）域一定是除环，除环包含了域。

五、多项式环与有限域

5.1 多项式环

定义5.1：设 $F$ 是一个域，设 $a\neq 0$ 。则称
$f(x)=a_{n}x^{n}+a_{n-1}x^{n-1}+...+a_{1}x+a_{0}（a_{i}\in F, n是非负整数)$

(1) $f (x)$ 是 $F$ 上的一元 $n$ 次多项式，其中 $x$ 是一个未定元。
(2) 称 $a_{n}x^{n}$ 为 $f (x)$ 的首项， $n$ 是多项式 $f (x)$ 的次数，记为 $d e g (f (x)) = n$ 。
(3) 如果 $a_{n}=1$ ，则称 $f (x)$ 为首一多项式。
(4) 如果 $f(x)=a_{n}\neq 0$ ，则约定 $d e g (f (x)) = 0$ ，为零次多项式。
(5) $F$ 上的全体一元多项式的集合用 $F (x)$ 表示。
(6) 当 $a_{i}$ 全为 $0$ 时，即 $f (x) = 0$ ，称为零多项式。

域 $GF (2)$ 上的两个多项式 $(GF (2)$ 的两个元素表示为 $0$ 和 $1$ )

定理5.1： $F [x]$ 是具有单位元的整环。

定义5.2：对于 $f(x)、g(x)\in F[x]$ ， $f(x)\neq 0$ 。如果存在 $q(x)\in F[X]$ ，使得 $g (x) = q (x) f (x)$ ，则称 $f (x)$ 整除 $g (x)$ ，记为 $f (x) ∣ g (x)$ ， $f (x)$ 称为 $g (x)$ 的因式。如果 $f(x))^{k}|g(x)$ ，但 $f(x))^{k+1}|g(x)$ 不能整除g(x)，则称 $f (x)$ 是 $g (x)$ 的 $k$ 重因式。

定理5.2：欧几里得算法。对于多项式 $f (x) 、 g (x)$ ，其中 $deg(f(x))\leqslant deg(g(x))$ 。反复进行欧几里得算法，得到下列方程式：
$g(x)=q_{1}(x)f(x)+r_{1}(x), deg(r_{1}(x))<deg(f(x))$
$f(x)=q_{2}(x)r_{1}(x)+r_{2}(x), deg(r_{2}(x))<deg(r_{1}(x))$
$r_{1}(x)=q_{3}(x)r_{2}(x)+r_{3}(x), deg(r_{3}(x))<deg(r_{2}(x))$
…
$r_{m-2}(x)=q_{m}(x)r_{m-1}(x)+r_{m}(x), deg(r_{m}(x))<deg(r_{m-1}(x))$
$r_{m-1}(x)=q_{m+1}(x)r_{m}(x)+r_{3}(x)$ 于是有 $r_{m}(x)=(f(x),g(x))$
定义5.3：设 $p(x)\in F[x]$ 为一多项式，且 $deg(p(x))\geq 1$ ，如果 $p (x)$ 在 $F [x]$ 内的因式仅有零次多项式及 $cp(x)(c\neq 0 \in F)$ ，则称 $p (x)$ 是 $F [x]$ 内的一个不可约多项式，否则称为可约多项式。

$GF (2) [x]$ （二元域上，判断一次因式，只需把 $0$ 和 $1$ 代入，判断是否为 $0$ ，为 $0$ 则为可约，不为 $0$ 不可约）四次以内的不可约多项式。

(1) 0次，多项式为1；
(2) 1次，多项式为 $x, x + 1$ ；
(3) 2次，多项式为 $x^{2}+x+1$ ；
(4) 3次，多项式为 $x^{3}+x^{2}+1, x^{3}+x+1$ ；
(5) 4次，多项式为 $x^{4}+x+1, x^{4}+x^{3}+1, x^{4}+x^{3}+x^{2}+x+1$ ；

在 $GF (2) [x]$ 上有 $f(x)+g(x))^{2}=(f(x))^{2}+(g(x))^{2}$

5.2 多项式剩余类环

定义5.4：设 $f(x)\in F[x]$ 是首一多项式。对于 $a(x)、b(x)\in F[x]$ ，如果 $f (x)$ 除 $a (x) 、 b (x)$ 得相同的余式，即
$a(x)=q_{1}(x)f(x)+r(x)$
$b(x)=q_{2}(x)f(x)+r(x)$

则称 $a (x)$ 和 $b (x)$ 关于 $f (x)$ 模同余，记为
$a(x)\equiv b(x)\pmod {f(x)}$
定理5.3：设 $f(x)\in F[x]$ 是一个首一多项式，且 $d e g (f (x)) > 0$ ，则 $F[x]\pmod {f(x)}$ 构成具有单位元的交换环，称为多项式剩余类环。

定理5.4：如果 $f (x)$ 是 $F$ 上的首一不可约多项式，则 $F[x]\pmod f(x)$ 构成有限域。

5.3 有限域

定义5.5：有限个元素构成的域称为有限域或 $G a l o i s$ (伽罗瓦)域。域中元素的个数称为有限域的阶。

例：当 $p$ 是素数时，模 $p$ 剩余类集合
$\lbrace \overline{0}, \overline{1},\overline{2}, ..., \overline{p-1} \rbrace$
构成 $p$ 阶有限域 $GF (p)$ 。

定义5.6： $q$ 阶有限域中阶为 $q - 1$ 的元素称为本原域元素，简称本原元。

定理5.5：有限域中一定含有本原元。在一个无零因子环 $R$ 里所有非零元的加法阶都相同。当加法阶有限时，它是一个素数。

定义5.7：域中非零元的加法阶称为环的特征，当加法阶为无限大时，称特征为 $0$ 。如果一个域F不再含有真子集作为 $F$ 的子域，则称 $F$ 为素域。

定理5.6：阶为素数的有限域必为素域。

(1) 素数 $p$ 阶域的特征为 $p$ 。
(2) 任何素数 $p$ 阶域与 $GF (2)$ 同构。

定理5.7：有限域的阶必为其特征之幂。一般有限域记为 $GF(p^{m})$ ，其中 $p$ 是域的特征， $m$ 是正整数。由于特征总是素数，则有限域的阶总为素数的幂。

第五章小结：（1）要注意零次多项式是只有常数项的多项式，零多项式是等于0；（2) 欧几里得和不可约多项式非常重要，需要多加深理解；（3）有限域则是必须掌握的知识点。

六、同余式

6.1 剩余系

回顾剩余类：设 $m$ 是正整数，模 $m$ 同余的全体整数是一个模 $m$ 剩余类，即可表示为
$a=qm+r，0\leqslant r<m，q=0,\pm 1, \pm2,...$

的整数是一个模 $m$ 为一类，称为剩余类，剩余类中的每个数都称为该类的剩余或代表， $r$ 称为该类的最小非负剩余。

定义6.1：从模 $m$ 剩余类中各取一个代表，则称这些代表的集合为模 $m$ 的一个完全剩余系。

定义6.2：如果一个模 $m$ 的剩余类里面的数与m互素，则称它为与模 $m$ 互素的剩余类。从与模 $m$ 互素的每个剩余类中各取一个数构成的集合称为模 $m$ 的一个简化剩余系。

定理6.1：模 $m$ 剩余类环中与 $m$ 互素的剩余类构成乘法群。

欧拉函数 $\varphi (m)$ 表示小于或等于 $m$ 的正整数中与 $m$ 互质的数的数量。例如 $\varphi (8)=4$ ，因为 $1 、 3 、 5 、 7$ 均和 $8$ 互质(互素)。当 $m$ 为质数时 $\varphi (m)=m-1$ ，以及 $\varphi (p^{k})=p^{k}(1-\frac 1p)$ 。

(欧拉定理)：设 $m$ 是正整数，如果 $(r, m) = 1$ ，则
$r^{\varphi (m)} \equiv 1\pmod m$

(费马定理)：如果 $p$ 是素数，则
$r^{p} \equiv r\pmod p$

6.2 中国剩余定理

通常中国剩余定理是求解同余式组的解，例
$x\equiv b_{1}\pmod m_{1}$
$x\equiv b_{2}\pmod m_{2}$
$\vdots$
$x\equiv b_{k}\pmod m_{k}$

(中国剩余定理)：设 $m_{1} , m_{2}, \ldots, m_{k}$ 两两互素，则上面的同余式组有唯一解。
$x\equiv M_1^{-1}M_1b_1+M_2^{-1}M_2b_2+\vdots +M_k^{-1}M_kb_k\pmod m$
其中 $m=m_1m_2\ldots m_k$ , $M_1=\frac mm_i$ ， $M_1^{-1}M_1\equiv 1\pmod {m_i}$ ， $i = 1, 2, ..., k$ 。

例：求解以下同余式组的解
$x\equiv 2\pmod 3$
$x\equiv 3\pmod 5$
$x\equiv 2\pmod 7$
解答过程如下：
$m_1=3, m_2=5, m_3=7, m=3\times 5\times7=105$
$M_1=5\times 7=35, M_1^{-1}=2\pmod 3$
$M_2=3\times 7=21, M_2^{-1}=1\pmod 5$
$M_3=3\times 5=15, M_3^{-1}=1\pmod 7$
$x\equiv M_1^{-1}M_1b_1+M_2^{-1}M_2b_2+M_3^{-1}M_3b_3\equiv 2\times35\times2+1\times21\times3+1\times 15\times2\equiv 23\pmod {15}$
第六章小结：相同剩余的一个剩余类中有一个元素与 $m$ 互素，则其中所有元素都与 $m$ 互素。

七、平方剩余

定义7.1：设 $p$ 是奇素数，即大于2的素数，如果二次同余式

有解，则 $a$ 称为模 $p$ 的平方剩余，否则 $a$ 称为模 $p$ 的平方非剩余。有些也将平方剩余和平方非剩余分别称为二次剩余和二次非剩余。

例：求出 $p = 5 、 7$ 时的平方剩余和平方非剩余。
解： $p = 5$ 时，由于
$1^{2}\equiv 1\pmod 5$
$2^{2}\equiv 4\pmod 5$
$3^{2}\equiv 4\pmod 5$
$4^{2}\equiv 1\pmod 5$
所以 $1 、 4$ 是模 $5$ 的平方剩余，而 $2 、 3$ 是模 $5$ 的平方非剩余
$p = 7$ 时，由于
$1^{2}\equiv 1\pmod 7$
$2^{2}\equiv 4\pmod 7$
$3^{2}\equiv 2\pmod 7$
$4^{2}\equiv 2\pmod 7$
$5^{2}\equiv 4\pmod 7$
$6^{2}\equiv 1\pmod 7$
所以 $1 、 2 、 4$ 是模 $7$ 的平方剩余，而 $3 、 5 、 6$ 是模 $7$ 的平方非剩余。

定理7.1：设 $p$ 是奇素数。在模 $p$ 的简化剩余系中，有 $\frac {p-1}2$ 个平方剩余， $\frac {p-1}2$ 个平方非剩余。

(欧拉判别式)：设 $p$ 是奇素数， $(a, p) = 1$ 。 $a$ 是模 $p$ 平方剩余的充分必要条件是
$a^{\frac {p-1}2}\equiv 1\pmod p$
$a$ 是模 $p$ 平方非剩余的充分必要条件是
$a^{\frac {p-1}2}\equiv -1\pmod p$

7.1 勒让德符号

由于在模乘法的计算过程中需要反复的模乘运算，上节平方剩余与平方非剩余的欧拉判别法当 $p$ 比较大时并不方便，例如判别286在模563下是否是平方剩余，计算量非常大。而勒让德符号判别是否是平方剩余是非常有效。

定义7.2：设 $p$ 是奇素数， $a$ 是整数。勒让德(Legendre)符号( $\frac ap$ )定义如下：
$\frac ap)= \begin{cases} 1, & \text{$a$是模$p$的平方剩余} \\ -1, & \text{$a$是模$p$的非平方剩余}\\ 0, & \text{$a$能够被$p$整除，即$p|a$} \end{cases}$
定理7.2：设 $p$ 是奇素数， $a$ 是整数，则
$(\frac ap)=a^{\frac {p-1}2}\pmod p$
勒让德符号具有下列性质：

(1) $(\frac 1p)=1, (\frac {-1}p)=(-1)^{\frac {p-1}2}$
(2) 如果 $a\equiv b\pmod p$ ，则 $(\frac ap)=(\frac bp)$
(3) $(\frac {a+p}p)=(\frac ap)$
(4) 如果 $(a, p) = 1$ ，则 $(\frac {a^2}p)=1$
(5) $(\frac {a_1a_2...a_n}p)=(\frac {a_1}p)(\frac {a_2}p)...(\frac {a_n}p)$

定理7.3：（二次互反律）如果 $p 、 q$ 都是奇素数， $(p, q) = 1$ ，则 $(\frac qp)=(-1)^{\frac {p-1}2\frac {q-1}2}(\frac pq)$

第七章小结：使用勒让德符号的计算过程中，一定要注意 $p$ 是奇素数。

八、总结

基本概念比较多，而且特别多的定义和定理，需要先记住慢慢理解，并结合书本上的证明加深理解。

cryptocxf

关注

29
点赞
踩
258

收藏

觉得还不错? 一键收藏
1
评论
最新的学习笔记—《信息安全数学基础》

《信息安全数学基础》学习笔记摘要这里是关于《信息安全数学基础》书的个人笔记和总结，包括将一些概念（整除、同余、群、环、域、多项式等代数学基础）重点记录下来，这样容易快速记忆一些重点，建立信息安全需要掌握的数学基础。然而，这里没有相应的证明，需要详细的证明可以翻书查阅。若有错误的地方，欢迎指正，本人将不断完善。(仅供参考)参考书籍《信息安全数学基础教程》(第2版)，许春香周俊辉等人编著。一、整除与同余定义1.1：假设a、ba、ba、b 是任意两个整数，其中 bbb 非零，若存在一个整数qqq
复制链接

扫一扫