Related papers: IBIS primitive groups of almost simple type

The orbit dimension $\sigma(G)$ (also called the separation number or rigidity index) of a permutation group $G$ with domain $\Omega$ is the minimum cardinality of a subset $S \subseteq \Omega$ such that, for any two distinct elements…

Let $G$ be a collineation group of a thick finite generalised hexagon or generalised octagon $\Gamma$. If $G$ acts primitively on the points of $\Gamma$, then a recent result of Bamberg et al. shows that $G$ must be an almost simple group…

Let $\Omega$ be a finite set and $T(\Omega)$ be the full transformation monoid on $\Omega$. The rank of a transformation $t\in T(\Omega)$ is the natural number $|\Omega t|$. Given $A\subseteq T(\Omega)$, denote by $\langle A\rangle$ the…

An $integral$ of a group $G$ is a group $H$ whose derived group (commutator subgroup) is isomorphic to $G$. This paper discusses integrals of groups, and in particular questions about which groups have integrals and how big or small those…

For a positive integer $k$, a group $G$ is said to be totally $k$-closed if for each set $\Omega$ upon which $G$ acts faithfully, $G$ is the largest subgroup of $\mathrm{Sym}(\Omega)$ that leaves invariant each of the $G$-orbits in the…

A cover of a finite group $G$ is a family of proper subgroups of $G$ whose union is $G$, and a cover is called minimal if it is a cover of minimal cardinality. A partition of $G$ is a cover such that the intersection of any two of its…

Let $ G $ be a finite non-solvable group with a primitive irreducible character $ \chi $ that vanishes on one conjugacy class. We show that $ G $ has a homomorphic image that is either almost simple or a Frobenius group. We also classify…

We characterise the primitive 2-closed groups $G$ of rank at most four that are not the automorphism group of a graph or digraph and show that if the degree is at least 2402 then there are just two infinite families or $G\leqslant…

Problem 8.75 of the Kourovka Notebook [10], attributed to John G. Thompson, asks the following: Suppose $G$ is a finite primitive permutation group on $\Omega$, and $\alpha$, $\beta$ are distinct points of $\Omega$. Does there exist an…

We prove that if $G$ is a finite simple group which is the unit group of a ring, then $G$ is isomorphic to either (a) a cyclic group of order 2; (b) a cyclic group of prime order $2^k -1$ for some $k$; or (c) a projective special linear…

Let $G$ be a nontrivial transitive permutation group on a finite set $\Omega$. By a classical theorem of Jordan, $G$ contains a derangement, which is an element with no fixed points on $\Omega$. Given a prime divisor $r$ of $|\Omega|$, we…

The classification of the finite primitive permutation groups of rank $3$ was completed in the 1980s and this landmark achievement has found a wide range of applications. In the general transitive setting, a classical result of Higman shows…

Building on earlier papers of several authors, we establish that there exists a universal constant $c > 0$ such that the minimal base size $b(G)$ of a primitive permutation group $G$ of degree $n$ satisfies $\log |G| / \log n \leq b(G) < 45…

We prove that the group algebra $KG$ of a group $G$ over a field $K$ is primitive, provided that $G$ has a free subgroup with the same cardinality as $G$, and that $G$ satisfies the following condition $(\ast)$: for each subset $M$ of $G$…

For a finite group $G$, let $\sigma(G)$ be the number of subgroups of $G$ and $\sigma_\iota(G)$ the number of isomorphism types of subgroups of $G$. Let $L=L_r(p^e)$ denote a simple group of Lie type, rank $r$, over a field of order $p^e$…

A group $G$ of permutations of a set $\Omega$ is {\em primitive} if it acts transitively on $\Omega$, and the only $G$-invariant equivalence relations on $\Omega$ are the trivial and universal relations. A graph $\Gamma$ is {\em primitive}…

Let $p > 155$ be a prime and let $G$ be a cyclic group of order $p$. Let $S$ be a minimal zero-sum sequence with elements over $G$, i.e., the sum of elements in $S$ is zero, but no proper nontrivial subsequence of $S$ has sum zero. We call…

We find the nonabelian finite simple groups with order prime divisors not exceeding 1000. More generally, we determine the sets of nonabelian finite simple groups whose maximal order prime divisor is a fixed prime less than 1000. Our…

The orbital diameter of a primitive permutation group is the maximal diameter of its orbital graphs. There has been a lot of interest in bounds for the orbital diameter. In this paper we provide explicit bounds on the diameters of groups of…

We obtain upper bounds on the composition length of a finite permutation group in terms of the degree and the number of orbits, and analogous bounds for primitive, quasiprimitive and semiprimitive groups. Similarly, we obtain upper bounds…