On embedding theorems for \({\mathfrak{X}}\)-subgroups (Q6110316)

Let \(\mathfrak{X}\) be a class of finite groups closed under subgroups, homomorphic images, and extensions. The aim of the paper under review is to study the following question (posed by H. Wielandt): Let \(G\) be a finite group. Given an \(\mathfrak{X}\)-subgroup \(K \leq G\) and a maximal \(\mathfrak{X}\)-subgroup \(H \leq G\), is it possible to detect embeddability of \(K\) in \(H\) (up to conjugacy) by their projections into the factors of a fixed subnormal series? On the one hand, the authors construct examples where \(K\) has the same projections as some subgroup of \(H\) but is not conjugate to any subgroup of \(H\) and, on the other hand, they prove that if \(K\) normalizes the projections of \(H\), then \(K\) is conjugate to a subgroup of \(H\) even in the more general case when \(H\) is a submaximal \(\mathfrak{X}\)-subgroup.