IBIS primitive groups of almost simple type
A base for a permutation group \(G\) is a sequence of points whose stabilizer in \(G\) is the identity. A base is irredundant if no base point is fixed by the stabilizer of the previous points. The minimal size of a base for a permutation group \(G\) is denoted by \(b(G)\).\N\N\textit{P. J. Cameron} and \textit{D. G. Fon-Der-Flaass} [Eur. J. Comb. 16, No. 6, 537--544 (1995; Zbl 0837.05036)] proved that in a finite permutation group the following conditions are equivalent: (1) all irredundant bases have the same size, (2) the irredundant bases are invariant under re-ordering, (3) the irredundant bases are the bases of a matroid. A permutation group \(G\) satisfying these conditions is called an irredundant bases of invariant size (IBIS) group. The irredundant bases of \(G\) have size \(b(G)\).\N\N\textit{A. Lucchini} et al. [J. Comb. Theory, Ser. A 184, Article ID 105516, 17 p. (2021; Zbl 1542.20008)] proved that a primitive IBIS group is of affine type, is almost simple, or is of diagonal type. In the latter case, they gave a full description of such groups. \textit{A. Lucchini} and \textit{D. Malinin} [Commun. Algebra 52, No. 1, 457--465 (2024; Zbl 1531.20005)] made a first attempt to classify IBIS groups of affine type.\N\NThe paper under review deals with almost simple primitive IBIS groups. \textit{M. Lee} and \textit{P. Spiga} [J. Group Theory 26, No. 5, 915--930 (2023; Zbl 1522.20011)] classified the almost simple primitive IBIS groups with socle an alternating group and \textit{M. Lee} [``Primitive almost simple IBIS groups with sporadic socle, Preprint, \url{arXiv:2302.01521}] classified the almost simple primitive IBIS groups having socle a sporadic simple group.\N\NThe main result of the present paper is the following: \N\NLet \(G\) be an almost simple primitive group having socle a simple group of Lie type \(G_0\), with \(b(G) \geq 6\) when \(G_0\) is exceptional and \(b(G) \geq 5\) when \(G_0\) is classical. Then \(G\) is an IBIS group if and only if \(G\) is either \(\mathrm{SL}_{d}(2)\) or \(\mathrm{Sp}_{d}(2)\) in its natural action on the non-zero vectors of a \(d\)-dimensional vector space over the field with two elements or \(G = \mathrm{\Omega}_{d}^{\pm}(q)\) with \(d \geq 4\) and \(q \geq 4\) acting on the non-singular \(1\)-dimensional subspaces of the \(d\)-dimensional vector space over the field with \(q\) elements.\N\NThe lower bound condition on \(b(G)\) in the previous theorem comes from the use of the proved Cameron-Kantor conjecture.\N\NTable 1 of the paper contains examples of almost simple primitive IBIS groups. Some of these groups are sharply \(k\)-transitive and some of them are geometric.
- A classification of finite primitive IBIS groups with alternating socle
- A remark on the permutation representations afforded by the embeddings of \(\mathrm O^\pm_{2m}(2^f)\) in \(\mathrm{Sp}_{2m}(2^f)\).
- Base sizes for simple groups and a conjecture of Cameron
- Base sizes for sporadic simple groups.
- Bases for permutation groups and matroids
- Classical Groups, Derangements and Primes
- Explicit realization of the Dickson groups \(G_2(q)\) as Galois groups.
- Fixed point ratios in actions of finite classical groups. I.
- Fixed point ratios in actions of finite classical groups. II.
- Fixed point ratios in actions of finite classical groups. III.
- Fixed point ratios in actions of finite classical groups. IV.
- Generators of finite fields with prescribed traces
- scientific article; zbMATH DE number 1703931 (Why is no real title available?)
- scientific article; zbMATH DE number 46357 (Why is no real title available?)
- scientific article; zbMATH DE number 1261512 (Why is no real title available?)
- scientific article; zbMATH DE number 894528 (Why is no real title available?)
- scientific article; zbMATH DE number 1431691 (Why is no real title available?)
- scientific article; zbMATH DE number 278880 (Why is no real title available?)
- scientific article; zbMATH DE number 3297198 (Why is no real title available?)
- scientific article; zbMATH DE number 3086841 (Why is no real title available?)
- IBIS primitive groups of almost simple type
- IBIS soluble linear groups
- Interrelations of symplectic and orthogonal groups in characteristic two
- On base sizes for actions of finite classical groups
- On base sizes for almost simple primitive groups
- On base sizes for symmetric groups
- On relational complexity and base size of finite primitive groups
- On the cardinality of irredundant and minimal bases of finite permutation groups
- ON THE HEIGHT AND RELATIONAL COMPLEXITY OF A FINITE PERMUTATION GROUP
- Primitive permutation IBIS groups
- Random Permutations: Some Group-Theoretic Aspects
- Simple groups, permutation groups, and probability
- The 2-spaces of the standard \(E_ 6(q)\)-module
- The Inclusion Problem for Finite Primitive Permutation Groups
- The maximal factorizations of the finite simple groups and their automorphism groups
- The maximal subgroups of the low-dimensional finite classical groups.
- Treatise on permutations and algebraic equations.
- Uncoverings-by-bases for base-transitive permutation groups.
This page was built for publication: IBIS primitive groups of almost simple type
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7006258)
