Fix a positive integer $d$ and let $Γ_d$ be the class of finite groups without sections isomorphic to the alternating group $A_d$. The groups in $Γ_d$ were studied by Babai, Cameron and Pálfy in the 1980s and they determined bounds on the order of a primitive permutation group with this property, which have found a wide range of applications. Subsequently, results on the base sizes of such groups were also obtained. In this paper we replace the structural conditions on the group by restrictions on its point stabilizers, and we obtain similar, and sometimes stronger conclusions. For example, we prove that there is a linear function $f$ such that the base size of any finite primitive group with point stabilizers in $Γ_d$ is at most $f(d)$. This generalizes a recent result of the first author on primitive groups with solvable point stabilizers. For non-affine primitive groups we obtain stronger results, assuming only that stabilizers of $c$ points lie in $Γ_d$. We also show that if $G$ is any permutation group of degree $n$ whose $c$-point stabilizers lie in $Γ_d$, then $|G| \leqslant ((1+o_c(1))d/e)^{n-1}$. This asymptotically extends and improves a $d^{n-1}$ upper bound on $|G|$ obtained by Babai, Cameron and Pálfy assuming $G \in Γ_d$.
We prove that there exists a universal constant $c$ such that any finite primitive permutation group of degree $n$ with a non-trivial point stabilizer is a product of no more than $c\log n$ point stabilizers.
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.
In this paper we analyze the structure of transitive permutation groups that have trivial four point stabilizers, but some nontrivial three point stabilizer. In particular we give a complete, detailed classification when the group is simple or quasisimple. This paper is motivated by questions concerning the relationship between fixed points of automorphisms of Riemann surfaces and Weierstrass points and is a continuation of the authors' earlier work.
If $G$ is a group of permutations of a set $Ω$ and $α\in Ω$, then the {\em $α$-suborbits} of $G$ are the orbits of the stabilizer $G_α$ on $Ω$. The cardinality of an $α$-suborbit is called a {\em subdegree} of $G$. If the only $G$-invariant equivalence classes on $Ω$ are the trivial and universal relations, then $G$ is said to be a {\em primitive} group of permutations of $Ω$. In this paper we determine the structure of all primitive permutation groups whose subdegrees are bounded above by a finite cardinal number.
Let $G$ be a finite permutation group on $Ω$. An ordered sequence of elements of $Ω$, $(ω_1,\dots, ω_t)$, is an irredundant base for $G$ if the pointwise stabilizer $G_{(ω_1,\dots, ω_t)}$ is trivial and no point is fixed by the stabilizer of its predecessors. If all irredundant bases of $G$ have the same size we say that $G$ is an IBIS group. In this paper we show that if a primitive permutation group is IBIS, then it must be almost simple, of affine-type, or of diagonal type. Moreover we prove that a diagonal-type primitive permutation groups is IBIS if and only if it is isomorphic to $PSL(2,…
A linear group G on a finite vector space V, (that is, a subgroup of GL(V)) is called (1/2)-transitive if all the G-orbits on the set of nonzero vectors have the same size. We complete the classification of all the (1/2)-transitive linear groups. As a consequence we complete the determination of the finite (3/2)-transitive permutation groups -- the transitive groups for which a point-stabilizer has all its nontrivial orbits of the same size. We also determine the finite (k+1/2)-transitive permutation groups for integers k > 1.
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 $α\in Ω$. Define the rank of a permutation group, denoted $r(G),$ as the number of distinct orbits of $G_0$ in $S$ (including the trivial orbit $\{α\}$). Huppert \cite{Huppert} and Foulser \cite{Foulser} classified all finite, solvable, permutation groups of rank two and three respectively, and Foulser restricted the rank four groups to a small list of possibilities. This paper completes the classification of all groups of rank less than $5$ by expl…
Working in a theory with an integer-valued dimension on interpretable sets, we classify pseudofinite definably primitive permutation groups acting on one-dimensional sets which satisfy a version of chain condition on centralizers and on point-wise stabilizers. This generalises the classification of pseudofinite definably primitive permutation groups in supersimple theories of finite rank to supersimple theories of infinite rank.
We describe how orbital graphs can be used to improve the practical performance of many algorithms for permutation groups, including intersection and stabilizer problems. First we explain how orbital graphs can be integrated in partition backtracking, the current state of the art algorithm for many permutation group problems. We then show how our algorithms perform in practice, demonstrating improvements of several orders of magnitude for some problems.
Let $G$ be a transitive permutation group on a finite set of size at least $2$. By a well known theorem of Fein, Kantor and Schacher, $G$ contains a derangement of prime power order. In this paper, we study the finite primitive permutation groups with the extremal property that the order of every derangement is an $r$-power, for some fixed prime $r$. First we show that these groups are either almost simple or affine, and we determine all the almost simple groups with this property. We also prove that an affine group $G$ has this property if and only if every two-point stabilizer is an $r$-grou…
Let $G$ be a permutation group on a set $Ω$. A subset of $Ω$ is a base for $G$ if its pointwise stabilizer is trivial; the base size of $G$ is the minimal cardinality of a base. In this paper we initiate the study of bases for algebraic groups defined over an algebraically closed field. In particular, we calculate the base size for all primitive actions of simple algebraic groups, obtaining the precise value in almost all cases. We also introduce and study two new base measures, which arise naturally in this setting. We give an application concerning the essential dimension of simple algebraic…
Let $G$ be a permutation group on a set $Ω$ of size $t$. We say that $Λ\subseteqΩ$ is an independent set if its pointwise stabilizer is not equal to the pointwise stabilizer of any proper subset of $Λ$. We define the height of $G$ to be the maximum size of an independent set, and we denote this quantity $\mathrm{H}(G)$. In this paper we study $\mathrm{H}(G)$ for the case when $G$ is primitive. Our main result asserts that either $\mathrm{H}(G)< 9\log t$, or else $G$ is in a particular well-studied family (the "primitive large--base groups"). An immediate corollary of this result is a character…
Let $G$ be a finite permutation group on $Ω.$ An ordered sequence $(ω_1,\dots, ω_t)$ of elements of $Ω$ is an irredundant base for $G$ if the pointwise stabilizer is trivial and no point is fixed by the stabilizer of its predecessors. If all irredundant bases of $G$ have the same cardinality, $G$ is said to be an IBIS group. In this paper we give a classification of quasi-primitive soluble irreducible IBIS linear groups, and we also describe nilpotent and metacyclic IBIS linear groups and IBIS linear groups of odd order.
Let G be a permutation group, acting on a set Ωof size n. A subset B of Ω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 exist integers m and r \geq 1 such that Alt(m)^r \unlhd G \leq Sym(m) \wr Sym(r), where the action of Sym(m) is on k-element subsets of {1,...,m} and the wreath product acts with product action. In this paper we prove that if G is primitive and not large base, then either G is the Mathieu group M24 in its natural action on 24 points, or b(G) \leq \lceil \log n\rceil+1. F…
In this paper we classify all maximal subgroups M of a nearly simple primitive rank 3 group G of type L=Omega_{2m+1}(3), m > 3; acting on an L-orbit E of non-singular points of the natural module for L such that 1_P^G <=1_M^G where P is a stabilizer of a point in E. This result has an application to the study of minimal genera of algebraic curves which admit group actions.
An asymmetric coloring of a graph is a coloring of its vertices that is not preserved by any non-identity automorphism of the graph. The motion of a graph is the minimal degree of its automorphism group, i.e., the minimum number of elements displaced by any non-identity automorphism. In this paper we confirm Tom Tucker's "Infinite Motion Conjecture" that connected locally finite graphs with infinite motion admit an asymmetric 2-coloring. We infer this from the more general result that the inverse limit of a sequence of finite permutation groups with disjoint domains, viewed as a permutation gr…
The subdegrees of a transitive permutation group are the orbit lengths of a point stabilizer. For a finite primitive permutation group which is not cyclic of prime order, the largest subdegree shares a non-trivial common factor with each non-trivial subdegree. On the other hand it is possible for non-trivial subdegrees of primitive groups to be coprime, a famous example being the rank 5 action of the small Janko group on 266 points which has subdegrees of lengths 11 and 12. We prove that, for every finite primitive group, the maximal size of a set of pairwise coprime non-trivial subdegrees is …
In this paper we prove an Erdős-Ko-Rado-type theorem for intersecting sets of permutations. We show that an intersecting set of maximal size in the projective general linear group PGL(3,q), in its natural action on the points of the projective line, is either a coset of the stabilizer of a point or a coset of the stabilizer of a line.
General bounds are presented for the diameters of orbital graphs of finite affine primitive permutation groups. For example, it is proved that the orbital diameter of a finite affine primitive permutation group with a nontrivial point stabilizer $ H \leq \mathrm{GL}(V) $, where the vector space $ V $ has dimension $ d $ over the prime field, can be bounded in terms of $ d $ and $ \log |V| / \log |H| $ only. Several infinite families of affine primitive permutation groups with large orbital diameter are constructed. The results are independent from the classification of finite simple groups.
Let G be a transitive group of permutations of a finite set X, and suppose that some element of G has at most two orbits on X. We prove that any two maximal chains of groups between G and a point-stabilizer of G have the same length, and the same sequence of relative indices between consecutive groups (up to permutation). We also deduce the same conclusion when G has a transitive quasi-Hamiltonian subgroup.
For a finite group $G$, the Hurwitz space $\mathcal{H}^{in}_{r,g}(G)$ is the space of genus $g$ covers of the Riemann sphere with $r$ branch points and the monodromy group $G$. In this paper, we give a complete list of primitive genus one systems of affine type. That is, we assume that $G$ is a primitive group of affine type. Under this assumption we determine the braid orbits on the suitable Nielsen classes, which is equivalent to finding connected components in $\mathcal{H}^{in}_{r,1}(G)$. Furthermore, we give a new algorithm for computing large braid orbits on Nielsen classes. This algorith…
In this paper, we study intersecting sets in primitive and quasiprimitive permutation groups. Let $G \leqslant \mathrm{Sym}(Ω)$ be a transitive permutation group, and ${S}$ an intersecting set. Previous results show that if $G$ is either 2-transitive or a Frobenius group, then $|{S}|\leqslant|G_ω|$ (for some $ω\in Ω$). Furthermore, for some 2-transitive groups, $|{S}|=|G_ω|$ if and only if ${S}$ is a coset of a stabilizer. In this paper, we prove that these statements are far from the truth for general transitive groups. In particular, we show that in the case of primitive groups, there is eve…
