卢卡斯-莱默检验法

✍ dations ◷ 2025-07-07 06:43:13 #素性测试

数学中,卢卡斯-莱默检验法(英语:Lucas–Lehmer primality test)是检验梅森数的素性检验,是由爱德华·卢卡斯于1878年完善,德里克·亨利·莱默随后于1930年代将其改进。

因特网梅森素数大搜索用这个检验法找到了不少很大的素数,最近几个最大的素数就是这个项目发现的。由于梅森数比随机选择的整数更有可能是素数,因此他们认为这是一个极有用的方法。

卢卡斯-莱默检验法原理是这样:
令梅森数 = 2− 1作为检验对象(预设是素数,否则就是合数了)。

定义序列{ }:所有的 ≥ 0

这个序列的开始几项是4, 14, 194, 37634, ... (OEIS中的数列A003010)

那么是素数当且仅当

否则, 是合数。
− 2的余数叫做的卢卡斯-莱默余数。

假设我们想验证M3 = 7是素数。我们从=4开始,并更新3−2 = 1次,把所有的得数模7:

由于我们最终得到了一个能被7整除的,因此M3是素数。

另一方面,M11 = 2047 = 23×89就不是素数。我们仍然从=4开始,并更新11−2 = 9次,把所有的得数模2047:

由于最终仍未能被2047整除,因此M11=2047不是素数。但是,我们从这个检验法仍然无法知道2047的因子,只知道它的卢卡斯-莱默余数1736。

我们注意到 s i {\displaystyle {\langle }s_{i}{\rangle }} ,都有 s i = ω 2 i + ω ¯ 2 i {\displaystyle s_{i}=\omega ^{2^{i}}+{\bar {\omega }}^{2^{i}}} ,有 ω 2 p 2 + ω ¯ 2 p 2 = k M p {\displaystyle \omega ^{2^{p-2}}+{\bar {\omega }}^{2^{p-2}}=kM_{p}} 是合数,其非平凡素因子 > 2(所有梅森素数都是奇数)。定义含有2个元素的集合 X = { a + b 3 | a , b Z q } {\displaystyle X=\{a+b{\sqrt {3}}|a,b\in \mathbb {Z} _{q}\}} 的整数,是一个有限域。中的乘法运算定义为:

由于 > 2,因此 ω {\displaystyle \omega } 内的数的乘积也一定位于内,但它不是一个群,因为不是所有的元素都有逆元素,使得 = 1。如果我们只考虑有逆元素的元素,我们便得到了一个群*,它的大小最多为 q 2 1 {\displaystyle q^{2}-1} *内,它的目能整除 2 p {\displaystyle 2^{p}} M p {\displaystyle M_{p}} 的二次非剩余,这是因为对于奇数 > 1,2  − 1只取得值7 mod 12,因此从勒让德符号的性质可知 ( 3 | M p ) {\displaystyle (3|M_{p})} *为 { a + b 3 | a , b Z M p } {\displaystyle \{a+b{\sqrt {3}}|a,b\in \mathbb {Z} _{M_{p}}\}} (费马小定理)。

那么,在群*中,我们有:

简单计算可知 ω = ( 6 + σ ) 2 / 24 {\displaystyle \omega =(6+\sigma )^{2}/24} *中的 ω ( M p + 1 ) / 2 {\displaystyle \omega ^{(M_{p}+1)/2}} −2是整数,且在*内是零,因此它也是零mod 

相关

  • HAt砹化氢,又称氢砹酸(化学式:HAt),是一种卤氢酸,由氢原子与砹原子组成的共价化合物。这种化合物溶于水生成氢砹酸,性质和其他四种卤化氢相似——实际上具备氢卤酸中最强的酸性。但它
  • 波动论波动力学是量子力学的一种表述形式,主要是以波函数及其模数的平方去表示物体的状态及该状态出现的几率。对于波函数随时间的变化,是遵从薛定谔方程式。1923年,德布罗意参考爱因
  • 碘乙烷碘乙烷是一种无色、易燃的有机化合物。其化学式为C2H5I,可由碘、磷及乙醇加热制得。与空气接触,尤其是在光照条件下,碘乙烷会分解,产生的碘溶于碘乙烷而使碘乙烷略显黄色。碘乙
  • 腿毛腿毛,或称为脚毛,是在人类的大腿与小腿、脚掌、脚趾上生长的毛发,受到激素影响,通常在青春期中后期,脚毛开始变粗。男性的腿通常比女性的多毛且粗,但少数女性的脚毛也会很粗与男性
  • 三线棱背龟三线棱背龟(学名:)是潮龟属下的一种龟。三线棱背龟分布于孟加拉国和印度(阿萨姆邦、比哈尔邦、中央邦、拉贾斯坦邦、北方邦、西孟加拉邦),在尼泊尔可能也存在。
  • 自然堆积层自然层是一个考古术语,一般指在地质勘探或者遗迹发掘中,由各种自然堆积形成的堆积层。但是相对于文化层的定义,自然层也指没有人类活动遗留物和遗迹的地层。
  • 超级魔术师《超级魔术师》(英语:)是一部2013年的美国喜剧电影,由唐·斯卡迪诺(英语:Don Scardino)执导,约翰·法兰西斯·达利和强纳森·高斯汀编剧。1982年,年轻的阿尔Burt被恶霸骚扰。他的母亲
  • 尼劳多尼区尼劳多尼区(匈牙利语:Nyíradonyi járás),是匈牙利的一个区,位于该国东部,由豪伊杜-比豪尔州负责管辖,首府设于尼劳多尼,面积510平方公里,2011年人口29,534,人口密度每平方公里58人
  • 廷宁湖坐标:47°49′28″N 12°12′18″E / 47.82436°N 12.20508°E / 47.82436; 12.20508廷宁湖(德语:Tinninger See),是德国的湖泊,位于该国东南部,由巴伐利亚州负责管辖,长0.7公里、宽
  • 火星水文火星水文是研究火星表面水的状态。相较于地球,液态水在火星表面几乎不存在。火星的水大多锁在永久冻土和极冠等冰冻圈(Cryosphere),所以在火星表面没有足够的液态水可以形成水圈