同餘

Template:NoteTA 同余（Template:Lang-en^[1]，符號：≡）在数学中是指數論中的一種等價關係^[2]。當两个整数除以同一个正整数，若得相同-{zh-hans:余数; zh-hant:餘數;}-，则二整数同余。同餘是抽象代數中的同餘關係的原型^[3]。最先引用同余的概念与「≡」符号者为德國数学家高斯。 Template:Numbers

定義

對某兩個整数 $a$ ， $b$ ，若它们除以正整数 $m$ 所得的余数相等，则称 $a$ ， $b$ 对于模 $m$ 同余，也就是嚴格來說，存在整數 $k$ 使得

a - b = k m

則稱 $a, b$ 對於除數 $m$ 是同餘的。一般記做

a \equiv b (\mod m)

比如

26 - 14 = 12 = 1 \times 12

故可以記為

26 \equiv 14 (\mod 12)

但另一方面，從 $a - b = k m$ 有 $b - a = (- k) \times m$ ，故 $a \equiv b (\mod m)$ 等價於

b \equiv a (\mod m)

同餘符號「≡」其UTF-8碼為U+2261。

同餘類

可以證明所有对于模 $m$ 同餘的整數對構成一個（整数系 $ℤ$ 上的）等价关系，換句話說，對於任意兩個整数 $a$ ， $b$ ：

(1)

a \equiv a (\mod m)

(2)

[a \equiv b (\mod m)] \Rightarrow [b \equiv a (\mod m)]

(3)

{[a \equiv b (\mod m)] \land [b \equiv c (\mod m)]} \Rightarrow [a \equiv c (\mod m)]

故以下的集合

{[a]}_{m} : = {z \in ℤ | (\exists k \in ℤ) (z = a + k m)}

= {\dots, a - 2 m, a - m, a, a + m, a + 2 m, \dots}

可稱為 $a$ 对于模 $m$ 的同余類（Template:Lang或Template:Lang），也可標記為 ${\overline{a}}_{m}$ ；模 $m$ 在上下文很清楚時，也可簡記為 $[a]$ 。 $a$ 會被稱為該同余類的代表數（Template:Lang）^[4]。

剩餘系

剩餘系^[5]^[6]（Template:Lang-en）亦即模 $n$ 同餘類的代表數的集合，通常使用的代表數是最小非負整數，因為它是除法中的應當餘數。要注意的是，對於同一個模數 $n$ ，不同的同餘類不等價，亦即，屬於不同同餘類的整數不同餘於模數 $n$ ，或者說，模 $n$ 剩餘系中的任二元素不同餘於模 $n$ ；而且，整數域中的每個整數只屬於模數 $n$ 的一個同餘類，因為模 $n$ 將整數域划分為互斥區塊，每個區塊是一個同餘類。

一個完全剩餘系（Template:Lang-en）指的是模 $n$ 的全部同餘類的代表數的集合；因為剩餘系中的任二元素不同餘於模 $n$ ，所以它也稱為非同餘餘數的完整系統（Template:Lang-en）。例如，模 $3$ 有三個同餘類 $[0], [1], [2]$ ，其完全剩餘系可以是 ${9, 12 + 1, 15 + 2}$ 。如果該集合是由每個同餘類的最小非負整數所組成，亦即 ${0, 1, 2, . . ., n - 1}$ ，則稱該集合為模 $n$ 的最小剩餘系（Template:Lang-en）。

模 $n$ 完全剩餘系中，與模 $n$ 互質的代表數所構成的集合，稱為模 $n$ 的簡約剩餘系（Template:Lang-en），其元素個數記為 $ϕ (n)$ ，亦即欧拉函数。例如，模 $6$ 的簡約剩餘系為 ${1, 5}$ 或 ${7, 11}$ 。如果模 $n$ 是質數，那麼它的最小簡約剩餘系是 ${1, 2, . . ., n - 1}$ ，只比最小剩餘系少一個 $0$ 。

性质

整除性

$a \equiv b (\mod m) \Rightarrow c \cdot m = a - b, c \in ℤ$ （即是說 a 和 b 之差是 m 的倍數）
換句話說， $a \equiv b (\mod m) \Rightarrow m ∣ (a - b)$ Template:NoteTag

同余可以用来检验一个数是否可以整除另外一个数，见整除规则。

传递性

$\begin{matrix} a \equiv b (\mod m) \\ b \equiv c (\mod m) \end{matrix}} \Rightarrow a \equiv c (\mod m)$

保持基本运算

$\begin{matrix} a \equiv b (\mod m) \\ c \equiv d (\mod m) \end{matrix}} \Rightarrow {\begin{matrix} a \pm c \equiv b \pm d (\mod m) \\ a c \equiv b d (\mod m) \end{matrix}$
當 $c = d$ 時，則為等量加法、減法： $a \pm c \equiv b \pm c (\mod m)$
這性質更可進一步引申成為這樣：
$a \equiv b (\mod m) \Rightarrow {\begin{matrix} a n \equiv b n (\mod m), \forall n \in ℤ \\ a^{n} \equiv b^{n} (\mod m), \forall n \in ℕ^{*} \\ P (a) \equiv P (b) (\mod m) \end{matrix}$ Template:NoteTag
其中 $P (x)$ 为任意整系数多项式函数。

放大縮小底數

k為整數，n為正整數， $(k m \pm a)^{n} \equiv (\pm a)^{n} (\mod m)$

放大縮小模數

$k$ 為正整數， $a \equiv b (\mod m)$ ，若且唯若 $k a \equiv k b (\mod k m)$

除法原理一

若 $k a \equiv k b (\mod m)$ 且 $k, m$ 互質，則 $a \equiv b (\mod m)$

除法原理二

$a \equiv b (\mod m)$ 等價於 $(a - b) \equiv 0 (\mod m)$ ，也就是 $m | (a - b)$ 。亦即，如果 $m | (a - b)$ ，那麼它可以寫成 $a \equiv b (\mod m)$ ，因此有以下除法原理：

m

的因數也可以整除

(a - b)

。亦即，

m

是

n

的倍數：

m = c \times n

，

n | m

。因為

m | (a - b)

，所以

n | (a - b) \Rightarrow a \equiv b (\mod n)

。

a \equiv b (\mod c n) \Rightarrow a \equiv b (\mod n)

\begin{matrix} a \equiv b (\mod m) \\ n | m \end{matrix}} \Rightarrow a \equiv b (\mod n)

Template:NoteTag

現假設

m

可以整除

(a - b)

的倍數

c (a - b)

。如果

m

和

c

互質（記為

(m, c) = 1

），那麼

m

必定可以整除

(a - b)

：

m | (a - b) \Rightarrow a \equiv b (\mod m)

。

\begin{matrix} a c \equiv b c (\mod m) \\ (c, m) = 1 \end{matrix}} \Rightarrow a \equiv b (\mod m)

Template:NoteTag

如果

m_{1} | (a - b)

而且

m_{2} | (a - b)

，那麼

m_{1}

與

m_{2}

的最小公倍数必定可以整除

(a - b)

，記為

a \equiv b (\mod [m_{1}, m_{2}])

。這可以推廣成以下性質：

\begin{matrix} a \equiv b (\mod m_{1}) \\ a \equiv b (\mod m_{2}) \\ ⋮ \\ a \equiv b (\mod m_{n}) \\ (n \geq 2) \end{matrix}} \Rightarrow a \equiv b (\mod [m_{1}, m_{2}, \dots, m_{n}])

Template:NoteTag

上面的最後一個性質可以使用算术基本定理與集合來解釋。一個大於1的正整數

q

可以分解為一串質數冪的乘積：

q = p_{1}^{c_{1}} \times p_{2}^{c_{2}} \times . . . \times p_{n}^{c_{n}}

（

p_{i}

兩兩相異，且

c_{i} > 0

），令

S_{q}

為所有能整除

q

的質數冪的集合，即

S_{q} = {p_{1}, p_{1}^{2}, \dots, p_{1}^{c_{1}}, p_{2}, p_{2}^{2}, \dots, p_{2}^{c_{2}}, \dots, p_{n}, p_{n}^{2}, \dots, p_{n}^{c_{n}}}

。設

r

為正整數，則

r

整除

q

，當且僅當

S_{r}

是

S_{q}

的子集。令

m_{1} | q

且

m_{2} | q

，則

S_{m_{1}}

與

S_{m_{2}}

的聯集必定也是

S_{q}

的子集。取這個聯集中冪次最高的各個元素，它們的乘積就是

m_{1}

與

m_{2}

的最小公倍数

[m_{1}, m_{2}]

。事實上，有

S_{[m_{1}, m_{2}]} = S_{m_{1}} \cup S_{m_{2}}

，所以

[m_{1}, m_{2}]

也能夠整除

q

。

同余关系式

威尔逊定理

Template:Main $(p - 1)! \equiv - 1 (mod p)$

费马小定理

Template:Main $a^{p - 1} \equiv 1 (\mod p)$

欧拉定理

Template:Main $a^{φ (n)} \equiv 1 (\mod n)$

卡邁克爾函數

Template:Main $a^{λ (n)} \equiv 1 (\mod n)$

阶乘幂

Template:Main $(x)_{k} \equiv x (x - 1) (x - 2) \dots (x - k + 1) \equiv 0 (\mod k!)$

卢卡斯定理

Template:Main $(\binom{m}{n}) \equiv \prod_{i = 0}^{k} (\binom{m_{i}}{n_{i}}) (\mod p),$

组合数最小周期

$(\binom{m + p^{k + [l o g_{p} n]}}{n}) \equiv (\binom{m}{n}) (\mod p^{k})$

设 $N = \prod_{i} p_{i}^{k_{i}}$ ，则 $(\binom{m + L (n, N)}{n}) \equiv (\binom{m}{n}) (\mod N)$ ，其中 $L (n, N) = \prod_{i} p_{i}^{k_{i} + [l o g_{p} n]} = N \prod_{i} p_{i}^{[l o g_{p} n]}$ ^[7]

同余方程

线性同余方程

Template:Main $a x \equiv b (\mod n)$

考虑最大公约数，有解时用輾轉相除法等方法求解。

线性同余方程组

Template:Main ${\begin{matrix} a_{1} x \equiv b_{1} (\mod m_{1}) \\ a_{2} x \equiv b_{2} (\mod m_{2}) \\ ⋮ \\ a_{n} x \equiv b_{n} (\mod m_{n}) \end{matrix}$

先求解每一个线性同余方程，再用中国剩余定理解方程组。

二次剩余

Template:Main $x^{2} \equiv d (\mod p)$

勒让德符号、雅可比符号、克罗内克符号、二次互反律用于判别d是否为模n的二次剩余。

高次剩餘

Template:Main $x^{n} \equiv d (\mod p)$

例子

求自然数a的个位数字，就是求a与哪一个数对于模10同余。

$10 \equiv 1 (mod 3), 1 0^{n} \equiv 1 (mod 3), 10001 \equiv 1 0^{4} + 1 \equiv 1 + 1 (mod 3)$ 。

應用

模數算術在數論、群論、環論、紐結理論、抽象代數、計算機代數、密碼學、計算機科學、化學、視覺和音樂等學科中皆有應用。

它是數論的立基點之一，與其各個面向都相關。

模數算術經常被用於計算標識符中所使用的校验和，比如国际银行账户号码（IBANs）就用到了模97的算術，來捕獲用戶在輸入銀行帳戶號碼時的錯誤。

於密碼學中，模數算術是RSA與迪菲－赫尔曼密钥交换等公鑰系統的基礎，它同時也提供有限域，應用於橢圓加密，且用於許多對稱密鑰加密中，包括高级加密标准、國際資料加密演算法等。

於計算機科學, 同餘被應用於位元運算或其他與固定寬度之循環資料結構相關的操作。

於化學中, CAS號（一個對各種化合物皆異之的識別碼）的最後一碼為校驗碼，將CAS號首二部分最後的數字乘上一，下一碼乘上二，下一碼乘上三以此類推，將所有積加起來再取模10。

在音樂領域，模12用於十二平均律系統。

星期的計算中取模7算術極重要。

更廣泛而言，同餘在法律、經濟（見賽局理論）或其他社會科學領域中也有應用。

範例

以下為快速展示小於63位元無號整數之模數乘法的C程式，且轉換過程中不發生溢位。計算 a * b (mod m)之演算法:

uint64_t mul_mod(uint64_t a, uint64_t b, uint64_t m)
{
   uint64_t d = 0, mp2 = m >> 1;
   int i;
   if (a >= m) a %= m;
   if (b >= m) b %= m;
   for (i = 0; i < 64; ++i)
   {
       d = (d > mp2) ? (d << 1) - m : d << 1;
       if (a & 0x8000000000000000ULL)
           d += b;
       if (d > m) d -= m;
       a <<= 1;
   }
   return d%m;
}

注释

Template:NoteFoot

参考文献

Template:Reflist

参见

Template:Portal box

[1] Template:Cite web

[2] Template:Cite web

[3] Template:Cite web

[4] Template:Cite web

[5] Template:Cite web

[6] Template:Cite book

[7] Template:Cite journal

[1]

[2]

[3]

[4]

[5]

[6]

[7]

同餘

目录

定義

同餘類

剩餘系

性质

整除性

传递性

保持基本运算

放大縮小底數

放大縮小模數

除法原理一

除法原理二

同余关系式

威尔逊定理

费马小定理

欧拉定理

卡邁克爾函數

阶乘幂

卢卡斯定理

组合数最小周期

相关概念

模反元素

原根

同余方程

线性同余方程

线性同余方程组

二次剩余

高次剩餘

例子

應用

範例

注释

参考文献

参见

导航菜单

同餘

定義

同餘類

剩餘系

性质

整除性

传递性

保持基本运算

放大縮小底數

放大縮小模數

除法原理一

除法原理二

同余关系式

威尔逊定理

费马小定理

欧拉定理

卡邁克爾函數

阶乘幂

卢卡斯定理

组合数最小周期

相关概念

模反元素

原根

同余方程

线性同余方程

线性同余方程组

二次剩余

高次剩餘

例子

應用

範例

注释

参考文献

参见

导航菜单

搜索