卢卡斯-莱默检验法

✍ dations ◷ 2024-12-23 14:41:52 #素性测试

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

相关

  • 氯吡格雷氯吡格雷(Clopidogrel,商品名为波立维(中国大陆)、保栓通(台湾)(Plavix)、氯吡多),分子式:C16H16ClNO2S,莫耳质量:321.82g/mol),是抑制血小板聚集的药物。不良反应可有皮疹、腹泻、腹痛
  • 豆部,为汉字索引中的部首之一,康熙字典214个部首中的第一百五十一个(七划的则为第五个)。就繁体和简体中文中,豆部归于七划部首。豆部通常从左方、下方为部字。且无其他部首可用
  • 吞噬小体吞噬体也称为吞噬小体,是一种在胞吞作用中在被吞噬物质周围形成的囊泡,这种囊泡由细胞膜向细胞内凹陷产生。吞噬体是一种在免疫过程中常见的细胞结构,入侵机体的病原微生物可在
  • 审计部审计部是中华民国有关政府审计事务的最高主管机关,也是唯一隶属于监察院的中央政府部门,主要职责为审核各级政府机关之财务收支、考核财务效能、审定决算、稽察财务上之违失、
  • 格罗特·雷伯格罗特·雷伯(英语:Grote Reber,1911年12月22日-2002年12月20日),美国天文学家,也是无线电天文学先驱之一。他以仪器重做了卡尔·央斯基早期的工作和一些简单的研究,也进行了首次的
  • 安妮·海瑟薇安妮·海瑟薇,全称安·杰奎琳·海瑟薇(英语:Anne Jacqueline Hathaway,1982年11月12日-),是一名美国演员,生于美国纽约,著名作品包括电影《穿普拉达的女王》、《公主日记》系列、《断
  • 中国青年出版总社中国青年出版总社,简称中青总社,是一所中华人民共和国出版社,隶属于中国共产主义青年团中央委员会领导。中国青年出版总社组建于2003年12月,由中国青年出版社(成立于1950年1月,它
  • 周镐周镐可以指:
  • 王效通王效通,字龙门,南直隶扬州府南通县人,明朝官员。赐特用进士出身。崇祯十五年赐特用,历官赣州推官、刑部江西司主事、刑部江西司员外郎。以争虏勇狱忤杨嗣昌,明思宗怒诘问主使,回曰
  • Wendy (Red Velvet)孙承完(朝鲜语:손승완 ,1994年2月21日-),艺名Wendy(朝鲜语:웬디 ,日语:ウェンディー),韩国女歌手,2014年出道,为韩国女子团体Red Velvet成员,担任主唱。常见译名有孙承欢及孙胜完。孙承完