Block-transitive -() designs with as socle
arXiv:2511.10095
Abstract
Let be a non-trivial block-transitive - design with $G\leq \Aut(\mathcal{D})$ and $X\unlhd G\leq \Aut(X)$, where We prove that and the parameters is or Moreover, is a - design with if .