阶为■的单群

<正> 根据作者的结果,对任一正整数 n,确定阶为 p(kp+1)(KP+2),k≤n 的单群的工作是能够在有限步之内完成的(见文献[1]定理2).本文对 k≤5的情形作了具体的计算,证明了下列定理(即文献[1]中的定理1):定理 设 P 是一个素数,k≤5是一个正整数,δ=±1,则p(kp+δ)(kp+2δ)     

关于p(kp+1)(kp+2)阶的单群

本文证明了:对于任何一个正整数n存在一个正整数m,使得对任何正整数k≤n及任何素数p≥m,阶为p(k_p+1)(k_p+2)的单群都必须同构于LF(2,p+1)或LF(2,2p+1)。     

关于多项式系数的整除性

设n是正整数,k1,k2,…+k1=n的非负整数,正整数[nk1k2…ks]=n！/k1!k2!…k5!称为多项式系数,本文讨论了当n=a0+a1p+a2p^2+…arp^r,其中p为素数且p≤n,0≤ai&;lt;p(0≤i≤r);ki=a0^(i)+a1^(i)p+…+ar^(i)p^r,其中ki≤0,∑^si=1,ki=n,0≤ak^(i)p(0≤i&;lt;s)时多项式系数的整除性问题,得出的结果推广了著名的Lucas定理^[1].     

关于多项式系数的整除性

设 n是正整数 ,k1 ,k2 ,… ,ks 是适合 k1 +k2 +… +ks=n的非负整数 ,正整数 nk1 k2 … ks=n!k1 !k2 !… ks!称为多项式系数 .本文讨论了当n=a0 +a1 p+a2 p2 +… +arpr ,其中 p为素数且 p≤ n,0≤ ai相似文献   

若干并图的优美标号

证明了,对任意大于1的自然数m,n,p,非连通图(■ V ■)∪K_(n,p)是优美图;当k≤p,m=kn+3或m=kn+1时,非连通图(P_2 V ■)∪K_(n,p)是优美图;当p≥2,m=3k+1时,非连通图(P_2 V ■)∪K_(3,p)是优美图;对任意正整数n,p,非连通图(P_1 V P_(2n+2))∪_(n,p)是优美图.     

形如2kp+1的数的素性检验

本文初步探讨了如何快速检验一个大数n是素数(这里n-1含有大的素因子)的算法问题以及如何生成一个大素数p使得p-1有大的素因子q的算法问题.我们给出了形如n=2kp+1的数的素性检验的多项式时间算法,这里p是一个给定的大素数,k是正整数满足22k＜2kp.该算法的计算量为O(log32n).然后我们给出了生成一个大素数p使得p-1有大的素因子q的算法,其中q满足q＞(p-1)/log2(p-1).特别地,我们给出了判定并生成一个安全素数p的算法.     

关于积分Schoenberg样条的一些结果

设T_(n,k)(f)是积分 Schoenberg 样条。设ω_k(f,δ)L~p 是 L~p[0,1]空间中的 k 阶光滑模。定理1 设1≤p≤∝和,f∈L~p[0,1],则‖T_(n(?)k)(f)-f‖_p≤M_p{1/(k+1)ω_1(f,1)L~p+ω_2(f,1/(k+1)~(1/2))_L~p}推论2 设1≤p≤∝和,f∈L~p[0,1],则‖T_(n,k)(f)-f‖_p≤M′_p·ω(?)(f,1/(k+1)~(1/2))_L~p,这儿 M_′p 是仅依赖于 p 的数。推论2给出了 Muller 问题的解(n 固定情况),定理1是 Muller 问题解的推广。我们也推广了关于 Kantorovic 多项式 P_k(f)(T_(1,k)(f)=P_k(f)的 Berens—Devore 定理,Gru-ndmann 定理和 Muller 定理。     

关于Pell方程组x2-(m2-1)y2=z2-(n2-1)y2=1

设m,n,L为正整数,本文证明了:如果mε,ε∈(0,1),且m>(123789LL(1/2))⁽1/(1-ε)),或j>10.25×10¹²log⁴(2(L+1)(123789LL(1/2))⁽1/(1-ε))),Pell方程组x²-(m2-1)y²=z²-(n²-1)y²=1的正整数解满足1≤k≤δL²,这里δ∈[1/2(123787LL(1/2))⁽1/(ε-1)),1],以及■且j=k=1或k+2≤j<1/3(5-2ε)k,2|(j+k),k>3/(1-ε),并改进了文[Proc.Amer.Math.Soc.,2015,143(11):4685-4693]的结果.     

关于一个素数和一个素数的k次方和问题

设k≥2,Hk表示一个正整数n的集合,使对任意的正整数q,同余方程a+b2三n(modq)在模q的既约剩余系中有解a,b.Dk(N)表示n≤N,n∈Hk,但不能表成p1+p22=n的数的个数,其中p1,p2表示素数.则在GRH下,Dk(N)<<N1-1/k(h(k)+1)+ε,这里k=2,3;h(2)=2,h(3)=8.     

随机图中[k,k+1]-因子的存在性

设G=G(n,p)是一个随机图,其顶点数为n,任两个顶点之间有边相关联的概率为p=p(n),k是一个正整数满足knp-2(nplogn)~(1/2).图G的—个支撑子图F称作是图G的—个[k,k+1卜因子,如果对任一个x∈V(G),都有k≤dF(x)≤k+1.我们证明任意满足p≥n~(-2/3)的随机图G(n,p)几乎一定包含[k,k+1]-因子.     

张量空间中高阶导算子的相合数值域

对于A∈C_(n×n),(?)A的k阶导算子δ_m~(k)(A)的相合数值域是指 R(δ_m~(k)(A))={E_k(x)|x∈D_m(A)},1≤k≤m≤n, 其中E_k(x)为C~m上的第k个初等对称函数。 D_m(A)={(diag U~TAU)(?)|U∈(?)_n(C)}。 本文的主要结论是:设A∈C_(n×n),s_1≥…≥s_n为(A+A~T)/2的奇异值,则当1相似文献   

互质数对的某些性质

本文据互质正整数 a,b 定义两个集合:P={p|1≤p≤ab,p=ma+nb,m,n,皆正整数},Q={q|q 为整数,a+b≤q≤ab,且任正整数 m,n,都有 q(?)ma+nb}.证明了 P,Q所含元素个数皆为((a-1)(b-1))/(2),且 P 与 Q 在数轴上,对称于点 (ab+a+b)/2.在 P 中定义了链(即 P 的极大连续整数子集),给出链的个数的计算方法.指出(a,b)=1,a>1,b>1的四种等价说法,讨论了以不全是1的正整数 r,u 为系数的二元二次方程 xy+1=rx+uy 的正整数解的个数,并给出求解方法.     

关于二项式系数的若干新同余式（英文）

令k为正整数,p为素数.设1≤a≤p-1,0≤b≤(p-1)/2,本文研究了二项式系数((k+1)p-a p-a),(kp-1 p-a)和(kp+(p-1)/2±b (p-1)/2±b),(kp-1 (p-1)/2±b)的同余性质.并得到了一个Morley同余式的推广,以及((k+1)p-a p-a)关于α求和的一些同余式.     

关于指数Diophantine方程x~2=D~(2m)-D~mp~n+p~(2n)

设D 1是正整数,p是适合p?D的素数.本文研究了指数Diophantine方程x~2=D~(2m)-D~mp~n+p~(2n)的满足m 1的正整数解.根据Diophantine方程的性质,结合已有的结论,运用初等方法确定了方程满足m 1的所有正整数解(D,p,x,m,n).这个结果修正并完整解决了文献[4]的猜想.     

关于一个素数和一个素数的k次方和问题

设k≥2,且Hk表示一个正整数n的集合,使得该集合中的元素满足a+bk≡n(modq)对任意的q,在模q的既约剩余系中有解,令Dk(N)表示所有的n≤N,且n∈Hk且不能表成p1+p2k=n形式的整数.那么在GRH下, Dk(N)相似文献   

实二次城 Q(■)类数的可除性

设 d 是无平方因子正整数,h(d)是实二次域 Q(d~(1/2))的类数.本文证明了:如果 da~2=1+4k~(2n),a、k、n 是正整数,k>1,n>1,n 的奇素因子 p和 k 的素因子 q 都适合 gcd(p,(q-1)q)=1,而且 2k~n+ad~(1/2)是 Pell 方程u′~2-dv′~2=-1 的基本解,则除了(a,d,k,n)=(5,41,2,4) 以及 n=2,k=P_mP_(m+1) 或者 2Q_mQ_(m+1) 以外,h(d)=0(modn),这里 m 是正整数,P_m=1/2((1+2~(1/2))~m+(1-2~(1/2))~m),Q_m=1/22~(1/2)((1+2~(1/2))~m-(1-2~(1/2))~m).由此可推得:对于任何正整数 n,存在无限多个实二次域,可使 n 整除其类数.     

实二次城 Q(■)类数的可除性

设 d 是无平方因子正整数,h(d)是实二次域 Q(d~(1/2))的类数.本文证明了:如果 da~2=1+4k~(2n),a、k、n 是正整数,k>1,n>1,n 的奇素因子 p和 k 的素因子 q 都适合 gcd(p,(q-1)q)=1,而且 2k~n+ad~(1/2)是 Pell 方程u′~2-dv′~2=-1 的基本解,则除了(a,d,k,n)=(5,41,2,4) 以及 n=2,k=P_mP_(m+1) 或者 2Q_mQ_(m+1) 以外,h(d)=0(modn),这里 m 是正整数,P_m=1/2((1+2~(1/2))~m+(1-2~(1/2))~m),Q_m=1/22~(1/2)((1+2~(1/2))~m-(1-2~(1/2))~m).由此可推得:对于任何正整数 n,存在无限多个实二次域,可使 n 整除其类数.     

关于Littlewood的一个问题

本文证明了: (1)如果{a_n}_n~N=1是非负不减序列,p>0,q>0,0≤r≤1,且p(q+r)≥q+p,则sum from n=1 to N(a_n~pA_n~q)(sum from m=n to N(a_n~(1+p/q)~r≤1·sum from n=1 to N(a_n~pA_n~q)~(1+p/q),其中A_n=sum from m=n to n (a_m).上述不等式在0≤r≤1时完全解决了H.Alzer~([4])在1996年提出的一个问题,且1是最佳常数; (2)如果{a_n}_n~N=1是非负序列,p,p≥1,r>0,r(p-1)≤2(q-1),令α=((p-1)(q+r)+p~2+1)/(p+1) β=(2p+2r+p-1)/(q+1),σ=(q+r-1)/(p+q+r)则sum from n=1 to N (a_n~p)sum from i=1 to n (a_i~qA_i~r)≤2~σsum from n=1 to N(a_n~αA_n~β)(0.2)(0.2)式改进了G.Be(?)et~([2,3])在1987年对Littlewood一个问题的结果,常数因子的3/2降为2~(3/2)=1.2598…     

广义Ramanujan-Nagell方程x~2+D~m=p~n的解数

设a是正整数,D=3a2+1,P=4a2+1,其中p是素数.本文证明了:如果a不是4的倍数,则除了当(D,p)=(4,5)时方程x2+Dm=pn恰有3组正整数解(x,m,n)=(1,1,1),(3,2,2),(11,1,3)以外,该方程恰有2组正整数解(x,m,n)=(a,1,1)和(8a3+3a,1,3).     

一个包含Smarandache函数的复合函数

对任意正整数n,著名的Smarandache函数S(n)定义为最小的正整数m使得n|m!,或者S(n)=min{m∶n|m!,m∈N}.而函数Z(n)定义为最小的正整数k使得n≤k(k 1)/2,即就是Z(n)=min{k:n≤k(k 1)/2}.本文的主要目的是利用初等及解析方法研究复合函数S(Z(n))的均值,并给出一个较强的渐近公式.