Related papers: Flag-transitive $4$-designs and $PSL(2,q)$ groups
Let $G$ be a graph without 4-cycles and 5-cycles. We show that the problem to determine whether $G$ is $(0,k)$-colorable is NP-complete for each positive integer $k.$ Moreover, we construct non-$(1,k)$-colorable planar graphs without…
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 $\alpha \in \Omega$. Define the rank of a permutation group, denoted $r(G),$ as the number of…
The main result of this paper is that, if $\Gamma$ is a connected 4-valent $G$-arc-transitive graph and $v$ is a vertex of $\Gamma$, then either $\Gamma$ is one of a well understood infinite family of graphs, or $|G_v|\leq 2^43^6$ or…
A design is called $t$-pyramidal when it has an automorphism group which fixes $t$ points and acts sharply transitively on the remaining points. We determine all symmetric $(2^k-1,2^{k-1},2^{k-2})$-designs which are $(2^{k-1}-1)$-pyramidal…
Let $L$ be one of the finite simple classical groups $L_8(q)$, $U_8(q)$, $O_{10}^+(q)$, $O_{10}^-(q)$ or $O_{12}^+(q)$, with $q$ odd. We prove that every finite group having the same set of element orders as $L$ is an almost simple group…
This paper investigates simple $3$-$(2^n+1,13,\lambda)$ designs admitting $\mathrm{PSL}$$(2,2^n)$ as an automorphism group. We determine all possible values of $\lambda$ by systematically analyzing the orbits of $13$-element subsets under…
A connected graph whose automorphism group acts transitively on the edges and vertices, but not on the set of ordered pairs of adjacent vertices of the graph is called half-arc-transitive. It is well known that the valence of a…
We consider for two based graphs $G$ and $H$ the sequence of graphs $G_k$ given by the wedge sum of $G$ and $k$ copies of $H$. These graphs have an action of the symmetric group $\Sigma_k$ by permuting the $H$-summands. We show that the…
A graph $\Gamma$ is called $G$-symmetric if it admits $G$ as a group of automorphisms acting transitively on the set of ordered pairs of adjacent vertices. We give a classification of $G$-symmetric graphs $\Gamma$ with $V(\Gamma)$ admitting…
$\operatorname{SL}(2,q)$-unitals are unitals of order $q$ admitting a regular action of $\operatorname{SL}(2,q)$ on the complement of some block. They can be obtained from affine $\operatorname{SL}(2,q)$-unitals via parallelisms. We compute…
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…
Let $f$ be an endomorphism of the projective line. There is a natural conjugation action on the space of such morphisms by elements of the projective linear group. The group of automorphisms, or stabilizer group, of a given $f$ for this…
We show that if G is a group of automorphisms of a thick finite generalised quadrangle Q acting primitively on both the points and lines of Q, then G is almost simple. Moreover, if G is also flag-transitive then G is of Lie type.
The classification of flag-transitive generalised quadrangles is a long-standing open problem at the interface of finite geometry and permutation group theory. Given that all known flag-transitive generalised quadrangles are also…
A sofic group $G$ is said to be flexibly stable if every sofic approximation to $G$ can converted to a sequence of disjoint unions of Schreier graphs by modifying an asymptotically vanishing proportion of edges. We establish that if…
We study block designs which admit an automorphism group that is transitive on blocks and points, and leaves invariant every partition in a given finite poset of partitions of the point set. The full stabiliser $G$ of all the partitions in…
We classify the pairwise transitive 2-designs, that is, 2-designs such that a group of automorphisms is transitive on the following five sets of ordered pairs: point-pairs, incident point-block pairs, non-incident point-block pairs,…
For a mixing shift of finite type, the associated automorphism group has a rich algebraic structure, and yet we have few criteria to distinguish when two such groups are isomorphic. We introduce a stabilization of the automorphism group,…
Let $G:=G_2(K)$ be a simple algebraic group of type $G_2$ defined over an algebraically closed field $K$ of characteristic $p>0$. Let $\sigma$ denote a standard Frobenius automorphism of $G$ such that $G_\sigma\cong G_2(q)$ with $q\geq 4$.…
In the first article of this work [... I: The transposition map] we showed that real Clifford algebras CL(V,Q) posses a unique transposition anti-involution \tp. There it was shown that the map reduces to reversion (resp. conjugation) for…