有限单群O2n^—（2）（4≤n≤6）的一个特征性质

设G为有限群,H为下述单群之一：O8^-(2),O10^-(2),O12^-(2)。这篇文章中,证明了G＝H当且仅当对每个质数r它们有相同的Sylowr-正规化子的阶。     

用oc(G)刻画A_n(7≤n≤9)

G为有限群, oc(G)表示G中任意的素数阶元中心化子阶的集合,即oc(G)={CG(x) x是G中任意的素数阶元}.通过数量分析,利用oc(G)刻画了几个交错群,得到了如下结果:如果G为有限群且oc(G)=oc(A_n),则G≌An,这里7≤n≤9.     

对称群S_n(n≤14)的新刻画

设G是有限群,o_1(G)表示G中最高阶元素的阶,n_1(G)表示G中最高阶元素的个数.设G一共有r个o_1(G)阶元,且中心化子的阶两两不同,并依次设这些中心化子的阶为c_1(G),c_2(G),…,c_r(G).令ONC_1(G)={o_1(G);n_1(G);c_1(G),c_2(G),…,c_r(G)},称为G的第一ONC-度量.本文得到:设G为有限群且G的素图不连通,则G?S_n(n≤14)当且仅当ONC_1(G)=ONC_1(S_n).     

自同构群的阶为2~tp~2(p为奇素数)的有限Abel群G

利用有限Abel群G的自同构群的阶和有限Abel群的性质,研究了自同构群A(G)阶为2tp2(t=1,2,3,p为奇素数)的有限Abel群G的构造.获得以下结果:当t=1时,G最多有4型;当t=2时,G最多有12型;当t=3时,G最多有21型.     

有限核(2)-群

一个群G被称为核(m)-群当且仅当对G的任意子群H,|H∶HG|至多可以表示成m个素数的乘积。证明了如果有限群G是核(m)-群,那么G是可解群,且G的Fitting子群在G中的指数至多是5个素数的乘积。进一步证明了如果有限超可解群G是有限核(2)-群,且群G存在极小正规子群N 是阶为p3的初等交换子群,那么则存在素数p,q,使得G有交换正规子群A满足 |G∶A||2pq,并且G至多只有4个互不同构的西洛子群不正规。
     

弱ST-群的一个充要条件(英文)

研究有限群的广义正规子群性质的传递性一直是有限群论重要的课题之一,而且获得了许多有意义的研究结果.若群G中s-置换性具有传递关系,则称G为PST-群.若群G的子群H与G的满足条件(p,|H|)=1的每个Sylow p-子群可置换,则称H在G中s-半正规.称群G为弱ST-群,若G的每个次正规子群都在G中s-半正规.给出有限群G为可解弱ST-群当且仅当G为可解PST-群,并且证明了在有限可解群中可解弱ST-性质是子群遗传的.     

对称群S_n(n≤13)的新刻画

设G为有限群,o_1(G)、n_1(G)分别表示G中最高阶元素的阶和最高阶元素的个数.设G一共有r个o_1(G)阶元,其中心化子的阶两两不同,并依次设这些中心化子的阶为c_i(G)(i=1,2,…,r).令ONC_1(G)={o_1(G);n_1(G);c_1(G),c_2(G),…,c_r(G)},称ONC_1(G)为G的第一ONC-度量.用第一ONC-度量ONC_1(G)刻画了对称群S_n(n≤13).     

极大幂零子群的阶为素数幂的有限群

主要用有限单群理论及其素图知识讨论了极大幂零子群的阶为素数幂的有限群,给出这类群结构的一些刻化.设G有限群,G的极大幂零子群的阶都是素数幂,则G为下列之一:1)G为p-群;2)G为pαqβ阶群,此时G为Frobenius群或2-Frobenius群;3)存在H△G,H为2-群,G/H同构下列群之一:A5、A6、A6·23、L2(7)、L2(8)、L2(17)、L3(4)、2B2(8)、2B2(32).进一步可得:当G/H≌L2(7)时,有G≌L2(7),其中H是2-群;当G/H≌L3(4)时,有G≌L3(4),其中H是2-群.     

对称群Sn（n≤15）的一个新刻画

本文首先通过计算给出了对称群Sn(n≤15)的阶|Sn|，最高阶元的阶k1(Sn)，次高阶元的阶k2(Sn)及第三高阶元的阶k3(Sn)。然后利用有限单群分类定理证明了Sn(n=1,2,…,9,11,13,14)可由|Sn|和 k1(Sn)刻画，即有限群G同构于Sn当且仅当|G| = |Sn|且k1(G) = k1(Sn)。最后对Sn(n=10,12,15)证明了它们可由|Sn|和 k1(Sn)， k2(Sn)及 k3(Sn)刻画，即G同构于Sn当且仅当|G| = |Sn|且k1(G) = k1(Sn)， k2(G) = k2(Sn)及 k3(G) = k3(Sn)。
     

关于有限群的F_(sn)-子群

设F是一个群类.如果群G中存在一个正规子群T,使得HTG且(H∩T)HG/HG≤ZF∞(G/HG),则G的子群H称为G的Fsn-子群.利用Fsn-子群的概念得到Fsn-子群的性质以及可解群的一些新的判别准则,并对以前的结果进行推广.主要结论有:①设N是群G的非单位的正规子群,则N是可解群当且仅当G的每个不包含N的极大子群是G的Ssn-子群;②群G是可解群当且仅当G的每一个2-极大子群都是G的Ssn-子群;③设G是一个群,p是|G|的最小素因子,P是G的某个Sylowp-子群,则G是可解群当且仅当P的每个极大子群是G的Ssn-子群;④设G是一个群,p是|G|的最小素因子,P是G的某个Sylowp-子群.若G是A4-自由群且P的每个2-极大子群(如果存在)是G的Ssn-子群,则G是可解群.     

关于D_(2n)型Chevalley扩群的存在唯一性(英文)

构造出了任意域K上D_(2n)型泛Chevalley群G≌Ω_(4n)(K,f_D)的扩群G和相应的映射,使图(1)交换且行列都正合,并证明了G在同构意义下是唯一的。     

阶对有限群的刻画

令πe(G)表示G中元的阶之集.对于所有有限单群,已证明其均可由元阶集及群阶进行刻画.即设G为群,H为有限单群,则当GH且仅当(1)πe(G)=πe(H);(2)∣G∣=∣H∣.本文继续这一研究,对两类有限非单群进行讨论.首先在不使用2qp阶群的分类的前提下证明了所有阶为2qp(q＜p为不同的奇素数)的群可仅用元阶集和群阶加以刻画,然后利用23p阶群的分类证明了有6类23p(p为奇素数)阶群也可由元阶集和群阶唯一确定.     

关于单K3-群L3(3)和U3(3)

设G为有限群,o1(G)表示G中最高阶元素的阶.用极少的数量刻画有限单群是单群刻画领域中一个有趣的课题.本文只用群的阶及最高阶元素的阶刻画了单K3-群L3(3)和U3(3),即证明了:设G为有限群,M为单K3-群L3(3)和U3(3),则G≌M当且仅当|G|=|M|,且o1(G) =o1 (M).     

用阶分量刻画李型单群G2(q)

用阶分量刻划单群并证明了李型单群G2 (q)也可由阶分量刻画 .定理 1　设G是有限群 ,M =G2 (q) .若OC(G) =OC(M) ,则G≌M .上述结论统一了如下两个结论 :定理 2　设G是有限群 ｜M =G2 (q)且( 1)｜G｜ =｜M｜( 2 )xe(G) =πe(M)则G ≌M .定理 3　设G是有限群 ,Z(G) =1,M =G2 (q) ,N(G) =N(M) ,则G ≌M .     

有限核(2)-群

一个群G被称为核(m)-群当且仅当对G的任意子群H,︱H∶H_G︱至多可以表示成m个素数的乘积。证明了如果有限群G是核(m)-群,那么G是可解群,且G的Fitting子群在G中的指数至多是5个素数的乘积。进一步证明了如果有限超可解群G是有限核(2)-群,且群G存在极小正规子群N是阶为p3的初等交换子群,那么则存在素数p,q,使得G有交换正规子群A满足︱G∶A︱|2pq,并且G至多只有4个互不同构的西洛子群不正规。     

一类具有特殊中心化子的有限p-群

若一个非交换的有限p-群G的任意非交换子群H满足CG(H)=Z(H),则称G为CGZ-群.主要研究了幂零类是2的CGZ-群G,证明了Ω1(G)≤Z(G)以及d(G)≤3.     

对称群Sn（n≤15）的一个新刻画

本文首先通过计算给出了对称群Sn（n≤15）的阶｜Sn｜,最高阶元的阶k1（Sn）,次高阶元的阶k2（Sn）及第三高阶元的阶k3（Sn）。然后利用有限单群分类定理证明了Sn（n=1,2,…,9,11,13,14）可由｜Sn｜和k1（Sn）刻画,即有限群G同构于Sn当且仅当｜G｜=｜Sn｜且k1（G）=k1（Sn）。最后对Sn（n=10,12,15）证明了它们可由｜Sn｜和k1（Sn）,k2（Sn）及k3（Sn）刻画,即G 同构于Sn当且仅当｜G｜=｜Sn｜且k1（G）=k1（Sn）,k2（G）=k2（Sn）及k3（G）=k3（Sn）。     

恰有4个非循环子群共轭类的有限幂零群

设G是有限群,用δ(G)表示G的非循环子群共轭类的个数.δ(G)对G的结构有比较强的影响.例如,δ(G)=0当且仅当G循环.δ(G)=1当且仅当G非循环而G的所有真子群循环,即G内循环群.2007年,李世荣,赵旭波给出了有限δ-群(即每个可解子群日满足δ(H)≤2的有限群)的完全分类.作为以上问题的继续,使用群论的初等方法,给出δ(G)=4的幂零群的完全分类.     

群色临界图的一些性质

群色数χ1(G)是最小数m,使得对任意Abel群A,若|A|≥m,则G是A-可着色的.称G是群色临界的,若对于G的任一真子图H,有χ1(H)<χ1(G).研究了群色临界图的一些性质,给出某些群色临界图的刻划,证明了k群色临界图G的最小度为k-1,且若G是3群色临界图当且仅当G是圈.     

关于“p2q2阶群的完全分类”一文的注记

设p, q为奇素数,且p>q,而G是p2q2阶群. 如果G是非交换的超可解群且它的Sylow p-子群初等交换,那么：1)当q 整除(p－1)但q2不整除(p－1)时,G恰有(q＋4)个彼此不同构的类型; 2)当q2整除(p－1)时,G恰有(q2＋3q＋10)/2个彼此不同构的类型. 这一结果完善了已有文献对p2q2阶有限群的分类结果.