局部环上辛群中一类子群的扩群

定出了局部环上辛群中一类子群的扩群,得到了如下结果:设R是局部环,M是R的唯一极大理想,Sp(2m,R)为R上辛群。对R的任意理想S,G(S)表示子群{ABCD∈Sp(2m,R)|B∈Sm×m},如果G(0)≤X≤G(M),m≥2,char(R/M)≠2,那么存在R的理想S,使得X=G(S)。     

JTTC环的一些性质

研究JTTC环的一些性质,主要证明了如下结果:1)R是交换约化环当且仅当G3(R)是JTTC环;2)R是CN环当且仅当W4(R)是JTTC环;3)设R是JTTC环,M是R的极大左理想,a∈R,e∈E(R),则1-ae∈M当且仅当1-ea∈M;4)R是JTTC环当且仅当对R的每个Pierce理想P,有R/P是JTTC环.     

次正规嵌入子群与有限群的可解性(Ⅱ)

群G可解当且仅当对于每个M∈Fod(G)或M∈F2(G)或存在G的可解极大子群M,存在I(M)的极大元C使得C/K(C)幂零且下列条件之一得到满足:(1)C/K(C)的Sylow 2-子群的极大子群在G/K(C)中次正规嵌入;(2)C/K(C)的Sylow 2-子群的循环子群在G/K(C)中次正规嵌入.     

分次环上的分次w-模

R=σ∈GRσ是有单位元1的交换的G-分次环(在G不需言明时就称R为分次环),并且引入了分次环上的分次w-模等相关概念.证明了:1)设J是R的有限生成分次理想,则J∈GVgr(R)当且仅当J∈GV(R);2)设M是分次模,σ∈G.若M是分次GV-无挠模(或分次GV-挠模),则M(σ)也是分次GV-无挠模(或分次GV-挠模);3)设M是分次模,且是w-模,N是M的分次子模,则N是分次w-模当且仅当N是w-模.特别地,R中的任何分次w-理想都是w-理想.     

有限可解群的CI-截刻画

利用极大子群的C I-截定义,得到有限可解群的新刻画:(1)有限群G可解的充分必要条件是G中存在可解极大子群M∈Fs(G),使Sec(M)=1;(2)有限群G可解的充分必要条件是G中指数既非素数也非素数平方的极大子群M之Sec(M)为幂零群.推广了几个已知的重要结果.     

3-连通3次图类的(2,1)—临界图

图G称为属于图类C(m,n),如果对于G的任意一对不相交的质点子集M,N,其中|M|=m,|N|=n,G中总存在圈C使得M V(C)而N∩V(C)=φ。设f是由C(m,n)中某些图沟成的图类。图R称为关于图类f的(m,n)临界图,如R果满足下列条件: (ⅰ) R∈f, (ⅱ) R∈(C(m+1,n), (ⅲ) 对f中不属于C(m+1,n)的任意图G,都存在G到R的收缩。 1980年,D.A.Holton提出:“完全二部分图K(3,3)是否为3一连通3次图类的(2,1)一临界图?”本文证明了这个问题的答案是肯定的。     

关于边控制集的一些结论

令G＝（V，E）是一个图，M是边集E（G）的子集，如果有e∈E（G）／M，e至少与M中一条边相连，则称M为图G的边控制集，进一步，若M是匹配，则称M为图G独立边控制集，本文给出关于边控制集的一些结论。（1）设图H，S是两中连勇图，且H,S∈ж，γe(S)=1,M和M′＝｛uv｝分别是图H和S的唯一最小边控制集，其中S是图1中的（G1，G2，G3，G4）四个图之一，对任何点x∈V（S）＝｛u,v｝,y∈V(H)-V(M),令G＝H（y=s)S，则G∈ж，（2）如果连通图G≠K2，G∈ж，γe(G)=k,则存在G的两个连通于图H，S和某两个正整数l,m使H∈ж，S∈ж，且γe(H)=k-l,γe(S)=l,G≌H（yi=xi)S,其中l≤i≤m.     

欧氏环上辛群在线性群中的扩群

论文定出了欧氏环上辛群在线性群中的全部扩群 ,得到如下结果 :设R是欧氏环 ,N =Sp(2m ,R) ,G=GL(2m ,R) ,N≤X≤G .则存在R的一个理想S ,使X NS=g∈SL(2m ,R)fS(g)∈Sp(2m ,R/S) ,其中fS:SL(m ,R) →SL(m ,R/S)是自然同态     

回溯自动机的两个基本定理

本文详细证明了回溯自动机的两个基本定理,得到下列结论:1)ω∈~*,ω∈L(M)iffω=R(G);2)从G中q处删除一个CSg(结点q保留)或者添加一个CSq(q不需添加)后的图G′也是M的接受状态活动图。     

关于s-正规子群与正规指数

利用s-正规子群与正规指数的概念给出群为可解群的一些条件.主要定理有:(1)设M是群G的可解的极大子群,M在G中s-正规的充要条件是η(G∶ M)=|G∶ M|;(2)有限群G可解当且仅当对于M∈F1(G)={M<·G|η(G∶ M)≠|G∶ M|},M在G中s-正规.(3)设N是G的正规子群,N可解的充要条件是对于任意不包含N的c-极大子群M,有η(G∶ M)=|G∶ M|.     

关于变换半群的子群结构

本文主要讨论变换半群的子群的性质和结构,得到的主要结果是:定理1 设B是A的一个非空子集,H是M(B)的一个子群,则有M(A)的子群G使得G_B=H且G与G_B同构。定理2 (1)设G是M(A)的一个子群,e是G的单位元,则G是M(A)的一个极大子群当且仅当G_Ae=∑_(Ae)。(2)M(A)的任何两个不同的极大子群之交是空集。     

两种子群特性与有限群的超可解性

证明了：（1）设G是有限p-可解群,P∈Sylp（G）,则G是p-超可解当且仅当P的极大子群在G中半覆盖-远离或G-半置换.（2）有限群G为超可解当且仅当对于G的每个素因子p,存在P∈Sylp（G）使得P的极大子群都在G中半覆盖-远离或PFp（G）-半置换.（3）设F是包含超可解群系的饱和群系,G是有限群,H G使得G/H∈F.如果对于H的任意素因子p,存在P∈Sylp（H）使得P的极大子群都在G中半覆盖-远离或PFp（H）-半置换,则G∈F.     

局部环上辛群中一类子群的扩群格

定出了局部环上辛群中一类子群的扩群格,得到了如下结果:设R是局部环,Sp(2m,R)为R上辛群,N表示子群{{AOC A′-1|}A∈GL(m,R),A′C=C′A}.如果2为R中的可逆元且m≥3,那么N在Sp(2m,R)的扩群格同构于R的理想格.作为推论得到了Sp(2m,R)的一类极大群.     

弱C#-正规子群与有限群的P-幂零性

利用弱c#-正规子群研究有限群的p-幂零性,得到以下结论：①设G是群,H△G,使得G／H为P-幂零,PESylp（G）,若P的极大子群皆在G中弱c#-正规且NG（P）为P-幂零,则G为P-幂零．②G是群,HqG使得G／H为P-幂零,P∈Sy／p（H）,若P的2-极大子群皆在G中弱c#-正规且NG（P）为p-N;零的,则G为P-幂零．     

有限群的可补子群的相关性质

考虑有限群的极小子群和Sylow子群的可补性质对群结构的影响. 设F是包含全体有限超可解群的群系, G是有限群, M>1是G的正规子群, 且G/M∈F, 证明: 如果对M的任一极小子群H, H∩F*(G^F₎均在G中可补, 则G∈F.     

关于F-S-可补子群Ⅱ

设F是一个群类。群G的子群H称为在G中F-S-可补的,如果存在G的一个子群K使得G=HK且K/K∩HG∈F,并称K为H的一个F-S-补,其中HG=Core（H）=∩g∈GHg是包含在H中G的最大正规子群。利用子群的F-S-可补性得到了F群的一些新的判别准则。     

Suzuki系列单群的一个刻划

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

关于强半正规性

引入了关于有限群的子群的一个新概念:H≤G,H的每Sylow子群在G内半正规,则称H在G内强-半正规.利用这一概念,我们证明了如下的结果:(1)群G中,强-半正规的极大子群是超可解的,且在G中有素数指数.(2)存在强-半正规极大子群的群是可解群.(3)若群G的极大子群M强-半正规,且M的每Sylow子群的极大子群在G内半正规,则G超可解     

关于■-S-可补子群Ⅱ

设■是一个群类。群G的子群H称为在G中■-S-可补的,如果存在G的一个子群K使得G=HK且K/K∩HG∈■,并称K为H的一个■-S-补,其中HG=Core(H)=∩g∈GHg是包含在H中G的最大正规子群。利用子群的■-S-可补性得到了■群的一些新的判别准则。     

关于半正规的几类群

利用子群的半正规性讨论了几类有限群的结构,得到如下主要结果:(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.