arXiv++ Combinatorics

Let G be a group. We say that G has spread r if for any set of distinct non-trivial elements {x1,...,xr}\subset G there exists an element y\in G with the property that <xi, y> = G for every 1 0<i<r+1. The group G has exact spread r if it has spread r but not r + 1. The case where G is a finite simple group is particularly interesting since it is known that in this case the spread is at least 2. The precise value of the exact spread of a simple group is known in very few cases. Here we determine the precise value of the exact spread in the smallest sporadic group for which this is still unknown, the Mathieu group M12.

We study the commuting graph on elements of odd prime order in finite simple groups. The results are used in a forthcoming paper describing the structure of Bruck loops and Bol loops of exponent 2.

In this paper, we examine the structure of vertex- and edge-transitive strongly regular graphs, using normal quotient reduction. We show that the irreducible graphs in this family have quasiprimitive automorphism groups, and prove (using the Classification of Finite Simple Groups) that no graph in this family has a holomorphic simple automorphism group. We also find some constraints on the parameters of the graphs in this family that reduce to complete graphs.

Let $N=L_n(q)$, {$n \geq 2$}, $q$ a prime power, be a projective linear simple group. We classify all Steiner quadruple systems admitting a group $G$ with $N \leq G \leq \Aut(N)$. In particular, we show that $G$ cannot act as a group of automorphisms on any Steiner quadruple system for $n>2$.

A group is boundedly simple if, for some constant N, every nontrivial conjugacy class generates the whole group in N steps. For a large class of trees, Tits proved simplicity of a canonical subgroup of the automorphism group, which is generated by pointwise stabilizers of edges. We prove that only for uniform subdivisions of biregular trees are such groups boundedly simple. In fact these groups are 8-boundedly simple. As a consequence, we prove that if G is boundedly simple (or from a certain class K) and G acts by automorphisms on a tree, then G fixes some vertex of A, or stabilizes some end of A, or the smallest nonempty G-invariant subtree of A is a uniform subdivision of a biregular tree.

We present explicit upper bounds for the number and size of conjugacy classes in finite Chevalley groups and their variations. These results have been used by many authors to study zeta functions associated to representations of finite simple groups, random walks on Chevalley groups, the final solution to the Ore conjecture about commutators in finite simple groups and other similar problems. In this paper, we solve a strong version of the Boston-Shalev conjecture on derangements in simple groups for most of the families of primitive permutation group representations of finite simple groups (the remaining cases are settled in two other papers of the authors and applications are given in a third).

We adapt and refine methods developed by Abramenko and Devillers--Köhl--Mühlherr in order to establish the sphericity of the Phan geometries of type B_n and C_n, and their generalizations. As an application we determine the finiteness length of the unitary form of certain hyperbolic Kac--Moody groups. We also reproduce the finiteness length of the unitary form of the groups Sp_{2n}(GF(q^2)[t,t^{-1}]). Another application is the first published proof of the Phan-type theorem of type F_4. Within the revision of the classification of the finite simple groups this concludes the revision of Phan's theorems and their extension to the non-simply laced diagrams. We also reproduce the Phan-type theorems of types B_n and C_n.

This chapter introduces and elaborates on the fruitful interplay of coding theory and algebraic combinatorics, with most of the focus on the interaction of codes with combinatorial designs, finite geometries, simple groups, sphere packings, kissing numbers, lattices, and association schemes. In particular, special interest is devoted to the relationship between codes and combinatorial designs. We describe and recapitulate important results in the development of the state of the art. In addition, we give illustrative examples and constructions, and highlight recent advances. Finally, we provide a collection of significant open problems and challenges concerning future research.

We prove that the length of the shortest identity in a finite simple group of Lie type of rank $r$ defined over $\mathbb{F}_q$, is bounded (from above and below) by explicit polynomials in $q$ and $r$.

All nonabelian finite simple groups of rank $n$ over a field of size $q$, with the possible exception of the Ree groups $^2G_2(3^{2e+1})$, have presentations with at most $80 $ relations and bit-length $O(\log n +\log q)$. Moreover, $A_n$ and $S_n$ have presentations with 3 generators$,$ 7 relations and bit-length $O(\log n)$, while $\SL(n,q)$ has a presentation with 7 generators, $2 5$ relations and bit-length $O(\log n +\log q)$.

We associate a graph $Γ_G$ to a non locally cyclic group $G$ (called the non-cyclic graph of $G$) as follows: take $G\backslash Cyc(G)$ as vertex set, where $Cyc(G)=\{x\in G | \left<x,y\right> \text{is cyclic for all} y\in G\}$, and join two vertices if they do not generate a cyclic subgroup. We study the properties of this graph and we establish some graph theoretical properties (such as regularity) of this graph in terms of the group ones. We prove that the clique number of $Γ_G$ is finite if and only if $Γ_G$ has no infinite clique. We prove that if $G$ is a finite nilpotent group and $H$ is a group with $Γ_G\congΓ_H$ and $|Cyc(G)|=|Cyc(H)|=1$, then $H$ is a finite nilpotent group. We give some examples of groups $G$ whose non-cyclic graphs are ``unique'', i.e., if $Γ_G\cong Γ_H$ for some group $H$, then $G\cong H$. In view of these examples, we conjecture that every finite non-abelian simple group has a unique non-cyclic graph. Also we give some examples of finite non-cyclic groups $G$ with the property that if $Γ_G \cong Γ_H$ for some group $H$, then $|G|=|H|$. These suggest the question whether the latter property holds for all finite non-cyclic groups.

Suppose that an automorphism group $G$ acts flag-transitively on a finite generalized hexagon or octagon $\cS$, and suppose that the action on both the point and line set is primitive. We show that $G$ is an almost simple group of Lie type, that is, the socle of $G$ is a simple Chevalley group.

We first note that a result of Gowers on product-free sets in groups has an unexpected consequence: If k is the minimal degree of a representation of the finite group G, then for every subset B of G with $|B| > |G| / k^{1/3}$ we have B^3 = G. We use this to obtain improved versions of recent deep theorems of Helfgott and of Shalev concerning product decompositions of finite simple groups, with much simpler proofs. On the other hand, we prove a version of Jordan's theorem which implies that if k>1, then G has a proper subgroup of index at most ck^2 for some absolute constant c, hence a product-free subset of size at least $|G| / c'k$. This answers a question of Gowers.

As a consequence of the classification of the finite simple groups, it has been possible in recent years to characterize Steiner t-designs, that is t-(v,k,1) designs, mainly for t = 2, admitting groups of automorphisms with sufficiently strong symmetry properties. However, despite the finite simple group classification, for Steiner t-designs with t > 2 most of these characterizations have remained longstanding challenging problems. Especially, the determination of all flag-transitive Steiner t-designs with 2 < t < 7 is of particular interest and has been open for about 40 years (cf. [11, p. 147] and [12, p. 273], but presumably dating back to 1965). The present paper continues the author's work [20, 21, 22] of classifying all flag-transitive Steiner 3-designs and 4-designs. We give a complete classification of all flag-transitive Steiner 5-designs and prove furthermore that there are no non-trivial flag-transitive Steiner 6-designs. Both results rely on the classification of the finite 3-homogeneous permutation groups. Moreover, we survey some of the most general results on highly symmetric Steiner t-designs.

Suppose that a group $G$ has socle $L$ a simple large-rank classical group. Suppose furthermore that $G$ acts transitively on the set of lines of a linear space $\mathcal{S}$. We prove that, provided $L$ has dimension at least 25, then $G$ acts transitively on the set of flags of $\mathcal{S}$ and hence the action is known. For particular families of classical groups our results hold for dimension smaller than 25. The group theoretic methods used to prove the result (described in Section 3) are robust and general and are likely to have wider application in the study of almost simple groups acting on finite linear spaces.

Among the properties of homogeneity of incidence structures flag-transitivity obviously is a particularly important and natural one. Consequently, in the last decades also flag-transitive Steiner tdesigns (i.e. flag-transitive t-(v,k,1) designs) have been investigated, whereas only by the use of the classification of the finite simple groups has it been possible in recent years to essentially characterize all flag-transitive Steiner 2-designs. However, despite the finite simple group classification, for Steiner t-designs with parameters t > 2 such characterizations have remained challenging open problems for about 40 years (cf. [11, p. 147] and [12, p. 273], but presumably dating back to around 1965). The object of the present paper is to give a complete classification of all flag-transitive Steiner 4-designs. Our result relies on the classification of the finite doubly transitive permutation groups and is a continuation of the author's work [20, 21] on the classification of all flag-transitive Steiner 3-designs.

Although the phenomenon of chirality appears in many investigations of maps and hypermaps no detailed study of chirality seems to have been carried out. Chirality of maps and hypermaps is not merely a binary invariant but can be quantified by two new invariants -- the chirality group and the chirality index, the latter being the size of the chirality group. A detailed investigation of the chirality groups of maps and hypermaps will be the main objective of this paper. The most extreme type of chirality arises when the chirality group coincides with the monodromy group. Such hypermaps are called totally chiral. Examples of them are constructed by considering appropriate ``asymmetric'' pairs of generators for some non-abelian simple groups. We also show that every finite abelian group is the chirality group of some hypermap, whereas many non-abelian groups, including symmetric and dihedral groups, cannot arise as chirality groups.

Let $G$ be a group with socle a simple group of Lie type defined over the finite field with $q$ elements where $q$ is a power of the prime $p$. Suppose that $G$ acts transitively upon the lines of a linear space $\mathcal{S}$. We show that if $p$ is {\it significant} then $G$ acts flag-transitively on $\mathcal{S}$ and all examples are known.

We present a partial classification of those finite linear spaces $\mathcal{S}$ on which an almost simple group $G$ with socle $PSL(3,q)$ acts line-transitively.

We apply spectral analysis of quotients of the Bruhat-Tits buildings of type $\tilde{A}_{d-1}$ to construct isospectral non-isomorphic Cayley graphs of the finite simple groups $\operatorname{PSL}_d({\mathbb F}_q)$ for every $d \geq 5$ ($d \neq 6$) and prime power $q > 2$.