论文部分内容阅读
设U表示有限超可解群类，证明了如下的定理：令F是包含U的一个饱和群系，N是有限群G的一个正规子群使得G／N∈F假设对于N的广义Fitting子群F^＊（N）的素因数集π（F^＊（N））中每个素数p，F^＊（N）的一个Sylow p-子群Fp的所有极大子群都在Nc（Fp）中pronormal，并且（当2属于π（F^＊（N）时）F^＊（N）的一个Sylow 2-子群F2的所有2或4阶循环子群都在Nc（F2）中pronormal，则G∈F.