一类6p^n（p≠2,3）阶群的构造

利用可解性的性质，通过群的扩张理论，证明了Ｓｙｌｏｗｐ一子群为循环群的６ｐ＾２（ｐ≠２，３）阶群：（１）ｐ≠：若ｐ≡１（ｍｏｄ３）时，有８型；若ｐ≡２（ｍｏｄ３）时，有４型。（２）ｐ＝５时有８型。     

单纯Handcuffed三元系的嵌入

本文证明了对任意给定的正整数λ，当且仅当λ（ｖ－１）≡λｖ（ｖ－１）≡λ（ｕ－１）≡λｕ（ｕ－１）≡０（ｍｏｄ ４），ｕ≥２ｖ＋１且λ≤２（ｖ－２）／３时，任一单纯Ｈａｎｄｃｕｆｆｅｄ三元系ＮＨ（ｖ，３，λ）可嵌入于某个单纯Ｈａｎｄｃｕｆｆｅｄ三元系ＮＨ（ｕ，３，λ）。     

n个P2之并与n个P3之并的优美性

证明了两结果：（１）当ｎ≡０，１ｍｏｄ４时，ｎ个Ｐ２之并是优美的，当ｎ≡２，３ｍｏｄ４时，ｎ个Ｐ２之并是非优美的；（２）ｎ个Ｐ３之并是优美的。     

单纯二重有向三元系的相交数

解决了单纯二重有向三元系的相交数问题，即证明了对于任一正整数ｕ≥３，ｖ≡０，１（ｍｏｄ ３），存在两个单纯二重有向三元系相交于ｓ个公共区组的充要条件是：当ｖ≥４时，ｓ∈（０，１，２，．．．，２ｖ（ｖ－１）／３），ｓ≠（２ｖ（ｖ－１）／３）－１当ｖ＝３时，ｓ∈（０，２，４）。     

关于Je‘smanowica猜想的一个注记

本文用初等方法证明了如下结论：设ｓ＝３ｎ，ｎ≡１、３、５（ｍｏｄ８），ｔ≡２（ｍｏｄ４），且ｓ、ｔ均不含有４ｋ＋１形素因子，则Ｄｉｏｐｈａｎｔｕｓ方程（ｓ＾２－ｔ＾２）＋（２ｓｔ）＾ｙ＝（ｓ＾２＋ｔ＾２）＾２（其中ｓ〉ｔ〉０，（ｓ，ｔ）＝１，ｓ＋ｔ≡１（ｍｏｄ２））在ｙ〉１时仅有正整数解ｘ＝ｙ＝ｚ＝２。     

关于不定方程x^4—pqy^2=1

设ｐ、ｑ是不同的奇素数，ｐ≡３（ｍｏｄ４），本文证明了当ｑ＝５或１３时，不定方程ｘ＾４－ｐｑｙ＾２＝１仅在ｐ＝３时有正整数解，其唯一的正整数解为（ｘ，ｙ）＝（２，１）或（ｘ，ｙ）＝（５，４）。根据此结果和已有的大量结果可以确定不定方程ｘ＾４－Ｄｙ＾２＝１在１〈Ｄ〈１００的范围之内的全部正整数解。     

关于丢番图方程x4±y4=zp

研究了丢番图方程（１）ｘ４＋ｙ４＝ｚｐ,（ｘ,ｙ）＝１和（２）ｘ４－ｙ４＝ｚｐ,（ｘ,ｙ）＝１的正整数解,证明了：①当ｐ＝３时,方程（１）和方程（２）均无正整数解;②当ｐ＞３是素数,ｐ±１（ｍｏｄ８）时,方程（１）的正整数解满足２ｐ｜ｘ或２ｐ｜ｙ;③当ｐ＞３是素数时,方程（２）的正整数解满足２ｐ｜ｘ或２ｐ｜ｙ或２ｐ｜ｚ．     

关于丢番图方程x^2—Dy^4=1的一些注记

对于丢番图方程ｘ＾２－Ｄｙ＾４＝１（Ｄ〉０且不是平方数），本文得到了如下结论：①当Ｄ＝ｐ是素数，且ｐ≠３，１５（ｍｏｄ１６）时，方程除开Ｄ＝５有解（ｘ，ｙ）＝（９，２）外，无其他的正整数解；②当Ｄ＝ｐ是素数时，方程除开Ｄ＝３有两组解（ｘ，ｙ）＝（２，１），（７，２）外，最多有一组正整数解；③当Ｄ＝４ｐ且奇素数ｐ≠１ｍｏｄ１６）时，方程除开Ｄ＝２０有解（ｘ，ｙ）＝（１６１，６）外，无其他的正整数解；     

关于伯努利数结构的讨论（续）

进一步讨论了伯努利数的结构，并利用所得到的结果对居加猜想进行了讨论，得到了：若Ｓｐ－１（ｐ－１）≡－１（ｍｏｌ ｐ）成立，则ｐ是素数或者ｐ＝ｐ１ｐ２．．．ｐｓ为色对伪素数，并且ｐ‖Ｂｐ－１的分母；ｐ／（ｐＢｐ－１＋１）的分子，ｐ／ｐｉ≡１（ｍｏｄ ｐｉ）；Σ１／ｐｉ－１／ｐ是整数。     

关于Je''''smanowicz猜想的一个注记

本文用初等方法证明了如下结论：设ｓ＝３ｎ，ｎ≡１、３、５（ｍｏｆ８），ｔ≡２（ｍｏｄ４），且ｓ、ｔ均不含有４ｋ＋１形素因子，则Ｄｉｏｐｈａｎｔｕｓ方程（其中ｓ＞ｔ＞０，（ｓ，ｔ）＝１，ｓ＋ｔ≡１（ｍｏｄ２））在ｙ＞１时仅有正整数解ｘ＝ｙ＝ｚ＝２。     

默森尼质数的判别法及其构造

得到默森尼 (Mersenne)数为质数的判别法和构造 ,当Mp=2 p- 1为合数时其因数的特征及其因数个数的估计。(1)Mp=2 p- 1为质数的充要条件是 Mp2kp + 1≡ 0　 (mod p)(2 )如果Mp=2 p- 1且Qi|Mp　i=1,2 ,……T那么 12     

关于丢番图方程px~4-（p-1）y~2=z~4

对任意的奇素数p,还没有找到给出丢番图方程px4-（p-1）y2=z4的全部正整数解的统一的初等方法,目前只解决了某类特殊的奇素数p的求解问题,例如王洪昌等人完全解决了p-1=Q2;或2Q2;或qQ2,2｜Q,q≡3（mod4）为奇素数,Q为正整数的情形.认为对某类特殊的奇素数p求解丢番图方程px4-（p-1）y2=z4,目的是对任意的奇素数p,寻找给出丢番图方程px4-（p-1）y2=z4的全部正整数解的统一解法.当p=2q＋1,q≡5（mod8）,p,q为奇素数时,利用初等方法把方程px4-（p-1）y2=z4化为方程x2＋my2=z2,从而给出方程px4-（p-1）y2=z4的全部正整数解;当q为任意正整数时,上述解法仍然适用,因此对任意给定的奇素数p,实际上已经给出了丢番图方程px4-（p-1）y2=z4的全部正整数解的统一解法.     

Z4上长度为p的三次剩余码

利用Hensel提升,文章定义了Z4上长度为p的三次剩余码,其中素数p满足p≡1(mod 3)以及2是模p的三次剩余,给出了这些三次剩余码的幂等生成元,证明了这些三次剩余码有一些很好的性质;除此之外,讨论了这些剩余码的扩展码的一些性质。     

群论的一个整除问题

设p是大于3的奇素数,证明了：如果p2+p+1整除 (3p-1)/(3-1),则p≡11 (mod 12)且p2+p+1是素数.     

关于丢番图方程pX4-(p-1)y2=z4

姜信君等利用初等方法给出了丢番图方程px4-(p-1)y2=x4当p=2q+1,q≡5(mod8),p,q为奇素数时的全部正整数解.但由于篇幅限制,并未给出全部证明,我们给出了补充证明.     

Formulae of type Ankeny-Artin-Chowla for class numbers of general cyclic sextic fields

Let K 6 be a real cyclic sextic number fields, and K 2, K 3 be its quadratic and cubic subfields. Let h(L) denote the ideal class number of field L. Seven congruences for h -=h(K 6)/h(K 2)h(K 3) are obtained. In particular, when conductor f\-6 of K 6 is prime p, then Ch -≡B p-16B 5(p-1)6 (mod p), where C is an explicitly given constant, and B n is the Bernoulli number. These results for real cyclic sextic fields are an extension of results for quadratic and cyclic quartic fields obtained by Ankeny_Artin_Chowla, Kiselev, Carlitz, Lu Hongwen, Zhang Xianke from 1948 to 1988.     

关于丢番图方程x~4+Dy~4=z~2

设p为奇素数.利用同余性质及Fermat的无穷递降法,证明了:D=p3,p≡3,7(mod 16);或D=-p3,p≡9,13(mod 16);或D=2p3,p≡3,5(mod 8);或D=4p3,p≡3,7(mod 16)时,方程x4+Dy4=z2,gcd(x,y)=1均无正整数解.同时给出D=3时方程的全部正整数解.     

关于有限域中的元根

最近、王巨平使用数论中的Gauss和证明了:如果P~n≥Z~(60),则在有限域GF(P~n)中存在二个元根α和β,使得α+β=1。于是,Golomb有关元根的一个猜想基本上得到证明。本文用Jacobi和及王巨平提出的方法证明了若干更为一般的结论。此外,本文还基本上解决了Vegh提出的一个问题:是否对所有大于1的系数p,均能使得每一整数被表成P的二个元根之差。     

关于一类特殊的指数不定方程

利用同余式证明了不定方程px+(p2-1/2)y=(p2+1/2)z在p为奇素数,且p≡3(mod 4)的条件下,仅有正整数解x=y=z=2.     

关于由Paley矩阵构造的码

从n阶Paley矩阵S出发,可以构造一个码C,它含有码字0＝（0,0,…,0）,1＝（1,1,…,1）以及矩阵（S＋I＋J）／2和（－S＋I＋J）的全部行向量,其中n是奇素数的方幂,I和J分别是单位矩阵和全1矩阵,证明了当n＝1（mode4）时,C是（n,2(n 1),(n-1)/2)码;而当n=3(mod4)时,C是（n,2(n 1),(n-3)/2)码。