Open Research Index

Generation of finite groups from subgroups of coprime index

Richie Sater

arXivarxiv/2608.12432Aug 12, 2026math.GRscore 0

Let $d(G)$ denote the least size of a generating set of a finite group $G$. We prove that if $G$ has a family $\mathcal H$ of subgroups such that $d(H)\leq d$ for every $H\in\mathcal H$ and $\gcd\{\lvert G:H\rvert:H\in\mathcal H\}=1$, then $d(G)\leq d+1$. This gives an affirmative answer to Kourovka Problem 21.87. The proof reduces a minimal counterexample to a critical crown-based power with nonabelian socle. An exact crown multiplicity formula and a uniform lower bound for conditional generation give a lower bound for the number of crown factors. A subgroup containing a Sylow $2$-subgroup…

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.12432
curl -X POST /api/v1/records/arxiv/2608.12432/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2608.12432/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'