关于Aurifeuillian分解的一个问题

设b>1是一个整数.对于某些b~n±1形式的数,Aurifeuille发现了特别的分解方法,称为Aurifeuillian分解.设p是奇素数,ξ=ξ_p表示p次本原单位根exp(2πi/p),(/)表示Jacobi符号.当p≡1(mod 4),N=(p~p-1)/(p-1)=p~(p-1)+p~(p-2)+…+p+1时,文献[2]给出了同余方程X~2≡p(mod N)的4个不同解±p~(p+1)/2,±sum from c=1to(p-1)(c/p)p~c.     

关于D.H.Lehmer问题

设P为奇素数,我们知道对任一1≤x≤p—1,存在唯一的1≤(?)≤p—1使得x(?)≡1(modp)。用r(p)表示同余方程x(?)≡1(modp)满足条件1≤x,(?)≤p—1且x与(?)具有相反的奇偶性的解的个数。关于函数r(p),Lehmer曾提出求函数r(p)的值或者说一些有关它的非平凡性质。显然当p≡±1(mod4)时有同余式r(p)≡2或者0(mod4)。     

一般四次循环域的类数的同余公式

Ankeny-Artin-Chowla在文献[1]中得到关于二次数域k的类数h的许多同余式,其中有些已为A.Kiselev得到。特别若k的判别式为素数P≡1(mod4),记ε_0=(t+u(p)~(1/2))/2为k的基本单位,则有     

关于线性同余式组的一个转换定理的注记

命p为素数,a_(ij)(1≤i≤t,1≤j≤s)为st个整数.引入记号(?)=Max(1,|x|), p_1=[(p-1)/2], p_2=[p/2],命(a)_p,表示适合于(a)_p≡a(mod p),-p_1≤(a)_p相似文献   

方程a~x—b~y=(2p~s)~x和Hugh Edgar问题

1969年,Perisastri(Math. Student, 37(1969),211—212)证明了Diophantus方程a~x—b~y=10~x在a=13(mod20),b=3(mod20)和z(?)1时无非负整数解x,y,z。1982年,Toymzumi(Math. Student,43(1978), no. 2—4,113—115(1982),MR 84h:10025)证明了Diophantus方程a~x—b~y=(2p)~x,p为奇素数,在a≡p≡5(mod8),b≡3(mod8),p(?)ab     

二次非剩余(mod p)之分布

令p为奇素数,(n/p)是通常的Legendre符号。记α(p)为最小的正整数n(modp)使得(n/p)=(n+1/p)=-1.关于α(p)的上界估计是数论中的困难问题之一。基于A.Weil的特征和估计立即有α(p) p~(1/2)logp.1963年,Burgess证明,若H     

异工同曲--关于"算术平均"的三则小故事

提起平均的概念,大家并不陌生.数学中经常遇到各种平均,比如:若a,b是两个正数,有 算术平均:A=(a+b)/2,几何平均:G= ab,调和平均:H=2/(1/a+1/b)=2ab/(a+b),力权平均:pa+qb,(p,q≥0,且p+q=1),幂平均:[(ar+b)/2]1/r,(r＞0),等等,当然上面的平均还可以推广到n个非负实数的情形.     

关于广义Ramanujan-Nagell方程(Ⅱ)

设D是非平方整数,p是奇素数,p D对于给定的D和p,以N(D,p)表示方程x~2—D=p~n,x>8,n>0 (1)的整数解x、n的个数。对此,Apéry (C. R. Acad.Sci. Paris, 251(1960), 1451—1452)证明了:当D<0,D≡1(mod4)且D无平方因子时,N(D,p)≤2。Bender和Herzberg(Studies in Algerbra and     

一个Simons型Pinching常数的最佳值

设S~(n+p)(1)是n+p维单位球面,M~n为其具有非零平行平均曲率向量的紧致子流形,S为M~n的第二基本形式长度的平方.丘成桐曾证明,若(3+n~(1/2)-(p-1)~(-1))S≤n,则M~n为S~(n+p)(1)的一个n+1维全测地子流形的超曲面.莫小欢改进到若S≤n/((n-1)~(1/2)+1),则M~n是全脐的.许洪伟接着证明,如果S≤min{2n/(1+n~(1/2)),n/(2-(p-1)~(-1)},则M~n包含在一个全测地子流形S~(n+1)(1)之中.他也削弱了前二者的条件.     

对一些实二次域的理想类群和类数的Cohen-Lenstra预测的有条件改进

著名的Cohen-Lenstra“启发式论据”预测(Heuristics,见文献[1]引起了非常广泛的兴趣和研究.本文对于某种类型的实二次域,将Cohen-Lenstra的一般性预测进一步细化,即对理想类数含某个素因子p,和某个理想类是p阶元,预测出条件概率.经过相当大量的计算机数值计算检验,发现这两种预测与计算结果均符合得很好. 早在考查实二次域K=Q(n~2 3n 9)~(1/2)的类数h的时候,我们发现其类数经常是3的倍数(见文献[2]).有一个想法可对此作出简单解释,即由于- 27=(2n 3)~2- 4(n ~2 3n 9),故3在K中的素理想因子的立方是主理想.因此若此素理想本身不是主理想,则在     

(133,33,8)和(143,71,35)循环差集的唯一性

设■(v,k,λ)表示全体(v,k,λ)循环差集组成的集合。对于D_1、D_a∈■(v,k,λ),若存在整数t、s(gcd(t,v)=1),使得D_2≡tD_1 s(mod v),则称D_1和D_2是等价的,记为D_1～D_2。这样定义的关系“～”确为■(v,k,λ)     

Sylow2-子群为交换的有限单群的刻划

对Sylow 2-子群为交换的有限单群,J.H.Walter证明了如下有名的定理。引理1 若F是Sylow 2-子群为交换的有限非abel单群,则下述结论之一成立: (1) F≌PSL(2,q),q>3,q≡3,5(mod 8)或q=2~n,n≥2; (2) F≌J; (3) F≌R(q),q=3~(2m+1),m≥1。设G是有限群,x_e(G)为G中所有元的     

Steenrod代数上简单模的充要条件

设为连通分次Z_p代数,使由元Q生成,且Q~2=0,用Q右乘导出恰当序列。对p=2,Wall定义上简单模为上自由模和若干G型模(同构于)的直和。在文献[4]中还引进了较易掌握的近似简单模,并证明了当满足条件C,简单模和近似简单模等价,从而得出mod2 Steenrod代数A_2上简单模的一个等价条件。但是,对奇素数p,mod p Steenrod代数A_p不满足条件C,因此得不出A_p上简单模的充要条件。本文讨论一般不满足条件C的(如上)上的简单模M,得出了:若加上适当的有关同     

关于丢番图方程x~4-pqy~2=1

关于丢番图方程x~4-Dy~2=1,D>0,且不是平方数,(1)有过许多工作,例如Nagell、Ljunggren、Cohn和作者,都分别得到过若干结果(见文献[1])。我们在文献[1]中证明了D(?)3(mod 8),且当x~2-Dy~2=1的基本解ε=x_0+y_0D~(1/2)满足2     

两类新的广义Kantorovich不等式及其应用

本文用谱范数和欧氏范数作为度量,给出了分别属于谱范数类和欧氏范数类的一系列广义Kantorovich不等式(Generalized Kantorovich inequality,简记为GKI),与之对应的是文献[1—4]中首先给出的行列式类、商迹类和迹商类GKI,它们分别给出了det(X′AXX′A~(-1)X),tr(X′AXX′A~(-1)X)与tr(X′AX)/tr(X′A~(-1)X)~(-1)的上界,这里X为n×p阶矩阵,满足X′X=     

ABV~(p)函数Fourier系数和Riemann系数的精确估计

设f 是R~1的区间I=[a,b]上的实值函数,若I_n=[a_n,b_n](?)I,则置|f(I_n)|~p=|f(b_n)-f(a_n)|~p.假定区间I_n(n=1,2,…)是不相重叠的,若A={λ_n)是一非减的正实数序列,满足sum from n=1 to ∞1/λ_n=∞,并假定对于{I_n}的每一种选择,级数sum from n=1 to ∞|f(I_n)|p/λ_n 都收敛,则称f 具有p(≥1)次A 有界变差(ABV~(p)).这些和的上     

Fuzzy拓扑群的分离性

本文讨论Fuzzy拓扑群的分离性.我们沿用中的概念和记号,并以ftg表示Fuzzy拓扑群。定义若ftg(X,T)是Fuzzy准T_o(T_i)拓扑空间(i=1、2),则称(X,T)为准T_o(T_i)ftg;若ftg(X,T)是Fuzzy T_1且T_3(或T_1且T_4)拓扑空间,则称(X,T)为正则(或正规)ftg。对于上述各类ftg,我们有以下关系:[1]证得,这里仅给出两个较复杂的例子。     

关于一般的D.H.Lehmer问题

q)3为奇数,对任意整数。,(。,的~1,我们以云记。在modq下的乘法逆,即同余方程ax二l(mod妇在区间1簇:(q一l内的整数解.定义集合 L(宁)~{a!a〔Z,z毛。(宁一z,(a,宁)~1,a+云二l(modz)}.(z)关于L(宁)中元素的分布是D.H.Lehmer问题的一般形式t1,习.最近,张文鹏在文献【3〕中提出如下猜测:}乙(;)卜冬,(,)+o(,全+·). Z(2)本文的目的是在更一般情况下证明(2)式.我们有 定理q)3为奇数,L(刃由(l)定义,N是任意正整数,1攫N《宁一1,则艺艺轰召l~土N. 2中(宁),一‘+o(,全‘(,)109,,),(3)其中武妇为q的正因子的个数,大0常数是绝对的. 在定理中令N一q…     

x-p=P_3解数的下界

设x是充分大的偶数,p是素数,记P_r为不超过r个素因子的乘积的数.此外,记C_x=multiple from p>2 (1-1/((p-1)~2)) multiple from 2相似文献   

关于循环差集的一个性质

设v是一个正整数,D={a_1,…,a_k}是模v的k个不同剩余的集,如果对每一个a(?)0(mod v),同余式a_i-a_j≡a(mod v),a_i,a_j,∈D恰有λ对解(a_i,a_j,),则称D是一个参数为v、k、λ的循环差集(或称完全差集),简称v、k、λ差集。