用极大子群阶之集刻划有限单群

设G是有限群,π_s(G)是G的极大子群阶之集.在这篇短文中,我们证明了下面的定理:定理 设M是复阶单群,|M|< 10~6,则G≌M当且仅当π_s(G)=π_x(M).基于已得到的结果,我们还提出了如下猜想:设M是复阶单群,则G≌M当且仅当π_s(G)=π_2(M).     

关于单K_3-群

本短文证明了定理 设G是群,M为单K_3-群,则G(?)M当且仅当:(l)π_e(G)=π_e(M),其中π_e(G)是G中元的阶之集;(2)|G|=|M|.由于对所有的散在单群、交代群及某些李型单群有同样的结论,故提出下述猜想猜想 设G是群,M为有限单群,则G(?)M当且仅当:(1)π_e(G)=π_e(M);(2)|G|=|M|.     

关于一些交错单群的新刻画

设πe(G)表示群G中元素阶的集合,k1(G),k2(G)分别表示G中最高阶元素的阶和次高阶元素的阶。V.D.Mazurov等人2009年证明了用元素阶集合πe(G)和群的阶G刻画有限单群。本文试图用更少的数量刻画交错单群,并证明了:1)设G为有限群,M为交错单群An(n=5,6,7,9,10,11,13),则G≌M当且仅当|G|=|M|,且k1(G)=k1(M);2)设G为有限群,M为交错单群An(n=8,12),则G≌M当且仅当|G|=|M|,且ki(G)=ki(M),i=1,2。     

滤子s+1元素γ_sξ_n的存在性

当p≥5,n≥0时,(i_1i_0)*(h_n)∈Ext1,p~nqA(H~*K,Zp)在Adams谱序列中是永久循环,并且收敛到π_(p~nq-1)K中的非零元.在此基础上,考虑了涉及第三希腊字母类乘积元素的收敛性,即当3≤sp时,γ_sξ_n∈Exts+1,tA(Z_p,Z_p)在Adams谱序列中是永久循环,并且收敛到π_(t-s-1)S中的非零元γ_sξ_n,其中p≥7,n≥3,q=2(p-1),t=p~nq+sp~2q+(s-1)pq+(s-2)q+s-3.     

两类有限单群的刻划

文[1]中提出了仅用群的"极大子群阶之集"来刻划有限复阶单群的猜想:"设G是有限群,M是有限复阶单群,则G≌M"当且仅当πs(G)=πs(M).这里πs(G)表示G的极大子群阶之集."并证明了这个猜想对M为阶小于106的复阶单群是成立的.这里对两类有限单群Suzuki无穷系列单群与Mathieu群Mi(i=11,12,22,23,24)证明上述猜想是正确的,即用群的"极大子群阶之集"来刻划两类有限单群.     

4-一致超图Ramsey数的渐近下界

本文利用Lovász局部引理的Spencer形式和对称形式给出4-一致超图Ram-sey函数的渐近估计.证明了:对于任意取定的正整数l0,使得当n→∞时,有 R(4)(m1,nk-1)≥(c-o(1))(n3/logn)((m4)-1)/(m-4)特别地,Rk (4) (n)≥(1-oD(1)) (n →∞).对于任意取定的正整数s≥5和常数δ>0,α≥0,如果4-一致超图F和G的阶分别为s和t,且G的边数m(G)≥(δ-o(1))t4/(logt)α (t→∞),则存在c=c(s,δ, α)>0,使得R (4) (F,G)≥(c-o(1))(t3/(logt) 3α+1) (m(F)-1)/(s-4).     

有限超可解群的一些充要条件I

主要证明了如下命题等价:(1) G是超可解群;(2) 对G的任一极大子群M,G有正规子群K使|K:MG|为素数;(3)对G的任一极大子群M,G有正规子群K使K/MG为非平凡的循环群;(4) G的每个极大子群M补于G的循环主因子;(5)G有正规子群H使1=H0＜H1＜…＜Hn=H为G的主列片段,其中G/CG(Hi+1/Hi)为幂指数整除pi-1的Abel群,pi∈π(Hi+1/Hi),1≤i≤n,且∩n-1i=0CG(Hi+1/Hi)≤H;(6)对G/Φ(G)的每个极小正规子群N/Φ(G).G/CG(N/Φ(G))为幂指数整除p的Abel群,p∈π(N/Φ(G)).     

Reissner-Nordstr(o)m黑洞Dirac场的统计熵

利用改进的brick-wall模型,给出了Reissner-Nordstr m黑洞Dirac场的熵.结果表明,当调整截断参数,使4r2+ε'/■m2-Q 2=1/90π时,则熵为SF=7A H/8,或可表示为SF=288π(M+■M2-Q 2).     

有限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-幂零子群}.     

关于M_π-群的直积

基于Isaacs的工作,定义了Mπ-群,证明了若G是一个有限π-可分群,则G是Mπ-群当且仅当G的直因子是Mπ-群。     

关于与有限单群Sz(22m+1))有限同Sylow正规化子阶的有限群

证明了：有限群G同构于Sz（q）（q=2^2m＋1,m〉O）当且仅当对每个质数r，它们有相同的Sylowr．正规化子阶．     

含有一类幂零子群的有限群

令Ｇ是一个有限群，Ｐ是一个固定奇素数．Ｍ＜Ｇ表示Ｍ是Ｇ的真子群．记Ｊ２（Ｇ）＝（Ｍ：Ｍ＜Ｇ，｜Ｇ：Ｍ｜非素数幂，且｜Ｇ：Ｍ｜，＝１｝．本文讨论当Ｊ２（Ｇ）的元皆为幂零群时Ｇ的结构．     

拟二面体群的一个无限类1-正则4度Cayley图

群G的一个Cayley图X=Cay(G,S)称为正规的,如果右乘变换群R(G)在Aut(X)中正规.得到了拟二面体群G＝〈x,y|x2m=y2=1,xy=xm 1〉(其中m=2s,s为大于4的偶数)的一个无限类4度正规1-正则Cayley图 Cay(G,S),其中S={x,x-1,xs 1y,xs-1y},并且对2r阶拟二面体群的正规1-正则4度Cayley图进行了分类,其中r＞3.证明了2r阶拟二面体群的任意4度正规1-正则Cayley图同构于Cay(G,{x,x-1,xs 1y,xs-1y}),其中s=2r-2.     

关于有限内循环群边传递的图

所指的图是有限的、单的、无向的且无孤立点,p,q,t是素数,m,r是正整数且满足r■1≡rq(modp).获得了关于有限内循环群边传递的图的完全分类,结果为:设Γ是一个图,G是一个阶为pqm或t2或8的内循环群,且G≤Aut(Γ),则Γ是G-边传递的当且仅当Γ同构于下列图之一:(1)qm-eCpqe,0≤e1;(4)pCqm,(q,m)≠(2,1);(5)pK1,1,m=1;(6)Cay(Zp,C),C={±rμ|μ∈Zq},m=1;(7)B(Zp,C),其中C={1-rj|j∈Zq},m=1;(8)Kp,1,m=1;(9)pKqm,1;(10)Kpqm,1;(11)Kqm,p;(12)pqeK1,qm-e,1≤e≤m;(13)qeK1,pqm-e,1≤e≤m;(14)qeKqm-e,p,1≤e2;(16)2K1,1,t=2;(17)t2K1,1;(18)tKt,1;(19)Kt,t;(20)Kt2,1;(21)2C4;(22)8K1,1;(23)2K4,1;(24)4K2,1;(25)K8,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.     

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

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

关于群的幂自同态的一个注记

设f：G→G是群G的自同态,满足f（x）＝xn（？x∈G）,证明了G是交换群当且仅当n＝-1或2;设M＝｛n｜f：G→G是群G的自同态,满足f（ x）＝xn ,？x∈G｝,证明了G是交换群当且仅当n遍历M中所有元时,所有形如n（ n-1）元的最大公因数为2．     

关于一个非交换的格序群

群Ｇ有三个无穷阶生成元ａ,ｂ,ｃ,并且定义着关系ａ＋ｂ＝ｂ＋ａ,ａ＋ｃ＝ｃ＋ｂ,ｂ＋ｃ＝ｃ＋ａ,Ｇ＋包含ｍａ＋ｍ′ｂ＋ｎｃ（ｍ,ｍ′,ｎ为整数）当且仅当ｎ＞０或ｎ＝０而ｍ≥０,ｍ′≥０。将其中的等式改写成ａ＋（±ｂ）＝（±ｂ）＋ａ,ａ＋（±ｃ）＝（±ｃ）＋ｂ,ｂ＋（±ｃ）＝（±ｃ）＋ａ,并且给出生成元是独立的。在此基础上给出详细的证明,然后给出有关它的一些性质。     

D8p的连通3度Cayley有向图的正规性

称有限群G的Cayley（有向）图X是正规的,如果G的右正则表示R（G）正规于图X的全自同构群Aut（X）.该文主要研究8p阶二面体群G∶=D8p=〈a,b a4p=b2=1,b-1ab=a-1〉的连通3度Cayley有向图X∶=Cay（G,S）的正规性.并证明：（1）若p=2时,Cayley（有向）图X不正规当且仅当S~{b,a,a5}和S~{b,ba,bak}（k=3,4,5,6）.（2）若p为奇素数,Cayley（有向）图X不正规当且仅当S~{b,a,a2p＋1}和S~{b,ba,bak}（k=2p,2p＋1）.