初等数论 2.5 简化剩余系

定义：设$C$是模$m$的一个剩余类，若$\exists a\in C$，使得$(a,m)=1$，则称$C$是模$m$的一个简化剩余类（reduced residue class）.

若$C$是$m$的一个简化剩余类，则$C$中每个数都与$m$互素.

定义：对于给定的$m\in {\mathbb{Z}}^{+}$，称与$m$互素的剩余类的个数为Euler函数，记为$\varphi (m)$.

若$p$为素数，则$\varphi (p)=p-1$.

定义：设$m\in {\mathbb{Z}}^{+}$，从$\varphi (m)$个与$m$互素的简化剩余类中各取一个数$x_i(i=1,\cdots ,m)$，构成一个集合 { x 1 , x 2 , ⋯   , x ϕ ( m ) } \displaystyle \{x_1,x_2,\cdots,x_{\phi(m)}\} { x1​,x2​,⋯,xϕ(m)​}，称为模$m$的一个简化剩余系（既约剩余系）.

$\varphi (m)$即为不超过$m$且与$m$互素的正整数个数.

对应地，可以得到模$m$的最小非负简化剩余系，最小正简化剩余系，绝对最小简化剩余系.
定理：$k$个整数$a_1,a_2,\cdots ,a_k$构成模$m$的一个简化剩余系的充要条件：
1.$k=\varphi (m)$
2.