在P是群G的Sylowp-子群,其中p是|G|的一个素因子的条件下,证明G为p-幂零群当且仅当NG(P)为p-幂零群且下列条件之一成立:P的每个极大子群都在G中次正规嵌入;P的每个2-极大子群都在G中次正规嵌入.
Let P be a Sylow p-subgroup of a group G,where p is a prime divisor of the order of G.Then G is p-nilpotent if and only if NG(P) is p-nilpotent and one of the following conditions holds:(1) every maximal subgroup of P is subnormally embedded in G;(2) every 2-maximal subgroup of P is subnormally embedded in G.