关于群论证实费马小定理？

 

这篇博客就是讲证费马的，没什么意思。

 

既然是要用群论证实费马小定理，那么咱们先用数论证实一下。

(如下的 p 为一个质数)

 

首先咱们考虑 一个前置定理：

 

第一个证实

 

若 $(c,p) =1$ (即 c 与 p 的 gcd 为 1)，且 $ac ≡ bc (mod\ p)$ ， 那么由 $a ≡ b (mod\ p)$

 

证：

∵$ac≡ bc ( mod\ p )$ 

∴$(a-b)c≡0 (mod\ p)$

∴(a-b)c 是 p 的整数倍

又∵$(c,p)=1$

∴$a-b≡0 (mod\ p)$，即 $a≡b (mod\ p)$

得证！

 

 

第二个证实

而后咱们进入正题，假设有正整数 a (a<p) 知足条件 $(a,p)=1$ ，那么咱们将 a 乘上 1~p-1 后能够构成一个 %p 的彻底剩余系

 

证：

假设存在 $xa≡ya(mod\ p)$，且 $x≠y$

 

∵ a 与 p 互质

 

∴原式成立当且仅当 $x≡y(mod\ p)$ 

 

又∵x,y∈[1,p-1] 

 

∴ $x≡y(mod\ p)$ 当且仅当 $x=y$，与已知条件矛盾

 

∴得证假设不成立，原命题成立

 

第三个证实

 

接下来证实 $a^{p-1}≡1 (mod\ p)$

 

证：

又∵$1,....,p-1$ 是 %p 的彻底剩余系

 

∴有 $1*2*...*(p-1) ≡ a*2a*3a*...*(p-1)a (mod\ p)$，即$(p-1)!≡p-1!*a^{p-1} (mod\ p)$

 

又 ∵ p 是质数，因此 $((p-1)!,p)=1$，即 (p-1)! 与 p 互质

 

∴ $a^{p-1}≡1(mod\ p)$

 

得证！

 

---

 

 

而后咱们就进入第二个阶段，用群论证实费马小定理吧。

 

首先若是你会证拉格朗日定理那么这里就没什么难度了。

 

那么咱们先假设拉格朗日定理成立，后面再来证实它。

 

哦对了，拉格朗日定理是什么都还没讲呢：

 

Lagrange定理 

　　设 H<=G ，若是|G|=N, |H|=n, 且有 [G:H]=j ，那么 N=nj 。

其中 [G:H]=j 表示子群 H 在 G 中的左（右）陪集个数（固然有可能 j 是无穷大）。 所谓左（右）陪集的个数的含义就是左（右）陪集中本质不一样的集合（注意这里讲的是集合）个数。

 

那么咱们能够获得一个推论就是： 对于 G 中的任意元素 a ， a 的阶为 |G|  的因子。

那么 a 的阶就是以 a 为生成元构成的群的大小，<a> 就是 a 构成的一个循环群。

 

 

那么这里咱们就能够证实出费马小定理了。

 

也就是说咱们令 G 为 1~p-1 构成的 %p 意义下的乘法群（p 仍然是质数），

而后 G 中的任意元素 a 必然知足 $a^{p-1} %p = 1$ 

证：

设 a 构成的循环群大小为 d，则 $a^d ≡ 1 (mod\ p)$

 

又∵根据 Lagrange定理 可得 d|(p-1)

 

令 j =(p-1)/d 

 

∵ $a^{d*j}  ≡ 1(mod\ p)$  

 

∴ $a^{p-1} ≡ 1(mod\ p)$

得证！

 

 

然鹅 Lagrange定理 真的懒得证了，因此这里就贴个网址你本身去看吧！

 

提醒一下，里面要用到陪集的性质，也就是两个左(右)陪集知足：

 

1. aH=bH

2. aH∩bH=∅

 

顺便提一下，这样能够连着蒙哥马利快速模的正确性一块儿证掉（固然这里 p 仍是质数）

 

由于若是 $a^{p-1}  ≡ 1(mod\ p) $，那么也就是 $a*a^{p-2} ≡ 1(mod\ p)$

 

根据逆元定义， $a^{p-2}%p$ 就是 a 在模 p 意义下的逆元咯~

 

而后水过了一篇证实（这能说是伪证么2333）