梅森素数趣谈

素数也叫做质数,其特点是它只能被1和它本身整除.比如2009就不是一个素数,它可以被7整除.许多数学家都在寻找素数的秘密,著名的哥德巴赫猜想就与素数有密切关系;世界上最难的猜想当数黎曼猜想,它也是以素数为中心;欧几里得在两千多年以前就利用反证法证明了有无穷无尽的素数,梅森提出了少量素数可以表示成2~p-1(p为正整数)的形式,但科学家们至今也没有找到这种形式     

素数等差数列问题

1素数的基本知识自然数中2,3,5,7,11,…称为素数,它们除1与自身外,没有其它因数.其它数,1除外,称为合数.每一个合数可以唯一分解为素数之积,这是算术基本定理.这个定理说明,素数像“砖头”,也像原子.素数在整数中分布很不均匀,例如107570463×102250±1是一对孪生素数.给予整数N,不论多大,都有连续N个数中没有素数.例如(N 1)! 2,(N 1)! 3,…,(N 1)! N 1中就没有素数,这构成一个“黑洞”.因此,寻找素数的规律是古今一大挑战,也很有意思.②欧几里得:素数有无穷多个.(反证法)欧拉:引入∑n1ns(s>1),证明了∑p1p发散,从而素数有无穷.切比雪夫:…     

素数个数的估计

素数是数学中最重要、最基本的概念之一．关于素数个数的讨论,早在两千多年前,古希腊学者欧几里得（Ｅｕｃｌｉｄ）已在其名著《几何原本》中给出且证明：素数有无穷多个．人们又发现素数在自然数中所占比例很小,若记π（ｘ）为不超过ｘ的素数个数,数学大师欧拉（Ｌ．Ｅｕｌｅｒ）证明了下面的结论．ｌｉｍｘ→∞π（ｘ）ｘ＝０．然而对于π（ｘ）的估计都经历了极为漫长的过程．１８世纪以前,人们已经知道：在ｎ～２ｎ－２之间（ｎ为自然数）至少有一个素数,在ｎ～２ｎ之间至少有两个素数．利用爱拉托色尼（Ｅｒａｔｏｓｔｈｅｎｅｓ…     

神奇的伪素数

在浩瀚元垠数的天庭 ,有一种神奇的伪素数 ,它像一块磁石 ,紧紧吸引着数论专家的心灵 .1　费马小定理引发出的奇异法国业余数学家费马 (Ｆｅｒｍａｔ) 1 6 4 0年 6月给本国神甫数学家梅森 (Ｍ .Ｍｅｒｓｅｎｎｅ ,1 5 88- 1 6 4 8)的一封信提出一个命题 :若ｎ是素数 ,则 2 ｎ- 2可被 2ｎ除尽 .同年 1 0月 1 8日给本国数学家德贝西(Ｂ .Ｆ .ｄｅＢｅｓｓｉｅ,1 6 0 5 - 1 6 75 )的信中又说 ,他已证明了一个更广的命题 :若ｐ是一个素数 ,且ａ不能被ｐ整除 ,则ａｐ- 1 - 1能被ｐ整除 (等价的说法是ａｐ-ａ能被素数ｐ整除 ) .后人称此为费马小定…     

素数幂、双素数幂阶元的共轭类长的个数为4的 有限群的结构

设群G为一个有限群.如果群G中素数幂、双素幂阶元的共轭类长的集合为{1,p~a,m,p~bm},那么群G是可解的,其中ab为正整数,p为素数且与m互素.进一步,给出了群G/Z(G)的结构,这是对文"Chen R F,Zhao X H.A criterion for a group to have nilpotent p-complements[J].Monatsh Math,2016,179(2):221-225"中定理A主要结论的一个推广.     

素数立方阶群局部传递的图

目的是研究局部传递图的性质和分类.运用置换群和陪集图的理论,获得了关于素数立方阶群局部传递图的完全分类,证明了这些图是一些互不相交的关于素数立方阶群边传递图的并.     

搜寻广义Fermat素数

设ｂ为偶数，本文讨论了广义Ｆｅｒｍａｔ数Ｆ（ｂ，ｍ）＝ｂ＾２＋１为素数的必要条件和充分条件，提出了搜寻广义Ｆｅｒｍａｔ素数的一种效率很高的算法并在微机上实现，得出了ｂ≤２５６，ｍ≤１０的全部广义Ｆａｒｍａｔ素数，其中最大的是４６＾２１２＋１。     

素数及其原根的构造方法研究

本给出了ｍ为素数且ａ为模ｍ的一个原根的充要条件,证明了Ｌｕｃａｓ定理中用于构造素数的ａ就是模ｍ的原根,推出了奇素数模ｍ的原根为平方非剩余等结论,为选择ａ和ｍ－１的素因数使在指定范围内产生较多素数提供了依据。中还给出了ｍ为奇素数时,ａ为模ｍ的一个平方非剩余而非原根的充要条件,得出了求模为奇素数的全部原根的一种简便方法。     

关于k次幂序列中的素数分布（英文）

利用Hardy-Littlewood方法研究了平均意义下k次幂序列中的素数分布.令k≥2是一个整数.证明了对于所有整数u∈[1,x^k],除去关于u的阶不超过O(x^k-δ)的例外集,平均意义下Λ(n^k+u)的下界估计为GxL^-k,其中Λ表示von Mangoldt函数,G是一个依赖于Siegel零点的非实效的常数.本文的结果改进了之前结果中关于例外集的阶的估计.     

k-素数和唯一分解

在本文中,作者揭示了唯一k-素因数分解的更深层原因.在第二节中,首先引入S_k中的k-组合条件和费马定理;并证明了下面4论断是等价的:(1) k-组合条件成立,(2)中唯一k-素因数分解成立,(3) Sk中费马定理成立,(4)k=1或2.为了更好地理解k-素数,在第三节中作者考察了一类特殊的k-素数,即3-素数.众所周知唯一3-素因数分解一般是不成立的,那么S₃中的哪些正整数具有唯一3-素因数分解性质呢?在第三节中,作者得到一个S₃中的整数具有唯一3-素因数分解的充要条件.在第三节最后,作者引入π₃(x),它表示小于等于x的3-素数个数.由素数定理,作者得到π₃(x)的一个具体公式以及一些近似公式.     

素数阶群理论的量词消去及复杂性

本文中我们将研究语言,上素数阶群理论Ｔ的量词消去及相应的复杂性．我们证明理论Ｔ有量词消去性质,并利用该性质给出理论Ｔ判定问题的一个复杂性上界．     

"大互联网梅森素数寻求(GIMPS)"研究计划进展

梅森素数是一种特殊的素数,它的研究与寻求一直是数论研究的代表性问题之一.寻求梅森素数之路艰辛曲折,其计算复杂性对现代计算能力极具挑战.计算机网络技术的发展,特别是能使虚拟组织共享计算资源的全球分布计算技术,使得寻求速度大大加快.本文综述寻求梅森素数的最新进展及历史进程,并介绍寻求梅森数所用的分布计算技术.     

稀世珍奇的梅森素数

2009年4月,挪威计算机专家斯特林德莫通过参加一个名为“因特网梅森素数大搜索”（GIMPS）的国际合作项目,发现了第47个梅森素数,该素数为2^42643801-1（即“2的42643801次方减1”）．     

素数阶群理论的量词消去算法及其上界

在以前的一些工作中,作者已经证明语言(?)={+,0,e)上素数阶群的理论T有量词消去性质并研究了它的判定问题的复杂性.本文在此基础上将利用T的判定问题的复杂性结果给出理论T的量词消去的一个算法,同时给出该算法的复杂性上界.     

有限素数度弧正则图

如果一个图的全自同构群在其弧集上正则,则称此图为弧正则图.本文刻画素数度的立方自由阶弧正则图,证明任何素数度2倍奇立方自由阶弧正则图都是正规或二部正规Cayley图,且不存在任意素数度4倍奇立方自由阶的弧正则图,推广了一些已知的结果,得到阶为8倍奇平方自由阶素数度弧正则图的分类,并发现新的弧正则图类.此外,基于所得的结果,我们提出一个猜想和有待后续研究的一些问题.     

第47个梅森素数被发现

挪威计算机专家奥德·斯特林德莫通过参加一个名为“因特网梅森素数大搜索”（GIMPS）的国际合作项目，最近发现了第47个梅森素数，该素数为“2的42643801次方减1”．它有12837064位数，如果用普通字号将这个巨数连续写下来，它的长度超过50公里!     

埃拉托塞尼与素数筛子

自然数是人们最早研究的数学对象,又是最有扭力的、从中能产生无穷多个问题的数学对象,而且从不同的角度探讨自然数,就会形成不同的问题．例如,从自然数所含的因数的个数来看,可把所有的自然数分为三个部分：（1）仅有一个因数的数工;（2）有且仅有两个因数的数,即除1和自身以外,没有别的因数的数,如2,3,5,7,…等,称为素数（质数）;（3）有三个以及多于三个不同的因数的数,即除1和自身以外,还有其他因数的数,如4,6,8,ZO。…等,称为复合数,简称合数．如我们已经知道的,素数就构成了数学中的许许多多重要的课题,如…     

关于素数阶循环群中短序列的等价类

考虑了素数阶循环群中的短序列的等价序列,并在某些情况下给出序列的Index值的上界．     

关于孪生素数问题

我们用p,p′代表素数,用P₂代表素因子总数不超过2的殆素数,x是大实数。人们猜想...     

一个素数不等式的加强

对于一个有关素数的级数,通过构造不等式得到了级数和的更小的上界.