Irredundant bases for soluble groups
Abstract
Let $\Delta$ be a finite set and $G$ be a subgroup of $\operatorname{Sym}(\Delta)$. An irredundant base for $G$ is a sequence of points of $\Delta$ yielding a strictly descending chain of pointwise stabilisers, terminating with the trivial group. Suppose that $G$ is primitive and soluble. We determine asymptotically tight bounds for the maximum length of an irredundant base for $G$. Moreover, we disprove a conjecture of Seress on the maximum length of an irredundant base constructed by the natural greedy algorithm, and prove Cameron's Greedy Conjecture for $|G|$ odd.
- Publication:
-
arXiv e-prints
- Pub Date:
- January 2025
- DOI:
- arXiv:
- arXiv:2501.03003
- Bibcode:
- 2025arXiv250103003B
- Keywords:
-
- Mathematics - Group Theory;
- 20B15 (Primary);
- 20D10;
- 20E15 (Secondary)