有限群的几乎次正规子群与可解性

有限群的几乎次正规子群与可解性

摘要：引进几乎次正规子群的概念，应用某些子群的几乎次正规性给出了有限群为可解群的若干充分条件。

关键词：几乎次正规子群可解群有限群

在群论中，人们常常利用有限群g的子群的性质来研究原群的结构。1996年王燕鸣引进了c-正规的概念，称有限群g的子群h在g 中c-正规的，如果存在g的正规子群k，使得g=hk且h∩k≤hg。2003年张新建等减弱c-正规的条件，给出了s-正规子群的概念，称有限群g的子群h在g中s-正规的, 如果存在g的次正规子群k，使得g=hk且h∩khsg,其中hsg是包含在h中的g的最大次正规子群。2006年杨高才从另一个方面减弱了c-正规的条件，给出了几乎正规子群的概念，称有限群g的子群h在g中几乎正规，如果存在g的正规子群n，使得nh和n∩h都是g的正规子群。本文将引入一个比s-正规和几乎正规更加广泛的概念——几乎次正规，并研究某些子群具有几乎次正规性质的有限群的结构。文中的所有群皆为有限群，soc(g)表示g的基柱；h g表示h是g的正规子群；h g 表示h是g的次正规子群；h≤g表示h是g的子群;h＜g表示h是g的真子群；sylp(g)表示群g的sylowp-子群集合；表示某一素数集； (g)表示|g|的素因子的集；p,q表示素数。所用的概念和符号参考文献[4]。

1 基本概念

定义1 群g的子群h称为在g中几乎次正规，如果存在g的一个次正规子群n，使得nh和n∩h都是g的次正规子群。

注：显然s-正规子群, 几乎正规子群和次正规子群一定是几乎次正规子群。但反之不真。事实上，设g=s4为四次对称群，

h1={(1),(1,2,3),(1,3,2)}是g的几乎次正规子群，但不是g的s-正规子群，也不是g的次正规子群。h2={(1),(1,2),(3,4)}是g的几乎次正规子群，但不是g的几乎正规子群。

为了获得本文的主要结果，我们先证明下面的引理。

引理1 若群g的子群h在g中几乎次正规，

(1)k是g的子群并且h≤k,则h也k是的几乎次正规子群。

(2)t是g的正规子群且t≤h，则h/t在g/t中几乎次正规当且仅当h/t在g/t中几乎次正规。

证明 (1)h在g中几乎次正规，那么存在n g使得hn g且h ∩n g。注意到k∩n k，我们有(k∩n)h=nh∩k k且(k∩n)∩h=h ∩n k,故h是k的几乎次正规子群。

(2)h在g中几乎次正规，那么存在n g使得hn g且h∩n g。同时注意到nt/t为g/t的次正规子群，我们有(nt/t)∩(h/t)=(n ∩h)t/t g/t且(nt/t)(h/t)=nh/t g/t,即h/t在g/t中几乎次正规。反之若h/t在g/t中几乎次正规，那么存在s/t g/t使得

(s/t)(h/t)=sh/t g/t,且(s/t)∩(h/t)=s∩h/t g/t。显然

s,sh,s∩h都是g中的次正规子群，即h在g中几乎次正规。

引理2 如果群g的阶是奇数阶或为2n阶, 为奇数，则g是可解群。

引理3 (1)若n≤h≤g，且n g，则n h。

(2)若n g，且n1 g,则n1n/n g/n。

(3)若k g,p∈ (g),则对任意gp∈sylp(g)，有k∩gp∈sylp(k)。从而有h包含g的某个sylowp-子群，则k∩h包含k的某个sylowp-子群。

引理4 如果h是g的次正规子群，那么soc(g)≤ng(h)。

引理5 设g为有限群，m为g的极大子群。如果m是g的次正规子群，则m是g的正规子群并且|g:m|=p,p为素数。

证明显然m是g的正规子群。若|g:m|是合数，则g/m必有非平凡子群a/m，由此得到m＜a＜g,与题设矛盾，故有|g:m|=p。

引理 6 设g为有限群，如果g存在极大且幂零子群m，|m|为奇数，则g为可解群。

2 主要结果

定理1 设g为有限群,g的任一极大子群在g中几乎次正规，则g为可解群。

证明如果g的任一极大子群在g中指数均为素数，由文献[4]下册p59得g为超可解群，故g为可解群。

设m为g的有合数指数的极大子群，由题设知存在g的次正规子群k使得mk和m∩k均为g的次正规子群。由极大性知必有m=mk

或mk=g。若m=mk由引理5得m是g的正规子群并且|g:m|是素数，这与假设矛盾，所以mk=g，由文献[8]知g是可解群。

定理2 设g为有限群，若g的所有2-极大子群在g中几乎次正规，则g为可解群。

证明假设定理不成立，设g为极小阶反例。由定理1和引理1（1）即可得到g的任一极大子群都是可解的，故g是内可解群。设n是g的一个极小正规子群，若n＜g,则n是可解群。考虑商群g/n。由引理1（2）可知g/n满足题设条件，故g/n是可解群，因此g也是可解群。若n=g，则g是同构单群的直积，设g=n?譔1?譔2?住瓈譔k其中nii=1,2,…,k是与n同构单群，而n=g，故g

是单群。由题设条件可知，g的所有2-极大子群为1，从而g的极大子群为素数阶群。因此g的所有sylow子群均为素数阶群，由[4,第v章，定理6.2]可知g是可解群。

定理 3 设g为有限群，h为g的可解子群而且包含g的某个sylow2-子群或某个sylow2-子群的极大子群。若h在g几乎次正规，则g为可解群。

证明 h在g几乎次正规，那么存在g的次正规子群k使得hk和h∩k均为g的次正规子群。令k0=k∩h,若k0=1则k是奇数阶或2n 阶，n为奇数，由引理2得k是可解群。若k0≠1，(1)如果h包含g的某个sylow2-子群，由引理3知k0包含k的sylow2-子群，而k0是可解群并且也是k的次正规子群，故有次正规列k0 k1 … kn=k,

其中ki-1是ki的最大正规子群,而ki/ki-1是奇数阶

（i=1,2,…,n），故都是可解群，所以k也是可解群。(2)如果h包含g的某个子群sylow2-的极大子群，令p1为包含在h中的g的某个sylow2-子群的极大子群，p为包含p1的g的sylow2-子群，由引理3得p∩k为k的sylow2-子群。易知2=|p:p1|≥|p∩k:p1∩k|，从而有p1∩k包含k的某个sylow2-子群或k的某个sylow2-子群的极大子群,所以k0=h∩k包含k的某个sylow2-子群或k的某个sylow2-子群的极大子群，并且k0≤h故k0是可解群。由引理3知k0是k的次正规子群，故有次正规列k0 k1 … kl=k,其中ki-1是ki的最大正规子群, 其中ki/ki-1是奇数阶或2n阶, n为奇数（i=1,2,…, l），故都是可解群，从而k也是可解群。

由引理3知k是hk次正规子群，有次正规列k=h0 h1 h2 … hn-1 hn=hk，其中hi-1是hi的最大正规子群（i=1,2,…,n）,注意到

hk=hhn-1，我们有hn/hn-1=hk/hn-1=hhn-1/hn-1 h/h∩hn-1，即hn/hn-1为可解群。同样有hn-1=hn-1∩(hk)=(hn-1∩h)=h’k,其中h’=hn-1∩h为可解群，我们得到

hn-1/hn-2=h’k/hn-2=h’hn-2/hn-2 h’/h’∩hn-2为可解群。同理可证ki/ki-1（i=1，2，3……n）均可解群，而k也是可解群，从而得到hk是可解群。

由条件hk是g的次正规子群，同样有次正规列g0=hk g1 g2 …