{"id":"arxiv/2608.27579","url":"https://arxiv.org/abs/2608.27579","tags":["math.GR"],"score":0,"title":"Groups satisfying Gaschütz's complement theorem","domain":"math.GR","source":"arxiv","authors":["Stefanos Aivazidis","Benjamin Sambale"],"reviews":0,"subject":"math.GR","summary":"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 \\leq H \\leq 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' = 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.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-27","reactions":{}}