设G是有限群，M是G的极大子群．令K／N是G的一个主因子，K≤M而N（2=M，称MnN／K为M的一个CI-截，M的所有CI-截都同构．M在G中的一个完备是G的一个子......