Some Characterizations of a Finite Supersolvable Group (in English)

这篇短文的第一部分给出Huppert定理：“每极大子群有质数指数的有限群为超可解”的一个不用表示轮及Gaschutz定理的证明。该证明得自 定理1 若有限群G有p^\alpha阶极小正规子群N使G/N为超可解，则或者1）G有极大子群M使G=MN,M\cap N=E,或者2）G有质数阶正规子群。 在可解时Huppert定理推广为： 定理2 设G为有限可解群。于是G为超可解当且仅当每极大子群在G内的指数不含平方因子。 单群A_5说明本定理的假设“G可解”是必要的。 本文第二部分是Mclain定理的推广： 定理3 设h=|H|的最小质因子为p_h,最大质因子为q_h，若有限群G的每子群H对其阶h恒存在指数为p_h及q_h的子群，则G为超可解。 更广泛的结论为： 定理4 有限群G为超可解当且仅当存在G的两个子群链 $G=G_0>G_1>G_2>\cdots >G_s>E$ $G=H_0>H_1>H_2>\cdots >H_s>E$ 使指数列[G_0:G_1],[G_1:G_2],\cdots,[G_s:E]为从小到大的质数，而[H_0:H_1],[H_1:H_2],\cdots,[H_s:E]为从大到小的质数。     

超可解群的概况

有限群方面的问题较多,个人了解的很少,本文仅就个人所知道的超可解群发展的近况作一个梗概的介绍. 除幂零群外,经常碰到的有限群大别为两类(单群与可解群,当然幂零群也是可解的).已知凡阶为p~aq~b形的群以及奇阶群都是可解的,所以说有限阶可解群几乎普遍地存在,因之提出这样一个问题,即在幂零群与可解群之间研究较幂零群范围广而较可解群范围窄的一类的群是有必要且有意义的.这类群现在叫超可解群.所谓G是超可解群,指的是G有一个正规群列G=G_0>G_1>G_2>…>G_(r-1)>G_r=1(即每G_i为G之正规子群,记作G_i G),使得每商群G_i/G_(i+1)为循环群.于是超可解群必具有限多个生成元,     

有限群为超可解群的充要条件

用置换条件刻画有限可解群的超可解性已有大量结果,本文的目的是给出另外一些有限可解群为超可解的充要条件。其主要结果是: 1.设G是满足置换条件的有限可解群,则G是超可解群当且仅当如下条件之一成立。 1)G的2-Sylow子群G_2的换位子群G_2′G. 2)G有正规2-补。 2.设G是有限可解群,则G超可解当且仅当G和G′均满足置换条件.     

非幂零真子群同阶类类数给定的有限群

作为Schmidt定理的推广,证明了:(1)非幂零真子群同阶类类数<3的有限群可解;(2)G为非幂零真子群同阶类类数=3的非可解群当且仅当G≌A_5或G≌SL_2(5).此外,完全分类了非平凡幂零子群同阶类类数≤5的非可解群和非平凡子群同阶类类数≤9的非可解群.     

有限超可解群的两个性质

依照Hall,M,超可解群(supersolvable group)定义如下:设群G具有一个有限的正规群列 G=G_(?)G_1(?)G_2(?)…(?)G_m=1,它的每个商群G_1/G1+1((?)=O,1,…,m-1)都是循环群,则群G称为超可解群. 本文讨论与超可解群有关的两个问题: 1 Lagrange定理的逆命题; 2 Wielandt定理的简单推广.     

有限群为超可解的充要条件

本文证明了有限群为超可解的两个充要条件,即:设 P_r 为有限群 G 之阶的最大素因数,S_r 为G 之正规 Sylew p_r—子群,则当 G/S_r 为超可解,以及 G 中存在一个指数为 P_r 的超可解子群K 时,那么 G 是超可解的;另外,又证明了把 K 为超可解这一条改为它有一切阶 p_r~i(i=1,2,…,α_r-1)的正规子群时,仍可得到 G 是超可解的。     

极大子群同阶类类数不大于2的有限群

本文证明了如下结果 1.设G是恰含两个极大子群同阶类的有限单群,则G(?)PSL(2,7)。 2.设G是有限群,若G中极大子群同阶类类数ι≤2,则|π(G)|≤3。且 (1) ι=1当且仅当G为p-群。 (2) ι=2时,有 (a) 若G可解,则|π(G)|=2; (b) 若G不可解,则π(G)={2,3,7},且其中M[N]为正规子群N与子群M的半直积,     

非正规极大子群同阶类类数=2的有限群

本文利用有限单群分类定理证明了下述定理:如果有限非可解群G恰有2个非正规极大子群同阶类,那么G/S(G)?PSL(2,7),这里S(G)表示G的最大可解正规子群。     

关于子群直积分解的一个定理

若群 G 分解为它的子群的直积,即 G=G_1×…×G_r.对于 G 的任一子群 H,是否有 H=(H∩G_1)×…×(H∩G_r)成立呢?此结论一般不成立.本文就 G 为有限群回答了这个问题,即下面的:定理.G 为有限群,G=G_1×G_2×…×G_r.则对 G 的任意子群 H,恒有 H=(H∩G_1)×(H∩G_2)×…×(H∩G_r)的充要条件是|G_1|,|G_2|,…,|G_r|两两互素.为了证明这个定理,先有     

Sylow子群的极大子群次正规的群

<正> S.Srinivasan证明若G的每个Sylow子群的极大子群皆在G中正规,则G超可解.本文从三个方面继续研究了Sylow子群的性质对群结构的影响.§1证明若存在G的正规子群N使G/N超可解且N的Sylow子群的极大子群在G中S拟正规(sqn),则G超可解.§2研究了Sylow子群的极大子群皆次正规的群G,给出了G为非超可解群(超可     

某些子群为HC-子群的有限群

群G的一个子群H称为G的HC-子群,如果存在一个G的正规子群T,使得G=HT并且H~g∩N_T(H)≤日对任意g∈G都成立.文章研究了p~2阶子群以及一般的p~k阶子群为HC-子群时有限群G的结构.给出了有限群为p-幂零群以及超可解群的一些条件.     

关于子群的两种广义正规性的注记

群 G 的一个子群 H 称为在 G 中具有半覆盖远离性,如果存在 G 的一个主群列1=G_0＜ G_1＜…＜G_1=G,使得对每一 i=1,…,l 或者 H 覆盖 G_j/G_(j-1)或者 H 远离 G_j/G_(j-1)．本文证明了予群的半覆盖远离性是子群 C-正规性和子群的覆盖远离性之推广．进一步应用极大子群和 Sylow 子群给出了有限群为可解群的一些特征．     

子群的半覆盖—避开性与有限群的结构

设G是有限群,H为G的子群.如果存在一个主群列1=G_0(?)G_1(?)…(?) G_(n-1)(?)G_n=G,使得对每个i=1,2,…,n,或者H覆盖G_i/G_(i-1),或者H避开G_i/G_(i-1),则称H为G的半覆盖—避开子群.利用G的Sylow子群的极大子群,Sylow子群的2-极大子群的半覆盖—避开性得到了群的可解性,p-幂零性的判别,同时得到了群系的一些结论.     

用极大子群刻划Sy-群

用极大子群来刻划群类已有很多结果,例如:有限群G是幂零群的充要条件是G的极大子群是正规的;有限群G为超可解群的充要条件是G的极大子群的指数为素数;有限群为循环p-群的充要条件是有唯一极大子群,等等。在这篇文章中,我们用一个极大子群条件来刻划 Sy-群(由〔2〕知道,有限群G是Y-群的充要条件是G=MN,其中M,N是G的幂零Hall子群,N=r_∞(G)是G的幂零剩余,且对任意N之子群H有G=N·N_G(H)。而Sy-群是子群封闭的Y-群)。为此,我们先讨论Y-群的极大子群的性质。     

有限群的弱正规子群与p-幂零性

研究了p2阶子群以及一般的pk阶子群为弱正规子群时有限群G的结构.给出了有限群为p-幂零群以及超可解群的一些条件.     

p-超循环嵌入子群的一个判别准则

令E是有限群G的一个正规子群,且U是所有有限超可解群的集合.E称为在G中是p-超循环嵌入的,如果E的每个pd-阶的G-主因子是循环的.G的子群H称为在G中是U-Φ-可补充的,如果存在G的一个次正规子群T,使得G=HT,且(H∩T)H_G/H_G≤Φ/(H/H_G)Z_U(G/H_G),其中Z_U(G/H_G)是商群G/H_G的U-超中心.作者证明,如果E的一些p-子群在G中是U-Φ-可补充的,那么E在G中是p-超循环嵌入的.作为应用,得到了有限群是p-超可解的若干判断准则,并且推广了一些已知的结果.     

F-S-可补的子群对有限群结构的影响

设F是一个群系.群G的一个子群H在G中F-S-可补,如果存在G的子群K,使得G=HK且K/K∩HG∈F,其中HG表示G包含在H中的最大的正规子群.本文利用群系理论研究子群的F-S-可补性对有限群结构的影响,得到如下结论:设F是子群闭的局部群系,G是有限群且GF是可解的.则G∈F的充要条件是下列条件之一:(1)G存在正规子群N使得G/N∈F且N的极小子群及4阶循环子群(p=2)均在G中F-S-可补.(2)G存在正规子群N使得G/N∈F,N的4阶循环子群在G中有F-S-补且N的极小子群皆包含在Z∞F(G)中.应用这些结论,可以得到一些推论,其中包括已知的相关结果.     

某些特殊射影线性群的特征性质(英文)

本文仅用“群的阶”与“元的阶”这两个最简单的群论概念刻划了某些特殊射影线性群,某主要结论是:定理5 设 G 是其中合数阶元的阶仅为2的方幂的有限群,3~2||G|,则 G 为下述情形之一:(1).G 为奇阶质元群,且|G|=3~n 或3~n p,其中 P 是大于2的质数,n≥2;(2).G=AB.其中 B=0(G)且为初等 Abel 3-群;A 为循环2-群或广四元数群;(3).G(?)M_9或 PSL_2(9);(4).G(?)PSL_3(4).定理9 设 G 是满足下述条件的有限群:(1).|G|的相异质因子数|π(G)|≥2+|π(1/2 (q-1))|,其中 q 为 Mersenne 质数,q>3,|π(k)|为正整数 k 的相异质因子数;(2).G 中含有1/2(q-1)阶元,且 G 中元的阶仅为异于1/2(q+3)的质数、1/2(q-1)的因子以及2的方幂;则 G(?)PSL_2(q),q 为 Mersenne 质数.定理10 设 G 是满足下述条件的有限群:(1).|π(G)|≥4;(2).除1外 G 中元的阶恰为异于7的质数,9和10;则 G(?)PSL_2(19).     

有限可分群的一个可解性定理

<正> 本文考虑的群都是有限群. 群G叫做可分的(Factorizable),如果G可以表为两个真子群A与B之积,即G=AB.子群A和B的构造对群G有怎样的影响是一个活跃的研究课题. 许多作者研究过可分群的可解性问题.本文的主要工作是证明了下面的 定理1 设群G=AB,子群A和B满足下述条件:     

关于导群幂零的群和超可解群

有限超可解群必是导群为幂零的群。关于导群幂零的群,Huppert 和 Inagaki 指出,有限群 G 的导群为幂零的充要条件是 G 为可解群,且 G 的所有 Hall 子群的导群在 G 内皆为正规(见[1])。但是有例表明,仅所有 Sylow 子群的导群皆正觇的可解群不见得是导群为幂零的群。例如,G=<α,b,c,d>,定义关系是 α~7=b~7=c~3=d~2=[α,b]=1,c~-1 αc=α~2,c~-1 bc=b~4,d~(-1)αd=b,d~(-1)bd=α,d~(-1)cd=c~(-1),这是一个2·3·7~2阶的可解群,它的所有 Sy-