arXiv++ Combinatorics

The family $\mathcal{OG}(4)$ consisting of graph-group pairs $(Γ, G)$, where $Γ$ is a finite, connected, 4-valent graph admitting a $G$-vertex-, and $G$-edge-transitive, but not $G$-arc-transitive action, has recently been examined using a normal quotient methodology. A subfamily of $\mathcal{OG}(4)$ has been identified as `basic', due to the fact that all members of $\mathcal{OG}(4)$ are normal covers of at least one basic pair. We provide an explicit classification of those basic pairs $(Γ, G)$ which have at least two independent cyclic $G$-normal quotients (these are $G$-normal quotients which are not extendable to a common cyclic normal quotient).

Let $\mathcal{OG}(4)$ denote the family of all graph-group pairs $(Γ, G)$ where $Γ$ is finite, 4-valent, connected, and $G$-oriented ($G$-half-arc-transitive). A subfamily of $\mathcal{OG}(4)$ has recently been identified as `basic' in the sense that all graphs in this family are normal covers of at least one basic member. In this paper we provide a description of such basic pairs which have at least one $G$-normal quotient which is isomorphic to a cycle graph. In doing so, we produce many new infinite families of examples and solve several problems posed in the recent literature on this topic. This result completes a research project aiming to provide a description of all basic pairs in $\mathcal{OG}(4)$.

Let $\mathcal{OG}(4)$ denote the family of all graph-group pairs $(Γ,G)$ where $Γ$ is 4-valent, connected and $G$-oriented ($G$-half-arc-transitive). Using a novel application of the structure theorem for biquasiprimitive permutation groups of the second author, we produce a description of all pairs $(Γ, G) \in\mathcal{OG}(4)$ for which every nontrivial normal subgroup of $G$ has at most two orbits on the vertices of $Γ$. In particular we show that $G$ has a unique minimal normal subgroup $N$ and that $N \cong T^k$ for a simple group $T$ and $k\in \{1,2,4,8\}$. This provides a crucial step towards a general description of the long-studied family $\mathcal{OG}(4)$ in terms of a normal quotient reduction. We also give several methods for constructing pairs $(Γ, G)$ of this type and provide many new infinite families of examples, covering each of the possible structures of the normal subgroup $N$.