用群论证明欧拉定理

前言：仅个人小记。之前已经通过其他方法对欧拉定理实施了证明（参看https://blog.csdn.net/qq_25847123/article/details/95773797），这里记录借助群论只是实施对欧拉定理的证明，个人觉得比较精彩，故而记录之。

欧拉定理

核心公式：$$a^{\phi (m)}\%m\equiv 1,其中a\perp m,\phi (\cdot )是欧拉函数$$公式图片展示如下，

前要知识

1. 若$a\perp c$,$b\perp c$，则必有$ab\perp c$。参看 https://blog.csdn.net/qq_25847123/article/details/95765764
2. 若正整数$a\perp b$，则必然存在正整数 k ∈ { 0 , 1 , . . . , b − 1 } ， 使 得 a k % b = 1 k\in\{0,1,...,b-1\}，使得ak\%b=1 k∈{0,1,...,b−1}，使得ak%b=1.
   引入集合 S = { 0 , 1 , . . . , b − 1 } S=\{0,1,...,b-1\} S={0,1,...,b−1}参看 https://blog.csdn.net/qq_25847123/article/details/99953705
3. 群论中的拉格朗日定理，即群的阶必然能被子群的阶或者元素的阶整除。https://blog.csdn.net/qq_25847123/article/details/100318620

证明

任取正整数 m。记 G 为 m 以内的所有与 m 互质的数的集合。显然这个集合元素数量为 $\phi (m)$，记作$|G|=\phi (m)$
引入二元代数系统 <G，*>，二元运算 * 定义为

$$\forall a,b\in G,a\ast b=ab\%m$$
下面证明 <G,*> 这个代数系统是一个交换群。证明如下：

1. 封闭性。 $\forall a,b\in G，根据定义知道a\perp m,b\perp m$,再根据前要知识1，进而有$ab\perp m$,再根据欧几里得算法知道
   $$gcd(ab,m)=gcd(m,ab\%m)$$又因为$ab\perp m$所以
   $$gcd(m,ab\%m)=gcd(ab,m)=1$$进而$$ab\%m\perp m$$又因为 $$G是m以内所有与m互质的数，且ab\%m<m$$所以$$ab\%m\in G$$故而满足封闭性。
2. 结合律，显然满足。
3. 存在幺元。幺元为 1。
4. 交换律。显然满足。
5. G 中的任意元素都可逆。根据前要知识2，因为 $\forall a\in G,a\perp m$，所以必然存在 $b\in G$使得 $ab\%m=1$成立，又满足交换律，显然a,b互逆。

根据上述5点，得出二元代数系统<G,*>为一个交换群。

这个群中的元素有$\phi (m)$个，所以群G的阶为$\phi (m)$，再根据群论中的拉格朗日定理（前要知识3）知道，$$\forall a\in G,a的阶k必然能够整除群阶\phi (m)$$所以$$\phi (m)/k为整数$$又因为$$a^k\%m=1$$进而$$a^{\phi (m)}\%m=a^{k^{\phi (m)/k}}\%m=1^{\phi (m)/k}\%m=1$$

小结

为什么会想到用群论来证明欧拉定理？我觉得这个问题很重要。我这里给出的答案就是：在研究乘模合数问题的时候逐渐发现了这个结论，而不是很突兀的引入上面这个具体的群。