卢卡斯-莱默检验法

✍ dations ◷ 2025-09-15 20:55:04 #素性测试

数学中,卢卡斯-莱默检验法(英语: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 

相关

  • 埃及第四王朝第八第十第四王朝是古埃及古王国时期第二个王朝,古代埃及文明在这一时代达到空前的高度,例如最大的金字塔胡夫金字塔就是这个时代的胡夫法老建造的。因此第四王朝被认为是古埃
  • Chanel香奈儿(法语:Chanel)公司,是1910年由可可·香奈儿("Coco" Chanel,1883年8月19日-1971年1月10日)所创办的顶级法国女性知名时装店,私人公司,由Pierre Wertheimer的孙子Alain Wertheime
  • 台1线台1线,又称纵贯公路、西部干线,是台湾西部一条南北向的省道,自清代就是纵贯南北的交通要道。北起台北市忠孝西路、中山南路口(行政院大门前,台湾公路原点和与台3线共线起点,台1甲
  • 葫芦科葫芦科(学名:Cucurbitaceae)是真双子叶植物葫芦目的一科,其中包括黄瓜、南瓜、丝瓜、西瓜等常见的蔬菜和瓜果。葫芦科是世界上最重要的食用植物科之一,其重要性仅次于禾本科、豆
  • 鲍林格林鲍林格林州立大学(Bowling Green State University,简称BGSU)是一所位于美国俄亥俄州鲍林格林的四年制公立大学。学生总人数超过两万人,有3000名研究生。这所大学提供200种大学
  • 高溴酸高溴酸,或称过溴酸,化学式为HBrO4,是溴的含氧酸之一,其中溴的氧化态为+7。与高氯酸和高碘酸不同,高溴酸不稳定,不能通过溴酸盐热分解反应或卤素间的置换反应制备。首次制得利用的
  • 光合自营光合自营的定义为利用叶绿素或菌绿素中的酵素并以光线为能量提供源,用硫或氧作为氧化剂,将光线转变为化学能储存于新产生分子中的一种行为,拥有该行为的生物主要分布于植物界、
  • 约翰·威廉·史诺约翰·威廉·史诺(英语:John William Snow,1939年8月2日-),生于俄亥俄州托莱多市,法律学士及哲学博士,第73任美国财政部部长。他在2003年2月3日接替保罗·亨利·奥尼尔,但在2006年5
  • 加斯帕尔·德·古兹曼加斯帕尔·德·古兹曼-皮门特尔·里韦拉-贝拉斯科·德·托瓦尔,通称“奥利瓦雷斯伯-公爵”(西班牙语:Gaspar de Guzmán y Pimentel Ribera y Velasco de Tovar,Conde-duque de
  • 孔锵孔锵(1958年12月11日-),本名庄永轩,是台湾客家人资深电子琴乐师,苗栗县南庄乡狮头山(狮山村)龙门口人,就读苗栗县立南庄国民中学始喜好吉他、琴类等乐器,其父曾是煤矿矿工兼狮山村15邻