Related papers: Primitive groups and synchronization

Let $G \leqslant {\rm Sym}(\Omega)$ be a finite almost simple primitive permutation group, with socle $G_0$ and point stabilizer $H$. A subset of $\Omega$ is a base for $G$ if its pointwise stabilizer is trivial; the base size of $G$,…

Let G be a permutation group, acting on a set \Omega of size n. A subset B of \Omega is a base for G if the pointwise stabilizer G_(B) is trivial. Let b(G) be the minimal size of a base for G. A subgroup G of Sym(n) is large base if there…

Let $G$ be a finite permutation group acting on a set $\Omega$. An ordered sequence $(\omega_1,\ldots,\omega_\ell)$ of elements of $\Omega$ is an irredundant base for $G$ if the pointwise stabilizer of the sequence is trivial and no point…

This paper introduces the notion of orbit coherence in a permutation group. Let $G$ be a group of permutations of a set $\Omega$. Let $\pi(G)$ be the set of partitions of $\Omega$ which arise as the orbit partition of an element of $G$. The…

We classify, up to some notoriously hard cases, the rank 3 graphs which fail to meet either the Delsarte or the Hoffman bound. As a consequence, we resolve the question of separation for the corresponding rank 3 primitive groups and give…

A classification is given of rank 3 group actions which are quasiprimitive but not primitive. There are two infinite families and a finite number of individual imprimitive examples. When combined with earlier work of Bannai, Kantor,…

Let $\Gamma$ be a connected $G$-vertex-transitive graph, let $v$ be a vertex of $\Gamma$ and let $L=G_v^{\Gamma(v)}$ be the permutation group induced by the action of the vertex-stabiliser $G_v$ on the neighbourhood $\Gamma(v)$. Then…

If $G$ is a group of permutations of a set $\Omega$, then the suborbits of $G$ are the orbits of point-stabilisers $G_\alpha$ acting on $\Omega$. The cardinalities of these suborbits are the subdegrees of $G$. Every infinite primitive…

Let $G$ be a finite permutation group acting on $\Omega$. A base for $G$ is a subset $B \subseteq \Omega$ such that the pointwise stabilizer $G_{(B)}$ is the identity. The base size of $G$, denoted by $b(G)$, is the cardinality of the…

Let $G$ be a transitive normal subgroup of a permutation group $A$ of finite degree $n$. The factor group $A/G$ can be considered as a certain Galois group and one would like to bound its size. One of the results of the paper is that $|A/G|…

A retract of a graph $\Gamma$ is an induced subgraph $\Psi$ of $\Gamma$ such that there exists a homomorphism from $\Gamma$ to $\Psi$ whose restriction to $\Psi$ is the identity map. A graph is a core if it has no nontrivial retracts. In…

The spectrum $\omega(G)$ of a finite group $G$ is the set of element orders of $G$. If $\Omega$ is a non-empty subset of the set of natural numbers, $h(\Omega)$ stands for the number of isomorphism classes of finite groups $G$ with…

Suppose that $G$ is a finite, transitive, solvable permutation group acting on a set $S$ with $n$ elements. Let $G_0$ be the stabilizer of a point $\alpha \in \Omega$. Define the rank of a permutation group, denoted $r(G),$ as the number of…

The problem of describing the invariance groups of unordered relations, called briefly \emph{relation groups}, goes back to classical work by H. Wielandt. In general, the problem turned out to be hard, and so far it has been settled only…

Let $G$ be a permutation group acting on a finite set $\Omega$ of cardinality $n$. The number of orbits of the induced action of $G$ on the set $\Omega_m$ of all size $m$ subsets of $\Omega$ satisfies the trivial inequalities…

Let $\lambda=(\lambda_1,\lambda_2,...)$ be a \emph{partition} of $n$, a sequence of positive integers in non-increasing order with sum $n$. Let $\Omega:=\{1,...,n\}$. An ordered partition $P=(A_1,A_2,...)$ of $\Omega$ has \emph{type}…

Let $G$ be a finite non-regular primitive permutation group on a set $\Omega$ with point stabiliser $G_{\alpha}$. Then $G$ is said to be extremely primitive if $G_{\alpha}$ acts primitively on each of its orbits in $\Omega \setminus…

Various descending chains of subgroups of a finite permutation group can be used to define a sequence of `basic' permutation groups that are analogues of composition factors for abstract finite groups. Primitive groups have been the…

For a set $\Omega$ an unordered relation on $\Omega$ is a family R of subsets of $\Omega.$ If R is such a relation we let G(R) be the group of all permutations on $\Omega$ that preserves R, that is g belongs to G(R) if and only if x in R…

Fix a positive integer $d$ and let $\Gamma_d$ be the class of finite groups without sections isomorphic to the alternating group $A_d$. The groups in $\Gamma_d$ were studied by Babai, Cameron and P\'{a}lfy in the 1980s and they determined…