黃瓊

（1.廣西師范學院數(shù)學與統(tǒng)計科學學院，廣西 南寧　530023；2.廣西體育運動學校，廣西 南寧　530001）

次正規(guī)子群與有限群的超可解性

黃瓊1，2

（1.廣西師范學院數(shù)學與統(tǒng)計科學學院，廣西 南寧530023；2.廣西體育運動學校，廣西 南寧530001）

通過Sylow子群的極大子群和次正規(guī)性，利用極小階反例的方法，得出群p-冪零性和超可解性的結(jié)論.本文的創(chuàng)新改進之處在于結(jié)合Sylow子群的極大子群和次正規(guī)性，研究p-冪零性和超可解性的相關(guān)結(jié)論.

可解群；次正規(guī)子群；Sylow p-子群；p-冪零群

1　引言

本文之群皆指有限群，所用術(shù)語和符號都是標準的.

上世紀30年代末，H·Wielandt從存在合成群列的群中提出了次正規(guī)子群的概念，并對次正規(guī)性進行了深入研究.近幾十年，許多群論工作者如：D.Bartels，J.C.Lennox and S.E.Stonehewer，Derek J.S Robinson，郭文彬［1］，蘇躍斌［2］，馮愛芳［3］，劉合國［4］，潘紅飛，左林，李曉華等，對這個重要子群特性進行了深入研究，得出了許多新的成果.本文對子群的次正規(guī)性進行研究，得出有限群p-冪零和超可解的結(jié)論.

2　定義及引理

定義2.1［5］設(shè)G是群，H≤G，稱H為G的次正規(guī)子群，并記作H??G，如果H在G的某個次正規(guī)群列中出現(xiàn).

定義 2.2［6］設(shè)G是有限群，P∈Sylp（G）.如果G有正規(guī)子群N，滿足N∩P=1，NP=G，則稱G為p-冪零群，而稱N為G的正規(guī)p-補.

定義2.3［7］若群G的主因子均為素數(shù)階循環(huán)群，則稱G為超可解群.

引理2.4［8］設(shè)G是群.則

（1）若H??G，M≤G，則H∩M??M；

引理2.5［9］設(shè)G是群，p是|G|的素因子且（|G|，p-1）=1.則

（1）若N是G的p階正規(guī)子群，則N含于Z（G）；

（2）若G有循環(huán)的Sylow p-子群，則G為p-冪零；

（3）若M是G的指數(shù)為p的子群，則M在G中正規(guī).

引理2.6［10］設(shè)M是群G的極大子群，P是G的正規(guī)p-子群，使得G=PM，其中p是|G|的素因子.則（1）P∩M?G；（2）若p＞2且P的極小子群在G中正規(guī)，則|G：M|=p.

3　主要結(jié)果

定理 3.1設(shè) G是群，H?G使得G/H為 p-冪零，P∈Sylp（H），其中 p∈π（G）且（|G|，p-1）=1.若P的極大子群在G中次正規(guī)，則G為p-冪零.

定理3.2設(shè)H是群G的正規(guī)子群使得G/H超可解.則G超可解當且僅當H的非循環(huán)Sylow子群的極大子群皆在G中次正規(guī).

［1］郭文彬，陳建華.有限群的次正規(guī)子群的上根［J］.揚州師院學報：自然科學版，1994，14（4）：22-24.

［2］蘇躍斌，王坤仁.次正規(guī)子群對有限群可解性的影響［J］.四川師范大學學報：自然科學版，2007，30（3）：309-312.

［3］馮愛芳，劉祖華.至多含8個非次正規(guī)子群的有限群（英文）［J］.西南師范大學學報：自然科學版，2012，37（2）：12-17.

［4］劉合國.次正規(guī)子群的虧數(shù)≤2的有限生成可解群［J］.數(shù)學年刊A輯：中文版，1996，17（1）：21-24.

［5］盧家寬，郭秀云.有限群的ss-置換子群［J］.純粹數(shù)學與應(yīng)用數(shù)學，2010，26（4）：587-596.

［6］徐明曜.有限群導引：上冊［M］.第2版.北京：科學出版社，1999.

［7］徐明曜.有限群導引：下冊［M］.第2版.北京：科學出版社，1999.

［8］黃瓊.關(guān)于有限群的次正規(guī)嵌入子群的研究［D］.南寧：廣西師范學院圖書館，2012.

［9］韋華全.子群特性與有限群結(jié)構(gòu)［D］.廣東：中山大學圖書館，2006.

［10］王麗芳，張慧芳.弱s-擬正規(guī)子群對有限群的p-冪零性的影響［J］.純粹數(shù)學與應(yīng)用數(shù)學，2011，27（1）：19-26.

［11］王麗芳.s-半置換子群對有限群的p-超可解性的影響［J］.數(shù)學研究，2009，42（4）：434-440.

［12］Derek J.S Robinson.A Course in the Theory of Groups［M］.Berlin，Heidelberg：Springer-Verlag，1982.

［13］Huppert B.Endliche Gruppen I［M］.New York：Springer-Verlag，1967.

2010 MSC:20B05

Subnormal subgroups and super solvability of finite groups

Huang Qiong1，2
（1.College of Mathematics and Statistics，Guangxi Teachers Education University，Nanning530023，China；2.Guangxi Sports School，Nanning530001，China）

The purpose of this paper is for obtaining the conclusions of group p-nilpotency and supersolvability by maximal subgroups of Sylow subgroups and subnormality and using minimal order counterexample method.The innovation and improvement of this paper is that it researches the related conclusions of group p-nilpotency and supersolvability combining maximal subgroups of Sylow subgroups and subnormality.

super solvable group，subnormal subgroup，Sylow p-subgroup，p-nilpotent group

O152.1

A

1008-5513（2016）05-0546-05

10.3969/j.issn.1008-5513.2016.05.011

2016-06-09.

國家自然科學基金（10961007，11161006）；廣西自然科學基金（0991101，0991102）.

黃瓊（1984-），碩士，助理講師，研究方向：有限群理論.