English

Primitive permutation IBIS groups

Group Theory 2021-02-26 v1 Combinatorics

Abstract

Let GG be a finite permutation group on Ω\Omega. An ordered sequence of elements of Ω\Omega, (ω1,,ωt)(\omega_1,\dots, \omega_t), is an irredundant base for GG if the pointwise stabilizer G(ω1,,ωt)G_{(\omega_1,\dots, \omega_t)} is trivial and no point is fixed by the stabilizer of its predecessors. If all irredundant bases of GG have the same size we say that GG is an IBIS group. In this paper we show that if a primitive permutation group is IBIS, then it must be almost simple, of affine-type, or of diagonal type. Moreover we prove that a diagonal-type primitive permutation groups is IBIS if and only if it is isomorphic to PSL(2,2f)×PSL(2,2f)PSL(2,2^f)\times PSL(2,2^f) for some f2,f\geq 2, in its diagonal action of degree 2f(22f1).2^f(2^{2f}-1).

Keywords

Cite

@article{arxiv.2102.12803,
  title  = {Primitive permutation IBIS groups},
  author = {Andrea Lucchini and Marta Morigi and Mariapia Moscatiello},
  journal= {arXiv preprint arXiv:2102.12803},
  year   = {2021}
}