卢卡斯-莱默检验法

✍ dations ◷ 2025-04-28 06:24:31 #素性测试

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

相关

  • 桶孔隔膜桶孔隔膜(Dolipore septum)是担子菌门伞菌纲真菌菌丝中的一种隔膜(英语:septa),为真菌最复杂的一种隔膜,最早于1962年由美国真菌学家罗耶·摩尔(英语:Royall Moore)与詹姆士·麦卡利尔
  • 代数几何代数几何(英语:algebraic geometry)是数学的一个分支,经典代数几何研究多项式方程的零点。现代代数几何将抽象代数,尤其是交换代数,同几何学的语言和问题结合起来。代数几何的基本
  • 远传电信坐标:25°01′33.6″N 121°32′57.5″E / 25.026000°N 121.549306°E / 25.026000; 121.549306远传电信(简称远传,英语:Far Eas Tone,缩写:FET)是台湾第三大电信运营商,由远东集团
  • span class=nowrapCu(BFsub4/sub)sub2/sub/span氟硼酸铜是氟硼酸的二价铜盐,其中包含两个氟硼酸根离子(BF4−)。氟硼酸根的形状为四面体,类似于甲烷。中央的硼原子因为形成了四个共价键,因此具有一个负电荷。它的氧化态为+3。
  • 上甘岭战役联合国军:上甘岭战役是朝鲜战争后期僵持阶段的一次主要战役,为美军“摊牌行动”(Operation Showdown)的一部分。1952年夏季,美第9军计划动用美国陆军第7师,大韩民国陆军第2师及第9
  • 耳针耳针(英语:Auriculotherapy, 法语:Auriculothérapie),由法国医师诺吉尔(Paul Nogier)在1957年提出的治疗方法。他提出耳部反射区的原理,认为耳朵类似于婴儿胚胎形状,因此耳朵的每个
  • 后山埤站后山埤站,副站名五分埔商圈,位于台湾台北市信义区、南港区交界处,是台北捷运板南线的捷运车站。车站位于忠孝东路六段下方,与永吉路、玉成街的交叉口以及中坡南北路口间,曾暂名为
  • 路易二世 (波旁公爵)(善良的)路易二世·德·波旁,第三代波旁公爵 Louis II de Bourbon le Bon ,3me Duc de Bourbon (1337年-1410年) 法国贵族和政治家,波旁公爵(1356年起)。他是百年战争第一阶段法国方面
  • 柘植义春柘植义春(日语:つげ 義春/つげ よしはる ,1937年10月31日- )是一位日本漫画家和随笔家。2017年获得日本漫画家协会奖大奖。他在1954年到1987年间以《GARO》杂志为舞台活跃于漫画
  • 房维中房维中(1928年2月-),男,汉族,辽宁海城人。中华人民共和国政治人物。早年求学于长白山师范学校、东北大学社会科学院、东北师范大学。1977年,任国家计划委员会副主任。1993年,担任全