设G为有限群,p是｜G｜的一个素因子,如果存在G的p-幂零子群B,使得Hp∈Sylp（B）,且B在群G中Mp-可补,则子群H被称为在群G中Mp-嵌入.利用Mp-......

子群H称为在群G中F-可补,若存在G的子群T,满足G=HT,并且（H∩T）HG/HG包含于G/HG的F-超中心ZF∞（G/HG）里.作者主要利用子群的F-可补性质,......