三维本原勾股数的求解问题

着重探讨了三维本原勾股数的求解问题,证明了奇数5不能作为三维本原勾股数的弦数.以单质数表示为二数平方和的定理及行列式的运算形式,用实例演示了用奇数作为弦数,求解它所对应的三维本原勾股数的计算方法,由此提出了任何一个大于5的奇数作为弦数都可以求得它所对应的三维本原勾股数解的猜想.还证明了三维本原勾股数中,存在以下结论:当两个偶勾股数都是4的倍数时,一定存在模4余1的偶勾股数与弦数的关系;当两个偶勾股数是2的倍数而不是4的倍数时,一定存在模4余3的偶勾股数与弦数的关系.     

偏序半群的左理想、偏序同态与商序同态

通过偏序半群的左理想、拟素左理想、拟半素左理想、弱素左理想和弱拟素左理想,对偏序半群的偏序同态与商序同态的性质进行了刻画。     

同余式2n-4≡1(mod n)的解

设a,b,c,k为给定的正整数.同余式acn-k≡b(mod n)的求解问题是数论中一个基本而重要的课题,Rotkiewicz,Shen Mok-Kong,Kiss和Phong,袁平之,张明志等学者均作过许多工作.本文研究了同余式2n-4≡1(mod n)的解,获得了同余式解的一些充要条件.借助计算机,作者求出了当n≤1010时该同余式的所有解,并得到了当n>1010时的许多解,包括含有k个因子的解,其中k=3,4,…,8.最后,提出了关于同余式的一些问题与猜想.     

n素元组猜想对于Peano公理组的条件独立性

用模型论的方法证明了一类n素元组猜想独立于一公理组,此公理组在自然数系N上是与Peano算数公理组等价的.     

关于Diophantine方程x^3—5^3=py^2的解的研究．

设p为奇素数,运用同余式、平方剩余等初等方法得出了Diophantine方程x^3-5^3=py^2无正整数解的一个充分条件．     

Mersenne数Mp都不是拟亲和数

设p为素数,Mp=2p-1为Mersenne数Mp.证明了Mp不与任何正整数构成拟亲和数.     

关于Pell方程qx^2-（qn±3）y^2=±1（q=±1（mod6）是素数）

运用Legendre符号和同余的性质给出了形如矿qx^2-（qn±3）y^2=±1（q=±1（mod6）是素数）型PeU方程无正整数解的四个结论。这些结论对研究狭义Pell方程x^2-Dy^2=±1（D是非平方的正整数）具有重要作用。     

关于Pell方程x~2-(4n+2)y~2=-1的解的几个判别方法

给出了形如x2-(4n+2)y2=-1(n∈N)型Pell方程有无整数解的几个判别法则.     

关于Pell方程,,是素数ax2-mqy2=±1(m∈Z+,2▕a,q≡±1(mod4)是素数)

Pell方程ax2-by2=±1(a,b∈Z+,a,b不是完全平方数)可解性的判别是一个非常有意义的问题.运用Legendre符号和同余的性质给出了形如ax2-mqy2=±1(m∈Z+,2 a,q≡±1(mod4)是素数,a,m,q是非完全平方数)型Pell方程无正整数解的几个结论.这些结论对研究狭义Pell方程x2-Dy2=±1(D是非平方的正整数)起了重要作用.     

准素理想的商理想与代数簇

设Q是多项式环k[x1,x2,…,xn]中的P-准素理想,P=Q是理想Q的根理想,J是k[x1,x2,…,xn]的子集,若Q∩J≠φ,则Q对J的商理想QJ的代数簇V(QJ)=φ;若Q∩J=φ,则QJ的代数簇V(QJ)=V(QJ);若P∩J=φ,则V(QJ)=V(Q).