初等数论 课堂笔记 第三章 -- 欧拉函数

定义

  $m\in {\mathbb{Z}}_{>0}$，定义欧拉函数 定 义 一 ： φ ( m ) = ∣ { n ∈ Z > 0 : 1 ≤ n ≤ m ,   gcd ⁡ ( n , m ) = 1 } ∣ 定义一：\varphi \left( m \right)=\left| \left\{ n\in { {\mathbb{Z}}_{>0}}:1\le n\le m,\text{ }\gcd \left( n,m \right)=1 \right\} \right| 定义一：φ(m)=∣{ n∈Z>0​:1≤n≤m, gcd(n,m)=1}∣其中$\left|\cdot \right|$表示集合中元素的个数。
  有些教材也定义欧拉函数为
定 义 二 ： φ ( m ) = ∣ { n ∈ Z ≥ 0 : 0 ≤ n ≤ m − 1 , gcd ⁡ ( n , m ) = 1 } ∣ 定义二：\varphi \left( m \right)=\left| \left\{ n\in { {\mathbb{Z}}_{\ge 0}}:0\le n\le m-1,\gcd \left( n,m \right)=1 \right\} \right| 定义二：φ(m)=∣{ n∈Z≥0​:0≤n≤m−1,gcd(n,m)=1}∣
这两种定义是等价的。


例子
  对每个$m$，利用穷举法求其欧拉函数。
$$\begin{array}{ccc}m& \phi \left(m\right)& 对应的既约剩余系\\ 1& 1& \left\{\overline{1}\right\}/\left\{\overline{0}\right\}\\ 2& 1& \left\{\overline{1}\right\}\\ 3& 2& \left\{\overline{1},\overline{2}\right\}\\ 4& 2& \left\{\overline{1},\overline{3}\right\}\\ 5& 4& \left\{\overline{1},\overline{2},\overline{3},\overline{4}\right\}\\ 6& 2& \left\{\overline{1},\overline{5}\right\}\\ 7& 6& \left\{\overline{1},\overline{2},\overline{3},\overline{4},\overline{5},\overline{6}\right\}\\ 8& 4& \left\{\overline{1},\overline{3},\overline{5},\overline{7}\right\}\\ 9& 6& \left\{\overline{1},\overline{2},\overline{4},\overline{5},\overline{7},\overline{8}\right\}\\ 10& 4& \left\{\overline{1},\overline{3},\overline{7},\overline{9}\right\}\\ 11& 10& \left\{\overline{1},\overline{2},\overline{3},\overline{4},\overline{5},\overline{6},\overline{7},\overline{8},\overline{9},\overline{10}\right\}\\ 12& 4& \left\{\overline{1},\overline{5},\overline{7},\overline{11}\right\}\\ 13& 12& \left\{\overline{1},\overline{2},\overline{3},\overline{4},\overline{5},\overline{6},\overline{7},\overline{8},\overline{9},\overline{10},\overline{11},\overline{12}\right\}\end{array}$$

引理1: 设$p$是素数，$e\in {\mathbb{Z}}_{>0}$，则有$$\phi \left(p^e\right)=p^e-p^{e-1}=p^{e-1}\left(p-1\right)$$特别地，有$$\phi \left(p\right)=p-1$$

证法一
  设
S = { n ∈ Z > 0 : 1 ≤ n ≤ p e ,   gcd ⁡ ( n , p e ) = 1 } T = { k p : k ∈ Z > 0 ,   1 ≤ k p ≤ p e } R = { 1 , 2 , ⋯   , p e } \begin{aligned} & S=\left\{ n\in { {\mathbb{Z}}_{>0}}:1\le n\le { {p}^{e}},\text{ }\gcd \left( n,{ {p}^{e}} \right)=1 \right\} \\ & T=\left\{ kp:k\in { {\mathbb{Z}}_{>0}},\text{ }1\le kp\le { {p}^{e}} \right\} \\ & R=\left\{ 1,2,\cdots ,{ {p}^{e}} \right\} \\ \end{aligned} ​S={ n∈Z>0​:1≤n≤pe, gcd(n,pe)=1}T={ kp:k∈Z>0​, 1≤kp≤pe}R={ 1,2,⋯,pe}​
以下我们将证明$S=R-T$。

1. $\forall n\in S$，有$n\in {\mathbb{Z}}_{>0}\&1\le n\le p^e\Rightarrow n\in R$。
   若$\exists k\in {\mathbb{Z}}_{>0},s.t.n=kp$，则有
   $$\gcd \left(n,p^e\right)=\gcd \left(kp,p^e\right)\ge p>1$$
   与$\gcd \left(n,p^e\right)=1$矛盾。由反证法，有$\forall k\in {\mathbb{Z}}_{>0},n\ne kp\Rightarrow n\notin T$。
   因此有$$n\in R-T$$

2. $\forall n\in \left(R-T\right),n\in {\mathbb{Z}}_{>0}\&1\le n\le p^e$。
   且有$n\notin T\Rightarrow \forall k\in {\mathbb{Z}}_{>0},n\ne kp\Rightarrow p\cancel{|}n$。
   由于$p$是素数，因此$p^e$的标准分解式就是$p^e$，只有素因子$p$；而$n$的标准分解式不含$p$，也就有
   $$\gcd \left(n,p^e\right)=1$$
   于是$$n\in S$$

3. 综上，有$$S=R-T$$
   $$\begin{array}{rl}& \phi \left(p^e\right)=\left|S\right|=\left|R-T\right|\\ & =\left|R\right|-\left|T\right|\left(\because T\subseteq R\right)\\ & =p^e-p^{e-1}\\ & =p^{e-1}\left(p-1\right)\end{array}$$
   
   
   

证法二
  设
R = { 1 , 2 , ⋯   , p e } R=\left\{ 1,2,\cdots ,{ {p}^{e}} \right\} R={ 1,2,⋯,pe}
由于$R\subseteq \mathbb{Z}$，因此有
$$\begin{array}{rl}& R=\mathbb{Z}\bigcap R\\ & =\left(K_0\bigcup K_1\bigcup \cdots \bigcup K_{p-1}\right)\bigcap R\\ & =\left(K_0\bigcap R\right)\bigcup \left(K_1\bigcap R\right)\bigcup \cdots \bigcup \left(K_{p-1}\bigcap R\right)\end{array}$$
其中$K_0,K_1,\cdots ,K_{p-1}$是模$p$的剩余类。
设 R ′ = { 1 , 2 , ⋯   , p } R'=\left\{ 1,2,\cdots ,p \right\} R′={ 1,2,⋯,p}，则$R^{\prime }$是模$p$的一个完全剩余系。将$R^{\prime }$作以下分解
$$R^{\prime }=R_1+R_2$$
其中
R 1 = { n ∈ R : gcd ⁡ ( n , p ) = 1 } ,   R 2 = { n ∈ R : gcd ⁡ ( n , p ) > 1 } { {R}_{1}}=\left\{ n\in R:\gcd \left( n,p \right)=1 \right\},\text{ }{ {R}_{2}}=\left\{ n\in R:\gcd \left( n,p \right)>1 \right\} R1​={ n∈R:gcd(n,p)=1}, R2​={ n∈R:gcd(n,p)>1}
$\forall i\in R_1$, $i$对应的剩余类$K_i$是既约剩余系，$\forall j\in K_i,\gcd \left(j,p\right)=1$；
$\forall i\in R_2$, $i$对应的剩余类$K_i$不是既约剩余系，且$\forall j\in K_i,\gcd \left(j,p\right)>1$。
于是有
$$\phi \left(p^e\right)=\sum _{i\in R_1}\left|K_i\cap R\right|=\sum _{i\in R_1}\frac{\left|R\right|}{\left|R^{\prime }\right|}=\phi \left(p\right)\frac{\left|R\right|}{\left|R^{\prime }\right|}=\left(p-1\right)\frac{p^e}{p}=p^{e-1}\left(p-1\right)$$

引理2: 设$a,n\in {\mathbb{Z}}_{>0}$，则有$$\gcd \left(a,n\right)=1\iff \exists b\in \mathbb{Z},ab\equiv 1\left(\mathrm{m}\mathrm{o}\mathrm{d}n\right)$$

证明
$$\begin{array}{rl}& \gcd \left(a,n\right)=1\\ & \iff \exists b,m\in \mathbb{Z},s.t.ab+nm=1\\ & \iff ab=\left(-m\right)n+1\\ & \iff ab\equiv 1\left(\mathrm{m}\mathrm{o}\mathrm{d}n\right)\end{array}$$

引理3: 设$a,m,n\in {\mathbb{Z}}_{>0}$，则有$$\gcd \left(a,m\right)=\gcd \left(a,n\right)=1\iff \gcd \left(a,mn\right)=1$$

证明

1. $\left(\Rightarrow \right)$
   $\gcd \left(a,m\right)=\gcd \left(a,n\right)=1\Rightarrow \exists s_{1,2},t_{1,2}\in \mathbb{Z},s.t.a{s}_1+m{t}_1=1,a{s}_2+n{t}_2=1$
   $$\begin{array}{rl}& \left(a{s}_1+m{t}_1\right)\left(a{s}_2+n{t}_2\right)=1\\ & \Rightarrow a\left(a{s}_1{s}_2+n{s}_1{t}_2+m{t}_1{s}_2\right)+\left(mn\right)\left(t_1{t}_2\right)=1\\ & \Rightarrow \gcd \left(a,mn\right)=1\end{array}$$

2. $\left(\Leftarrow \right)$
   $$\begin{array}{rl}& as+mnt=1\\ & \{\begin{array}{rl}& \iff as+m\left(nt\right)=1\iff \gcd \left(a,m\right)=1\\ & \iff as+n\left(mt\right)=1\iff \gcd \left(a,n\right)=1\end{array}\end{array}$$
   
   

引理4: $m,n\in {\mathbb{Z}}_{>0}\&\text{ gcd}\left(m,n\right)=1$$\Rightarrow \phi \left(mn\right)=\phi \left(m\right)\phi \left(n\right)$

注
  $\gcd \left(m,n\right)\ne 1$时结果可能成立也可能不成立。
证明
  $\phi \left(1\right)=1$，因此不妨设$m>1,n>1$，将$1$至$mn$写成下面矩阵的格式。
$$\left(\begin{array}{cccc}1& 2& \cdots & m\\ m+1& m+2& \cdots & 2m\\ ⋮& ⋮& \ddots & ⋮\\ \left(n-1\right)m+1& \left(n-1\right)m+2& \cdots & nm\end{array}\right)$$
对于第一行的元素 a ∈ { 1 , 2 , ⋯   , m } a\in \left\{ 1,2,\cdots ,m \right\} a∈{ 1,2,⋯,m}，

1. 若$\gcd \left(a,m\right)=1$，则同一列的元素 k m + a ,   k ∈ { 0 , 1 , ⋯   , n − 1 } km+a,\text{ }k\in \left\{ 0,1,\cdots ,n-1 \right\} km+a, k∈{ 0,1,⋯,n−1}均满足
   $$\gcd \left(km+a,m\right)=1$$
   事实上，由于$\gcd \left(a,m\right)=1$，根据引理2，$\exists b\in \mathbb{Z},s.t.ab\equiv 1\left(\mathrm{m}\mathrm{o}\mathrm{d}m\right)$，故有
   $$\left(km+a\right)b=\left(kb\right)m+ab\equiv 0+1=1\left(\mathrm{m}\mathrm{o}\mathrm{d}m\right)$$
   因此有$$\gcd \left(km+a,m\right)=1$$
2. 若$d=\gcd \left(a,m\right)>1$，则同一列元素 k m + a , k ∈ { 0 , 1 , ⋯   , n − 1 } km+a,k\in \left\{ 0,1,\cdots ,n-1 \right\} km+a,k∈{ 0,1,⋯,n−1}均满足
   $$\gcd \left(km+a,m\right)>1$$
   事实上，设$a=a_{1}d,m=m_{1}d$，则有
   $$\begin{array}{rl}& \gcd \left(km+a,m\right)=\gcd \left(k\left(m_{1}d\right)+\left(a_{1}d\right),m_{1}d\right)\\ & =\gcd \left(d\left(k{m}_1+a_1\right),m_{1}d\right)\\ & \ge d>1\end{array}$$
3. ∣ { a ∈ Z > 0 : 1 ≤ a ≤ m ,   gcd ⁡ ( a , m ) = 1 } ∣ = φ ( m ) \left| \left\{ a\in { {\mathbb{Z}}_{>0}}:1\le a\le m,\text{ }\gcd \left( a,m \right)=1 \right\} \right|=\varphi \left( m \right) ∣{ a∈Z>0​:1≤a≤m, gcd(a,m)=1}∣=φ(m)
   因此与$m$互素的数有$\phi \left(m\right)$个整列。

  另一方面， 0 ,