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

有限超可解群必是导群为幂零的群。关于导群幂零的群,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-