Conjecture on forbidden intervals of irredundant-base cardinalities for primitive groups

About 3 years old · traced to

Let I(G,Ω)\mathcal{I}(G,\Omega) denote the set of cardinalities of irredundant bases of a permutation group GG on Ω\Omega. Forbidden-interval conjecture. There exists an interval XX of positive integers, with 1∉X1\notin X, such that no primitive permutation group GG on Ω\Omega satisfies

X=I(G,Ω).X=\mathcal{I}(G,\Omega).

This conjecture asserts that at least one interval excluding 11 cannot arise as the set of irredundant-base cardinalities of a primitive permutation group. The source presents it as an open question motivated by the lack of a stronger realization conjecture for all such intervals.

References

Primary source

Francesca Dalla Volta, Fabio Mastrogiacomo and Pablo Spiga, “On the cardinality of irredundant and minimal bases of finite permutation groups”, arXiv:2311.04489 (2023).

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.