Rank-two conjecture for groups even on maximal proper subsets

Let [m][m] and [n][n'] be the two underlying sets of sizes mm and nn, and let Γmn\Gamma_{m\oplus n} denote the group of permutations that are even on every maximal proper subset of their disjoint union. For a group GG, write rank(G)\operatorname{rank}(G) for its minimum number of generators.

Rank-two conjecture. If mn2m\geqslant n\geqslant 2 and

(m,n){(2,2),(3,3),(4,3),(4,4)},(m,n)\notin\{(2,2),(3,3),(4,3),(4,4)\},

then

rank(Γmn)=2.\operatorname{rank}(\Gamma_{m\oplus n})=2.

The conjecture is motivated by extensive GAP computations: the four excluded cases include the exceptional small cases, while the other checked examples have rank two. The claim is left open.

Sources & referencesView supporting material

Primary source

Vítor H. Fernandes, “Groups of permutations that are even on maximal proper subsets, and related monoids”, arXiv:2605.12342 (2026).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.