We prove that a quotient G/N of a subgroup G of Sym(n) by a nonabelian minimal normal subgroup N of G embeds into Sym(m) for some $m<n$. Furthermore, if G is transitive then we can take m ≤ 2n/5.
No takes yet. Share an insight, caveat, or question.
Derek Holt (2024) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: