王軍霞

（中國(guó)地質(zhì)大學(xué)（武漢）數(shù)理學(xué)院，湖北 武漢430074）

利用極大子群的正規(guī)指數(shù)判定有限群的可解性

王軍霞

（中國(guó)地質(zhì)大學(xué)（武漢）數(shù)理學(xué)院，湖北 武漢430074）

從幾類特殊的極大子群出發(fā)，利用極大子群的正規(guī)指數(shù)來刻劃有限群G的可解性.

有限群；極大子群；正規(guī)指數(shù)；可解性

1 引言與定義

極大子群在討論有限群的結(jié)構(gòu)中有著非常重要的作用，通過賦予有限群的極大子群一些條件，考察這些條件對(duì)群結(jié)構(gòu)的影響，在單群分類定理完成之后其研究地位更顯突出.Deskins 1959年在文獻(xiàn)［1］中提出有限群的極大子群的正規(guī)指數(shù)的概念.J.C.Beidman和A.E.Spencer在文獻(xiàn)［2］中對(duì)正規(guī)指數(shù)的性質(zhì)作了進(jìn)一步的研究，給出：若N?G，M＜·G且N≤M，則η（G／N∶M／N）＝η（G∶M）.這一結(jié)果為利用歸納法證明限群的性質(zhì)提供了理論依據(jù).N P Mukherjee，Prabir Bhattaharya在文獻(xiàn)［3］及文獻(xiàn)［4］兩文中利用正規(guī)指數(shù)對(duì)有限群的可解，p－可解，冪零，p－冪零及超可解等性質(zhì)作了廣泛的研究.

本文中從幾類特殊的極大子群出發(fā)，利用極大子群的正規(guī)指數(shù)來刻劃有限群G的可解性，得到幾個(gè)定理.

定義1.1［1］給定群G及其極大子群M（記為M＜·G）.令H／K是G的一個(gè)主因子，滿足G＝MH并且H有盡可能小的階，H／K的階叫做M在G中的正規(guī)指數(shù)，記作η（G∶M）.

定義1.2［5］設(shè)G是有限群，若G≠1，令φ（G）為G的所有極大子群的交；而若G＝1，令φ（G）＝1，稱φ（G）為G的Frattini子群或G的φ子群.

令G是一個(gè)有限群，為方便起見，我們引入下列極大子群的集合：F1（G）＝｛M｜M＜·G且M包含G的某個(gè)西洛子群的正規(guī)化子｝；F2（G）＝｛M｜M∈F1（G）且｜G∶M｜p＝1，p為｜G｜的某個(gè)固定素因子｝，其中｜G∶M｜p表示｜G∶M｜的p－部分；F3（G）＝｛M｜M為G的c－極大子群且M非冪零｝，其中M為G的c－極大子群表示｜G∶M｜為合數(shù)；F4（G）＝｛M｜M為G的c－極大子群且｜G∶M｜p＝1，p為｜G｜中最大素因子｝；F5（G）＝｛M＜·G｜｜G∶M｜≠pi，?素?cái)?shù)p，i＝1，2｝.

定義G的5個(gè)特征子群如下：φ1（G）＝∩｛M｜M∈F1（G）｝，φ2（G）＝∩｛M｜M∈F2（G）｝，φ3（G）＝∩｛M｜M∈F3（G）｝，φ4（G）＝∩｛M｜M∈F4（G）｝，φ5（G）＝∩｛M＜·G｜M∈F5（G）｝.

若F1（G）為空集，則定義φ1（G）＝G，對(duì)其他4個(gè)集合也可以同樣定義.顯然這幾個(gè)集合都包含φ（G）.文獻(xiàn)［6］指出φ1（G）冪零，φ2（G），φ5（G）可解，φ3（G）可解（見文獻(xiàn)［7］，φ4（G）亦可解（見文獻(xiàn)［8］）.

引理1.1［9］設(shè)N?G，P∈Sylp（N），則存在Gp∈Sylp（G），使得NG（Gp）?NG（P）.

引理1.2［5］設(shè)N?G，p為G的素因子，P為｜G｜的一個(gè)p－子群，則NG（P）N／N≤NG／N（PN／N），且當(dāng)（｜N｜，p）＝1時(shí)等號(hào)成立.

引理1.3［1］群G可解當(dāng)且僅當(dāng)對(duì)于G的每一個(gè)極大子群M都有η（G∶M）＝｜G∶M｜.

引理1.4［10］設(shè)G是含有冪零極大子群M的非可解群，U為M的2－補(bǔ)，則U?G，Z（U）?Z（G），G／Z（U）?G／U×U／Z（U），且G／U非可解，其中Sylow2－群均為極大子群.若Z（G）＝1，則M為G的Sylow2－群.

引理1.5［11］如果G存在核為1的極大子群，則下面3者等價(jià)：（1）G中存在一個(gè)非平凡的可解正規(guī)子群；（2）G中存在唯一極小正規(guī)子群，每一個(gè)含于F1（G）中且在G中核為1的G的極大子群，在G中的指數(shù)有一個(gè)共同的素因子；（3）G中所有核為1的極大子群在G中的指數(shù)為素?cái)?shù)方冪.

2 主要定理及其證明

定理2.1G可解當(dāng)且僅當(dāng)任意M∈F2（G）都有η（G∶M）＝｜G∶M｜成立.

定理2.1的證明 必要性由引理3知顯然.下面證明定理的充分性.

若F2（G）＝?，則令G＝φ2（G）可解，故可設(shè)F2（G）≠?.若G為非交換單群，根據(jù)題設(shè)條件對(duì)任意M∈F2（G），有η（G∶M）＝｜G｜＝｜G∶M｜成立.故M＝1，G為素?cái)?shù)階循環(huán)群，故G可解.

以下令G為非單群，令N為G的極小正規(guī)子群，考慮G／N：對(duì)任意M／N∈F2（G／N），由NG（Q）N／N≤NG／N（QN／N）≤M／N，其中Q∈Sylq（G），得NG（Q）N／N≤M／N，即NG（Q）≤M，且｜G／N∶M／N｜p＝｜G∶M｜p＝1，從而M∈F2（G），由題設(shè)η（G∶M）＝｜G∶M｜，故η（G∶M）＝η（G／N∶M／N）＝｜G／N∶M／N｜＝｜G∶M｜，再由歸納假設(shè)可得G／N可解.如果N1，N2是G中互異的兩個(gè)極小正規(guī)子群，由G／N1，G／N2可解得G＝G／N1∩N2可解.所以不妨設(shè)N為G的唯一極小正規(guī)子群.

若N≤φ1（G），由φ1（G）冪零知N可解，從而G可解.以下假設(shè)N不包含在φ1（G）中，那么存在M∈F1（G）使得G＝MN.如果｜G∶M｜p≠1，由｜N｜＝｜G∶M｜·｜M∩N｜得｜N｜p≠1.設(shè)P1∈Sylp（N），由Frattini論斷，得G＝NNG（P1）.若NG（P1）＝G，則P1正規(guī)于G.又N為唯一極小正規(guī)子群，根據(jù)P1≤N且N≤P1得P1＝N，由P1的可解性知N可解，從而G可解.故可設(shè)P1不正規(guī)于G，設(shè)存在M1使得NG（P1）≤M1＜·G，由引理1存在Gp∈Sylp（G）使得NG（Gp）≤NG（P1）≤M1，所以｜G∶M1｜p＝1，從而M1∈F2（G）.注意到G＝M1N，N為G的唯一極小正規(guī)子群，有η（G∶M1）＝｜N｜，所以η（G∶M1）p＝｜G∶M1｜p＝｜N｜p＝1與｜N｜p≠1相矛盾，所以｜G∶M｜p＝1，故M∈F2（G），由題設(shè)η（G∶M）＝｜G∶M｜＝｜N｜，而由G＝MN知M∩N＝1，而N為G中唯一極小正規(guī)子群，所以CoreM＝1，根據(jù)引理4，G中存在非平凡的可解正規(guī)子群，而N是G中唯一極小正規(guī)子群，故N可解，從而G可解.

定理2.2G可解當(dāng)且僅當(dāng)對(duì)任意M∈F3（G）都有η（G∶M）＝｜G∶M｜.

定理2.2的證明 必要性由引理3知顯然.下面只需證明充分性.

若F3（G）＝?，則令φ3（G）＝G，根據(jù)郭秀云教授的結(jié)論：G的每一個(gè)c－極大子群冪零，則G可解.所以可令F3（G）為非空集.若G為非交換單群，對(duì)于任意的M∈F3（G），由題設(shè)可知η（G∶M）＝｜G∶M｜＝｜G｜，故G為素?cái)?shù)階循環(huán)群，因而G可解.

因此以下可設(shè)G不是非交換單群.設(shè)G為極小階反例，N為G的極小正規(guī)子群.對(duì)任意的M／N∈F3（G／N），由M／N非冪零知M非冪零.又由｜G／N∶M／N｜＝｜G∶M｜知M∈F3（G），由題設(shè)η（G∶M）＝｜G∶M｜，根據(jù)η（G／N∶M／N）＝η（G∶M），得出η（G／N∶M／N）＝｜G／N∶M／N｜，由極小階反例知G／N可解.若N1，N2為G的兩個(gè)互不相同的極小正規(guī)子群，則由上面的證明知G／N1，G／N2均可解，從而G／N1∩N2可解.由N1∩N2＝1可知G可解.

所以進(jìn)一步假設(shè)N為G中的唯一極小正規(guī)子群.若N≤φ3（G），由φ3（G）可解知N可解，從而G可解，這與G為極小階反例矛盾.所以N不包含于φ3（G），從而存在G的非冪零合數(shù)極大子群M，使得N不是M的子群，從而有G＝MN且CoreM＝1，故η（G∶M）＝｜N｜＝｜G∶M｜為合數(shù).對(duì)任意L＜·G且CoreL＝1，則G＝LN，從而有η（G∶L）＝｜N｜，而｜G｜＝｜LN｜＝｜L｜｜N｜／｜L∩N｜，所以｜G∶L｜＝｜N｜／｜L∩N｜.如果｜G∶L｜＝t為素?cái)?shù)，則t＜p（p為｜G｜中最大素因子）.通過考慮G關(guān)于L的t個(gè)陪集的置換表示，并使用CoreL＝1這個(gè)事實(shí)，我們得出G的階整除t！，這與p｜｜G｜和t＜p矛盾，因此｜G∶L｜是合數(shù).

如果L為冪零極大子群，由Deskins－Jankn－Thompson定理，可設(shè)L為偶數(shù)階冪零極大子群.令U為L(zhǎng)的2′－Hall子群，若U＝1，則L為G的2－子群.如果L不是G的西洛2－群，由西洛定理，存在P∈Syl2（G）使得L＜P≤G，這與L＜·G矛盾，故L是G的西洛2－子群.又因?yàn)長(zhǎng)≤NG（L），L＜·G，CoreL＝1，所以L＝NG（L），這時(shí)｜G∶L｜＝｜G∶NG（L）｜≡1（mod2），故L中含有G中的一切2－元.令K＝〈k2＝1｜k∈G〉，故K特征于G.因?yàn)镵≤L，而N是G中唯一極小正規(guī)子群，所以N≤L，這與CoreL＝1矛盾.若U≠1，根據(jù)引理4知U?G，這時(shí)U≤L，又與CoreL＝1矛盾.因?yàn)長(zhǎng)為G的非冪零極大子群，且｜G∶L｜為合數(shù)，即L∈F3（G）.根據(jù)題設(shè)條件，η（G∶L）＝｜G∶L｜＝｜N｜，根據(jù)引理5知G中存在非平凡的可解正規(guī)子群，又N為G的唯一極小正規(guī)子群，可知N可解，從而G可解.這與G為極小階反例相矛盾，故極小階反例不存在，所以G可解.

定理2.3G可解當(dāng)且僅當(dāng)對(duì)任意M∈F4（G）都有η（G∶M）＝｜G∶M｜.

定理2.3的證明 必要性由引理3知顯然.下面只需證明充分性.

若F4（G）＝?，則G＝φ4（G）.由φ4（G）的可解性知G可解，以下考慮F4（G）≠?的情形.若G為非交換單群，則任意M∈F4（G）都有η（G∶M）＝｜G∶M｜，所以｜M｜＝1，矛盾，故G為非單群.

令N為G的一個(gè)極小正規(guī)子群，對(duì)｜G｜用歸納法.任意M∈F4（G）且N≤M，則由｜G∶M｜＝｜G／N∶M／N｜知M／N∈F4（G／N），又因?yàn)棣牵℅／N∶M／N）＝η（G∶M），所以η（G／N∶M／N）＝｜G／N∶M／N｜，由歸納假設(shè)G／N可解.再設(shè)N1，N2為G的兩個(gè)互不相同的極小正規(guī)子群，則由上面的證明知G／N1，G／N2均可解，從而G／N1∩N2也可解，由N1∩N2＝1可知G可解.

所以下面不失一般性，假設(shè)N為G的唯一極小正規(guī)子群.若N≤φ4（G），則由φ4（G）的可解性知N可解，從而G可解.若N不是φ4（G）的子群則存在M∈F4（G）使得N也不是M的子群，從而G＝MN并且有CoreM＝1，而且根據(jù)正規(guī)指數(shù)的定義知η（G∶M）＝｜N｜，所以由題設(shè)η（G∶M）＝｜G∶M｜＝｜N｜，即｜N｜p＝1.設(shè)L是G的任一滿足CoreL＝1的極大子群，則G＝LN且η（G∶L）＝｜N｜.如果｜G∶L｜＝t為素?cái)?shù)，則t＜p，通過考慮G關(guān)于L的t個(gè)陪集的置換表示，并使用CoreL＝1這個(gè)事實(shí)，我們得出G的階整除t！，這與p整除｜G｜和t＜p矛盾，因此｜G∶L｜是合數(shù).而又因?yàn)椋麲∶L｜｜｜η（G∶L｜即｜G∶L｜｜｜N｜而｜N｜p＝1，所以｜G∶L｜p＝1，從而L∈F4（G），由題設(shè)｜G∶L｜＝η（G∶L），所以｜G∶L｜＝｜N｜，故G的任一滿足核為1的極大子群在G中的指數(shù)有共同的素因子，所以G存在一個(gè)可解正規(guī)子群K，由N的唯一極小性知N≤K，從而N可解，由N和G／N的可解性知G為可解群.

定理2.4G可解當(dāng)且僅當(dāng)對(duì)于G的每個(gè)極大子群M∈F5（G），η（G∶M）等于素?cái)?shù)的方冪.

定理2.4的證明 必要性顯然.因?yàn)镚可解，則G的極大子群的指數(shù)都為素?cái)?shù)方冪.同樣因?yàn)镚可解，對(duì)于G的任意極大子群都有η（G∶M）＝｜G∶M｜，所以結(jié)論顯然成立.

下面只需證明充分性.對(duì)｜G｜用歸納法：若F5（G）＝?，即對(duì)于群G的每個(gè)極大子群的指數(shù)等于素?cái)?shù)或素?cái)?shù)的平方，應(yīng)用P Hall定理知G可解.故設(shè)F5（G）≠?.若G為單群時(shí)，則對(duì)于G的任意極大子群M∈F5（G），η（G∶M）＝｜G｜，則｜G｜為素?cái)?shù)方冪，于是G可解.故G為非單群，令N為G的極小正規(guī)子群，下證G／N可解.

若F5（G／N）＝?，G／N已可解.故假設(shè)任意M／N∈F5（G／N），則M∈F5（G）.由題設(shè)知η（G∶M）＝η（G／N∶M／N）等于素?cái)?shù)的方冪，即G／N滿足定理的條件.由歸納法知G／N可解.假設(shè)N1，N2為G的兩個(gè)互異極小正規(guī)子群，由上面的證明知G／N1，G／N2均可解，從而G／N1∩N2也可解，由N1∩N2＝1知G可解.所以可以假設(shè)N是G的唯一極小正規(guī)子群.下證N的可解性.

若N≤φ5（G），則N可解，從而G可解.否則即N不是φ5（G）的子群，即?L∈F5（G）使得N不是L的子群，則G＝NL，且CorelL＝1.于顯然有η（G∶L）＝｜N｜等于素?cái)?shù)的方冪，所以N可解，從而G可解.

［1］Deskins W E.On maximal subgroups［J］.Proc Symp Pure Math Amer Math Soc，1959（1）：100－104.

［2］Beidleman J C，Spencer A E.The normal index of maximal subgroups in finite groups［J］.Illinois J Math，1972，16：95－101.

［3］Mukherjee N P，Prabir Bhattacharya.The normal index of a finite group［J］.Pacific Journal of Mathematics，1988，132：143－149.

［4］Mukherjee N P，Prabir Bhattacharya.The normal index of a finite group［J］.Proceedings of the America Mathematics Society，1989，106（1）：173－178.

［5］徐明耀.有限群導(dǎo)引（上、下冊(cè)）［M］.第2版.北京：科學(xué)出版社，1999.

［6］Wang Yanming.C－normal of groups and its properties［J］.Journal of Algebra，1996，180（3）：954－965.

［7］Guo Xiuyun，Shum K P.Cover－avoidance properties and the strucute of finite group［J］.Journal of Pure and Applied Algebra，2000，181：297－308.

［8］Mukherjee N P，Bhattacharya P.On the interseetion of a class of maximal subgroups of a finite group［J］.Can J Math，1987，39：603－611.

［9］王品超，楊兆興.有限群的極大子群正規(guī)指數(shù)［J］.工程數(shù)學(xué)學(xué)報(bào)，1994，11（1）：42－45.

［10］Rose J S.On finite insoluble groups with nilponent maximal subgroups［J］.J Algebra，1977，48（1）：182－196.

［11］Zhao Yaoqing.On the deskins completions for maximal subgroups［J］.Communication in Algebra，2000，28（1）：375－385.

Using normal index of maximal subgroups to verdict the solvability of finite groups

WANG Junxia
（Department of Mathematics and Physice，China University of Geoscienses，Wuhan 430074，China）

The solvability of finite group was characterized by using normal index of several kinds of maximal subgroups which ware defined by the author of this paper.

finite group；maximal subgroup；normal index；the solvability

O153.1

A

1000－2375（2011）02－0221－03

2010－05－10

王軍霞（1977－），女，博士生，講師

（責(zé)任編輯 肖鏗）