Groups satisfying Gaschütz's complement theorem

Abstract

A classical theorem of Gaschütz states that an abelian normal subgroup N of a finite group G has a complement in G whenever it has a complement in some subgroup H with $N\le H\le G$ and gcd(|N|, [G:H]) = 1. We characterize the finite groups N for which this theorem remains valid without the abelian hypothesis: this is the case if and only if $Z(N)\cap N^{\prime }=1$ and N has a complement in a quotient of the holomorph Hol(N) by a diagonal copy of N'. This completes a previous paper by the second author.

7 pages