Wilson定理证明

2024-05-24 06:43:12

Wilson定理证明

就是那个\((p-1)! \equiv -1 \pmod{p}\),\(p\)是一个素数.

Lemma A

\(\mathbb{Z}_p\)可以去掉一个零元变成一个群.

即\(\forall a\in \mathbb{Z}_ {p},a\not= \overline{0}, \exists b \in \mathbb{Z}_p,ab=\overline{1}\)也就是存在逆元.

Lemma B

\(\forall a\in \mathbb{Z}_p,a\not=\overline{p-1},a^2\not\equiv 1 \pmod{p}\)

证明

设存在\(x^2\equiv 1 \pmod{p}, x<p-1\)则\(x^2=np+1\~\~ n\in \mathbb{Z}\),则\(np=(x+1)(x-1)\),则\(p\mid x-1 或 p\mid x+1\).显然,当\(p=x+1\)时\((x+1)(x-1)\)达到最小,而此刻\(x=p-1\),与\(x<p-1\)矛盾.

证明

通过Lemma A与Lemma B可知\(2\dots p-2\)的逆元都不等于它们本身,且都在\(2\dots p-2\)间.那我们对它们配对即可得\((p-2)! \equiv 1 \pmod{p}\),乘上\(p-1\)即得到\((p-1)! \equiv -1 \pmod{p}\)

转载于:https://www.cnblogs.com/tmzbot/p/4801570.html

Wilson定理证明相关推荐

Wilson定理推论
Wilson定理: 设 p p p 是一个素数,则 ( p − 1 ) ! ≡ − 1 ( m o d   p ) . (p-1)!\equiv-1(mod\;p). (p−1)!≡−1(modp) ...
UA SIE545 优化理论基础用Farkas定理证明Farkas类的结论
UA SIE545 优化理论基础用Farkas定理证明Farkas类的结论 Farkas定理 AAA是一个m×nm\times nm×n的矩阵,下面两个系统有且仅有一个有解: I:Ax≤0,cTx& ...
UA MATH523A 实分析3 积分理论例题 Fubini定理证明积分不等式
UA MATH523A 实分析3 积分理论例题 Fubini定理证明积分不等式例假设f(x),x∈[0,1]f(x),x \in [0,1]f(x),x∈[0,1]绝对连续,f(0)=0f(0)= ...
UA MATH523A 实分析2 测度论定理证明技巧总结
UA MATH523A 实分析2 测度论定理证明思路总结 σ\sigmaσ-代数测度外测度 Borel测度上一篇总结了测度论部分的概念与定理,这一篇总结一下那22个定理的推导脉络与证明思路. σ ...
UA MATH566 用Basu定理证明统计量不完备
UA MATH566 用Basu定理证明统计量不完备 Basu定理:有界完备最小充分统计量与辅助统计量独立.我们先简单证明一下这个定理,记有界完备最小充分统计量为T(X)T(X)T(X),辅助统计量为 ...
初等数论--同余--WILSON定理
初等数论--同余--WILSON定理 a对模m的逆a−1a对模m的逆a^{-1}a对模m的逆a−1 WILSON定理博主是初学初等数论(整除+同余+原根),本意是想整理一些较难理解的定理.算法,加深 ...
文献记录(part49)--极大熵聚类算法的收敛性定理证明
学习笔记,仅供参考,有错必纠关键词:熵:不动点:聚类算法:收敛极大熵聚类算法的收敛性定理证明摘要有关极大熵聚类算法收敛性的研究是理论研究的一个热点问题,有的学者认为迭代序列的极限点有可能不是目 ...
未来计算机将具有图像识别定理证明,[单选] 低温计与高温计所测温度的分界线为（）。...
[单选] 低温计与高温计所测温度的分界线为(). 更多相关问题 [单选题]向一个栈顶指针为 HS 链式栈中插入一个 s 所指结点时,则执行( ). A. HS à next =s : B. s à n ...
二元函数泰勒公式例题_高等数学期末总复习 DAY 5. 罗尔定理证明题拉格朗日、柯西中值定理泰勒公式及麦克劳林公式...
DAY 5. DAY 5. 1.罗尔定理 2.拉格朗日定理 3.柯西中值定理 4.泰勒公式及麦克劳林公式 1.罗尔定理罗尔定理描述如下: 如果 R 上的函数 f(x) 满足以下条件:(1)在闭区间 ...

最新文章

热门文章