Related papers: On base sizes for primitive groups of product type

A transitive group $G$ of permutations of a set $\Omega$ is primitive if the only $G$-invariant equivalence relations on $\Omega$ are the trivial and universal relations. If $\alpha \in \Omega$, then the orbits of the stabiliser $G_\alpha$…

Let $G$ be a permutation group on a finite set $\Omega$. A subset $B \subseteq \Omega$ is a base for $G$ if the pointwise stabilizer of $B$ in $G$ is trivial. The base size of $G$, denoted $b(G)$, is the smallest size of a base. A well…

Let $G\leqslant {\rm Sym}(\Omega)$ be a finite transitive permutation group with point stabiliser $H$. A base for $G$ is a subset of $\Omega$ whose pointwise stabiliser is trivial, and the minimal cardinality of a base is called the base…

For a subgroup $L$ of the symmetric group $S_\ell$, we determine the minimal base size of $GL_d(q)\wr L$ acting on $V_d(q)^\ell$ as an imprimitive linear group. This is achieved by computing the number of orbits of $GL_d(q)$ on spanning…

Let $G$ be a finite permutation group on $\Omega$. An ordered sequence of elements of $\Omega$, $(\omega_1,\dots, \omega_t)$, is an irredundant base for $G$ if the pointwise stabilizer $G_{(\omega_1,\dots, \omega_t)}$ is trivial and no…

If $G$ is a group of permutations of a set $\Omega$ and $\alpha \in \Omega$, then the {\em $\alpha$-suborbits} of $G$ are the orbits of the stabilizer $G_\alpha$ on $\Omega$. The cardinality of an $\alpha$-suborbit is called a {\em…

Let $G$ be a finite primitive permutation group on a set $\Omega$ with nontrivial point stabilizer $G_{\alpha}$. We say that $G$ is extremely primitive if $G_{\alpha}$ acts primitively on each of its orbits in $\Omega \setminus \{\alpha\}$.…

Let $G$ be a permutation group on a set $\Omega$ of size $t$. We say that $\Lambda\subseteq\Omega$ is an independent set if its pointwise stabilizer is not equal to the pointwise stabilizer of any proper subset of $\Lambda$. We define the…

Let $G$ be a permutation group on a set $\Omega$ and recall that a base for $G$ is a subset of $\Omega$ such that its pointwise stabiliser is trivial. In a recent paper, Burness and Giudici introduced the Saxl graph of $G$, denoted…

In this paper we study finite semiprimitive permutation groups, that is, groups in which each normal subgroup is transitive or semiregular. We give bounds on the order, base size, minimal degree, fixity, and chief length of an arbitrary…

Let $G$ be a transitive permutation group on $\Omega$ with two points $\alpha, \beta\in\Omega$ such that $G_{\alpha}\cap G_{\beta}=1$. The Saxl graph $\Sigma(G)$ of the pair $(G,\Omega)$ is the graph with vertex set $\Omega$, while two…

Let $G$ be a permutation group, and denote with $\mu(G)$ and $b(G)$ its minimal degree and base size respectively. We show that for every $\varepsilon>0$, there exists a transitive permutation group $G$ of degree $n$ with \[ \mu(G)b(G) \geq…

An irredundant base of a group $G$ acting faithfully on a finite set $\Gamma$ is a sequence of points in $\Gamma$ that produces a strictly descending chain of pointwise stabiliser subgroups in $G$, terminating at the trivial subgroup.…

Let $G$ be a transitive permutation group on a set $\Omega$, and suppose $G_{\alpha}\cap G_{\beta}=1$ for some distinct $\alpha, \beta\in\Omega$. The Saxl graph $\Sigma(G)$ of $(G, \Omega)$ is defined as the graph with vertex set $\Omega$,…

The minimal base size $b(G)$ for a permutation group $G$, is a widely studied topic in the permutation group theory. Z. Halasi and K. Podoski proved that $b(G)\leq 2$ for coprime linear groups. Motivated by this result and the probabilistic…

A generating set for a finite group $G$ is said to be minimal if no proper subset generates $G$, and $m(G)$ denotes the maximal size of a minimal generating set for $G$. We prove a conjecture of Lucchini, Moscatiello and Spiga by showing…

A transitive permutation group $G$ on a finite set $\Omega$ is said to be pre-primitive if every $G$-invariant partition of $\Omega$ is the orbit partition of a subgroup of $G$. It follows that pre-primitivity and quasiprimitivity are…

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…

Let $G \leqslant {\rm Sym}(\Omega)$ be a finite transitive permutation group and recall that an element in $G$ is a derangement if it has no fixed points on $\Omega$. Let $\Delta(G)$ be the set of derangements in $G$ and define $\delta(G) =…

Let $G$ be a transitive permutation group acting on $\Omega$. In this paper, we introduce and study the parameter ${\bf m}(G)$, which denotes the size of the smallest set of points $A$ such that, for every permutation $g\in G$, $A \cap A^g$…