卢卡斯-莱默检验法

✍ dations ◷ 2025-09-15 07:22:33 #素性测试

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

相关

  • 联合国内罗毕办事处坐标:1°14′4.79″S 36°48′59.30″E / 1.2346639°S 36.8164722°E / -1.2346639; 36.8164722联合国内罗毕办事处总干事联合国内罗毕办事处(英语:英语:United Nations Office
  • 语义搜索语义检索 ,是为了生成更相关的结果,使用语义网络中的数据来帮助区分(disambiguation)查询和网页的内容,所进行的在线检索过程。Hildebrand et al. 有一个对语义检索系统的全面
  • 非线性光学非线性光学主要用来研究非线性的光学现象和理论。介质产生的极化强度决定于入射光的电场强度,其作用可用多项式展开成多阶形式.在通常的弱光条件下,高阶项因为系数很小而可以
  • 白俄罗斯人主要为东正教; 罗马天主教、白俄罗斯希腊礼天主教会和新教犹太教白俄罗斯人(白俄罗斯语:беларусы)是东斯拉夫人的一支,主要居住在白俄罗斯,近1,000万人,在世界其他地方也分
  • 菱形十二面体在几何学中,菱形十二面体(Rhombic dodecahedron)是一个由菱形构成的十二面体,属于卡塔兰立体,由12个全等的菱形组成,具有24条边和14个顶点,其对偶多面体为截半立方体。菱形十二面体
  • 特拉法加广场特拉法加广场(英语:Trafalgar Square)是英国大伦敦西敏市的广场,也是一处著名旅游景点,建于1805年。广场南端是伦敦传统意义上的中心点查灵十字,再往南是政府办公区白厅,通向国会大
  • 朝鲜显宗朝鲜显宗(朝鲜语:조선 현종/朝鮮 顯宗 ;1641年5月13日-1674年9月17日)是朝鲜王朝的第18代君主,1659年至1674年在位。讳李棩(朝鲜语:이연/李棩 ),字景直。孝宗李淏与仁宣王后张氏的嫡长
  • 弗蕾德里克 (巴登)巴登的弗蕾德里克(德语:,1781年3月12日-1826年9月25日),瑞典王后(英语:List of Swedish consorts),丈夫是古斯塔夫四世·阿道夫。1797年,弗蕾德里克与瑞典国王古斯塔夫四世·阿道夫结婚
  • 吴兹明吴兹明(1948年-),歌仔戏(芗剧)演员,工生行,中国共产党员,中国国家一级导演,,福建省漳州市芗剧团党支部书记兼艺术总监和总导演。在漳州艺术学校学习歌仔戏(芗剧)表演专业,师承邵江海、苏登
  • 艾米利亚大道艾米利亚大道(意大利语:Via Emilia)是意大利北部平原上的一条古罗马时期道路干道,起于亚得里亚海边的(里米尼),止于(波河)河畔的(皮亚琴察)。艾米利亚大道完成于公元前187年,与33年前完