On minimal degrees and base sizes of primitive permutation groups
type: Item
instance of: scholarly article
title: On minimal degrees and base sizes of primitive permutation groups
zbMATH Open document ID: 0544.20005
DOI: 10.1007/BF01193603
author: Martin W. Liebeck
published in: Archiv der Mathematik
publication date: 1984-01-01T00:00:00Z
review text: Let G be a primitive permutation group of degree n, acting on a set \(\Omega\). Then the minimal degree \(\mu(G)\) is by definition the smallest number of points moved by any non-identity element of G. Before the completion of the classification of finite simple groups, it has been proved by \textit{L. Babai} [Ann. Math., II. Ser. 113, 553-568 (1981; Zbl 0485.20002)] that \(\mu(G)>(\sqrt{n}-1)/2\) provided that the alternating group \(A_ n\) is not contained in G. The author uses the classification of finite simple groups to improve this result. This is done via considering bases of G: A subset \(\Delta\) of \(\Omega\) is called a base of G is the pointwise stabilizer of \(\Delta\) in G is the identity; let b(G) denote the minimum size of any base in G. Babai proved that \(b(G)<4\sqrt{n}\log_ 2n\) [loc. cit.]. The paper's main results are the following: Theorem. One of the following holds: (i) G is a subgroup of \(S_ m wr S_ r\) containing \((A_ m)^ r\), of degree \(n=\binom{m}{k}^ r\); (ii) \(b(G)<9\log_ 2n.\) Corollary. If G is not in case (i) of the Theorem then \(\mu(G)>n/9\log_ 2n\). The examples \(AGL(d,2)\) of degree \(2^ d\) show that there exist primitive permutation groups G not satisfying (i) such that b(G) is roughly \(\log_ 2n\). The organization of the proof is canonical: reduction to the case of a simple socle and considering all possible cases in view of the classification. The corollary then follows from the well known fact that \(b(G)\mu(G)\geq n.\)
Mathematics Subject Classification ID: 20B15
Mathematics Subject Classification ID: 20B05
Mathematics Subject Classification ID: 20B20
zbMATH DE Number: 3865543
zbMATH Keywords: minimal degree
zbMATH Keywords: classification of finite simple groups
zbMATH Keywords: base
zbMATH Keywords: primitive permutation groups
zbMATH Keywords: simple socle
MaRDI profile type: Publication
cites work: On the order of uniprimitive permutation groups
cites work: Finite Permutation Groups and Finite Simple Groups
cites work: On the Sims Conjecture and Distance Transitive Graphs
cites work: On groups with no regular orbits on the set of subsets
cites work: Minimal degree for a permutation representation of a classical group
cites work: Permutation representations of the finite classical groups of small degree or rank
cites work: On the minimal degrees of projective representations of the finite Chevalley groups
cites work: Q5512231
Recommended article: On the orders of doubly transitive permutation groups, elementary estimates
Recommended article: Base sizes of primitive permutation groups
Recommended article: Minimal degree, base size, order: selected topics on primitive permutation groups
Recommended article: Base sizes of primitive groups: bounds with explicit constants
Recommended article: On the number of fixed point free elements in a permutation group
Recommended article: Base sizes for primitive groups with soluble stabilisers
Recommended article: Q3364642
Recommended article: Q3979652
Recommended article: On the orders of primitive groups
Recommended article: Q5289105
description: scientific article; zbMATH DE number 3865543