设X是群G的非空子集，群G的子群A称为在G中X—s半置换的，如果A在G中存在一个补充T，使得对于T的任意Sylow子群L，都存在z∈X满足AT^xp=T^x......