数论中的十个基本概念

1. 整除

设$a,b\in \mathrm{Z}$，其中$Z$表示整数，$a\ne 0$，如果存在$q\in \mathrm{Z}$使得$b=aq$，则称$b$可被$a$整除，记作$a|b$，并且称$b$是$a$的倍数，$a$是$b$的约数或除数、因数。

正整数$n$是素数，当且仅当它不能被任何整数$d$整除，其中$1<d\le \sqrt{n}$.

设$m,n\in Z$，若能同时整除$m$和$n$的整数只有$\pm 1$，则称$m$和$n$互素。

2. 最大公约数

$m$和$n$均为不为零的整数，在$m$和$n$的所有公约数中存在唯一的公约数$d>0$，使得$m$和$n$的任一公约数$e$都整除$d$，则$d$称为最大公约数，记作$d=gcd(m,n)$。两个数$m$和$n$互素，记作$gcd(m,n)=1$

欧几里得算法是寻找两个整数$a$和$b$$(a>b)$的最大公约数$gcd(a,b)$的常用方法，过程如下：$$gcd(a,b)=gcd(b,a\mathrm{mod}b)$$eg： 求$525$和$778$的最大公约数
$$778=1\times 525+253,gcd(728,525)=gcd(525,253)$$ $$525=2\times 253+19,gcd(525,253)=gcd(523,19)$$ $$253=13\times 19+6,gcd(523,19)=gcd(19,6)$$$$19=3\times 6+1,gcd(19,6)=gcd(6,1)$$ 最后得到余数1，则$gcd(525,778)=1$，即$525$与$778$互素。

3. 模运算

设$m\ne 0$，若$m|a-b$，即$a-b=km$，则称$a$同余于$b$模$m$，或$b$是$a$对模$m$的剩余，记作$$a\equiv b\mathrm{mod}m$$上式也称为模$m$的同余式，或简称同余式。由于$m|a-b$等价于$-m|(a-b)$，因此$a\equiv b\mathrm{mod}m$等价于$a\equiv b\mathrm{mod}(-m)$。

模运算的性质

• (1)自反性：对于任意的$a$，总有 $a\equiv a\mathrm{mod}m$
• (2)对称性：如果$a\equiv b\mathrm{mod}m$，那么$b\equiv a\mathrm{mod}m$
• (3)传递性：如果$a\equiv b\mathrm{mod}m$，且$b\equiv c\mathrm{mod}m$，那么$a\equiv c\mathrm{mod}m$
• (4)结合律：$$[(a\mathrm{mod}m)\pm (b\mathrm{mod}m)]\mathrm{mod}m\equiv (a\pm b)\mathrm{mod}m$$ $$[(a\mathrm{mod}m)\times (b\mathrm{mod}m)]\mathrm{mod}m\equiv (a\times b)\mathrm{mod}m$$
• (5)分配律：$$[(a\times b)\mathrm{mod}m+(a\times c)\mathrm{mod}m]\mathrm{mod}m\equiv [a\times (b+c)]\mathrm{mod}m$$
• (6)加法消除律：如果$(a+b)\equiv (a+c)\mathrm{mod}m$，则$b=c\mathrm{mod}m$
• (7)乘法消除律：如果$(a\times b)\equiv (a\times c)\mathrm{mod}m$，且$gcd(a,m)=1$，则$b\equiv c\mathrm{mod}m$。

4. 逆元

对于非0、非$\pm 1$的整数$m$，若$gcd(a,m)=1$，即$a$与$m$互素，则$a$模$m$的逆元存在。
且存在唯一整数$x(0<x<m)$，使$$ax\equiv 1\mathrm{mod}m$$记为$$a^{-1}\equiv x\mathrm{mod}m$$通常使用扩展的欧几里得算法：用欧几里得算法求出$a$和$m$的最大公约数，如果公约数是1，则逆元存在。通过反向迭代操作得到表达式$xa+ym=1$，从而得到$a$模$m$的逆元$x$和$m$模$a$的逆元$y$。

eg： 求$25$模$31$的逆元
$\because$ $$31=25\times 1+6,25=4\times 6+1$$$\therefore$ $$1=25-4\times 6=25-4\times (31-25)=-4\times 31+5\times 25$$因此，$25$模$31$的逆元为$5$，$31$模$25$的逆元为$-4+25=21$。

5. 欧拉函数

欧拉函数（Euler）$\phi (n)$为对于一个正整数$n$，与其互素且小于等于$n$的正整数个数。

$\phi (n)$具有如下性质：

• 如果$p$是素数，则$$\phi (p)=p-1$$

• 设$n=m_1{m}_2，且gcd(m_1,m_2)=1$，则$$\phi (n)=\phi (m_1)\phi (m_2)$$

• 对于整数$n\ge 2$，不计次序，$n$具有唯一分解式:$$n=p_1^{{\alpha }_1}{p}_2^{{\alpha }_2}...p_m^{{\alpha }_m}$$其中$p_1,p_2,....,p_m$为两两不同的素数，${\alpha }_1\ge 1,1\le i\le m$，则$$\phi (n)=(p_1^{{\alpha }_1}-p_1^{{\alpha }_1-1})(p_2^{{\alpha }_2}-p_2^{{\alpha }_2-1})....(p_m^{{\alpha }_m}-p_m^{{\alpha }_m-m})=n(1-\frac{1}{p_1})(1-\frac{1}{p_2})...(1-\frac{1}{p_m})$$举例
  对于$n=20=2^2\times 5$，$$\phi (20)=\phi (2^2\times 5)=(2^2-2^{2-1})\times (5^1-5^{1-1})=2\times 4=8$$

6. 欧拉定理

数论中的欧拉定理（Euler Theorem）又称费马-欧拉定理或欧拉函数定理。

对于任意整数$a,n$，若$gcd(a,n)=1$，即$a$与$n$互素，则$$a^{\phi (n)}\equiv 1\mathrm{mod}n$$eg： 利用欧拉定理简化大指数的幂运算：计算$2^{1000000}\mathrm{mod}77$

由于$\gcd (2,77)=1$，根据欧拉函数，$$\phi (77)=\phi (7\times 11)=\phi (7)\times \phi (11)=6\times 10=60$$
根据欧拉定理$$2^{60}\mathrm{mod}77\equiv 1\mathrm{mod}77$$由于$$1,000,000=16666\times 60+40$$因此$$\begin{array}{rl}{2}^{1000000}\mathrm{mod}77\equiv & 2^{16666\times 60+40}\mathrm{mod}77\\ \equiv & (2^{16666\times 60}\mathrm{mod}77)(2^{40}\mathrm{mod}77)\\ \equiv & ((2^{60}\mathrm{mod}77{)}^{16666}\mathrm{mod}77)(2^{40}\mathrm{mod}77)\\ \equiv & 2^{40}\mathrm{mod}77\\ \equiv & (2^{10}\mathrm{mod}77{)}^4\mathrm{mod}77\\ \equiv & (23^2\mathrm{mod}77{)}^2\mathrm{mod}77\\ \equiv & 67^2\mathrm{mod}77\equiv 23\end{array}$$

7. 费马小定理

如果$p$是一个素数，且$a$是不能被$p$整除的正整数，那么$$a^{p-1}\equiv 1\mathrm{mod}p$$或者$$a^p\equiv a\mathrm{mod}p$$费马小定理是欧拉定理中$n$为素数的情况。

8. 一次同余方程

如果$a,b$都是整数，$n$是一个正整数，当$a\mathrm{mod}n\ne 0$时，$ax\equiv b\mathrm{mod}n$称为模$n$的一次同余方程，或者线性同余方程。

一次同余方程$ax\equiv b\mathrm{mod}n$有解当且仅当方程$ax+ny=b$有整数解，方程$ax+ny=b$有整数解的充要条件是$\gcd (a,n)|b$。

如果$x_0$是满足$ax\equiv b\mathrm{mod}n$的一个整数，即$a{x}_0\equiv b\mathrm{mod}n$，则满足$x\equiv x_0\mathrm{mod}n$的所有整数$x$也能满足$ax\equiv b\mathrm{mod}n$，即包含$x$的模$n$同余类中的整数都满足$ax\equiv b\mathrm{mod}n$。包含$x$的模$n$同余类$[x_0]$称为$ax\equiv b\mathrm{mod}n$的一个解，即同余方程的一个解包含一个类的所有整数。

同余方程$ax\equiv b\mathrm{mod}n$有解当且仅当$\gcd (a,n)|b$，并且，如果这个同余方程有解，则有$\gcd (a,n)$个不同的解。

9. 中国剩余定理

我国古代的《孙子算经》中提出了这样的问题:“今有物不知数,三三数之剩二,五五数之剩三,七七数之剩二,问物几何?”该问题可用一次同余方程组表示:$$\{\begin{array}{l}x\equiv 2\mathrm{mod}3\\ x\equiv 3\mathrm{mod}5\\ x\equiv 2\mathrm{mod}7\end{array}$$中国剩余定理（孙子定理）：设$m_1，m_2，\dots ，m_r$，是$r\ge 2$个两两互素的大于$1$的整数，令$M=m_1{m}_2...m_r$，则同余方程组$$\{\begin{array}{l}x\equiv a_1\mathrm{mod}{m}_1\\ x\equiv a_2\mathrm{mod}{m}_2\\ ⋮\\ x\equiv x_r\mathrm{mod}{m}_r\end{array}$$eg: 我国古代数学家杨辉在1275年所写的《续古摘奇算法》有如下题目：二数余一，五数余二，七数余三，九数余四，问本数。

由题意得$$\{\begin{array}{l}x\equiv 1\mathrm{mod}2\\ x\equiv 2\mathrm{mod}5\\ x\equiv 3\mathrm{mod}7\\ x\equiv 4\mathrm{mod}9\end{array}$$根据中国剩余定理，$m_1=2，m_2=5，m_3=7，m_4=9；a_1，a_2=2，a_3=3，a_4=4，M=2\times 5\times 7\times 9=630$

则$M_1=630/2=315,M_2=630/5=126，M_3=630/7=90，M_4=630/9=70$

根据$315b_1\equiv 1\mathrm{mod}2$，解得$b_1\equiv 1\mathrm{mod}2$，同理有$b_2\equiv 1\mathrm{mod}5,b_3\equiv 6\mathrm{mod}7,b_4\equiv 4\mathrm{mod}9$

因此，$$x=315+126\times 2+90\times 6\times 3+70\times 4\times 4\equiv 157\mathrm{mod}630$$

10. 二次剩余和Blum整数

如果$p$是素数，且$a<p$，如果$x^2\equiv a\mathrm{mod}p$有解，则称$a$是对模$p$的二次剩余。

不是所有的$a$的值都满足这个特性。如果a是对模n的一个二次剩余,那么它必定是对模$n$所有素因子的二次剩余。

例如$p=7$，二次剩余是$1,2,4$$$\{\begin{array}{l}{1}^2=1\equiv 1\mathrm{mod}7\\ 2^2=4\equiv 4\mathrm{mod}7\\ 3^2=9\equiv 2\mathrm{mod}7\\ 4^2=16\equiv 2\mathrm{mod}7\\ 5^2=25\equiv 4\mathrm{mod}7\\ 6^2=36\equiv 1\mathrm{mod}7\end{array}$$
没有$x$值可满足下列方程:$$\{\begin{array}{l}{x}^2\equiv 3\mathrm{mod}7\\ x^2\equiv 5\mathrm{mod}7\\ x^2\equiv 6\mathrm{mod}7\end{array}$$所以,$3,5,6$称为模$7$的二次非剩余。

易证明，当$p$为奇数时，模$p$的二次剩余数目恰好是$(p-1)/2$，且与其二次非剩余的数目相同。

如果$a$是模$p$的二次剩余，那么$a$恰好有两个平方根:

• 其中一个在$1\sim (p-1)/2$ 之间;
• 另一个在$(p+1)/2\sim (p-1)$之间。
  此外,这两个平方根中的一个也是模的二次剩余,被称为主平方根。

如果$n$是两个素数$p$和$q$之积，那么模$n$恰好有$(p-1)(q-1)/4$个二次剩余。如果$a$是对模$n$的一个二次剩余，那么它必定是对模$n$的所有素因子的二次剩余。这是因为要成为模$n$的平方，其余数必须有模$p$的平方和模$q$的平方。例如，模$35$有$11$个二次余:$1,4,9,11,14,15,16,21,25,29,30$。每一个二次剩余恰好有$4$个平方根。

如果$p$和$q$是两个素数,且都是模$4$余$3$的，那么$n=p\times q$称为Blum 整数。如果$n$是一个Blum整数，它的每一个二次剩余恰好有$4$个平方根，其中一个也是模$n$的二次剩余，称为主平方根。例如，$139$ 模$ 437$ 的主平方根是 $24$，其他三个平方根分别为$185$，$252$ 和 $413$。