有限群中非正规子群数量一个标注.docVIP

有限群中非正规子群数量一个标注 　　摘要: ?设G是有限群，sv（G）表示G中非正规子群的个数.首先给出有限p-群的分类, 并进一步证明了对任意满足|π（G）|＞1的有限群G, 或者sv（G）=0或者sv（G）＞p.其中p是整除G阶的最小素因子.? 　　关键词: 正规子群; ?p?-群; 极小子群 　　中图分类号:O152.1 　　 文献标识码:A文章编号:1672-8513(2010)05-0360-03 　　 　　A Note on the Number of Non-Normal Subgroups in the Finite Group 　　MENG Wei?1, SHI Jiang?tao?2 　　(1.School of Mathematics and Computer Science, Yunnan University of Nationalities, Kunming 650031, China;2.School of Mathematical Sciences,Peking University, Beijing 100871,China) 　　Abstract: Let ?G? be a finite group, and ?sv(G)? denotes the number of non-normal subgroup of ?G?. This research first classifies the finite ?p?-group ?G? with ?sv(G)=p? and then proves either ?sv(G)?=0 or ?sv(G)＞P? for every finite group ?G? with ?|π（G）|＞1,? where ?p? is the smallest prime number dividing the order of ?G.? 　　Key words: normal subgroup; ?p?-group; minimal subgroup 　　 　　本文考虑的均为有限群. 在有限群论中，研究子群的数量是一个很有意义的问题.1933年，Hall［1］首先研究了素数幂阶群中子群的数量.1987年Buter 在文献［2］中给出交换群中子群的数量关系.Takegahara 在文献［3-4］中分别研究了对称群中的Frobenius 数和一般有限群中子群的数量.李世荣教授在文献［5］给出仅有2个非循环子群共轭类的有限群分类, 本文作者在文献［6］中研究了仅含有3个非循环子群共轭类的有限结构，Brandl［7］给出了仅含有1个非正规子群共轭类有限群分类.Roberta and Akbar ［8］给出了非正规子群的共轭类数量的一个限定. 另文献［9］中研究了覆盖避开子群对有限群结构的影响. 　　作为以上问题的继续，本文研究有限群中非正规子群的个数.我们用v(G)表示有限群G中非正规子群的共轭类数，sv(G)表示有限群G中非正规子群的个数.sv(G)＝0 等价于G的每个子群皆正规，即G是 ?Dedekind?-群. 由正规子群的定义我们可知不存在有限群满足sv(G)=1. 本文首先给出了满足条件sv(G)=p的有限p-群的分类，并进一步证明了对每一个满足[JB(|]?π?(G)[JB)|]＞1的有限群G，或者sv(G)=0或者sv(G)＞p（其中?π?(G)是群G阶的素因子的集合，p是整除G阶的最小素?因???）. 　　反例1 假若 p 不是整除G阶的最小素因子，本文的结论将不再成立，如在3次对称群S?3中，取p＝3，则S?3恰含有3个2阶的非正规子群. 　　本文未解释的符号和术语都是标准的.另外用?π?(G)表示整除G阶的素因子集合；Z?p表示p阶循环群［A］B表示正规子群A被非正规子群B的可列扩张. 　　1 引理 　　引理1 设G是有限群，H是G的子群，则有sv(H)≤sv(G). 　　证明 [JP3]假若N 是H的非正规子群，根据正规子群的定义知N在G也不正规，从而有sv(H)≤sv(G). 　　引理2 设G是有限群， H是G的非平凡正规子群，则sv(G/H)≤sv(G). 　　证明 假若存在子群N满足H1） 作为非正规子群共轭类的代表，则有sv(G)=G:N?G(H?1)+G:N?G(H?2)+…+G:N?G(H?2). 　　由于G=p?n,所以G:N?G(H?1)将是 p 的方幂，因而psv(G). 　　引理5 设G是有限群，p是整除G阶的最小素因子，则有或者sv(G)=0或者sv(G)≥p. 　　证明 假设G 是?Dedekind?-群，则G的所有子群皆正规，我们得到sv(G)=0.因此可以假设G不是?De