On normal subgroups of M-groups

Abstract

The normal embedding problem of finite solvable groups into [Formula: see text]-groups was studied. It was proved that for a finite solvable group [Formula: see text], if [Formula: see text] has a special normal nilpotent Hall subgroup, then [Formula: see text] cannot be a normal subgroup of any [Formula: see text]-group; on the other hand, if [Formula: see text] has a maximal normal subgroup which is an [Formula: see text]-group, then [Formula: see text] can occur as a normal subgroup of an [Formula: see text]-group under some suitable conditions. The results generalize the normal embedding theorem on solvable minimal non-[Formula: see text]-groups to arbitrary [Formula: see text]-groups due to van der Waall, and also cover the famous counterexample given by Dade and van der Waall independently to the Dornhoff’s conjecture which states that normal subgroups of arbitrary [Formula: see text]-groups must be [Formula: see text]-groups.