关于CAP-子群的一点注记（英文）

对于有限群G的每一主因子H/K来说,若G的子群L满足LH=LK或者L∩H=L∩K,则称L是G的CAP-子群.本文通过假设G的每个非循环Sylow子群P有一个子群D使得1〈｜D｜〈｜P｜,且P的所有阶为｜D｜和2｜D｜（若P是非交换2-群且｜P∶D｜〉2）的子群H是G的CAP-子群,得到G为p-幂零群的一个结果.     

Hall广义补和群的可解性

研究具有某些特殊性质的广义补,得到了一些可解性的判别条件.如果对G的任意Sylow p-子群P,p∈{2,3}∩丌(G),NG(P)在G中都存在广义补H使H/D是G/D的Hall子群且H/D为幂零群,其中D=(H∩ⅣG(P))G,那么G可解.     

关于广义Dedekind群

如果群G的任意循环子群H满足|HG:H|≤p,其中p是素数,那么称G是C*(p)-群.若群G是有限C*(p)-p-群,则当p＞3时,该群的幂零类至多为2;若p=3,该群的幂零类至多为3,而且当cl(G)=3时,exp(G)=9;同时,若G与任意有限C*(p)-p群G × K直积是C*(p)-P-群G×K,则G是初等阿贝尔p-群.最后还对局部幂零的C*(p)-群进行了探讨.     

群的几个幂零性条件

如果G的所有子群都是次正规的,而且G满足下面条件之一,那么G是幂零群.(1)G有一个次正规列1△H△K△G,其中K/H是幂零群,H和G/K是有限生成的;(2)G有一个正规子群N使得,N在其子集的中心化子上满足极小条件,并且G/N是有限生成的.     

有限群极大子群的θ-子群偶

N.P.Mukherjee和 P.Bhattacharya在“On theta pairs for a maximal sub-group”(Proc.Amer.Math.Soc,Vl09N3(1990))一文中定义了有限群的极大子群的θ-子群偶概念,研究了极大子群的极大θ-子群偶对群结构的影响,得到了一系列结果.本文在进一步探究θ-子群偶性质的基础上,对该文中一系列主要结果作出了本质性的改进,并给出了可解性、幂零性的一些新刻划.     

有限秩的幂零群的自同构(Ⅱ)

设幂零群G=KP=PK,其中P是有限秩的幂零p-群,K是G的有限秩的p-自由的正规子群,p不属于K的谱Sp(K).设1=ζ0Gζ1G···ζcG=G是G的上中心列,α和β是G的两个p-自同构,把α,β在每个ζiG/ζi-1G上的诱导自同构分别记为αi和βi,又记Ii:=Im(αiβi-βiαi),则(i)如果每个Ii都是有限循环群,并且I:=(αβ(g))(βα(g))-1|g∈G是G的有限子群,那么α和β生成一个有限p-群;(ii)如果Ii或为有限循环群,或为拟循环p-群,或为Zpn⊕Zp∞对某自然数n,那么α和β生成一个可解的剩余有限p-群,它是有限生成的无挠幂零群被有限p-群的扩张;(iii)如果Ii或为有限循环群,或为拟循环p-群,或为Zpn⊕Zp∞,或为无挠的局部幂零群,或Ii有正规列1JiIi,其商因子分别为有限循环群、无挠的局部幂零群,或Ii=Zp∞⊕Ji,Ji为无挠的局部幂零群,或Ii有正规列1KiJiIi,其商因子分别为有限循环群、拟循环p-群、无挠的局部循环群,那么α和β生成一个可解的剩余有限p-群,它的幂零长度至多是3.特别地,当K是一个FC-群时,在情形(iii),α和β生成的群也是有限生成的无挠幂零群被有限p-群的扩张.此外,如果G=KP里,K是一个FC-群,对G的下中心列考虑了类似的问题,得到了"对偶"的结果.     

有限秩的幂零群的自同构

设幂零群G=KP=PK,其中P是有限秩的幂零π-群,K是G的有限秩的π′-自由的正规子群.π不属于K的谱Sp(K),设1=ζ0Gζ1G…ζcG=G是G的上中心列,α和β是G的两个自同构,把α和β在每个商因子ζiG/ζ(i—1)G上的诱导自同构分别记为αi和βi,记Ii:=Im(αiβi—βiαi),则(i)当每个Ii都是有限循环群,并且I:=〈(αβ(g))(βα(g))(-1)|g∈G〉是G的有限子群时,α和β生成一个可解的几乎Abel群.(ii)当每个Ii或者是有限循环群,或者是秩1的可除群,或者是C⊕D,其中C是循环群,D是秩1的可除群,或者是无挠的局部循环群,或者Ii有正规子群列1JiIi,其商因子分别为有限循环群,无挠的局部循环群,或者Ii=D⊕Ji,其中D是秩1的可除群,Ji为无挠的局部循环群,或者Ii有正规列1KiJiIi,其商因子分别为有限循环群,秩1的可除群,无挠的局部循环群时,β和β生成一个可解的NAF-群.特别地,如果α和β是A的两个π′-自同构,那么(iii)当每个Ii都是有限循环群,并且I:=〈(αβ(g))(βα(g))(-1)|g∈G〉是有限群时,α和β生成的群是有限幂零π-群被有限Abelπ′-群的扩张.(iv)当每个Ii或者是有限循环群,或者是秩1的可除群,或者是C⊕D,其中C是循环群,D是秩1的可除群时,α和β生成一个可解的剩余有限π∪π′-群,它是有限生成的无挠幂零群被有限可解π∪π′-群的扩张.(v)当每个Ii或者是有限循环群,或者是秩1的可除群,或者是C⊕D,其中C是循环群,D是秩1的可除群,或者是无挠的局部循环群,或者Ii有正规子群列1JiIi,其商因子分别为有限循环群,无挠的局部循环群,或者Ii=D⊕Ji,其中D是秩1的可除群,Ji为无挠的局部循环群,或者Ii有正规列1KiJiIi,其商因子分别为有限循环群,秩1的可除群,无挠的局部循环群时,α和β生成一个可解的剩余有限π∪π′-群,它的幂零长度至多是4.当K是FC-群时,在情形(v)中,α和β生成的群是有限生成的无挠幂零群被有限可解π∪π′-群的扩张.此外,如果G=KP,K是一个FC-群,对G的下中心列考虑了类似的问题,得到了对偶的结果.     

子群的半覆盖—避开性与有限群的结构

设G是有限群,H为G的子群.如果存在一个主群列1=G_0(?)G_1(?)…(?) G_(n-1)(?)G_n=G,使得对每个i=1,2,…,n,或者H覆盖G_i/G_(i-1),或者H避开G_i/G_(i-1),则称H为G的半覆盖—避开子群.利用G的Sylow子群的极大子群,Sylow子群的2-极大子群的半覆盖—避开性得到了群的可解性,p-幂零性的判别,同时得到了群系的一些结论.     

幂零群中非正规循环子群的共轭类数

设G是有限幂零群,v~*(G)是其非正规循环子群的共轭类数,则下列结论之一成立：(1) v~*(G)≥c(G)-1；(2)G是Hamilton群；(3)G中存在正规子群K使K/Z(K)有一个同态像与二面体群D(2~n),n≥3或C_2×C_2同构．     

用极大子群刻划Sy-群

用极大子群来刻划群类已有很多结果,例如:有限群G是幂零群的充要条件是G的极大子群是正规的;有限群G为超可解群的充要条件是G的极大子群的指数为素数;有限群为循环p-群的充要条件是有唯一极大子群,等等。在这篇文章中,我们用一个极大子群条件来刻划 Sy-群(由〔2〕知道,有限群G是Y-群的充要条件是G=MN,其中M,N是G的幂零Hall子群,N=r_∞(G)是G的幂零剩余,且对任意N之子群H有G=N·N_G(H)。而Sy-群是子群封闭的Y-群)。为此,我们先讨论Y-群的极大子群的性质。     

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

本文证明了如下结果，１．设ｐ是一个素数，如果有限群Ｇ的每一非幂零的极大子群的指数都为ｐ的方幂，则Ｇ为可解群．２．如果有限群Ｇ的每一非幂零的极大子群的指数为素数幂，则Ｇ／Ｓ（Ｇ）１或ＰＳＬ（２，７），其中Ｓ（Ｇ）表示Ｇ的最大可解正规子群．     

具有p-幂零s-补子群的有限群（英文）

有限群G的子群H叫做F-s-补子群,若存在G的一个子群K使得G=HK且K/(K∩H_G)∈F,其中F是一个群类.本论文利用p-幂零s-补子群得到了关于有限群为p-幂零群的一些新成果.     

关于B_p 群

令 P 为有限群 G 的一个 p-Sylow 子群.G 叫做 B_p 群,如果 N_G(P)为 p- 幂零蕴含 G 为 p- 幂零.本文给出了内 -B_p 群的构造并证明 G 满足下列条件之一时为 B_p 群:1)p 为奇又Ω_1(P)≤Z(P);2)p=2又Ω_2(P)≤Z(P);3)G的任二相异 p-Sylow 子群的交的秩小于p,特别交为循环时;4)G的 2-Sylow 子群的导群为循环且 G 与 S_4 无关.     

无限正则p-群

对一类无限正则p-进行了研究,得到了一个正则的局部幂零P-群G如果满足|G:(?)_1(G)|<∞,那么G是幂零的且G是可除阿贝尔P-群被有限群的扩张.进而,还研究了一类无限的非正则p-群,但它的所有真商群或者真的无限子群是正则群.在假设这类群存在拟循环子群的情况下,在定理1.2和1.3给出了这类群的结构的刻画.     

Frattini子群是无限循环群的有限生成幂零群

完整地确定了Frattini子群是无限循环群的有限生成幂零群的结构,证明了下面的定理.设G是有限生成幂零群,则G的Frattini子群是无限循环群当且仅当G可以分解为G=S×F×T,其中F是秩为s的自由Abel群,T=Z_m_1⊕Zm_2⊕…⊕Z_m_u,m_1,m_2,…,m_u都是大于1的没有平方因子的自然数,m_1|m_2|…|m_u,■式中d_1,d_2,…,d_r都是正整数,d_1|d_2|…|d_r.进一步,(d_1,d2,…,d_r;s;m_1…,m_2,…,m_u)是群G的同构不变量,即若群H也是Frattini子群是无限循环群的有限生成幂零群,那么G同构于H的充要条件是它们有相同的不变量.     

无限正则p-群

对一类无限正则p-群进行了研究,得到了一个正则的局部幂零p-群G如果满足|G(Ω)1(G)|＜∞,那么G是幂零的且G是可除阿贝尔p-群被有限群的扩张.进而,还研究了一类无限的非正则p-群,但它的所有真商群或者真的无限子群是正则群.在假设这类群存在拟循环子群的情况下,在定理1.2和1.3给出了这类群的结构的刻画.     

一类无限群中局部幂零性的判定准则

设G是任意群,群G的Frattini子群Frat(G)定义为G的所有极大子群的交.类似地,群G的另外两个特征子群nFrat(G)及R(G)分别定义为群G的所有极大正规子群及群G的所有正规的极大子群的交.本文通过对Frat(G),nFrat(G)及R(G)的相互包含关系的研究,得到CF-群或中心由多重循环群的扩张群中局部幂零性的一个判定准则.同时也讨论了在某些群类中若干种广义幂零性的等价性.     

一类无限群中局部幂零性的判定准则

设G是任意群,群G的Frattini子群nat(G)定义为G的所有极大子群的交.类似地,群G的另外两个特征子群nFrat(G)及R(G)分别定义为群G的所有极大正规子群及群G的所有正规的极大子群的交.本文通过对nat(G),nnat(G)及R(G)的相互包含关系的研究,得到CF-群或中心由多重循环群的扩张群中局部幂零性的一个判定准则.同时也讨论了在某些群类中若干种广义幂零性的等价性.     

关于F-S-可补子群

设F是一个群类．群G的子群H称为在G中F-S-可补的,如果存在G的一个子群K,使得G=HK且K/K∩HG∈F,其中HG=∩g∈GHg是包含在H中的G的最大正规子群．本文利用子群的F-S-可补性,给出了有限群的可解性,超可解性和幂零性的一些新的刻画．应用这些结果,我们可以得到一系列推论,其中包括有关已知的著名结果．     

闭2-极大子群指数为素数幂的有限群

设G为有限群, 如果G的每个非2-闭极大子群的指数均为素数幂, 那么 G-S(G)≌PSL2(7)或1, 其中S(G)为G的最大可解正规子群.