一类有可换Sylow 2-子群的8p~3阶群的完全分类

设p为奇素数(p≠3,7),G是Sylow 2-子群是型为(22,2)的8阶交换群C4×C2的8p3阶群,利用群在群上的作用理论,对群G进行了完全分类并确定了它的全部构造,即:1)当p≡1(mod 4)时,G恰有74个彼此不同构的类型;2)当p≡3(mod 4)时,G恰有40个彼此不同构的类型。     

关于Sylow p-子群循环的12p~n阶群的构造

设p为奇素数,且p5,对Sylow p-子群循环的12pn阶群进行了完全分类并获得了其全部构造:1)当p≡1(mod 12)时,G恰有16个彼此不同构的类型;2)当p≡5(mod12)时,G恰有10个彼此不同构的类型;3)当p≡7(mod 12)时,G恰有14个彼此不同构的类型;4)当p≡11(mod 12)时,G恰有9个彼此不同构的类型.     

关于丢番图方程x~4-pqy~2=1(Ⅱ)

3.方程(1)在p≡17(mod24),q≡3(mod8)或p≡5(mod24),q≡23(mod24)或p≡5(mod24),q≡3(mod8),(p/q)=1时均无正整数解.4.当D=2p时,方程(1)除开有解p=3,x=7,y=20外,无其他的正整数解.5.方程(1)在p≡3(mod4),q≡3(mod4)时无正整数解.国外,Nagell,Ljunggren,Cohn等人有过不少工作,可参看文[4]所附文献.本文用不同于前面诸文的方法,对于D=pq的情形,得到进一步的结果.我们有     

关于自同构群的结构

本文考虑群的自同构群,得到了DC_(4n),QD_(8n)及MC_(4q)的自同构群的结构,我们有:①若n≥3,则AutDC_(4n)≌HolC_(2n)②若n≥2,则An在QD_(8n)≌AutC_(4n)∝C_(2n)。③若q≡1(mod4),则AutMC_(4q)≌HolC_q。     

关于丢番图方程2py~2=2x~3+3x~2+x的解

本文运用初等数论简单同余法、分解因子法及反证法等,得到丢番图方程2py2=2x3+3x2+x,(p为素数)无正整数解的情况.(1)当p≡1(mod 8),p≡5(mod 8),p≡7(mod 8)时,则方程无正整数解;(2)当p≡3(mod 8)时,Un+Vnp(1/2)=(x0+y0p(1/2))n.其中x0,y0是Pell方程x2-py2=1的基本解,当n≡0(mod 2)时,则方程无整数解;当n≡1(mod 2)时,若2|x0,则方程无整数解.特别是p≡3(mod 8)且p100时,2|x0,则方程无整数解.     

关于Diophantine方程kx~4-(2k+4)x~2y~2+ky~4=-4

利用Pell方程及同余的性质给出了Diophantine方程G:kx4-(2k+4)x2y2+ky4=-4仅有整数解(|x|,|y|)=(1,1)的充分条件。证明了:1)若k≠12(mod 16),则Diophantine方程G仅有整数解(|x|,|y|)=(1,1);2)若k=4m,m≡3(mod4),且2︱s或s≡0(mod 4),t≡3,5(mod 8)或s≡2(mod 4),t≡1,7(mod 8),则Diophantine方程G仅有整数解(|x|,|y|)=(1,1),这里s+t m1/2是Pell方程x2-my2=1的基本解。     

关于Pell方程组x2-2y2=1,y2-Dz2=4

设p,q,r_i均为相异奇素数,且p≡1(mod8),q≡3(mod8),r_i≡5或7(mod8).证明了Pell方程组x~2-2y~2=1,y~2-Dz~2=4当D=2pqr_i时,除了D=34时仅有非平凡解z=±12外,其他情形仅有平凡解z=0。     

3p^3阶群之构造

在有限群理论中,确定n阶群的构造是一个分类问题。本文试图确定3p~3(p是奇素数,且p≠3)阶群的构造,即证明下面的定理: 令p是一个素数,则3p~3(p≠3)阶群有 (1)7种类型,当p≠1(mod3)。 (2)19种类型,当p=1(mod3)。     

关于Dickson多项式的不动点问题

设,p>3是素数,证明了,当p(?)±1(mod5)或p(?)±1(mod7),且p(?)±1(mod8)或p≡11(mod30),等等,均存在有限域F_p上的d次置换多项式g_d(x,1),使其恰有5个不动点0,±1,±2,并由此提出一个猜想.此结果在运用置换多项式g_d(x,1)构造RSA公开密钥码体制的研究中,有重要意义.     

关于同余式2n≡5(mod n)的解

证明了同余式2n≡5(mod n)(n＞1)在［2,4294967295］中除平凡解n=3外,仅有解n=19147=41·467,以及若m＞1满足2m≡5(modm),则n=2m-1是2n-4≡1（modn）的解.     

关于内5—闭可解群的构造

研究内P—闭群的构造是一个相当活跃的课题.文献[1,2]已经讨论了P=2,3的情况,文献[3]给出了内5—闭单群的结构.本文给出内5—闭可解群的结构,仅讨论有限群,所用术语及符号都是标准的.     

▽n(G)={1}的有限群

设Ｇ满足标题的条件。１、若ｎ＝４,则下述结论之一成立;;（１）Ｇ可解;;（２）Ｇ≌Ａ~５;;（３）Ｇ≌ＰＳＬ（２,１３）;;（４）Ｇ≌ＰＳＬ（２,ｐ）,满足ｐ＝４ｐ１＋１＝６ｐ２－１,这里ｐ１≥４３,ｐ２≥２９;;（５）Ｇ≌ＰＳＬ（２,ｐ）,满足ｐ＝６ｐ１＋１＝４ｐ２—１,这里ｐ１≥７,ｐ２≥１１;;２、若ｎ＝５且Ｇ与ＰＳＬ（２,ｐ）无关,则下述结论之一成立：（１）Ｇ可解;;（２）Ｇ≌ＰＳＬ（２,２~３）;;（３）Ｇ≌ＰＳＬ（２,３~３）;;３、设３　π（Ｇ）,８≤ｎ≤２ｐ＋１．若对任ｑ＜ｐ,Ｇ与Ｓｚ（２~ｑ）无关,则Ｇ可解。     

关于半正规的几类群

利用子群的半正规性讨论了几类有限群的结构,得到如下主要结果:(l)极大子群超可解的有限群当其极大子群的极小子群半正规时,它不是超可解群就是如下三种群之一:(I)p~αq~β阶内-Abel群,p(?)q-1;(Ⅱ)p~(α+β)r(?)阶群,α≥2,β≥0,p~β=│φ(G)│,p~(α-1)||r—1,α~((?)~α+β)=c_1~(?)=c_2~(?)=…=c_(?)~(?)=1,c_ic_j=c_jc_i,i,j=1,2,…,p,c_(?)~(?)=c_(i+1),i=1,2,…,p-1,c_(?)~(?)=c_1~(?),t(mod r)指数p~(α-1);(Ⅲ)D_(2_q)型群;(2)极大子群可解的非Abel有限单群当其二次极大子群的极小子群半正规时,G恰为A_5.     

一类无解的自同构群方程

该文给出一个新方法证明：当P为p9阶Abel群时，自同构群方程Aut(X)=P我解，从而改进了Machale在1983年和班桂宁在1996年的有关工作。     

有限p—幂零群的一个新刻划

推广了Itδ的结果,得到下述主要定理.定理1 设G是有限群,N(?)G,G/N p-幂零.那么(i)p为奇素数时,G p-幂零当且仅当N的p阶元均含于Z_(p∞)(G);(ii)p=2时,G 2-幂零当且仅当N的2.2~2阶元均含于Z_(2∞)(G).定理2 设G是有限群,N(?)G且G/N是幂零群.那么G是幂零群当且仅当N的素数阶元与2~2阶元均.含于Z_∞(G).此外,还证明了定理3 设G是有限群.则Z_(p∞)(G)=NI_(G)=∩{M|M为G的极大p-幂零子群}.     

离散群几何学的某些问题

本综述介绍了离散群几何学的一般理论及若干新进展,其中包括我系研究生新近得到的一些有趣结果。文中列举了一些尚未解决的问题并提供了部分参考文献。     

关于幂零群的特征

有限幂零群的特征性质在[1]、[2]中已给出了许多,本文通过次中心给出了幂零群的两个充要条件。其一,G=SZ(G),SZ(G)是G的超次中心;其二,G幂零的充要条件是G/SZ(G)是幂零的。本文限定都是有限群。     

Frame自正交拉丁方中的截态

本文证明当ｐ为质数幂时．在型为２ｐ的Ｆｒａｍｅ自正拉丁方中存在２（Ｐ－１）个互不相交的截态，且（ｉ）当ｐ大于３且时ｐ≡１（ｍｏｄ４）时这２（ｐ－１）个截态表现为ｐ－１个自对称的截态和（ｐ－１）／２对相互对称的截态；（ｉｉ）当ｐ大于５且ｐ≡３（ｍｏｄ４）时这２（ｐ－１）个截态在现为ｐ－１对相互对称的截态．     

Suzuki系列单群的一个刻划

“用群的极大子群阶之集”刻划了Suzuki系列单群S_z(2~(2m+1))(m≥1).证明了定理 设G是有限群,M=S_z(2~(2m+1))(m≥1),则G(?)M当且仅当π_s(G)=π_s(M).