第一章 整数的可除性
1.1.1 整除的概念
定义1.1.1 整除 因数 倍数
设 a , b 是任意两个整数,其中 b ≠ 0 .如果存在一个整数 q 使得等式
a = q · b
成立,就称 b 整除a或者 a 被 b 整除,记作 b | a,并把 b 叫做 a 的因数,把 a 叫做 b 的倍数.
注
- 当 b 遍历整数 a 的所有因数时, - b 也遍历整数 a 的所有因数.
- 当 b 遍历整数 a 的所有因数时,
也遍历整数 a 的所有因数.
根据定义有:
- 0 是任何非零整数的倍数.
- 1 是任何整数的因数.
- 任何非零整数 a 是其自身的倍数,也是其自身的因数.
定理1.1.1 整除具有传递性(根据整除的定义)
设 a , b ≠ 0 , c ≠ 0 是三个整数,若 b | a , c | b则 c | a.
定理1.1.2 在加减法运算中,整除的性质是保持的
设 a , b , c ≠ 0 是三个整数,若 c | a , c | b ,则 c | a ± b .
定理 1.1.3 在整数 a , b 的线性组合中,整除的性质是保持的
设 a , b , c ≠ 0 是三个整数,若 c | a , c | b ,则对任意整数 s 、t ,有 c | ( s · a + t · b) .
定理 1.1.4 定理1.1.3可推广为多个整数的线性组合
设整数 c ≠ 0 .若整数 a 都是整数 c 的倍数,则对任意 n 个整数 s ,整数
sa
是 c 的倍数
定理 2.3.4(根据定理1.3.12 & 2.3.3)
设m是一个正整数,a是满足(a,m) = 1的整数.如果k遍历模m的一个简化剩余系,则a·k也遍历模m的一个简化剩余系
定理 2.3.5 (根据定理2.3.4)
设m是一个正整数,a是满足(a,m) = 1的整数,则存在唯一的整数a',1 ≤ a' ≤ m,使得
a·a' ≡ 1(mod m)
定理 2.3.6
设,
是互素的两个个正整数.如果
,
分别遍历模
和模
的简化剩余系,则
·
+
·
也遍历模
·
的简化剩余系
定理 2.4.1 欧拉定理(根据定理2.3.4 & 2.1. 3& 1.3.12 & 2.1.8)
设m是大于1的整数.如果a是满足(a,m)=1的整数,则
≡ 1(mod m// )
定理 2.4.2 费马小定理(根据定理2.4.1)
设p是一个素数,则对任意整数a,有
≡ a(mod p)
定理 2.4.3 Wilson定理(根据定理2.3.5)
设p是一个素数,则
(p-1)!≡ -1(mod p)