給定階子群的-次正規(guī)性對群結構的影響

高百俊，張 佳，繆 龍

(1. 揚州大學數(shù)學科學學院，江蘇 揚州 225002；2. 伊犁師范學院數(shù)學與統(tǒng)計學院，新疆 伊寧 835000)

高百俊1,2，張 佳1，繆 龍1

(1. 揚州大學數(shù)學科學學院，江蘇 揚州 225002；2. 伊犁師范學院數(shù)學與統(tǒng)計學院，新疆 伊寧 835000)

文中所涉及的群均為有限群，所用術語與符號都是標準的，見文[8-9]。

1 預備知識

為方便起見，我們首先列出在后面的證明中將會用到的一些定義和結果。

引理2[9]設G是有限群，p是|G|的極小素因子。設H是群G的一個子群且|G∶H|=p，則H正規(guī)于G。

引理3[10]設G是有限群，則

引理4[8]設N是群G的可解正規(guī)子群且N≠1。若N∩Φ(G)=1，則N的Fitting子群F(N)是G的包含于N中的所極小正規(guī)子群的直積。

(iv) 對于P的任意極大子群P1，P∩B=P1∩B=Φ(P)∩B且|G∶P1B|=p。

引理7[12]如果G是一個p-超可解群且Op′(G)=1，那么G是超可解的。

2 主要結果

證明 必要性顯然。下面主要證明充分性。

(vi) 若|D|=|P|，則由引理1可知結論正確。

(vii) 若|D|=p，假設結論不真，設G為極小階反例。

故當|D|=p時，結論成立。

(viii) 若p<|D|<|P|，假設結論不真，設G為極小階反例。

綜合(vi)-(viii)可知定理1得證。

證明 必要性顯然。下面主要證明充分性。

假設結論不真，設G為極小階反例。

證明 假設結論不真，設G為極小階反例。

證明 假設結論不真，設G為極小階反例。

證明 若|D|=|P|，則由定理3可知結論成立。

若|D|=p，則由定理4可知結論成立。

考慮p<|D|<|P|，假設結論不真，設G為極小階反例。

(xi)Op′(G)=1。

事實上，若Op′(G)≠1，考慮商群G/Op′(G)，則由引理3(iii)知G/Op′(G)滿足定理條件，由G的選擇知G/Op′(G)是p-超可解的，因此G是p-超可解的，矛盾。

(xii)Op(G)≠1。

(xiii)Op(G)∩Φ(G)=1。

(xiv) 最后的矛盾。

[1] 黃裕建, 李樣明.p-冪零群的一個等價條件[J]. 中山大學學報(自然科學版), 2008, 47(5): 14-17.

[2] 郭桂容, 趙濤. 弱S-嵌入子群與有限群的超可解[J]. 中山大學學報(自然科學版), 2013, 52(4): 25-28.

[3] 何宣麗, 李樣明, 王燕鳴. 含有C*-正規(guī)子群的有限群[J]. 中山大學學報(自然科學版), 2009, 48(5): 12-15, 23.

[6]LIXH,ZHAOT.SΦ-supplementedsubgroupsoffinitegroups[J].UkrainianMathJ, 2012, 64: 92-99.

[7]LIJB,XIEFY.Oninequalitiesofsubgroupsandthestructureoffinitegroups[J].JInequalAppl, 2013, 2013(1): 427-433.

[8] 郭文彬. 群類論[M]. 北京: 科學出版社, 1997.

[9] 徐明曜. 有限群導引(上) [M]. 北京:科學出版社, 2007.

[11] 徐明曜, 黃建華, 李慧陵，等. 有限群導引(下)[M]. 北京:科學出版社, 1999.

[12]GUOW,SHUMKP,SKIBAAN.Criterionsofsupersolubilityforproductsofsupersolublegroup[J].PublMathDebrecen, 2006, 68(3/4): 433-449.

GAOBaijun1,2,ZHANGJia1,MIAOLong1

(1.SchoolofMathematicalSciences,YangzhouUniversity,Yangzhou225002,China;2.SchoolofMathematicsandStatistics,YiliNormalUniversity,Yining835000,China)

10.13471/j.cnki.acta.snus.2016.05.005

2016-02-25

國家自然科學基金資助項目(11271016)；江蘇省研究生創(chuàng)新工程資助項目(KYZZ16_0488)

高百俊(1980年生)，女；研究方向：有限群論;E-mail:dqgbj2008@163.com

O

A

0529-6579(2016)05-0027-04