Multiple transitivity except for a system of imprimitivity

Colin D. Reid
DOI: https://doi.org/10.1515/jgth-2023-0062
2024-01-19
Journal of Group Theory
Abstract:Let Ω be a set equipped with an equivalence relation ∼ ; we refer to the equivalence classes as blocks of Ω. A permutation group G ≤ Sym ⁢ ( Ω ) is k-by-block-transitive if ∼ is G-invariant, with at least k blocks, and G is transitive on the set of k-tuples of points such that no two entries lie in the same block. The action is block-faithful if the action on the set of blocks is faithful. In this article, we classify the finite block-faithful 2-by-block-transitive actions. We also show that, for k ≥ 3 , there are no finite block-faithful k-by-block-transitive actions with nontrivial blocks.
mathematics
What problem does this paper attempt to address?