ON PRIMITIVE SHARP PERMUTATION GROUPS

From MaRDI portal





It is known that the order of a permutation group \(X\) of degree \(n\) (finite) divides \(f_{L(X)}(n)=\prod_{l\in L(X)}(n-l)\), where \(L(X)\) is the set of fixed points numbers of non-trivial permutations in \(X\). A permutation group for which \(|X|=f_{L(X)}(n)\) is called sharp. A sharply \(k\)-transitive permutation group is sharp, with \(L(X)=\{0,1,2,\dots,k-1\}\). A geometric group (i.e. a transitive group in which the stabiliser of any sequence of points acts transitively on the points it does not fix) is also sharp. The author is interested in primitive sharp groups. The known examples are \(A_7\) acting on 15 points, \(\text{AGL}_n(q)\) and \(\text{ASO}_3(q)\) with \(q\) odd, and all sharply \(k\)-transitive groups for \(k\geq 2\). The author proves that the socle of a primitive sharp permutation group is either regular or non-Abelian simple, which means that the group is either of affine or almost simple or twisted wreath type. Use of the O'Nan-Scott theorem is made in order to prove this.











This page was built for publication: ON PRIMITIVE SHARP PERMUTATION GROUPS

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4552442)