On some groups whose subnormal subgroups are contranormal-free

If G is a group, a subgroup H of G is said to be contranormal in G if HG = G, where HG is the normal closure of H in G. We say that a group is contranormal-free if it does not contain proper contranormal subgroups. Obviously, a nilpotent group is contranormal-free. Conversely, if G is a finite contranormal-free group, then G is nilpotent. We study (infinite) groups whose subnormal subgroups are contranormal-free. We prove that if G is a group which contains a normal nilpotent subgroup A such that G/A is a periodic Baer group, and every subnormal subgroup of G is contranormal-free, then G is generated by subnormal nilpotent subgroups; in particular G is a Baer group. Furthermore, if G is a group which contains a normal nilpotent subgroup A such that the 0-rank of A is finite, the set Π(A) is finite, G/A is a Baer group, and every subnormal subgroup of G is contranormal-free, then G is a Baer group.