Let G be a finite group, and
S be a nonidentity 2-subgroup of G. Then, it is naturally conjectured that there
exists a nonidentity NG(S)-invariant subgroup of S, whose normalizer contains
all the subgroups H of G with the following properties: (α)S is a Sylow
2-subgroup of H; (β)H does not involve the symmetric group of degree four; and
(γ)CH(O2(H)) ⊆ O2(H). The purpose of this paper is to give a partial answer to this
problem.