Closures of permutation groups with restricted nonabelian composition factors

Abstract

Given a permutation group $G$ on a finite set $\hat{I}\text{c◯}$, let $G^{(k)}$ denote the $k$-closure of $G$, that is, the largest permutation group on $\hat{I}\text{c◯}$ having the same orbits in the induced action on $\hat{I}{\text{c◯}}^k$ as $G$. Recall that a group is $\mathrm{Alt}(d)$-free if it does not contain a section isomorphic to the alternating group of degree $d$. Motivated by some problems in computational group theory, we prove that the $k$-closure of an $\mathrm{Alt}(d)$-free group is again $\mathrm{Alt}(d)$-free for $k\ge 4$ and $d\ge 25$.

20 pages