有限群的极大且正规子群的交

设Ｇ是有限群，ψ（Ｇ）是Ｇ的极大且正规子群的交。讨论了ψ（Ｇ）的一些性质，并得到了一个正规π－补定理。设ψ（Ｇ）是有限群Ｇ的极大且正规子群的交，则ψ（Ｇ）是Ｇ的所有正规非生成元集合；设π是素数集，Ｈ是Ｇ的幂零Ｈａｌｌπ－子群。则Ｇ有正规π－补当且仅当Ｈ∩ψ（Ｇ）＝Φ（Ｈ）。其中Φ（Ｈ）为Ｈ的Ｆｒａｔｔｉｎｉ子群。