王大山, 吳珍鳳, 孔祥智, 楊南迎

(江南大學(xué) 理學(xué)院, 江蘇 無錫 214122)

1 引言與預(yù)備知識(shí)

本文所有的群均為有限群,G總表示一個(gè)有限群, |G|表示G的階, P表示全體素?cái)?shù)的集合,π(n)為n的素因子集合,π(G)=π(|G|), |G|π表示整除|G|且素因子全在π中的最大整數(shù).

如果群G的子群H與G的任意Sylow子群P可置換, 則H稱為在G中是S-置換的[3].如果子群H與G的任意滿足(p,|H|)=1的Sylowp-子群P可置換, 則H稱為在G中是S-半置換的[4]; 如果子群H與G的任意滿足(p,|H|)=1且(|H|,|PG|)≠1的Sylowp-子群P可置換, 則H稱為在G中是τ-擬正規(guī)的[5]; 如果存在群G的正規(guī)子群T, 使得HT在G中是S-置換的, 且H∩T≤HsG, 則群G的子群H稱為在G中是S-嵌入的[6], 其中HsG是由所有含于H且在G中是S-置換的子群生成的群.如果存在G的正規(guī)子群T, 使得HT在G中是S-置換的, 且H∩T≤HτG, 則群G的子群H稱為在G中是τ-嵌入的[7], 其中HτG是由所有含于H且在G中是τ-擬正規(guī)的子群生成的群.由定義知,S-置換子群、S-半置換子群、τ-擬正規(guī)子群和S-嵌入子群都是弱τ-嵌入子群, 但文獻(xiàn)[7]中例1.3和例1.4表明反之不成立.

如果群G有一個(gè)完全Hallσ-集H, 使得對(duì)所有H∈H和所有x∈G, 均有AHx=HxA, 則群G的子群A稱為在G中是σ-置換的[1].如果群G有一個(gè)完全Hallσ-集H, 使得對(duì)所有x∈G和所有滿足σ(A)∩σ(H)=?的H∈H均有AHx=HxA, 則子群A稱為在G中是半置換的[8].設(shè)H是群G的某個(gè)完全Hallσ-集, 令

τH(A)={σi∈σ(G)σ(A)|σ(A)∩σ(HG)≠?, 其中H是G的一個(gè)Hallσi-子群, 且H∈H }.

如果對(duì)H中滿足σ(H)?τH(A)的子群H和所有x∈G, 均有AHx=HxA, 則子群A稱為在G中關(guān)于H是τσ-擬正規(guī)的； 如果A關(guān)于G的某個(gè)完全Hallσ-集H是τσ-擬正規(guī)的, 則稱子群A在G中是τσ-擬正規(guī)的[9].易見σ-置換子群和σ-半置換子群都是τσ-擬正規(guī)子群, 但文獻(xiàn)[9]中例1.2表明反之不成立.

文獻(xiàn)[1-10]利用上述概念和方法得到了一系列有限群結(jié)構(gòu)的重要結(jié)果.通過分析上述已有的結(jié)果與方法, 再結(jié)合σ-置換子群和τσ-擬正規(guī)子群的概念, 本文引入如下概念.

定義1對(duì)于群G的子群H, 如果存在G的正規(guī)子群T, 使得HT在G中是σ-置換的, 且H∩T≤HτσG, 則H稱為在G中是弱τσ-嵌入的, 其中HτσG是由所有含于H且在G中τσ-擬正規(guī)子群生成的子群.

注1如果σ是所有素?cái)?shù)集合P的一個(gè)最小劃分, 即σ={{2},{3},…}, 則弱τσ-嵌入子群即為弱τ-嵌入子群； 另一方面, 由定義1知τσ-擬正規(guī)子群也是τσ-弱嵌入的.但下列實(shí)例分別表明反之不成立.

例2令G=S4, 其中S4是4次對(duì)稱群.設(shè)H=〈(14)〉,Q=〈(123)〉, 則H和Q分別是G的一個(gè)2階子群和Sylow 3-子群, 設(shè)P是G的一個(gè)Sylow 2-子群.取σ={σ1,σ2,σ3}, 其中σ1={2},σ2={3},σ3={2,3}′, 則H={P,Q}是G的一個(gè)完全Hallσ-集.因?yàn)榇嬖贕的正規(guī)子群A4, 使得HA4=G且H∩A4=1, 所以H是G的弱τσ-嵌入子群.但H不是G的τσ-擬正規(guī)子群.事實(shí)上, 若H是G的τσ-擬正規(guī)子群, 則由σ2∈τH(H)知HQ=QH, 但經(jīng)計(jì)算知顯然HQ≠Q(mào)H, 矛盾.

本文通過研究子群的弱τσ-嵌入性, 給出有限群是σ-可解和超可解的一些新的充分條件, 其中未說明的概念和符號(hào)可參見文獻(xiàn)[11-12].

引理1[1]所有σ-可解群的子群和商群都是σ-可解的, 任意兩個(gè)σ-可解群的直積也是σ-可解的, 并且任意σ-可解群被σ-可解群的擴(kuò)張還是σ-可解群.

引理2[13]令H,R,K是群G的子群, 其中R≤K,H在G中是σ-置換的且R是G的正規(guī)子群, 則有:

1)HR/R在G/R中是σ-置換的；

2) 如果G是具有Sylow型的σ-完全群, 則H∩K在K中是σ-置換的；

3) 如果G是具有Sylow型的σ-完全群, 且K/R在G/R中是σ-置換的, 則K在G中是σ-置換的.

引理3設(shè)G是σ-完全群,A是G的一個(gè)子群, 則有:

1) 如果A是群G的一個(gè)σ-次正規(guī)子群且A是一個(gè)Π-群, 則A≤OΠ(G)[13]；

2) 如果A在G中是σ-置換的, 則A在G中是σ-次正規(guī)的[1];

3) 如果A是G的一個(gè)σ1-子群, 則A在G中是σ-置換的當(dāng)且僅當(dāng)Oσ1(G)≤NG(A)[1].

引理4[9]設(shè)G有一個(gè)完全Hallσ-集H={H1,…,Ht}, 使得G的子群H和K在G中均為關(guān)于H是τσ-擬正規(guī)的.令R是G的正規(guī)子群且H≤L≤G.則有：

1) H0={H1R/R,…,HtR/R}是G/R的一個(gè)完全Hallσ-集, 并且如果σ(H)=σ(HR/R), 則HR/R在G/R中關(guān)于H0是τσ-擬正規(guī)的；

2) 如果HK=KH且σ(H∩K)=σ(H)=σ(K), 則H∩K在G中關(guān)于H是τσ-擬正規(guī)的；

3) 如果L∩H={L∩H1,…,L∩Ht}是L的一個(gè)完全Hallσ-集, 則H在L中關(guān)于L∩H是τσ-擬正規(guī)的；

4) 如果G是具有Sylow型的σ-完全群, 則H在L中是τσ-擬正規(guī)的.

下面給出弱τσ-嵌入子群的性質(zhì).

引理5設(shè)群G是具有Sylow型的σ-完全群,H是群G的一個(gè)弱τσ-嵌入子群,U≤G且N是G的正規(guī)子群.則有：

1) 如果H≤U, 則H在U中是弱τσ-嵌入的；

2) 如果H是一個(gè)σi-子群且N≤H, 則H/N在G/N中是弱τσ-嵌入的；

3) 如果(|H|,|N|)=1, 則HN/N在G/N中是弱τσ-嵌入的.

證明： 因?yàn)镠在G中是弱τσ-嵌入的, 所以存在G的正規(guī)子群T, 使得HT在G中是σ-置換的, 且H∩T≤HτσG.

1) 因?yàn)門∩U?U且H(T∩U)=HT∩U, 由引理2中2)知,H(T∩U)在U中是σ-置換的.由引理4中4)知,H∩(T∩U)=H∩T≤HτσG≤HτσU.因此H在U中是弱τσ-嵌入的.

2) 因?yàn)門N/N?G/N且(H/N)(TN/N)=HT/N, 由引理2中1)知,HT/N在G/N中是σ-置換的.又因?yàn)棣?H)=σ(H/N)={σi}, 所以由引理4中1)知，

(H/N)∩(TN/N)=(H∩T)N/N≤HτσGN/N≤(HN/N)τσ(G/N).

因此H/N在G/N中是弱τσ-嵌入的.

3) 因?yàn)門N/N?G/N, 由引理2中1)知, (H/N)(TN/N)=HTN/N在G/N中是σ-置換的.又因?yàn)?/p>

(|N∩HT∶N∩H|,|N∩HT∶N∩T|)=(|(N∩HT)H∶H|,|(N∩HT)T∶T|)=1,

故N∩HT=(N∩H)(N∩T).由文獻(xiàn)[11]中引理1.2知,HN∩TN=(H∩T)N.顯然σ(HτσGN/N)=σ(HτσG), 故由引理4中1)知

(HN/N)∩(TN/N)=(H∩T)N/N≤HτσGN/N≤(HN/N)τσ(G/N).

因此HN/N在G/N中是弱τσ-嵌入的.

引理6[14]令H,K,N是群G的兩兩可置換的子群, 并且H是群G的Hall子群, 則N∩HK=(N∩H)(N∩K).

引理7[15]設(shè)A,B是群G的非平凡子群, 使得G≠AB, 并且對(duì)所有的x∈G, 均有ABx=BxA, 則G有一個(gè)真正規(guī)子群N, 使得A≤N或B≤N.

引理8[16]令N是群G的正規(guī)子群, 且S為G的具有下列性質(zhì)的子群:

1)N∩S≤Φ(S)； 2) (|N∩S|,|G∶S|)=1.

假設(shè)π為|N∩S|的素因子集合, 則存在N的正規(guī)子群M, 使得M∩S=1,N/M是π-群, 且|N∩S|整除|N/M|.

2 主要結(jié)果

定理1設(shè)G是具有Sylow型的σ-完全群, 且H={H1,…,Ht}是G的一個(gè)完全Hallσ-集.令|G|的最小素因子p∈σ1.如果H1是超可解的, 且H1的每個(gè)極大子群在G中均是弱τσ-嵌入的, 則G是σ-可解的.

證明： 用反證法.假設(shè)結(jié)論不成立, 設(shè)G是極小階反例, 則t>1.由Feit-Thompson定理[16]知,p=2∈π(H1).不失一般性, 對(duì)于所有i=1,2,…,t, 設(shè)Hi是一個(gè)σi-子群.

|H1R/R∶M/R|=|H1R/R∶(M∩H1)R/R|=|H1∶M∩H1|

是一個(gè)素?cái)?shù), 進(jìn)而M∩H1是H1的一個(gè)極大子群.由定理假設(shè)和引理5中3)知,M/R=(M∩H1)R/R在G/R中是弱τσ-嵌入的, 表明G/R滿足定理假設(shè).從而由G的選取知G/R是σ-可解的.又由Feit-Thompson定理知,R是可解的.因此由引理1知G是σ-可解的, 矛盾.故2)成立.

4)G有唯一的極小正規(guī)子群, 記為R.由3)知,G=RH1對(duì)于G的任意非平凡極小正規(guī)子群R都成立.因此由G/R=RH1/R?H1/(H1∩R)是σ-可解的及引理1知,G有唯一的極小正規(guī)子群, 記為R.

如果T≠1, 則R≤T.因?yàn)長(zhǎng)∩R≤L∩T≤LτσG≤L, 所以L∩R≤LτσG∩R≤L∩R, 表明L∩R=LτσG∩R.又因?yàn)?/p>

|H1∩R∶L∩R|=|(H1∩R)L∶L|=|H1∶L|,

且H1是超可解的, 所以L∩R≠1.下面令Rj是R的任意非平凡Hallσj-子群, 其中j≠1.由G=RH1知,Rj也是G的一個(gè)Hallσj-子群.設(shè)A≤LτσG, 且A在G中是τσ-擬正規(guī)的.因?yàn)?/p>

|R/N|σ1=|R|σ1/|N|σ1=|H1∩R∶H1∩N|||H1∩R∶L∩N|,

定理2設(shè)G是具有Sylow型的σ-完全群, 且H={H1,…,Ht}是G的一個(gè)完全Hallσ-集, 使得對(duì)所有i=1,2,…,t,Hi是G的超可解σi-子群.如果對(duì)任意的非循環(huán)子群Hi的每個(gè)極大子群都在G中是弱τσ-嵌入的, 則G是超可解群.

證明： 用反證法.假設(shè)結(jié)論不成立, 并設(shè)G是極小階反例.

1)G是可解的.設(shè)p是整除|G|的最小素?cái)?shù), 不妨假設(shè)p∈π(H1).如果H1是循環(huán)的, 則G的Sylowp-子群是循環(huán)的, 由文獻(xiàn)[16]中定理2.8知,G是p-冪零的, 從而G是可解的.如果H1是非循環(huán)的, 則由定理1知,G是σ-可解的.令H/K是G的任意一個(gè)主因子, 則H/K是σ-準(zhǔn)素的.不失一般性, 設(shè)H/K是一個(gè)σi-群.因?yàn)镠/K≤HiK/K?Hi/(Hi∩K), 所以H/K是超可解的, 從而是一個(gè)初等交換r-群, 其中r是素?cái)?shù).由H/K的任意性知G是可解的.故1)成立.

|HiR/R∶L/R|=|HiR/R∶(L∩Hi)R/R|=|Hi∶L∩Hi|

是一個(gè)素?cái)?shù), 從而L∩Hi是Hi的一個(gè)極大子群.根據(jù)定理假設(shè)和引理5中3)知,L/R=(L∩Hi)R/R在G/R中是弱τσ-嵌入的.表明定理假設(shè)對(duì)G/R成立.從而由G的選取知G/R是超可解的.因此2)成立.

3)R是G的唯一極小正規(guī)子群,Φ(G)=1,R=Op(G),R是一個(gè)初等交換p-群且|R|>p, 其中p是素?cái)?shù).由1)和2)直接可得3).

如果T=1, 則L在G中是σ-置換的, 由引理3知,L≤Oσ1(G)≤H1.但L是H1的極大子群, 故L=Oσ1(G)或Oσ1(G)=H1.如果L=Oσ1(G)?G, 由3)知R≤L或L=1.如果R≤L, 與L的取法矛盾.因此L=1, 從而L=Oσ1(G)=1, 進(jìn)而R=1, 矛盾.表明Oσ1(G)=H1?G.因?yàn)長(zhǎng)在G中是σ-置換的, 所以對(duì)所有i≠1, 均有LHi=HiL.故LHi∩H1=L(Hi∩H1)=L.從而Hi≤NG(L), 進(jìn)而Hi≤NG(L∩R)=NG(E).又因?yàn)镠1≤NG(E), 所以G≤NG(E), 即E?G, 從而E=1, |R|=p, 矛盾.

LτσGHi∩R=(LτσG∩R)(Hi∩R)=LτσG∩R=L∩R=E,

從而對(duì)所有i≠1均有Hi≤NG(E).又因?yàn)镠1≤NG(E), 所以E?G.從而E=1, |R|=p, 矛盾.證畢.

由定理2直接可得如下推論.

推論1[16]如果G的每個(gè)Sylow子群都是循環(huán)的, 則G是超可解的.

推論2[17]如果G的每個(gè)Sylow子群的極大子群在G中是正規(guī)的, 則G是超可解的.

推論3[17]如果G的每個(gè)Sylow子群的極大子群在G中是S-置換的, 則G是超可解的.

推論4[18]如果G的每個(gè)Sylow子群的極大子群在G中是c-正規(guī)的, 則G是超可解的.

推論5[19]如果G的每個(gè)非循環(huán)Sylow子群的極大子群在G中是S-嵌入的, 則G是超可解的.

推論6[20]設(shè)G是一個(gè)群, 如果G的每個(gè)Sylow子群的極大子群在G中是弱τ-嵌入的, 則G是超可解的.