用群论证明费马小定理和欧拉定理

2024-04-25 14:47:46

费马小定理

设m为素数，a为任意整数，且$(a, m)=1$，则$a^{m-1} \equiv 1(mod \ m)$.

证明：

构造一个群$G<{[1],[2], \cdots, [m-1]}, \equiv *>$，下证这是一个群.

封闭性:对任意[i]、[j]，假如不封闭，因为集合是除[0]外的剩余类，所以$[i][j]=0$

$\because [i][j]=0 \quad [ij]=0,则m | ij，又因为 (i,m)=1 \quad (j,m)=1 \therefore (ij,m)=1 \quad 矛盾\therefore \quad G是群$

单位元：显然，[1]

逆元：对任意[k]，m为素数，$\because (k, m)=1 \quad \therefore ks+mt=1 \quad m|ks-1 \quad \therefore ks \equiv 1(mod \ m) \quad \therefore存在[s]$

由拉格朗日定理推论：有限群G的每个元素的阶均能整除G的阶

设p是a的阶，$a^p \equiv [1](mod \ m)$，$\because p | m-1 \therefore a^{m-1}={(a^p)}^t \equiv 1(mod \ m)$

欧拉定理

设m为正整数，a为任意整数，且(a, m)=1，则$a^{\varphi (m)}\equiv 1(mod \ m)$，其中$\varphi (m)$表示1，2，...，m中与m互素的数的个数.

证明：

把与m互素的剩余类作为一个集合H(即简化剩余类)，$H={[a_1],[a_2], \cdots ,[a_{\varphi(n)}]}$.

构造群$G=<H, \equiv *>$.

封闭性、单位元、逆元与上面证明类似.

转载于:https://www.cnblogs.com/lfri/p/10445864.html

用群论证明费马小定理和欧拉定理相关推荐

关于群论证明费马小定理？
这篇博客就是讲证费马的,没什么意思. 既然是要用群论证明费马小定理,那么我们先用数论证明一下. (以下的 p 为一个质数) 首先我们考虑一个前置定理: 第一个证明若 $(c,p) =1$ (即 c ...
密码学基础——辗转相除法，费马小定理，欧拉定理，裴蜀定理，中国剩余定理
文章主要根据百度百科和维基百科相关相关知识点整理而成! 辗转相除法辗转相除法, 又名欧几里德算法(Euclidean algorithm),是求最大公约数的一种方法.它的具体做法是:用较小数除较大数 ...
三个重要的同余式——威尔逊定理、费马小定理、欧拉定理 + 求幂大法的证明
一.威尔逊定理若p为质数,则 p|(p-1)!+1 亦:(p-1)! ≡ p-1 ≡ -1(mod p) 例题: HDU 2973 YAPTCHA (威尔逊定理及其逆定理) 解题报告见http:// ...
逆元的几种求法（扩展欧几里得，费马小定理或欧拉定理，特例，打表等）
乘法逆元对于缩系中的元素,每个数a均有唯一的与之对应的乘法逆元x,使得ax≡1(mod n) 一个数有逆元的充分必要条件是gcd(a,n)=1,此时逆元唯一存在逆元的含义:模n意义下,1个数a如果 ...
费马小定理与欧拉定理原理与证明
一.欧拉定理 1.定义若a与n互质,则aφ(n)≡1a^{\varphi (n)} \equiv 1aφ(n)≡1 (mod n). 其中φ(n)\varphi (n)φ(n)指欧拉函数:小于n的正 ...
费马小定理与欧拉定理
费马小定理假如p是质数,且gcd(a,p)=1,那么 a^(p-1)≡1(mod p) 欧拉定理 gcd(a,n)=1,则 a^≡1(mod p) 其中,是欧拉函数欧拉定理证明模m的同余类共有m ...
费马小定理、欧拉定理与扩展欧拉定理（含证明）
这里就以自己做好的PPT图片的形式给出了:
欧拉定理费马小定理
前言学基础数论的时候看过证明,然而很快就忘了,最近在学习高深一点的数论,于是再复习一下欧拉定理和费马小定理. 欧拉定理内容若正整数 \(a,n\) 互质,则 \(a^{\varphi(n)}\e ...
数论杂谈（欧拉定理与费马小定理结论与应用）
文章目录欧拉定理: 欧拉定理性质: 扩展欧拉定理: 费马小定理: 指数循环节费马大定理逆元: 例题原根定义: 原根存在条件例题快速幂代码矩阵快速幂原理: 代码: 欧拉定理: aφ( ...

最新文章

热门文章