信息安全数学基础-等价关系 欧拉函数计算 2021-09-22

5. 等价关系 欧拉函数计算

问题的提出

• 围绕同余关系，对整数集合做划分
• 将同余关系推广到更一般
• 回顾：对正整数m和整数a，$a^{-1}modm$存在的充分必要条件为$(a,m)=1$，若$a^{-1}modm$存在则称a为一个单位（unit）
• 若$a_1$和$a_2$是单位，则$a_1{a}_2$也是单位
• 求$\phi (m)$

1. 等价关系和剩余类

同余关系的性质

1. 自反性：$a\equiv a(modm)$
2. 对称性：$如果a\equiv b，则b\equiv a(modn)$
3. 传递性：$如果a\equiv b(modn),b\equiv c(modn)，则a\equiv c(modn)$

等价关系的定义

关系的定义

几何D={对，错}，集合A上定义的一个关系为一个A×A到D的映射R：

R(a , b) = 对，即a和b符合关系R，记成$aRb$

R(a , b) = 错，即a和b不符合关系R

等价关系的定义

集合A的元间的一个关系~叫一个等价关系，假如~满足以下规律：

• 自反律
• 对称律
• 传递律

若a~b，则称a与b等价

（关于等价关系：相等是，整除不是，大于不是，同余是）

同余是一个等价关系

定义（剩余类）

记 [ i ] = { j ∣ j ≡ i ( m o d   m ) } , 有 [ i ] = [ i + m ] = [ i − m ] = [ i + k m ] i 称 为 模 m 的 一 个 剩 余 类 。 模 m 的 剩 余 类 恰 好 有 m 个 ： [ 0 ] , [ 1 ] , [ m − 1 ] 而 且 Z = [ 0 ] ∪ [ 1 ] ∪ . . . ∪ [ m − 1 ] 记[i]=\{j|j≡i(mod\ m)\},有 \\ [i]=[i+m]=[i-m]=[i+km] \\i称为模m的一个剩余类。模m的剩余类恰好有m个： \\ [0],[1],[m-1] \\而且Z=[0]∪[1]∪...∪[m-1] 记[i]={j∣j≡i(mod m)},有[i]=[i+m]=[i−m]=[i+km]i称为模m的一个剩余类。模m的剩余类恰好有m个：[0],[1],[m−1]而且Z=[0]∪[1]∪...∪[m−1]

2. 完全剩余系

定义（代表元和完全剩余系）

完全剩余系的判定定理

设m是正整数，S是一个整数集，则S是模m的一个完全剩余系的充分必要条件是：

• S包含m个元素

• S中任意两个元素模m不同余

• 最小非负剩余系&最小正剩余系&绝对最小完全剩余系

完全剩余系的性质

定理

$$\begin{gathered} 若m是正整数，b是任意整数，(a,m)=1，若x遍历m的一个完全剩余系， \\ 则ax+b也遍历模m的一个完全剩余系 \end{gathered}$$

证明

$$\begin{gathered} 只需证明当x_1,x_2,...,x_m是模m的一个完全剩余系时，m个整数 \\ a{x}_1+b,...,a{x}_m+b模m两两不同余 \\ 用反证法：假设存在x_i和x_j（i\ne j）使得a_{x}i+b\equiv a{x}_j+b(modm) \\ 则m|a(x_i-x_j)，而(a,m)=1，得m|(x_i-x_j) \\ 即x_i\equiv x_j，矛盾 \end{gathered}$$

定理

$$\begin{gathered} 若m_1和m_2是两个互素的正整数， \\ 若x遍历m_1的一个完全剩余系，若y遍历m_2的一个完全剩余系， \\ 则m_{1}y+m_{2}x也遍历模m_1{m}_2的一个完全剩余系 \end{gathered}$$

证明

$$\begin{gathered} 只需要证明m_2{x}_i+m_1{y}_j(i=0,1,...,m_1-1;j=0,1,...,m_2-1) \\ 这m_1{m}_2个数模m_1{m}_2两两不同余 \\ 用反证法：假设存在有序对(x_a,y_c)和(x_b,y_d) \\ (0\le a,b\le m_1-1,0\le c,d\le m_2-1) \\ 且(x_a,y_c)\ne (x_b,y_d),满足： \\ {m}_2{x}_a+m_1{y}_c\equiv m_2{x}_b+m_1{y}_d(mod{m}_1{m}_2) \\ 进而有 \\ {m}_2{x}_a+m_1{y}_c\equiv m_2{x}_b+m_1{y}_d(mod{m}_1) \\ 从而有 \\ {m}_2{x}_a\equiv m_2{x}_b(mod{m}_1) \\ (上面那一步中，m_1{y}_c和m_1{y}_d都是m_1的倍数，在模m_1取余时可以直接去掉) \\ 于是有m_1|m_2(x_a-x_b),又(m_1,m_2)=1,则m_1|(x_a-x_b) \\ 即x_a\equiv x_b(mod{m}_1),故有x_a=x_b，同理可证y_c=y_d，与假设矛盾 \end{gathered}$$

3. 欧拉函数的计算

欧拉函数的定义

Euler函数

$$\phi (m)是0,1,2,...,m-1中与m互素的数的个数$$

欧拉函数的简单计算

事实：

$$当p为素数时，\phi (p^n)=p^n-p^{n-1}$$

• 与$p^n$互素的一定不含有因子p
• $[0,p^n-1]$中p的倍数有$p^{n-1}个$

既约剩余系

事实：

在模m的一个剩余类中，如果有一个数与m互素，则该剩余类中每个数都与m互素

定义

• 若m的剩余类中有一个数与m互素，称此剩余系与m互素
• 与m互素的剩余类个数记为$\phi (m)$，$\phi (m)$称为Euler函数
• 在模m的一个完全剩余系中，有$\phi (m)$个数是与m互素的，称这$\phi (m)$个数构成模m的一个既约剩余系

既约剩余系

既约剩余系判定定理

设m是正整数，S是一个整数集，则S是模m的一个既约剩余系的充分必要条件是：

• S中包含$\phi (m)$个元素
• S中任意两个元素模m不同余
• S中的每个元素都与m互素

既约剩余系的性质

定理

$$\begin{gathered} 若m是正整数，b是任意整数，(a,m)=1，若x遍历m的一个既约剩余系， \\ 则ax也遍历模m的一个既约剩余系 \end{gathered}$$

证明

设 S = { x 1 , 1 , x 2 , . . . x φ ( m ) } 为 一 个 既 约 剩 余 系 ， 构 造 S ′ = { a x 1 , a x 2 , . . . a φ ( m ) } 由 于 ( x i , m ) = 1 , ( a , m ) = 1 , 得 ( a x i , m ) = 1 若 存 在 x k 和 x l ( 1 ≤ k ≠ l ≤ φ ( m ) ) 使 得 a x k ≡ a x l ( m o d   m ) 由 于 ( a , m ) = 1 ， 得 x k ≡ a x l ( m o d   m ) 取 自 模 m 的 一 个 既 约 剩 余 系 ， 矛 盾 设S=\{x_1,1,x_2,...x_{\varphi(m)}\}为一个既约剩余系， \\构造S'=\{ax_1,ax_2,...a_{\varphi(m)}\} \\由于(x_i,m)=1,(a,m)=1,得(ax_i,m)=1 \\若存在x_k和x_l(1\leq k≠l\leq\varphi(m))使得ax_k≡ax_l(mod\ m) \\由于(a,m)=1，得x_k≡ax_l(mod\ m)取自模m的一个既约剩余系，矛盾 设S={x1​,1,x2​,...xφ(m)​}为一个既约剩余系，构造S′={ax1​,ax2​,...aφ(m)​}由于(xi​,m)=1,(a,m)=1,得(axi​,m)=1若存在xk​和xl​(1≤k​=l≤φ(m))使得axk​≡axl​(mod m)由于(a,m)=1，得xk​≡axl​(mod m)取自模m的一个既约剩余系，矛盾

定理

$$\begin{gathered} 若m_1和m_2是两个互素的正整数， \\ 若x遍历m_1的一个既约剩余系，若y遍历m_2的一个既约剩余系 \\ 则m_{1}y+m_{2}x也遍历模m_1{m}_2的一个既约剩余系 \end{gathered}$$

证明

$$\begin{gathered} 首先由完全剩余系的性质知m_{2}x+m_{1}y模m_1{m}_2两两不同余 \\ 其次，证明当(x,m_1)=1,(y,m_2)=1时，(m_{2}x+m_{1}y,m_1{m}_2)=1 \\ （证明如下）由于(m_2,m_1)=1得(m_{2}x,m_1)=1,(m_{1}y,m_2)=1.则有 \\ (m_{2}x+m_{1}y,m_1)=(m_{2}x,m_1)=1 \\ (m_{2}x+m_{1}y,m_2)=(m_{1}x,m_2)=1 \\ 有(m_{2}x+m_{1}y,m_1{m}_2)=1 \\ 最后证明m_1{m}_2的任意一个既约剩余系都可以表示为m_{2}x+m_{1}y， \\ 其中(x,m_1)=1,(y,m_2)=1. \\ 即若有(a,m_1{m}_2)=1,有 \\ a\equiv m_{2}x+m_{1}y(mod{m}_1{m}_2),(x,m_1)=1,(y,m_2)=1 \\ 设整数a满足(a,m_1{m}_2)=1,因m_{2}x+m_{1}y遍历m_1{m}_2的一个完全剩余系， \\ 则存在x,y，使得a\equiv m_{2}x+m_{1}y(mod{m}_1{m}_2) \\ 因此(m_{2}x+m_{1}y,m_1{m}_2)=1 \\ 由最大公因数的性质 \\ (x,m_1)=(m_{2}x,m_1)=(m_{2}x+m_{1}y,m_1)=1 \\ (y,m_2)=(m_{1}y,m_2)=(m_{1}y+m_{2}x,m_2)=1 \end{gathered}$$

推论

$$若gcd(m_1,m_2)=1,则\phi (m_1{m}_2)=\phi (m_1)\phi (m_2)$$

欧拉函数的jisuan

定理

$$\begin{gathered} 若m=p_1^{l_1}{p}_2^{l_2}...p_s^{l_s},其中p_i,i=1,...s各不相同，则 \\ \phi (m)=m\prod _{i=1}^s(1-\frac{1}{p_i}) \end{gathered}$$

证明

$$\begin{gathered} 若(m_1,m_2)=1,则\phi (m_1{m}_2)=\phi (m_1)\phi (m_2) \\ 若p是素数，则\phi (p^n)=p^n-p^{n-1} \\ \phi (m)=\phi (p_1^{l_1})\phi (p_2^{l_2})...\phi (p_s^{l_s}) \\ =\phi (p_1^{l_1}-p_1^{l_1-1})\phi (p_2^{l_2}-p_2^{l_2-1})...\phi (p_s^{l_s}-p_s^{l_s-1}) \\ =p_1^{l_1}{p}_2^{l_2}...p_s^{l_s}\prod _{i=1}^s(1-\frac{1}{p_i}) \\ =m\prod _{i=1}^s(1-\frac{1}{p_i}) \end{gathered}$$