Related papers: Classifying Primitive Solvable Permutation Groups …
We study definably primitive pseudo-finite permutation groups of finite $SU$-rank. We show that if $(G,X)$ is such a permutation group, then the rank of $G$ can be bounded in terms of the rank of $X$, providing an analogue of a theorem of…
We classify all infinite primitive permutation groups possessing a finite point stabilizer, thus extending the seminal Aschbacher-O'Nan-Scott Theorem to all primitive permutation groups with finite point stabilizers.
Let $G$ be a transitive permutation group on a finite set with solvable point stabiliser and assume that the solvable radical of $G$ is trivial. In 2010, Vdovin conjectured that the base size of $G$ is at most 5. Burness proved this…
Let $G$ be a finite group admitting a coprime automorphism $\alpha$ of order $e$. Denote by $I_G(\alpha)$ the set of commutators $g^{-1}g^\alpha$, where $g\in G$, and by $[G,\alpha]$ the subgroup generated by $I_G(\alpha)$. We study the…
This is one of a series of papers which aims towards a classification of imprimitive affine groups of rank $3$. In this paper, a complete classification is given of such groups of characteristic $p$ such that the point stabilizer is not…
Let $G$ be a transitive permutation group on a finite set $\Omega$ and recall that a base for $G$ is a subset of $\Omega$ with trivial pointwise stabiliser. The base size of $G$, denoted $b(G)$, is the minimal size of a base. If $b(G)=2$…
The minimal faithful permutation degree $\mu(G)$ of a finite group $G$ is the least integer $n$ such that $G$ is isomorphic to a subgroup of the symmetric group $S_n$. If $G$ has a normal subgroup $N$ such that $\mu(G/N) > \mu(G)$, then $G$…
The minimal degree of a permutation group $G$ is defined as the minimal number of non-fixed points of a non-trivial element of $G$. In this paper we show that if $G$ is a transitive permutation group of degree $n$ having no non-trivial…
A transitive permutation group is said to be semiprimitive if each of its normal subgroups is either semiregular or transitive.The class of semiprimitive groups properly contains primitive groups, quasiprimitive groups and innately…
Suppose that a finite solvable group $G$ acts faithfully, irreducibly and quasi-primitively on a finite vector space $V$. Then $G$ has a uniquely determined normal subgroup $E$ which is a direct product of extraspecial $p$-groups for…
A group $G$ is called root graded if it has a family of subgroups $G_\alpha$ indexed by roots from a root system $\Phi$ satisfying natural conditions similar to Chevalley groups over commutative unital rings. For any such group there is a…
For a finite group $G$, we denote by $\omega(G)$ the number of $\operatorname{Aut}(G)$-orbits on $G$, and by $\operatorname{o}(G)$ the number of distinct element orders in $G$. In this paper, we are primarily concerned with the two…
Let $G$ be a finite group and $x$ be an element of $G$. Define $\textrm{Sol}_G(x)$ as the set of all $y \in G$ such that $\langle {x,y}\rangle$ is soluble. We provide an equivalent condition for the normalizer-solubilizer conjecture, namely…
For each element $u$ in a finite group $G$ define a map $\theta_u\colon G\to G$ by $\theta_u(g)=[g^{-u},g]$ and set $\Theta_G(u)=\{g\in G\mid \theta_u^n(g)=g \hbox{ for some } n>0\}$. Then $\theta_u$ induces a permutation of $\Theta_G(u)$;…
The integral group ring $\mathbb{Z} G$ of a group $G$ has only trivial central units, if the only central units of $\mathbb{Z} G$ are $\pm z$ for $z$ in the center of $G$. We show that the order of a finite solvable group $G$ with this…
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,H be closed permutation groups on an infinite set X, with H a subgroup of G. It is shown that if G and H are orbit-equivalent, that is, have the same orbits on the collection of finite subsets of X, and G is primitive but not…
We conjecture that if $G$ is a finite primitive group and if $g$ is an element of $G$, then either the element $g$ has a cycle of length equal to its order, or for some $r,m$ and $k$, the group $G\leq S_m\wr S_r$, preserving a product…
It is shown that if $G$ is a primitive permutation group on a set of size $n$, then any nilpotent quotient of $G$ has order at most $n^{\beta}$ and any solvable quotient of $G$ has order at most $n^{\alpha+1}$ where $\beta=\log 32/ \log 9$…
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…