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

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 1X1\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.

Sources & referencesView supporting material

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.