The \(\mathcal{X}\)-series of a \(p\)-group and complements of abelian subgroups (Q6132675)

Let \(G\) be a finite \(p\)-group and let \(\mathcal{X}_{i}(G)\) be the intersection of all subgroups of \(G\) having index \(p^{i}\) in \(G\). In the paper under review, the authors study the series \(\{ \mathcal{X}_{i}(G) \}_{i}\) and prove a number of results concerning its behavior. As an application of these results, they show that if \(A\) is an abelian subgroup of \(G\) and \(A \cap \mathcal{X}_{i}(G)=\mathcal{X}_{i}(A)\), then \(A\) has a complement in \(G\). Conversely, if an arbitrary subgroup \(H\) of \(G\) has a normal complement, then \(\mathcal{X}_{i}(H) = H \cap \mathcal{X}_{i}(G)\).