有限群及几乎次正规子群及可解性.docVIP

有限群的几乎次正规子群与可解性 摘 要：引进几乎次正规子群的概念，应用某些子群的几乎次正规性给出了有限群为可解群的若干充分条件。 关键词：几乎次正规子群 可解群 有限群 在群论中，人们常常利用有限群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是