On the orders of primitive groups

We give a new characterization of primitive permutation groups tied to the notion of completely reachable automata. Also, we introduce sync-maximal permutation groups tied to the state complexity of the set of synchronizing words of certain associated automata and show that they are contained between the 2-homogeneous and the primitive groups. Lastly, we define k-reachable groups in analogy with synchronizing groups and motivated by our characterization of primitive permutation groups. But the results show that a k-reachable permutation group of degree n with \(6 \le k \le n - 6\) is either the alternating or the symmetric group.

In [J. Algeb. Combin.19(2004), 123–141], Du et al. classified the orientable regular embeddings of connected simple graphs of order pq for any two primes p and q. In this paper, we shall classify the nonorientable regular embeddings of these graphs, where p ≠ q. Our classification depends on the classification of primitive permutation groups of degree p and degree pq but is independent of the classification of the arc-transitive graphs of order pq.

This is the first in a series of papers whose results imply the validity of a strengthened version of the Sims conjecture on finite primitive permutation groups from the authors’ article “Stabilizers of graph’s vertices and a strengthened version of the Sims conjecture”, Dokl. Math. 59 (1), 113–115 (1999). In this paper, the case of not almost simple primitive groups and the case of primitive groups with alternating socle are considered.

Primitive permutation groups with a solvable 2-transitive subconstituent

First we define and study the exponentiation of a cellular algebra by a permutation group which is analogous to the corresponding operation (the wreath product in primitive action) in permutation group theory. Necessary and sufficient conditions for the resulting cellular algebra to be primitive and Schurian are given. This enables us to construct infinite series of primitive non-Schurian algebras. Also we define and study for cellular algebras the notion of a base which is similar to that for permutation groups. We present an upper bound for the size of an irredundant base of a primitive cellular algebra in terms of the parameters of its standard representation. This produces new upper bounds for the order of the automorphism group of such an algebra and in particular for the order of a primitive permutation group. Finally we generalize to 2-closed primitive algebras some classical theorems for primitive groups and show that the hypothesis for a primitive algebra to be 2-closed is essential.

This thesis records an attempt to prove the two conjecture: Conjecture A: Every finite non-regular primitive permutation group of degree n contains permutations fixing one point but fixing at most $n^{1/2}$ points. Conjecture C: Every finite irreducible linear group of degree m > 1 contains an element whose fixed-point space has dimension at most m/2. Variants of these conjectures are formulated, and C is reduced to a special case of A. The main results of the investigation are: Theorem 2: Every finite non-regular primitive permutation group of degree n contains permutations which fix one point but fix fewer than (n+3)/4 points. Theorem 3: Every finite non-regular primitive soluble permutation group of degree n contains permutations which fix one point but fix fewer than $n^{7/18}$ points. Theorem 4: If H is a finite group, F is a field whose characteristic is 0 or does not divide the order of H, and M is a non-trivial irreducible H-module of dimension m over F, then there is an element h in H whose fixed-point space in M has dimension less than m/2. Theorem 5: If H is a finite soluble group, F is any field, and M is a non-trivial irreducible H-module of dimension m over F, then there is an element h in H whose fixed-point space in M has dimension less than 7m/18. Proofs of these assertions are to be found in Chapter II; examples which show the limitations on possible strenghtenings of the conjectures and results are marshalled in Chapter III. A detailed formulation of the problems and results is contained in section 1.

A permutation group $(X,G)$ is said to be binary, or of relational complexity $2$, if for all $n$, the orbits of $G$ (acting diagonally) on $X^2$ determine the orbits of $G$ on $X^n$ in the following sense: for all $\bar{x},\bar{y} \in X^n$, $\bar{x}$ and $\bar{y}$ are $G$-conjugate if and only if every pair of entries from $\bar{x}$ is $G$-conjugate to the corresponding pair from $\bar{y}$. Cherlin has conjectured that the only finite primitive binary permutation groups are $S_n$, groups of prime order, and affine orthogonal groups $V\rtimes O(V)$ where $V$ is a vector space equipped with an anisotropic quadratic form; recently he succeeded in establishing the conjecture for those groups with an abelian socle. In this note, we show that what remains of the conjecture reduces, via the O'Nan-Scott Theorem, to groups with a nonabelian simple socle.

Primitive permutation IBIS groups

A permutation group G ≤ Sym(X) on a finite set X is sharp if |G|=∏ l∈L(G)(|X| − l), where L(G) = {|fix(g)| | 1 ≠ g ∈ G}. We show that no finite primitive permutation groups of twisted wreath type are sharp.

J.M. Howie, the influential St Andrews semigroupist, claimed that we value an area of pure mathematics to the extent that (a) it gives rise to arguments that are deep and elegant, and (b) it has interesting interconnections with other parts of pure mathematics. This paper surveys some recent results on the transformation semigroup generated by a permutation group $G$ and a single non-permutation $a$. Our particular concern is the influence that properties of $G$ (related to homogeneity, transitivity and primitivity) have on the structure of the semigroup. In the first part of the paper, we consider properties of $S= $ such as regularity and idempotent generation. The second is a brief report on the synchronization project, which aims to decide in what circumstances $S$ contains an element of rank 1. The paper closes with a list of open problems on permutation groups and linear groups, and some comments about the impact on semigroups are provided. These two research directions outlined above lead to very interesting and challenging problems on primitive permutation groups whose solutions require combining results from several different areas of mathematics, certainly fulfilling both of Howie's elegance and value tests in a new and fascinating way.

On graph-restrictive permutation groups

We survey polynomial time algorithms (both deterministic and random) for computations with permutation groups. Particular emphasis is given to algorithms with running time of the form O(n log c |G|), where G is a permutation group of degree n. In the case of small-base groups, i.e., when log |G| is polylogarithmic as a function of n, such algorithms run in nearly linear, O(n logc' n) time. Important classes of groups, including all permutation representations of simple groups except the alternating ones, as well as most primitive groups, belong to this category. For large n, the majority of practical computations is carried out on small-base groups.

Let G be a transitive permutation group on a set Ω such that, for ω∈Ω, the stabiliser Gω induces on each of its orbits in Ω∖{ω} a primitive permutation group (possibly of degree 1). Let N be the normal closure of Gω in G. Then (Theorem 1) either N factorises as N=GωGδ for some ω, δ∈Ω, or all unfaithful Gω-orbits, if any exist, are infinite. This result generalises a theorem of I. M. Isaacs which deals with the case where there is a finite upper bound on the lengths of the Gω-orbits. Several further results are proved about the structure of G as a permutation group, focussing in particular on the nature of certain G-invariant partitions of Ω. 1991 Mathematics Subject Classification 20B07, 20B05.

Transitive primitive permutation groups acting on trees

We study the minimal non-trivial subdegrees of finite primitive permutation groups that admit an embedding into a wreath product in product action, giving a connection with the same quantity for the primitive component. We discover that the primitive groups of twisted wreath type exhibit different (but interesting) behaviour from the other primitive types. 2000 Mathematics Subject Classification: 20B15