Bases of primitive linear groups.
type: Item
instance of: scholarly article
title: Bases of primitive linear groups.
zbMATH Open document ID: 1034.20001
DOI: 10.1016/S0021-8693(02)00001-7
author: Martin W. Liebeck
author: Aner Shalev
published in: Journal of Algebra
publication date: 2002-11-28T00:00:00Z
review text: Let \(G\) be a permutation group on a finite set \(\Omega\) of size \(n\). A subset of \(\Omega\) is said to be a base for \(G\) if its pointwise stabilizer in \(G\) is trivial. The minimal size of a base for \(G\) is denoted by \(b(G)\). A well known conjecture of \textit{L. Pyber} [DIMACS, Ser. Discrete Math. Theor. Comput. Sci. 11, 197-219 (1993; Zbl 0799.20005)] states that there is an absolute constant \(c\), such that if \(G\) is primitive on \(\Omega\), then \(b(G)<c\log|G|/\log n\). The results of the authors [J. Am. Math. Soc. 12, No. 2, 497-520 (1999; Zbl 0916.20003)], \textit{C. Benbenishty} (in preparation) and \textit{Á. Seress} (to appear) reduce the proof of Pyber's conjecture to the case where \(G\) is a primitive affine permutation group, i.e., \(n=p^m\) for some prime \(p\) and \(G=VH\), where \(V\cong(C_p)^m\) is an elementary Abelian subgroup of \(G\), and \(H=G_0\) is a point-stabilizer and an irreducible subgroup of \(\text{GL}(V)\cong\text{GL}_m(p)\). If \(b(H)\) denotes the minimal size of a base for the action of \(H\) on the set of vectors in \(V\), then \(b(G)=1+b(H)\), so the problem reduces to find \(b(H)\) for an irreducible subgroup \(H\) of \(\text{GL}(V)\). The following special cases of the problem have been considered: the case where \(H\) is solvable, see \textit{Á. Seress} [J. Lond. Math. Soc., II. Ser. 53, No. 2, 243-255 (1996; Zbl 0854.20004)] and that in which \(H\) is a \(p'\)-group, see \textit{D. Gluck} and \textit{K. Magaard} [J. Lond. Math. Soc., II. Ser. 58, No. 3, 603-618 (1999; Zbl 0951.20003)]. The main result of this paper is Theorem 1: If \(H\leq\text{GL}(V)\) is an irreducible, primitive linear group on \(V\), then \(b(H)\leq 18\log|G|/\log|V|+c\), where \(c\) is an absolute constant which is explicitly defined. So, Theorem 1 is a strong form of Pyber's conjecture. Theorem 1 follows from a more detailed result, Theorem 2, which describes the structure of irreducible primitive linear groups \(H\) for which \(b(H)\) …
Mathematics Subject Classification ID: 20B15
Mathematics Subject Classification ID: 20G40
Mathematics Subject Classification ID: 20C33
zbMATH DE Number: 1836698
zbMATH Keywords: finite primitive permutation groups
zbMATH Keywords: primitive linear groups
zbMATH Keywords: base sizes
zbMATH Keywords: Pyber's conjecture
zbMATH Keywords: semidirect products
zbMATH Keywords: tensor products
reviewed by: Anatoli Kondrat'ev
MaRDI profile type: Publication
cites work: Q3708174
cites work: Base Sizes and Regular Orbits for Coprime Affine Permutation Groups
cites work: Bases for primitive permutation groups and a conjecture of Babai
cites work: The local structure of finite groups of characteristic 2 type
cites work: Generators for Finite Simple Groups, with Applications to Linear Groups
cites work: Q3996618
cites work: Upper bounds for the number of conjugacy classes of a finite group
cites work: Simple groups, permutation groups, and probability
cites work: Diameters of finite simple groups: sharp bounds and applications
cites work: Small Degree Representations of Finite Chevalley Groups in Defining Characteristic
cites work: Q4273611
cites work: The Minimal Base Size of Primitive Solvable Permutation Groups
cites work: Intersections of matrix algebras and permutation representation of \(\text{PSL}(n,q)\)
cites work: Q4930353
Recommended article: On Pyber’s base size conjecture
Recommended article: Base sizes of primitive groups: bounds with explicit constants
Recommended article: Bases of primitive linear groups. II.
Recommended article: A proof of Pyber's base size conjecture
Recommended article: On the orders of doubly transitive permutation groups, elementary estimates
Recommended article: Base sizes for primitive groups with soluble stabilisers
Recommended article: Base Sizes and Regular Orbits for Coprime Affine Permutation Groups
Recommended article: Base sizes of primitive permutation groups
Recommended article: The base size of a primitive diagonal group.
Recommended article: Q4426042
description: scientific article; zbMATH DE number 1836698