关于丢番图方程|6x2y2-x4+3y4|=2z2

证明了丢番图方程|-x4+6x2y2+3y4|=2z2,(x,y)=1的全部正整数解为(Ⅰ)若z＞2y2,则x=|m21n21-6m22n22|,y=m21m22+2n21n22,z=z(±)=(±)[24m21m22n21n22-2(|m21m22-2n21n22|±2m1m2n1n2)2],其中m2,n1满足-n41+6m22n21+3m42=2(D/2)2,2(×)n1m1m2;z=z-时,n2,m1满足(D-4m2m1)n2=m1(m22-n21)和(D+4m2n1)m1=2n2(n21+3m22),z=z+时,n2,m1满足n2(D±4m2n1)=(m22-n21)m1和m1(D(±)4m2n1)=2n2(3m22+n21).(Ⅱ)若z＜2y2,则x=|m21n21-6m22n22|,y=m21m22+2n21n22,z=±z0,z0=24m21m22n21n22-2(|m21m22-2n21n22|±2m1m2n1n2)2,其中m2,n1满足-n41+6m22n21+3m42=2(D/2)2,2(×)n1m1m2;z=z0时,n2,m1满足n2(D±4m2m1)=(m22-n21)m1和m1(D(±)4m2n1)=2n2(3m22+n21),z=-z0时,n2,m1满足(D(±)4m2n1)n2=m1(m22-n21)和(D±4m2n1)m1=2n2(n21+3m22).从而更正了梁莉莉,王云葵[1]关于上述方程仅有正整数解(x,y,z)=(1,1,2)的结果.     

强(m,n)-凝聚环

文中引入强左(m,n)-凝聚环R(如果左R-模Rm的每个n-生成子模是(m,n)-表现),证明了在强(m,n)-凝聚环上,(P(m,n),I(m,n))和(F(m,n),C(m,n))是遗传余挠理论;每个左R-模是(m,n)-投射当且仅当每个(m,n)-内射左R-模是(m,n)-投射当且仅当每个(m,n)-内射左R-模存在有唯一映射性质的P(m,n)-覆盖。     

(m,n)-投射模和(m,n)-内射模

设R是任给的环,m和n都是正整数。右R模NR是(m,n)-内射模,若对Rm的任给的n-生成子模K,则有Ext1R(Rm/K,N)=0。右R模MR是(m,n)-投射模,若对任给的(m,n)-内射模N,有Ext1R(M,N)=0。当m=1,n是任给的正整数时,(m,n)-投射模就是f-投射模。任给的(m,n)-表现模都是(m,n)-投射模。设F-(m,n)-proj表示由所有的(m,n)-投射模所组成的模集,F-(m,n)-inj表示由所有的(m,n)-内射模所组成的模集。本文给出了(m,n)-投射模的刻画,同时证明了(F-(m,n)-proj,F-(m,n)-inj)是一余挠理论,且每一个R-模都有一个特殊的(m,n)-内射预包络和一个特殊的(m,n)-投射预覆盖。还给出了(m,n)-投射模和(m,n)-内射模的相关的性质。     

(m,n)-投射模和(m,n)-内射模

设R是任给的环,m 和n 都是正整数。右 R 模 NR是(m,n)-内射 模,若 对 Rm的 任 给的n-生 成子 模 K,则 有Ext1R(Rm/K,N)=0。右R 模MR是(m,n)-投射模,若对任给的(m,n)-内射模 N,有Ext1R(M,N)=0。当m=1,n是任给的正整数时,(m,n)-投射模就是f-投射模。任给的(m,n)-表现模都是(m,n)-投射模。设F-(m,n)-proj表示由所有的(m,n)-投射模所组成的模集,F-(m,n)-inj表示由所有的(m,n)-内射模所组成的模集。本文给出了(m,n)-投射模的刻画,同时证明了(F-(m,n)-proj,F-(m,n)-inj)是一余挠理论,且每一个R-模都有一个特殊的(m,n)-内射预包络和一个特殊的(m,n)-投射预覆盖。还给出了(m,n)-投射模和(m,n)-内射模的相关的性质。
     

(m,n)-凝聚模与(m,n)-半遗传模

通过类比凝聚模、(m,n)-凝聚环和半遗传环的概念与性质,给出了(m,n)-凝聚模和(m,n)-半遗传模的概念,并研究了在一般环的条件下(m,n)-凝聚模和(m,n)-半遗传模的性质.还通过(m,n)-M-平坦模和(m,n)-M-内射模给出了(m,n)-凝聚模和(m,n)-半遗传模的一些等价刻画.     

伪Smarandache函数的混合均值

对任意的正整数n,伪Smarandache函数Z(n)定义为最小的正整数m使得n|m(m+1)/2,,即Z(n)=min{m∶n|m(m+1)/2,m∈N}.而数论函数D(n)定义为最小的正整数m使得n|d(1)d(2)d(3)…d(m),其中d(n)为Dirichlet除数函数,即D(n)=min{m:m∈N,n|∏i=1md(i)}.利用初等方法和解析方法研究了伪Smarandache函数Z(n)与数论函数D(n)的混合函数Z(n)·ln(D(n))的均值问题,并得到一个较强的渐近公式.     

偶圈的Turán数和Wenger图

设G是一个图,G的Tur(a)n数记作ex(n;G),是指阶数为n的不含G作为子图的图的最大边数.根据Erd(o)s在1965年给出的偶圈C2m的Tur(a)n数ex(n;C2m)的上界10mn1+1/m和Wenger在1991年构造的偶图Hm(q),并由这种图得到的ex(n;C2m)(m=2,3,5)的下界cn1+1/m(其中c为一个与n无关的常数),可以知道,当n→+∞时,ex(n;C2m)=O(n1+1/m)(m=2,3,5).n1+1/m就是ex(n;C2m)的准确阶.给出了Wenger图Hm(q)的一些一般性质,并分别构造了Hm(q)中长为8的圈(m≥4)和Hm(q)中长为12的圈(m≥6), 从而证明了不可能由图Hm(q)得到ex(n;C2m)的所有准确阶.     

关于伪Smarandache无平方因子函数的一个混合均值

对任意的正整数n,伪Smarandache函数Z(n)定义为最小的正整数m使得n|m(m+1)/2,即Z(n)=min{m:n|m(m+1)/2,m∈N}.而伪Smarandache无平方因子函数Z_w(n)定义为最小的正整数m使得n|m~n,即Z_w(n)=min{m:n|m~n,m∈N}.利用初等和解析的方法研究了伪Smarandache函数Z(n)与伪Smarandache无平方因子函数Z_w(n)的混合均值问题,并获得一个较强的渐近公式.     

（m，n）-内射环的推广

将(m,n)-内射环的概念推广到(J,K)-(m,n)-内射环,给出(J,K)-(m,n)-内射环的等价刻划.并借助(m,n)-内射环的某些性质研究(J,K)-(m,n)-内射环.     

г-超半群的(m,n)超理想

首先引入г-超半群的(m,n)超理想的概念,给出了г-超半群的(m,n)超理想的刻画和(m,n)超理想的生成表示,并利用(m,n)超理想给出(m,n)单г-超半群和(m,n)正则г-超半群的刻画。利用本文的结果,当G只有一个元素且超运算是一般的二元运算时,半群的(m,n)理想以及利用(m,n)理想对正则半群的刻画可以相应得出。     

一组组合关系式

本文用组合分析的方法及数学归纳法证明了以下一些组合关系式. (1)C(n+k,r)=sum from m=0 to k (k!)/((k-m)!m!)C(n,r-m); (2)sum from m=0 to n K~m C(n,m)=*(1+k)~n; (3)sum from k=0 to n K~m=sum from k=1 to n S(m,k) ((n+1)!)/((k+1)(n-k)!); (4)sum from p=0 to m F(n,p)=((n+m)!)/(n!m!); (5)sum from q=1 to m qF(n,q)=((n+m)!n)/((m-1)!(n+1)!); (6)sum from p=1 to n F(p,m)=((n+m)!)/((m+1)!(n-1)!); (7)sum from r=0 to S (F_(mi2r)F_(n+2r)+F_(m+2r+1)F_(n+2r+1)); =F_(2??+1)(F_(2??+1)F_(m+n+1)+F_(2??)F_(m+n)); (8)sum from k=0 to n C_k=C_(n+5)-2; (9)S_k??5=sum from p=0 to n C_(k+5??)=C_(5n+1+k+γ_(k,5));     

三部图K(m,n,r)-A(|A|=2)的色唯一性

设G是简单图,用P(G,λ)表示图G的色多项式,令K(m,n,r)表示完全三部图.证明了1)当3≤m≤n≤r时,令s=1/√6√(n-m)2 (r-n)2 (r-m)2 12,若m n r＞2√3s 3s2,则K(m,n,r)-A(|A|=2)是色唯一图;2)当m≥4时,K(m,m,m)-A,K(m,m,m 1)-A,K(m,m 1,m 1)-A,(|A|=2)都是色唯一图;3)设n,k为非负整数,则当n＞k2 2√k2 6 k 2时,K(n-k,n,n)-A;当n＞k2 2√k2 6-k/3 2时,K(n,n,n k)-A;当n＞2√3k2 6 k2 2时,K(n-k,n,n k)-A(|A|=2)均为色唯一图.     

广义Fibonacci数列与自然数方幂积的和∑_(κ=1)~nk~mu_κ

本文研究了广义Fibonacci数列的性质 ,得出与∑ nκ =1κmuκ 有关的几个表达式 ,从而肯定的回答了 [3]中PieroFilipponi猜测 :∑nκ =1κmFκ=p(m)1(n)Fn 1 p(m)2 (n)Fn Cm,这里P1(m) (n)和P2 (m) (n)是变量为n ,次数为m的多项式     

关于含r对k间隔的组合数

记 f(n,m)为从排列在一直线上的 n 个元素中选取 m 个元素且恰含 r 对 k 间隔元素的选取方式数.g_k~r(n,m)为从排列在圆周上的 n 个元素中选取 m 个元素且恰含 r 对 k 间隔元素的选取方式数,给出了 f_k~r(n,m)及 g_k~r(n,m)的递归关系式和卷积形式表达式,在 k=0时得到 f_0~r(n,m)与 g_0~r(n,m)的显式.     

求解两个与Smarandache函数有关的方程

对任意正整数n,著名的Smarandache函数S(n)定义为最小的正整数m,使得n│m!.对于任意给定的正整数n,伪Smarandache函数Z(n)定义为最小的正整数m,使得n│1+2+…m=m(m+1)/2.对任意正整数n,伪Smarandache无平方因子函数Zw(n)定义为最小的正整数m,满足n│mn,即Zw(n)=min{m∶m∈N,n│mn}.用初等方法研究了方程S(n)+Z(n)=n和Zw(Z(n))-Z(Zw(n))=0并给出了它们的全部解.     

一类正整数是否为孤立数研究

设σ( n )是正整数n的所有正约数之和。如果正整数n,m满足σ( n )=σ( m )= m +n,则( m,n)被称为一对相亲数。相反地,对于给定的正整数n,若不存在任何正整数m满足σ(n)=σ(m)= m+n,则称n为一个孤立数。讨论了正整数Sn =12(92n +1)是否为孤立数的问题,证明了其是孤立数的结论,其中n是任意的正整数。     

偶圈的Turán数和Wenger图

设G是一个图,G的Turán数记作ex(n;G),是指阶数为n的不含G作为子图的图的最大边数.根据Erds在1965年给出的偶圈C2m的Turán数ex(n;C2m)的上界10mn1 1/m和Wenger在1991年构造的偶图Hm(q),并由这种图得到的ex(n;C2m)(m=2,3,5)的下界cn1 1/m(其中c为一个与n无关的常数),可以知道,当n→ ∞时,ex(n;C2m)=O(n1 1/m)(m=2,3,5).n1 1/m就是ex(n;C2m)的准确阶.给出了Wenger图Hm(q)的一些一般性质,并分别构造了Hm(q)中长为8的圈(m≥4)和Hm(q)中长为12的圈(m≥6),从而证明了不可能由图Hm(q)得到ex(n;C2m)的所有准确阶.     

关于偏序Γ-半群的(m,n)理想

引入序Γ-半群的(m,n)理想的概念,给出序Γ-半群的(m,n)理想生成的表示,利用(m,n)理想给出(m,n)单序Γ-半群和(m,n)正则序Γ-半群的刻画.     

平面格图的圈数

设f(m,n)和f(m,n)分别是平面上m×n格图的圈数和长为2l的圈数。本文给出f(3,n)的递推公式,f(2,n)的闭公式和f(m,n)的递推式阶的上界估计。     

(m,n)-树的几个判定条件

通过构造(m,n)-树的(m,n)-图,给出了判断(m,n)-树的几个充分必要条件,从而进一步揭示了(m,n)-树的结构特征。