The family-stabiliser tree conjecture
Family-stabiliser tree conjecture. The inequality cdFG⩽1\operatorname{cd}_{\mathcal{F}}G\leqslant 1cdFG⩽1 holds if and only if GGG acts on a tree whose stabilisers generate F\mathcal{F}F.