有限可交换Thue系统

串重写系统（∑：R）是定义在字母表∑上的所有字符串的集合,一般情况下集合中的元素是不可刻画的。对于一个有限可交换的Thue系统（∑：R）令△R={((t1,t2,……,tn),(s1,s2,……,sn））│(a^t11a^t22……a^tnn→a^s1a^s22……a^snn)∈R}。△R是幺群N^n的一个二元关系,用△*R表示N^n上由△生成的同余,则有（∑：R）≌N^n/△*R。反之,关于N^n的任意同余θ,令∑={a1,a2,……,an}和R1={a^t11a^t22……a^tnn→a^s11a^s22……a^snn│((t1,t2,……,tn),(s1,s2,……,sn))∈θ}。记R=R1U{aiaj→ajai│i≠j,i,j=1,……,n}。则（∑：R）是有限交换的串重写系统,并且（∑：R）≌N^n/θ。     

用同余数表证明哥德巴赫猜想

采用同余数数表法,证明了命题2,2a（a≥5）以内的所有奇素数,不可能以√2a内的奇素数为模进行同模同余表示。命题2是哥德巴赫猜想的等价命题。通过对命题2的同余式方程组是否有解的分析判定,运用数学归纳法成功证明了哥德巴赫猜想。     

关于函数ω(n)与Ω(n)

本文改进了Turán关于数论函数ω(n)与Ω(n) 的著名定理的误差项;应用Turán定理及分部求和公式进一步得到了函数g(n)与g(n)的均值估计,并改进了文献[7]中关于h(n)的均值估计。     

N（2，2，0）代数的一类同余分解

对N(2,2,0)代数给出了一类同余分解,探讨了其商代数的代数结构以及自然同态下一类逆象的代数结构.     

一个新的同余方程及其渐近解

研究了一个新的同余方程的渐近解，并给出了一个较为精确的渐近公式。     

次直积不可约的Clifford半群

利用Clifford半群上同余的结构，刻画了次直积不可约的Clifford半群．证明了如果Clifford半群S=[Y;Gα，φα，β]次直积不可约，则绍，φα，β（α≥β）是单射且Y是至多含两个元素的半格．     

一类幂等元集闭包是Clifford半群的逆半群上的同余

刻画出了半群~$\\overline{P}(T,G,R)$~上的幂等纯同余、最大幂等分离同余和最小群同余,其中~$P(Y,G,X)$~为满足条件~$F$~和幂等元集闭包是~Clifford~半群的逆半群.     

孪生素数猜想成立的一个充分条件

分析相邻奇数乘积的数列,找到了识别孪生素数乘积的一个方法.将相邻奇数乘积数列构造成同余式方程组,若该同余式方程组在有限模域下无解,则其所对应的相邻奇数乘积数列存在大于模域上限的孪生素数乘积.如果能够证明这一类同余式方程组在正整数域内恒无解,则孪生素数猜想成立,即正整数域中存在无穷多对孪生素数.     

关于费马数的若干性质

根据费马数的定义探究它的一些结论,借助中国剩余定理,得出费马数的若干性质.     

一类分圆多项式的系数

利用将多项式分项相除的分圆多项式系数的简洁算法,证明了当33qr(x)的系数中.当r-q≡0(mod3)时,F3qr(x)的系数中没有-2出现,当r+q≡0(mod3)时;F3qr(x)的系数中没有2出现.