资源描述：
《有限群的几乎次正规子群与可解性》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。
1、有限群的几乎次正规子群与可解性摘要：引进几乎次正规子群的概念，应用某些子群的几乎次正规性给出了有限群为可解群的若干充分条件。关键词：几乎次正规子群可解群有限群在群论中，人们常常利用有限群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年杨高才从另一个方面
2、减弱了c-正规的条件，给出了几乎正规子群的概念，称有限群g的子群h在g中几乎正规，如果存在g的正规子群n，使得nh和n∩h都是g的正规子群。本文将引入一个比s-正规和几乎正规更加广泛的概念——几乎次正规，并研究某些子群具有几乎次正规性质的有限群的结构。文中的所有群皆为有限群，soc(g)表示g的基柱；hg表示h是g的正规子群；hg表示h是g的次正规子群；h≤g表示h是g的子群;h＜g表示h是g的真子群；sylp(g)表示群g的sylowp-子群集合；表示某一素数集；(g)表示
3、g
4、的素因子的集；p,q表示素数。所用的概念和符号参考文献[4]。1基本概念定义1群g的
5、子群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的正规子
6、群且t≤h，则h/t在g/t中几乎次正规当且仅当h/t在g/t中几乎次正规。证明(1)h在g中几乎次正规，那么存在ng使得hng且h∩ng。注意到k∩nk，我们有(k∩n)h=nh∩kk且(k∩n)∩h=h∩nk,故h是k的几乎次正规子群。(2)h在g中几乎次正规，那么存在ng使得hng且h∩ng。同时注意到nt/t为g/t的次正规子群，我们有(nt/t)∩(h/t)=(n∩h)t/tg/t且(nt/t)(h/t)=nh/tg/t,即h/t在g/t中几乎次正规。反之若h/t在g/t中几乎次正规，那么存在s/tg/t使得(s/t)(h/t)=sh/tg/t,且(s/
7、t)∩(h/t)=s∩h/tg/t。显然s,sh,s∩h都是g中的次正规子群，即h在g中几乎次正规。引理2如果群g的阶是奇数阶或为2n阶,为奇数，则g是可解群。引理3(1)若n≤h≤g，且ng，则nh。(2)若ng，且n1g,则n1n/ng/n。(3)若kg,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的正规子群并且
8、g:m
9、=p,
10、p为素数。证明显然m是g的正规子群。若
11、g:m
12、是合数，则g/m必有非平凡子群a/m，由此得到m＜a＜g,与题设矛盾，故有
13、g:m
14、=p。引理6设g为有限群，如果g存在极大且幂零子群m，
15、m
16、为奇数，则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的正规子群并且
17、g:m
18、是
19、素数，这与假设矛盾，所以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的极大子
20、群为素数阶
