信息安全数学基础（复习自用）（持续更新中）

一、整除

1、整除的概念

整除的概念
$\forall a,b\in Z,且b\ne 0,如果存在一个整数q,使得a=qb成立,则称为b整除a,或者a被b整除,记作b|a$

整除的性质：
$若c|a，c|b，那么c|sa+tb(s,t\in Z)$

素数的性质：
$若n是一个正合数，p是n的一个大于1的最小正因数，那么p一定是素数$
$素数有无穷多个（可以用迭代法证明N=p_1{p}_2{p}_3...p_n+1，其中N一定为素数）$

2、Euclid算法

带余整除法（Euclid除法）
$\forall a,b\in Z,b>0,一定存在唯一整数q,r,使得a=qb+r(0\le r\le b)$
用数轴即可证明

带余整除法推论：
说白了就是辗转相除法计算最大公约数
$(a,b)=(b,r)=...=(r_0,0)$
用整除法即可证明

最大公约数可写成gcd(a,b)

最大公约数的性质：
存在不全为 0 的 a 、 b ，若 d 为 a 和 b 的最大公约数，那么 d 一定是 { s a + t b ∣ s , t ∈ Z } 中最小的正整数 存在不全为0的a、b，若d为a和b的最大公约数，那么d一定是\{sa+tb|s,t\in Z\}中最小的正整数 存在不全为0的a、b，若d为a和b的最大公约数，那么d一定是{sa+tb∣s,t∈Z}中最小的正整数

3、扩展的Eculid算法

求sa+tb = （a，b）
用辗转相除法计算出最大公约数，再用最大公约数求a和b的系数s和t

可以用来求a模m的逆元：
若$(a,m)=1$，那么$sa+tm=1$，因为tm模m是0，所以s就是a的逆元

4、算术基本定理

$有a、b、c，其中b、c不为0，如果（a,c）=1，那么（ab,c）=（b,c）$

$[a,b]=ab/(a,b)$
用整数的标准分解式可以证明，即素数的n次方的乘积形式，最大公约数的指数是最大的，最小公倍数的指数是最小的

算术基本定理：
任一整数n>1都可以表示成素数的乘积，且在不考虑素数的顺序情况下，该表达式是唯一的
$N=p_1{p}_2...p_n$

二、同余

1、同余和同余类

同余定理
设m是一个正整数，a，b是两个整数，则$a\equiv bmodm$，且充要条件是$a=b+km/(m|a-b)$

同余是一个等价关系，满足自反性、对称性、传递性

定理1：
若m为一个正整数，a，b，c，d是四个整数，如果$a\equiv bmodm$且$c\equiv dmodm$，则有$a+c\equiv b+dmodm$、$ac\equiv bdmodm$、$a^n\equiv b^{n}modm$
证明第二个：
$m|(a-b)c+(c-d)b$即可证明
第三个同理

定理2：
若m为正整数，$a\equiv bmodm$，$d|(a,b,m)$，那么$\frac{a}{d}\equiv \frac{b}{d}mod\frac{m}{d}$
若m为正整数，$a\equiv bmodm$，$d|m$，那么$a\equiv bmodd$

定理3：
若$ak\equiv bkmodm$，那么$a\equiv bmod\frac{m}{(k,m)}$
证明：
由条件可得$m|(a,b)k$，得$(a-b)k=qm$，再同时除以$(k,m)$，证毕

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

逆元：
设m是一个正整数，a是一个整数，如果存在整数b使得$ab\equiv 1modm$成立，则b是a的逆元

模m得剩余类：
Z m = { 0 ‾ , 1 ‾ , . . . , m − 1 ‾ } Z_m=\{\overline0,\overline1,...,\overline{m-1}\} Zm​={0,1,...,m−1​}
关于$\overline{a}$：
∀ a ∈ Z , a ‾ = { n ∈ Z ∣ n ≡ a   m o d   m } \forall a\in Z,\overline a=\{n\in Z|n\equiv a\ mod\ m\} ∀a∈Z,a={n∈Z∣n≡a mod m}

最小非负完全剩余类：
在剩余类中挑选出小于m的的所有数构成的集合

2、简化剩余系、欧拉定理与费马小定理

既约剩余类 / 简化剩余类：
Z m ∗ = { a ‾ ∈ Z ∣ ( a , m ) = 1 } Z_m^*=\{\overline a\in Z|(a,m) = 1\} Zm∗​={a∈Z∣(a,m)=1}
即在最小非负完全剩余类中抽取与m互质的元素构成的集合
$|Z_m^{\ast }|=\varphi (m)$

定理1：
设m是正整数，整数a满足$(a,m)=1$。若x遍历模m的一个简化剩余系，则ax也遍历模m的一个简化剩余系

关于欧拉函数$\varphi (p)$：
若p为素数，则$\varphi (p)=p-1$
若p为素数，且整数$\alpha \ge 1$，则$\varphi (p^{\alpha })=p^{\alpha }-p^{\alpha -1}$
若p、q为素数，则$\varphi (pq)=\varphi (p)\varphi (q)$

欧拉定理：
设m是大于1的整数，如果a是满足$(a,m)=1$的整数，则$a^{\varphi (m)}\equiv 1modm$
利用既约剩余系和定理1即可证明
可以用来求a的逆元

费马小定理（欧拉定理的推论）：
设p是一个素数，则对于任意整数a，均有$a^p\equiv amodp$
证明：考虑p和a是否是整除关系，分两类讨论；若是，则模运算结果总是0；若不是，则利用欧拉定理得$a^{p-1}\equiv 1modp$，再同时乘a证毕
可以用来求a的逆元

威尔森定理：
设p是一个素数，则$(p-1)!\equiv -1modp$

三、同余式

1、一次同余式

$设m是一个正整数，f(x)为多项式且，f(x)=a_n{x}^n+...+a_{1}x+a_{0}modm为同余式$
$若a^n不同余0模m，则n叫做f(x)的次数，a_n为f(x)的首项系数$

$若整数a满足f(a)\equiv 0modm，那么x\equiv amodm叫做满足该同余式的解$

$事实上，满足x\equiv amodm的所有整数都能够使得该式成立，因此该一个剩余类叫做一个解$

一次同余方程$ax\equiv bmodm$求解：
一次同余方程有解的充要条件是$（a,m）|b$，且解的个数为$(a,m)$个，证明如下：

解法如下：

2、中国剩余定理CRT

定理证明：

唯一性证明：

四、二次同余式和平方剩余

1、二次同余式和平方剩余

$设m为正整数，若同余式x^2\equiv amodm,(a,m)=1有解，则称a为模m的二次剩余，否则称为二次非剩余$

$设p为素数，在p的一个简化剩余系中，恰有\frac{p-1}{2}个模p的二次剩余，有\frac{p-1}{2}个模p的二次非剩余$
证明：思想是前后两两组合，过程略

Euler判定法则（判断a是否是模p的二次剩余）
$设p是奇素数，(a,p)=1，则a是模p的二次剩余的充要条件是a^{\frac{p-1}{2}}\equiv 1modp，a是模p的二次非剩余的充要条件是a^{\frac{p-1}{2}}\equiv -1modp$
注意：只针对p是素数的情况

2、勒让德符号机器计算方法

勒让德符号定义：
$设p是素数，a是整数，勒让德符号定义为：$
$若a是模p的二次剩余，那么(\frac{a}{p})=1$
$若a是模p的二次非剩余，那么(\frac{a}{p})=-1$
$若p|a，那么(\frac{a}{p})=0$

勒让德符号性质：
$(\frac{1}{p})=1$
$(\frac{a+p}{p})=(\frac{a}{p})$
$(\frac{ab}{p})=(\frac{a}{p})(\frac{b}{p})$
$当p\equiv 1mod4，(\frac{-1}{p})=1；当p\equiv 3mod4，(\frac{-1}{p})=-1$
$当p\equiv 1、7mod8，(\frac{2}{p})=1；当p\equiv 3、5mod8，(\frac{2}{p})=-1$

Euler判定法则（用勒让德表示，判断a是否是模p的二次剩余）
$设p是素奇数，则对任意整数a，有(\frac{a}{p})=a^{\frac{p-1}{2}}modp$

二次互反律
$设p,q是互素的奇素数，则(\frac{p}{q})=(-1{)}^{\frac{p-1}{2}\frac{q-1}{2}}(\frac{q}{p})$

五、原根和指数

1、原根和阶的概念

$设m>1是整数，a是正整数，(a,m)=1，则使得a^x\equiv 1modm成立的最小正整数x叫做a模m的阶，记作or{d}_m(a)$
其中，根据欧拉定理可知，其解是一定存在的，最大为$\varphi (m)$

$如果or{d}_m(a)=\varphi (m)，则a叫做m的$原根
其中，一个质数一定存在原根，且原根的个数为$\varphi (\varphi (p))$
除质数外，其他数不一定存在原根，例如8没有原根

性质：
$①a\equiv bmodm，则or{d}_m(a)=or{d}_m(b)$
$②a^k\equiv a^{t}modm，则k\equiv tmodor{d}_m(m)$
$③or{d}_m(a)=or{d}_m(a^{-1})$

定理1：
$设m>1是整数，a是正整数，(a,m)=1，则整数d使得a^d\equiv 1modm成立的充要条件是or{d}_m(a)|d$

$设m>1是整数，a是正整数，(a,m)=1，则or{d}_m(a)|\varphi (m)$
（求原根的方法之一）

2、原根与阶的计算

定理1：
$设m>1，\varphi (m)的所有不同素因子是q_1...q_k，则g是模m的一个原根的充要条件是g^{\frac{\varphi (m)}{q_i}}不同模于1modm$

定理2：
$设m>1的整数，a为整数且(a,m)=1，d\ge 0为整数，则or{d}_m(a^d)=\frac{or{d}_m(a)}{(or{d}_m(a),d)}$

六、群

1、群的简介

代数系统（封闭性）——>半群（结合律）——>独异点（有单位元）——>群（有逆元）——>阿贝尔群（满足交换律）

单位元、逆元一定唯一

例子：
$<Z,+>是群$
$<Z,\times >不是群$
$<Q,\times >不是，0无逆元$
$<Q^{\ast },\times >（除去0）是群$
$<R,+>是群$
$<R,\times >不是群$

例子：
$<Z_m,{+}_{mod}>：是群，a的逆元为-amodm，单位元为\bar{0}$
$<Z_m,{\times }_{mod}>：不是群，因为逆元不一定存在$
$<Z_m^{\ast },{\times }_{mod}>：是群，单位元为\bar{1}（就是既约剩余系）$

定理1：
$若a^n=e，则or{d}_m(a)|n$

定理2：
$\forall a\in G，|a|=|a^{-1}|$

定理3：
$\forall a\in G，|a^d|=\frac{|a|}{(d,|a|)}$

2、子集、陪集、拉格朗日定理