關(guān)于奇完全數(shù)素因數(shù)的指標(biāo)

權(quán)雙燕

(陜西理工大學(xué) 數(shù)學(xué)與計(jì)算機(jī)科學(xué)學(xué)院, 陜西 漢中　723000)

?

【數(shù)理科學(xué)·數(shù)論專欄研究】

關(guān)于奇完全數(shù)素因數(shù)的指標(biāo)

權(quán)雙燕

(陜西理工大學(xué) 數(shù)學(xué)與計(jì)算機(jī)科學(xué)學(xué)院, 陜西 漢中723000)

對(duì)于正整數(shù)a, 設(shè)δ(a)是a的所有約數(shù)之和。如果正整數(shù)n滿足δ(n)=2n,則稱n是完全數(shù)。設(shè)n是奇完全數(shù),p是n的素因數(shù),r是p在n的標(biāo)準(zhǔn)分解式中的次數(shù)。此時(shí),I(p)=δ(n/pr)/pr稱為奇完全數(shù)n的素因數(shù)p的指標(biāo)。設(shè)q是奇素?cái)?shù),s是正整數(shù)。文中運(yùn)用初等數(shù)論方法證明了:如果I(p)=qs,則s是適合s≥22的偶數(shù)。

奇完全數(shù);素因數(shù);指標(biāo)

1　預(yù)備知識(shí)

設(shè)N是全體正整數(shù)的集合。對(duì)于正整數(shù)a,設(shè)δ(a)是a的所有約數(shù)之和。如果正整數(shù)n滿足

δ(n)=2n,

(1)

則稱n是完全數(shù)。由于奇完全數(shù)的存在性是數(shù)論中長(zhǎng)期未能解決的著名難題,所以有關(guān)奇完全數(shù)的性質(zhì)一直是引人關(guān)注的研究課題[1]。

設(shè)n是奇完全數(shù)。已知n的標(biāo)準(zhǔn)分解式必為以下形式

n=παp12β1…pk2βk。

(2)

其中π,p1,…,pk是不同的奇素?cái)?shù),α,β1,…,βk是正整數(shù),而且π≡α≡1(mod 4)。這里的π稱為奇完全數(shù)n的Euler因子。設(shè)p是奇完全數(shù)n的素因數(shù),r是p在n的標(biāo)準(zhǔn)分解式中的次數(shù)。此時(shí)

(3)

由于δ(a)是積性函數(shù)[2],所以從式(1)和式(3)可得

(4)

(5)

2008年,J. A. B. Dris[3]首先將I(p)稱為奇完全數(shù)n的素因數(shù)p的指標(biāo),并且證明了I(p)≥3。此后,文獻(xiàn)[4-7]分別給出了I(p)較好的下界。

設(shè)q是奇素?cái)?shù),s是正整數(shù)。2012年,陳鳳娟和陳永高[5]證明了:如果I(p)可表成

I(p)=qs,

(6)

則必有s≥5。最近,付瑞琴和楊海[8]證明了:如果I(p)滿足式(6),則s必為適合s≥8的偶數(shù)。本文根據(jù)高次Diophantine方程的經(jīng)典結(jié)果,運(yùn)用初等數(shù)論方法進(jìn)一步證明了以下結(jié)果:

定 理如果I(p)滿足式(6),則s必為適合s≥22的偶數(shù)。

2　定理的證明

首先引入兩個(gè)有關(guān)奇完全數(shù)和高次Diophantine方程的已知結(jié)果:

引理1[9]奇完全數(shù)n的標(biāo)準(zhǔn)分解式(2)中的k適合k≥9。

引理2[10]方程

僅有解(X,Y,m)=(3,11,5)和(7,20,4)。

從文獻(xiàn)[8]中定理的證明過程可知:如果I(p)滿足式(6),則必有

p=π,r=α=1,q=pk,s=2βk,

(7)

其中π是奇完全數(shù)n的Euler因子,pk和2βk分別是n的標(biāo)準(zhǔn)分解式(2)中的某個(gè)不等于π的素因數(shù)及其次數(shù);而且

π+1=2p12β1…pk-12βk-1,

(8)

(9)

(10)

γ1+…+γk-1=2βk。

(11)

根據(jù)上述結(jié)果可得以下兩個(gè)引理。

引理3 式(10)中γi(i=1,…,k-1)都是奇數(shù)。

證 明如果式(10)中的某個(gè)γj(1≤j≤k-1)是偶數(shù),則從引理2可知

pj=3,βj=2,pk=11,γj=2。

(12)

于是,從式(8)和式(12)可得

(13)

同時(shí),因?yàn)閜k=11,所以從式(9)可知

1(mod3),

(14)

與式(13)矛盾。由此可知式(10)中的γi(i=1,…,k-1)都是奇數(shù)。

引理4如果γj=1(1≤j≤k-1),則βk+1≡0(modpj)。

證 明如果γj=1,則從式(10)可知

所以

pk≡1(modpj)。

(15)

又從式(9)和式(15)可得

2βk+1(modpj)。

(16)

另外,從式(8)可知

π≡-1(modpj)。

(17)

結(jié)合式(16)和式(17)可得2βk+2≡0(modpj);又因pj是奇素?cái)?shù),故有βk+1≡0(modpj)。

定理的證明現(xiàn)假定I(p)滿足式(6)。已知此時(shí)式(7)～(11)成立。

如果γ1,…,γk-1中至少有兩個(gè)數(shù),設(shè)為γj1和γj2(1≤j1

βk+1≡0(modpj1),βk+1≡0(modpj2)。

(18)

因?yàn)閜j1和pj2是不同的奇素?cái)?shù),所以gcd(pj1,pj2)=1,故從式(18)可得

βk+1≡0(modpj1pj2)。由此可知

βk+1≥pj1pj2≥3×5=15。

(19)

因此,βk≥14,并且從式(7)中最后一個(gè)等式可知此時(shí)s≥28。

如果γ1,…,γk-1中至多有一個(gè)數(shù)等于1,則因從引理3可知γ1,…,γk-1都是奇數(shù),所以從式(7)和式(11)可得

s=2βk=γ1+…+γk-1≥1+3(k-2)。

(20)

又因從引理1可知k≥9,故從式(20)可知s≥22。綜上所述即得本定理。

[1]GUYRK.UnsolvedProblemsinNumberTheory,thirdedition[M].Beijing:SciencePress, 2007.

[2]華羅庚.數(shù)論導(dǎo)引 [M].北京:科學(xué)出版社,1979.

[3]DRISJAB.Solvedtheoddperfectnumberproblem:someoldandnewapproaches[D].DeLaSalleUniversity, 2008.

[4]DRISJAB,LUCAF.Anoteonoddperfectnumbers[EB/OL].ArXiv: 1103.1437v3 [math.NT], 2012.

[5]CHENFJ,CHENYG.Onoddperfectnumbers[J].BulletinoftheAustralianMathematicalSoc, 2012, 86(3):510-514.

[6]BROUGHANKA,DELBOURGOD,ZHOUQZ.ImprovingtheChenandChenresultforoddperfectnumbers[J].Integers, 2013,13(A39): 1-8.

[7]CHENFJ,CHENYG.Ontheindexofanoddperfectnumber[J].ColloqMath, 2014, 136(1):41-49.

[8]付瑞琴，楊海.奇完全數(shù)素因數(shù)的一個(gè)性質(zhì) [J].西北大學(xué)學(xué)報(bào)(自然科學(xué)版),2015,45(1): 14-16.

[9]NIELSONPP.Oddperfectnumbers,diophantineequations,andupperbounds[J].MathComp, 2015, 84(295): 2549-2567.

(編輯亢小玉)

On the index of prime divisors of odd perfect numbers

QUAN Shuang-yan

(School of Mathematics and Computer Science, Shaanxi University of Technology, Hanzhong 723000，China)

For any positive integera, Letδ(a) denote the sum of all divisors ofa. A positive integernis called a perfect number ifδ(n)=2n. Letnbe an odd perfect number, further letpbe a prime divisor ofnandrbe the degree ofpin the factorization ofn. Then,I(p)=δ(n/pr)/pris called the index of prime divisorpof odd perfect numbern. Letqbe an odd prime andsbe a positive integer. By some elementary number theory methods, it is proved that ifI(p)=qs, thensis an even integer withs≥22.

odd perfect number; prime divisor; index

2016-03-11

國家自然科學(xué)基金項(xiàng)目(11371291)；陜西省自然科學(xué)基金資助項(xiàng)目(2016JQ1041)

權(quán)雙燕，女，陜西西安人，西北大學(xué)數(shù)學(xué)學(xué)院訪問學(xué)者，從事基礎(chǔ)數(shù)學(xué)的教學(xué)與研究。

O156.2

A

10.16152/j.cnki.xdxbzr.2016-03-004