On base sizes for actions of finite classical groups. (English) Zbl 1128.20005
Let \(G\) be a finite almost simple group with socle \(G_0\). A transitive action of \(G\) on a set \(\Omega\) is said to be standard if either \(G_0\) is an alternating group \(A_n\) and \(\Omega\) is an orbit of subsets or partitions of \(\{1,\dots,n\}\) (up to equivalence) or \(G\) is a classical group in a subspace action (up to equivalence). Let \(b(G)\) be the minimal size of a base for \(G\).
The main result of the paper is Theorem 1.1: Let \(G\) be a finite almost simple classical group in a faithful primitive non-standard action. Then either \(b(G)\leq 4\) or \(G=U_6(2)\), the stabilizer of a point \(\omega\in\Omega\) is \(G_\omega\cong U_4(3)\cdot 2^2\) and \(b(G)=5\).
The main result of the paper is Theorem 1.1: Let \(G\) be a finite almost simple classical group in a faithful primitive non-standard action. Then either \(b(G)\leq 4\) or \(G=U_6(2)\), the stabilizer of a point \(\omega\in\Omega\) is \(G_\omega\cong U_4(3)\cdot 2^2\) and \(b(G)=5\).
Reviewer: Wolfgang D. Knapp (Tübingen)
MSC:
20B15 | Primitive groups |
20B20 | Multiply transitive finite groups |
20G40 | Linear algebraic groups over finite fields |
20G05 | Representation theory for linear algebraic groups |