Product of nilpotent subgroups (Q1568642)

It is well-known that a product of two nilpotent subgroups of a finite group is not nilpotent in general even if one of the factors is normal. However, this product is always soluble by a celebrated theorem of Kegel and Wielandt. In this paper, the authors introduce an interesting subgroup embedding property and prove some nice results with this property. A subgroup \(X\) satisfies property \(C\) in \(G\) if \(C_G(X\cap X^g)\leq X\cap X^g\) for all \(g\in G\). They prove that if \(X\) is a nilpotent subgroup of \(G\) satisfying property \(C\), then \(XF(G)\) is nilpotent. Moreover, if \(X\) is maximal as nilpotent subgroup and \(X\) has property \(C\), then \(X\) is a nilpotent injector. The converse also holds in \(N\)-constrained groups, that is, groups \(G\) satisfying \(C_G(F(G))\leq F(G)\). They finish the paper by proving a characterization of \(N\)-constrained groups by means of property \(C\) using the classification of finite simple groups.