《数论讲义》柯召 孙琦编著 第二版课后笔记之第二章同余式

同余的定义和基本性质

同余
给定一个正整数m，如果用m去除整数a和b所得的余数相同，称a，b对模（数）m同余，记作：a≡b（mod m）
性质
自反性：a≡a（mod m）
对称性：a≡b（mod m）⇿b≡a（mod m）
传递性：a≡b（mod m），b≡c（mod m）⇨a≡c（mod m）
定理1
a，b对模m同余⇿m|a-b即a=b+mt
定理2
如果a≡b（mod m），α≡β（mod m），则有：

1. ax+αy≡bx+βy（mod m），其中x，y∈Z；
2. aα≡bβ（mod m）；
3. aⁿ≡bⁿ(mod m）n>0；
4. f(a)≡f(b) （mod m），其中f(x)为任意给定的一个整系数多项式
   定理3
   若ac≡bc（mod m），且（m，c）=d，则a≡b（mod m/d）→消去律
   定理4
   若a≡b（mod m_i），i=1，2，……，k，则a≡b（mod [m₁，m₂，……，m_k]）

剩余类与完全剩余系

剩余类

也就是说，把所有的正整数被m除，把余数r相同的放在同一集合，其中r=0，1，……，m-1，共有m个集合，就把这m个集合称为模m的剩余类

定理1
设m>0,C₀,C₁,……，C_m-1是模m的剩余类，则有：

1. 每个整数恰包含在某一个类C_j里，0<=j<=m；
2. 两个整数x，y属于同一个类的充要条件是x≡y（mod m）
   完全剩余系
   
   定理2
   m个整数作为模m的一组完全剩余系的充要条件是两两对模m不同余

定理3
设（k，m）=1，而a₁，a₂，……，a_m是模m的一组完全剩余系，则ka₁，ka₂，……，ka_m也是模m的一组完全剩余系
定理4
若m，n是互素的两个正整数，而x，y分别通过模m，n的完全剩余系，则nx+my通过模mn的完全剩余系。

定理5

定理6

缩系

欧拉函数

定理1
模m的一组缩系含有φ(m)个数
定理2
若a₁，a₂，……，a_φ(m)是φ(m)个与m互素的整数，则a₁，a₂,……，a_φ(m)是模m的一组缩系的充分必要条件是两两对模m不同余。

定理3

定理4（欧拉Euler定理）

定理5（费马Fermat小定理）

定理6

定理7

一次同余式

定理1

定理2

定理3

定理5

模数是素数的同余式

定理1

定理2

定理3

定理4

定理6

中国剩余定理

一般地，
x≡b₁（mod m₁），x≡b₂（mod m₂），……，x≡b_k（mod m_k）称之为1次同余式组。
定理1（孙子剩余定理）

定理2

定理3

模是素数幂的同余式

未完待续