称群G的子群A在G中是m嵌入的,若存在G的次正规子群T和{1≤G}嵌入子群C,使得G=AT且T∩A≤C≤A.利用Sylow子群的极大子群在其正规化子中的m嵌入性质,结合H子群的几乎m嵌入性质,揭示有限群的p幂零性和p超可解性.