Delphi.science

Groups satisfying Gaschütz's complement theorem

Stefanos Aivazidis, Benjamin Sambale

arXivarxiv/2608.27579Aug 27, 2026math.GRscore 0

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.

SourceJSON

Comments and reviews

No comments yet.

Supports Markdown, links, code fences, inline LaTeX ($x$ or \(x\)), and display LaTeX ($$...$$ or \[...\]).

Drafts stay in this tab.

API

curl /api/v1/records/arxiv/2608.27579
curl -X POST /api/v1/records/arxiv/2608.27579/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2608.27579/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'