弱s-置换性传递的有限群.pdfVIP

2009年12月 纯粹数学与应用数学 Dec．2009 第25卷 第4期 PureandAppliedMathematics V_0I_25No．4 弱s一置换性传递的有限群 郭鹏飞 ，一，郭秀云 (1．上海大学数学系，上海 200444；2．连云港师范高等专科学校数学系，江苏 连云港 222006) 摘要：群G被称为弱8．置换性传递的群，对于它的子群日和 ，若日在 中弱8置换， 在G中ms一置换，则H在G中ms一置换．本文给 出ms一置换性、弱s一补性传递的可解群 的结构以及每一子群在G中弱8一置换、弱8一补的群的结构． 关键词：弱8一置换子群；弱8一补子群；传递性；超可解 中图分类号：O152．1 文献标识码：A 文章编号：1008—5513(2009)04-0649—05 1 引言 本文所指的群均为有限群，所用符号都是标准的，主要取 自文 1【】． 文 1『1中的Dedekind和Bare确定出每一子群 皆正规的群的结构，并称之为Dedekind群． 群G为Dedekind群当且仅当G或者为交换群，或者G=Q8×A×B成立(其中Q8是8阶四元素群， A是奇阶交换群，B是方次数为1或2的交换群)．后来，文[2]确定出群G的每一子群均在G中拟正 规的群的结构．近来，文f31确定出每一子群 皆c．正规的群的结构． Dedekind群是满足正规性传递的群(若日是 的正规子群， 是G的正规子群，则日是G的 正规子群)．但对于一般的群而言，这种性质是不成立的．那么，满足正规性传递的群的结构就 是人们感兴趣的问题，这就是所谓的 群．Gaschfitz、Zacher、Agrawa1分别给出可解 群、 可解P 群(拟正规性传递)、可解SP 群(s一拟正规性传递)的结构．群G是一个可解 群(可 解P 群、可解SP 群)的充要条件是G有一个奇阶正规交换的Hau子群日使得G／H是一 个Dedekind群(模幂零群、幂零群)，并且G的每个元素在日上诱导一个幂 自同构．文3【1证明 了：群G为可解c-iE规性传递的充要条件是G存在一个幂零正规子群日使得G／H为初等交换群， 且G的每个元素在日上诱导一个幂 自同构． 弱8一置换性、弱s补性都是c．正规性的推广，因此，本文考虑：每一子群在G中分别弱s一置 换、弱8一补时G的结构，并且确定出：弱8一置换性、弱s一补性传递的可解群的结构．另外，这些结 构之间是否存在联系我们也进行了研究． 2 基本概念和引理 定义 2．14[】群G的子群日被称为G的弱8一置换子群(弱8一补子群)，若存在G的一个次正规子 群(子群)Ⅳ，使得HⅣ=GRHnN 置G，其中风G是包含于日的群G的所有8一拟正规子群生 成的群． 收稿 日期：2008-05-11． 基金项目：国家自然科学基金(1077l132)，SGRC(GZ310)，江苏省高校 青“蓝：r-~t资助项目(2006) 作者简介：郭鹏飞(1972．)，博士，副教授，研究方向：群论． 650 纯粹数学与应用数学 第25卷 定义 2．2 群G被称为弱s一置换性(弱8．补性)传递的群，对于它的子群日， ，若日在 中 弱s置换(弱sI卒)，K在G中弱s一置换(弱s一补)，则日在G中弱s．置换(弱s一补)． 引理 2．1[41 设G为一个群且HKG．则 (1)若日是G的s一拟正规子群，则日是G的弱s一置换子群； (2)设H G，则 是G的弱s一置换子群(弱s一补子群)当且仅当1,：／1-i是a／i-t的弱s．置换子 群(弱s一补子群1； (3)若日是G的弱s一置换子群(弱s一补子群)，则日是 的弱8．置换子群(弱s一补子群)； (4)设H C-~t(IHI，IEI)=1．若日是G的弱s一置换子群(弱s一补子群)，~,U／／E／H是c／zI的 弱s一置换子群f弱s一补子群)． 引理 2．2s【] 设G是一个群．则G是可解群的充要条件是G的每个极大子群都是G的c-正规 子群． 引理 2．3 设G为一个群，H G且 (日