迈克尔·罗森。 卢卡斯·莱默测试的证明。 （英语） Zbl 0669.10015号 数学。周一。 95，第9号，855-856（1988）. 让序列\（S_k\）由\（S_1=4\），\（S_{k+1}=S^2_k-2\）定义。（M_p=2^p-1）素性的Lucas-Lehmer检验是，当且仅当（S_{p-1}\equiv0\pmod{M_p}\）为素性。作者给出了一个证明，比D.H.莱默[J.Lond.Math.Soc.10162-165（1935；Zbl 0012.10301号)].审核人：H.J.戈德温（埃格姆） 引用于1审查引用于9文件 MSC公司： 11年11月 原始 11页51 因子分解；首要性 关键词：梅森数;素性检测;卢卡斯·莱默试验 引文：Zbl 0012.10301号 PDF格式BibTeX公司 XML格式引用 \textit{M.I.Rosen}，美国数学。周一。95，编号9，855--856（1988；Zbl 0669.10015） 全文： 内政部