M-群的Hall-子群是M-群的一个充分条件.pdfVIP

维普资讯 第2O卷 第6期 四川理工学院学报 (自然科学版 ) Vo1．2O。No，6 JOURNALOFSICHUANUNIVERSITYOF 2007年 l2月 SCIENCEENGINEERING(NATURALSCIENCEEDITION) Dec．2007 文章编号：1673—1549(2007)06—0036—03 M一群的Hall一子群是 M一群的一个充分条件 魏水平 ，刘仕 田 (1．四川X-Z-学院建筑工程系，四川 自贡643000；2，四川X-Z-学院数学系，四川 自贡463000) 摘 要： 群的一个著名问题， 群的Hall一子群是 一群吗?文章给出了 群的Hall一子群是 M 群的一个充分条件：如果G是 群，是G的 ff子群。如果对于任意一个 ∈，，r()，都有 士 1)r， 则 H是 ^群。 关键词 ：M．群；Hal1．子群 ；不可约特征标 中国分类号：O152 文献标识码 ：A 假如G是一个有限群。如果存~~：--／fG的子群 且 ∈IrrU，满足2(1)=l，= “，则我们称 是单项的。如果G的每一个 是单项的，我们称G是单项的，即M 一群。文献 【l】证明了M 一群是可 解的，M 一群的商群是M 一群。但是M 一群的子群不一定是M 一群。那么 一群的正规子群是M 一 群吗?EverettC，Dade在文献 2【】给出了一个例子。还有一个有趣的问题，就是 一群的Hall一子群是 一 群吗?答案是否定的，见文献 3【】或者见 HiroshiFukushima在文献 4【】中给出了 个M 群的 Hall一子群不是M 一群的例子。我们知道 一群的正规 一子群是M 一群。在这篇文章我们给出 了M 一群的Hall一子群是M 一群的一个充分条件。在证明主要定理之前，我们给出： 引理 假如G是一个有限群，且p一可解，对每一个 ∈Irr(G)，都有p~Z(1)，则G有一个正规交 换 sylowp一子群的。 证明 设G是一个极小的群，满足对每一个 ∈Irr(G)，都有p-l-z(1)，但是G是没有一个正规交 换 sylowp-子群的。 显然，YrZ(1)对于商群G／N继承，同样对于N G也如此，即P士z5I(1)，下面我们分三步进行 证明：p4-OO)。 第一步 证明 = 。 由于，对炬A，是双射，我们有 v．南 ～～)I1)南 zj()= ， ZsN= No 第二步我们证明z5I(1)I(1)。 对于g∈G，由第一步，我们有(v．，)=(v．，)=e．因而有 =已∑ + ，这里 是N j=l 的特征标或者零。由于 ( “，)G=(，．v)．v=e，我们有 “=eZ+… ，限制到正规子群N上有 收藕 日期 ：2007．04．17 作者简介 ：魏水平 (1976．)，女，山西长治人，助教，主要从事现代力学方面的研究 维普资讯 第20卷 第6期 魏水平等：M 群的Hal1子群是M．群的一个充分条件 37 eZN+．．一()Ⅳ=l，G(O)／N∑ J。 j=l 因而，在 中没有不同于 的N的任何不可约特征标，故有 =∑ J。特别的，由 j=l (1)=emO(1)。特别的有0(1)l(1)。 第三步 对每一个 ∈IrrN ，都有p-l-O(1)。 由第二步，知道v~1)iz(1)，因而p~9(1)。 如果P是G正规sylowp-子群，则对所有的 ∈，r 有 1)=1，因而P是交换的。 如果EN G。则N和G ／JV有正规交换sylowP子群的。如果D (JV)E，则G／D (JV)有 一 个正规交换sylowP子群尸／D(J