On the converse of Gaschütz' complement theorem (Q6095989)

Let \(G\) be a finite group, \(N\trianglelefteq G\). A subgroup \(H\leq G\) is called complement of \(N\) if \(G = HN\) and \(H\cap N = 1\) whence \(G\) is determined as \(G\cong N \rtimes H\). A theorem of Gaschütz' states that if \(N\) is an abelian normal subgroup of \(G\), \(N\leq H\leq G\), \(N\) has a complement in \(H\) and \(\gcd(|N|,|G:H|) = 1\). Then \(N\) has a complement in \(G\). The main result of the paper is a generalization of this theorem where it is shown that if all Sylow subgroups of \(N\) are abelian, then Gaschütz' theorem holds (Theorem 2). The author also provides several existence theorems for the complements. Moreover, several counterexamples which show how far these theorems can be generalized are also given.