arXiv:1612.06576v1 [math.CO] 20 Dec 2016

CC Creative Commons

AMC Logo
Also available at http://amc-journal.eu

ARS MATHEMATICA CONTEMPORANEA x (xxxx) 1–x

A normal quotient analysis for some families of
oriented four-valent graphs
Jehan A. Al-bar ∗ , Ahmad N. Al-kenani , Najat Mohammad Muthana
King Abdulaziz University, Jeddah, Saudi Arabia

Cheryl E. Praeger †
The University of Western Australia, Crawley, Australia; also affiliated with King
Abdulaziz University, Jeddah, Saudi Arabia
Received dd mmmm yyyy, accepted dd mmmmm yyyy, published online dd mmmmm yyyy

Abstract
We analyse the normal quotient structure of several infinite families of finite connected
edge-transitive, four-valent oriented graphs. These families were singled out by Marušič
and others to illustrate various different internal structures for these graphs in terms of their
alternating cycles (cycles in which consecutive edges have opposite orientations). Studying the normal quotients gives fresh insights into these oriented graphs: in particular we
discovered some unexpected ‘cross-overs’ between these graph families when we formed
normal quotients. We determine which of these oriented graphs are ‘basic’, in the sense that
their only proper normal quotients are degenerate. Moreover, we show that the three types
of edge-orientations studied are the only orientations, of the underlying undirected graphs
in these families, which are invariant under a group action which is both vertex-transitive
and edge-transitive.
Keywords: edge-transitive graph, oriented graph, cyclic quotient graph, transitive group.
Math. Subj. Class.: 05C25, 20B25, 05C20

∗ This project was funded by the Deanship of Scientific Research (DSR), King Abdulaziz University, Jeddah,
under grant no. HiCi/H1433/363-1. The authors, therefore, acknowledge with thanks DSR technical and financial
support.
† corresponding author
E-mail address: jalbar@kau.edu.sa; jaal[underscore]bar@hotmail.com (Jehan A. Al-bar),
analkenani@kau.edu.sa; aalkenani10@hotmail.com (Ahmad N. Al-kenani), nmuthana@kau.edu.sa;
najat[underscore]muthana@hotmail.com (Najat Mohammad Muthana)cheryl.praeger@uwa.edu.au (Cheryl E.
Praeger)

CC This work is licensed under http://creativecommons.org/licenses/by/3.0/

2

Ars Math. Contemp. x (xxxx) 1–x

1 Introduction
The graphs we study are simple, connected, undirected graphs of valency four, admitting
an orientation of their edges preserved by a vertex-transitive and edge-transitive subgroup
of the automorphism group, that is, graphs of valency four admitting a half-arc-transitive
group action. Many of these graphs arise as medial graphs for regular maps on Riemann
surfaces [7, 9]. The work of Marušič, summarised in [7], demonstrated the importance of a
certain family of cyclic subgraphs for understanding the internal structure of these graphs,
namely their alternating cycles. These are cycles in which each two consecutive edges have
opposite orientations. They were introduced in [8] and their basic properties were studied
in [8, 10].
The families of oriented graphs studied in this paper were singled out in [9, 10] because they demonstrate three different extremes for the structure of their alternating cycles:
namely the alternating cycles are ‘loosely attached’, ‘antipodally attached’ or ‘tightly attached’ (see Subsection 1.2). These families are based on one of two infinite families of
underlying unoriented valency four graphs (called X(r) and Y (r) for positive integers r),
and for each family three different edge-orientations are induced by three different subgroups of their automorphism groups (Section 1.3); the three different edge-orientations
correspond to the three different attachment properties of their alternating cycles. In this
paper it is shown in Theorem 1.1 that these are essentially the only edge-orientations of the
underlying graphs which are invariant under a half-arc-transitive group action.
Our approach is to study the normal quotients of these ‘X-graphs’ and ‘Y -graphs’ (as
explained below), and in doing so we discover that graphs from a third family arise, the
‘Z-graphs’. We find (Theorem 1.3) that normal quotients of the X-graphs are sometimes
X-graphs, sometimes Y -graphs, and sometimes Z-graphs, and the same is true for normal
quotients of the Y -graphs. In addition we determine in Theorem 1.2 those oriented graphs
in these families which are ‘basic’ in the sense that all their proper normal quotients are
degenerate (see Subsection 1.1).
1.1 Graph-group pairs and their normal quotients
The normal quotient approach was introduced in [1] to study oriented graphs, focusing on
the structure of certain quotient graphs rather than subgraphs. For a connected oriented
four-valent graph Γ with corresponding vertex- and edge-transitive group G preserving the
edge-orientation, a normal quotient of (Γ, G) is determined by a normal subgroup N of
G. It is the graph ΓN with vertices the N -orbits on the vertices of Γ, and with distinct N orbits B, C adjacent provided there is some edge of Γ between a vertex of B and a vertex
of C. The normal quotient theory in [1] asserts (with specified degenerate exceptions) that
the normal quotient ΓN has valency four, and inherits an edge-orientation from Γ which
is preserved by the quotient group G/N acting transitively on vertices and edges, and,
moreover, Γ is a cover of ΓN (that is, for adjacent N -orbits B, C, each vertex of B is
adjacent to exactly one vertex of C).
We call a pair (Γ, G) basic if the only proper normal quotients (that is, taking N 6= 1)
are degenerate. Each pair (Γ, G) has at least one basic normal quotient, (more details are
given in Section 2, and see [1, 2]). For the pairs (Γ, G) we study in this paper, there is
always a basic normal quotient which lies in one of the families (possibly a different family
from the family containing (Γ, G)). Thus, although all the graph-group pairs in a given
family share the same properties of their alternating cycles (Remark 1.4), the structure of

Ars Math. Contemp. x (xxxx) 1–x

3

the family can be further elucidated by studying the much smaller subfamily of basic pairs.
1.2 The alternating cycles of Marušič
Let OG(4) denote the set of all graph-group pairs (Γ, G), where Γ is a connected graph
of valency four, G is a vertex-transitive and edge-transitive subgroup of automorphisms,
and G preserves an orientation of the edges. In particular G is not transitive on the arcs
of Γ (ordered pairs of vertices which form an edge), and such a group action is called
half-arc-transitive.
Alternatively we could interpret each pair (Γ, G) ∈ OG(4) as consisting of a connected, undirected graph Γ of valency four, and a group G of automorphisms acting halfarc-transitively. Such a group action determines an edge-orientation of Γ (up to reversing
the orientation on every edge). It is possible for a single graph to have different edgeorientations determined by different subgroups of automorphisms. This is the case with the
examples in Subsection 1.3 (a) and (b). By viewing the fundamental objects of study as
undirected graphs endowed with (perhaps several) edge-orientations, we are able to give a
unified discussion of all possible edge-orientations preserved by half-arc-transitive group
actions. Our notation is therefore slightly different from the papers [9, 10] where different
names for the same graph are used for different edge-orientations.
The alternating cycles of (Γ, G) (defined above), are determined by the edge-orientation.
They partition the edge set, they all have the same even length, denoted by 2·r(Γ, G), where
r(Γ, G) is called the radius of (Γ, G), and if two alternating cycles share at least one vertex,
then they intersect in a constant number a(Γ, G) of vertices, called the attachment number,
such that a(Γ, G) divides 2 · r(Γ, G) [8, Proposition 2.4]. The radius can be any integer
greater than 1 ([8, Section 3] and [10, Section 4]), and the attachment number can be any
positive integer [12, Theorem 1.5]. It is possible that a(Γ, G) = 2 · r(Γ, G) and all such
pairs (Γ, G) were characterised by Marušič in [8, Proposition 2.4(ii)].
Otherwise, if a(Γ, G) < 2 · r(Γ, G), then Γ is a cover of a (possibly smaller) quotient
graph Γ′ admitting a (possibly unfaithful) action G′ of G such that (Γ′ , G′ ) ∈ OG(4) and
the attachment number a(Γ′ , G′ ) is either 1, 2 or r(Γ′ , G′ ), [10, Theorem 1.1 and Theorem
3.6]. For this reason attention has focused on families of examples (Γ, G) ∈ OG(4) for
which a(Γ, G) is 1, 2 or r(Γ, G), and such pairs are said to be loosely attached, antipodally
attached or tightly attached, respectively. As we already mentioned, graphs in the families
we examine have one of these properties, and the structure of their alternating cycles was
studied by Marušič and others [4, 6, 8, 9, 10, 11, 12, 13].
1.3 The families of oriented graphs and our results
We describe the underlying graphs and their edge-orientations.
(a) The first three families of oriented graphs are all based on the same family of graphs,
namely the Cartesian product X(r) = C2r  C2r of two cycles of length 2r, for a positive
integer r. The graph X(r) has vertex set Z2r × Z2r , such that (i, j) is adjacent to (i ± 1, j)
and (i, j ± 1) for all i, j ∈ Z2r . If r = 1 then X(1) = C4 , a 4-cycle. If r ≥ 2, then X(r)
2
has valency 4 and its automorphism group is G(r) = Aut X(r) = D4r ≀ Z2 = D4r
⋊ Z2 ,

4

Ars Math. Contemp. x (xxxx) 1–x

with generators
µ1 : (i, j) −→ (i + 1, j),

µ2 : (i, j) −→ (i, j + 1),

σ1 : (i, j) −→ (−i, j),
τ : (i, j) −→ (j, i).

σ2 : (i, j) −→ (i, −j),

The group G(r) is arc-transitive of order 32r2 , and the stabiliser of the vertex x = (0, 0)
is G(r)x = hσ1 , σ2 , τ i, a dihedral group of order 8. In 1999, Marušič and the fourth author [10] defined three edge-orientations on the graphs X(r), each of which corresponds
to a half-arc-transitive action of a certain subgroup of G(r), as follows. The second edgeorientation was also studied by Marušič and Nedela [9]. As mentioned above, by Theorem 1.1, these are the only edge-orientations preserved by a half-arc-transitive subgroup of
Aut X(r), up to conjugation in the automorphism group, and reversing the orientations on
all edges. We note that elements of Z2r have a well-defined parity (even or odd).
(a.1) Define the first edge-orientation by
(i, j) → (i, j + 1) if i is even, (i, j) ← (i, j + 1) if i is odd
(i, j) → (i + 1, j) if j is even, (i, j) ← (i + 1, j) if j is odd
and the corresponding group
G1 (r) := hµ1 σ2 , µ2 σ1 , τ i.
Note that G1 (r)x = hτ i ∼
= Z2 , and |G1 (r)| = 8r2 .
(a.2) Define the second edge-orientation by
(i, j) → (i, j + 1),

(i, j) ← (i + 1, j) if i + j is even

(i, j) ← (i, j + 1),

(i, j) → (i + 1, j) if i + j is odd

and the corresponding group
G2 (r) := hµ1 µ2 , µ1 2 , σ1 , σ2 , τ µ1 i.
Note that G2 (r)x = hσ1 , σ2 i ∼
= Z22 , and |G2 (r)| = 16r2 .
(a.3) Define the third edge-orientation by
(i, j) → (i, j + 1),

(i, j) → (i + 1, j) for all i and j

and the corresponding group
G3 (r) := hµ1 , µ2 , τ i.
Note that G3 (r)x = hτ i ∼
= Z2 , and |G3 (r)| = 8r2 .
In Remark 3.1 we discuss briefly how these three edge-orientations may be visualised. In
neither of the papers [9, 10] where these graphs were previously studied are the generators of the groups Gk (r) defined explicitly, and we need this information for our analysis.
Indeed in order to analyse these families of oriented graphs we need an additional graph
family related to the third edge orientation.

Ars Math. Contemp. x (xxxx) 1–x

Basic Type

Possible ΓN for 1 6= N ⊳ G

quasiprimitive
biquasiprimitive
cycle

K1 only
K1 and K2 only (Γ bipartite)
at least one Cm (m ≥ 3)

5

Conditions on G-action
on vertices
quasiprimitive
biquasiprimitive
at least one quotient action
D2m or Zm

Table 1: Types of basic pairs (Γ, G) in OG(4)

(a.4) Let s be an odd integer, s ≥ 3, and let Z(s) = Cs  Cs (that is, the graph X(r) with
2r replaced by s); let µ1 , µ2 , τ have the same meanings as above (as permutations of
the set Zs × Zs ); define the edge-orientation as in (a.3); and call the corresponding
group G3Z (s) = hµ1 , µ2 , τ i.
(b) The last three families of oriented graphs are all based on certain quotients of the graphs
in part (a). Define the (undirected) graph Y (r) as the quotient of X(r) modulo the orbits
of the normal subgroup M (r) := h(µ1 µ2 )r i of G(r). Thus the vertices of Y (r) are the
2-element subsets {(i, j), (i + r, j + r)}, for i, j ∈ Z2r , and the vertex {(i, j), (i + r, j + r)}
of Y (r) is adjacent to {(i ± 1, j), (i + r ± 1, j + r)} and {(i, j ± 1), (i + r, j + r ± 1)}. The
graph Y (1) = K2 and, for r ≥ 2, Y (r) has valency 4, and admits an arc-transitive action
of the quotient H(r) := G(r)/M (r). Moreover, X(r) is a cover of Y (r). In particular,
Y (2) = K4,4 , a complete bipartite graph.
For k = 2, 3 with r ≥ 2, and also for k = 1 with r even, we have M (r) ≤ Gk (r) and
we define Hk (r) := Gk (r)/M (r). Then the graph-group pair (Y (r), Hk (r)) ∈ OG(4)
(Lemma 3.3). It is the normal quotient of the pair (X(r), Gk (r)) relative to M (r), and by
[1, Theorem 1.1], Y (r) inherits the k th -edge-orientation from X(r).
For any of the graphs X(r), Y (r), Z(s), each of the edge-orientations defined above is
invariant under some edge-transitive subgroup of automorphisms (by Theorem 2), and these
are essentially the only such edge-orientations for these graphs.
Theorem 1.1. Let Γ = X(r) with r ≥ 2, or Γ = Y (r) with r 6∈ {1, 2, 4}, or Γ = Z(s)
with s odd, s > 1. Then, up to conjugation in Aut Γ, and up to reversing the orientation on
each edge, the only edge-orientations of Γ invariant under a half-arc-transitive subgroup
of Aut Γ are those defined in Subsection 1.3.
We prove Theorem 1.1 in Section 4. By [1, Lemma 3.3], each graph-group pair (Γ, G) ∈
OG(4) is a normal cover of at least one basic pair in OG(4). It turns out that the graphgroup pairs (X(r), Gk (r)), (Y (r), Hk (r)), and (Z(s), G3Z (s)) all lie in OG(4), and are all
normal covers of at least one basic pair from one of these families, but not necessarily from
the same family (Remark 3.1 (c)). Our main results identify which of these pairs is basic
(Theorem 1.2), and present some of their interesting normal quotients (Theorem 1.3). The
types of basic graph-group pairs are defined according to the kinds of degenerate normal
quotients they have. These are summarised in Table 1, taken from [1, Table 2].
Theorem 1.2. Let (Γ, G) be one of the graph-group pairs in Table 2. Then (Γ, G) ∈
OG(4). Moreover (Γ, G) is basic if and only if the conditions in the ‘Conditions to be
Basic’ column hold, and in this case, the basic type is given in the ‘Basic Type’ column.

6

Ars Math. Contemp. x (xxxx) 1–x

(Γ, G)
(X(r), Gk (r))
(Y (r), Hk (r))
(Y (r), Hk (r))
(Z(s), G3Z (s))

Conditions
all k and r
all k and r even
k > 1 and r odd
s ≥ 3 odd

Conditions to be Basic
k = 1, r odd prime
all k and r = 2
k = 2, r odd prime
s odd prime

Basic Type
cycle
cycle
biquasiprimitive
cycle

Table 2: Conditions for (Γ, G) to be basic in Theorem 1.2. (Refer to Lemma 6.2.)
We verify membership of OG(4) in Lemma 3.3, and prove the assertions in Table 2 in
Lemma 6.2. The normal quotients we explore are those modulo the following subgroups
of G(r) and/or G3Z (s). We note that |µi | is 2r or s, when interpreting µi as an element of
G(r) or G3Z (s), respectively. For each divisor a of 2r or of s, as appropriate, define
N (a) = hµa1 , µa2 i
a

M (a) = h(µ1 µ2 )
N (2, +) =

, µ2a
1 i

hµ21 , µ22 , σ1 , σ2 i

if

a | |µ1 |

if

2a | |µ1 |

(1.1)

≤ G2 (r).

If |µ1 | = 2r, then each of N (a), M (a) is normal in the full automorphism group G(r) of
X(r), and if a | r, then N (2a) is a subgroup of M (a) of index 2; if |µ1 | = s is odd, then
N (a) E G3Z (s) (and M (a) is not defined). We also consider:
J = hµ1 µ2 i ∼
= Zt ,

∼
and K = hµ1 µ−1
2 , τ i = D2t

(1.2)

where t = |µ1 | ∈ {2r, s}, and if |µ1 | = 2r, also
and K(+) = hµ1 µ2−1 , τ, µr1 i.

J(+) = hµ1 µ2 , µr1 i

(1.3)

If t = 2r then the four subgroups in (1.2) and (1.3) all contain M (r) and are normal in
G3 (r), while if t = s then J, K are normal in G3Z (s). For an arbitrary subgroup L of
G(r), we write L := LM (r)/M (r), so, for example, H(r) = G(r) and Hk (r) = Gk (r),
and we also consider the subgroups M (a) and N (a). Note that
M (r) 6≤ N (a) if and only if

2r
a

is odd if and only if

N (a) = M ( a2 ).

(1.4)

Theorem 1.3. Let (Γ, G) be a graph-group pair (X(r), Gk (r)), (Y (r), Hk (r)), or
(Z(s), G3Z (s)), where k ∈ {1, 2, 3}, s ≥ 3 is odd, r ≥ 2, and in the case of (Y (r), H1 (r)),
r is even.
(a) Then (Γ, G) has proper non-degenerate normal quotients (ΓN , G/N ), for (Γ, G), N
and the ‘Conditions’ as in one of the lines of Table 3.
(b) also (Γ, G) has degenerate normal quotients (ΓN , G/N ), for N, G as in one of the
lines of Table 4.
We prove parts (a) and (b) of Theorem 1.3 in Lemmas 5.1 and 5.2, respectively. We do
not claim that Theorem 1.3 classifies all the normal quotients for these graph-group pairs.
Remark 1.4. (a) When defining (Z(s), G3Z (s)) with s odd, we only consider the third
edge-orientation since, for s odd, elements of Zs do not have a well-defined parity, and so

Ars Math. Contemp. x (xxxx) 1–x

(Γ, G)
(X(r), Gk (r))
(X(r), Gk (r))
(X(r), G3 (r))
(Y (r), Hk (r))
(Y (r), Hk (r))
(Y (r), H3 (r))
(Z(s), G3Z (s))

N
N (2a)
M (a)
N (a)
N (2a)
M (a)
N (a)
N (a)

(ΓN , G/N )
(X(a), Gk (a))
(Y (a), Hk (a))
(Z(a), G3Z (a))
(X(a), Gk (a))
(Y (a), Hk (a))
(Z(a), G3Z (a))
(Z(a), G3Z (a))

7

Conditions on k, a, r
a<r
2r
a even, and a even if k = 1
a odd
r
a even
2r
a > 2 even, and a even if k = 1
a odd
a<s

Table 3: Non-degenerate normal quotients of (Γ, G) for Theorem 1.3, with N as in (1.1)
and a > 1. (Refer to Lemma 5.1.)

N in Gk (r)
N (2)

N in Hk (r)
N (2)

N in G3Z (s)
–

(ΓN , G/N )
(C4 , D8 )

N (2, +)

N (2, +)

–

(C4 , Z4 )

–
–
J
K
J(+)
K(+)

N (2, +)
N (2)
J
K
J(+)
K(+)

–
–
J
K
–
–

(K2 , Z2 )
(K2 , Z2 )
(Ct , D2t )
(Ct , Zt )
(Cr , D2r )
(Cr , Zr )

Conditions
k = 1, 3,
with r even for Hk (r)
k=2
with r even for Hk (r)
k = 2, r odd
k = 3, r odd
k = 3, t ∈ {2r, s}
k = 3, t ∈ {2r, s}
k=3
k=3

Table 4: Degenerate normal quotients of (Γ, G) for Theorem 1.3, with N as in (1.1), (1.2)
or (1.3). (Refer to Lemma 5.2.)

8

Ars Math. Contemp. x (xxxx) 1–x

the definitions of the first and second edge-orientations do not make sense for the graph
Z(s).
Also, when defining (Y (r), Hk (r)), we require that r should be even when k = 1,
since when k = 1 and r is odd, there are oriented edges in both directions between adjacent
Y (r)-vertices, so the first edge-orientation of X(r) is not inherited by Y (r).
(b) The nomenclature in (a.4) may seem clumsy. However we decided to keep the same
names for the graphs X(r), Y (r) in order to facilitate reference to [9, 10] for their other
properties, as follows.
(i) It is pointed out in [10, Section 2] and [9, Page 161], that for r ≥ 3, the oriented
graph-group pairs (X(r), Gk (r)) are loosely attached with radius 2, antipodally attached with radius r, and tightly attached with radius 2r, for k = 1, 2, 3, respectively.
Note that the graph X(r) with the k th edge-orientation is called Xk (r) in [10].
(ii) It is remarked in [10, Section 2], that if r ≥ 3, then the oriented graph-group pairs
(Y (r), Hk (r)) (with r even if k = 1) are loosely attached with radius 2, antipodally
attached with radius r, and tightly attached with radius r, for k = 1, 2, 3, respectively.
(iii) The pairs (X(r), G2 (r)) and (Y (r), H2 (r)) were also studied by Marušič and Nedela,
where they were characterised in [9, Props. 3.3, 3.4] as the only pairs with stabilisers
of order at least 4, and such that every edge lies in precisely two oriented 4-cycles.
(c) By Theorems 1.2 and 1.3, the graph-group pairs all have basic normal quotients, sometimes more than one. We summarise our findings.
(i) (X(r), G1 (r)), and also (Y (r), H1 (r))(r even), have basic normal quotients
(Y (2), H1 (2)) if r is even and (X(a), G1 (a)) for odd primes a | r;
(ii) (X(r), G2 (r)), and also (Y (r), H2 (r)), have as basic normal quotients
(Y (a), H2 (a)) for primes a | 2r;
(iii) (X(r), G3 (r)), and also (Y (r), H3 (r)), have as basic normal quotients
(Y (2), H3 (2)) if r is even and (Z(a), G3Z (a)) for odd primes a | r;
(iv) (Z(s), G3Z (s)) (s odd) has basic normal quotients (Z(a), G3Z (a)) for odd primes
a | s.

2 Preliminaries: normal quotients of pairs in OG(4)
For fundamental graph theoretic concepts please refer to the book [5], and for fundamental
notions about group actions please refer to the book [3]. For permutations g of a set X, we
denote the image of x ∈ X under g by xg .
A permutation group on a set X is semiregular if only the identity element fixes a point
of X; the group is regular if it is transitive and semiregular. If a permutation group G on
X has a normal subgroup K E G such that K is regular, then (see [3, Section 1.7]) G is a
semidirect product G = K.Gx , where Gx is the stabiliser of a point x ∈ X. Moreover, we
may identify X with K in such a way that x = 1K , K acts by right multiplication and Gx
acts by conjugation. Many of the groups we study in this paper have this form.
As mentioned in Section 1, normal quotients of graph-group pairs (Γ, G) ∈ OG(4) are
usually of the form (ΓN , G/N ), they lie in OG(4), and Γ is a cover of ΓN , where N E G.
The only exceptions are the degenerate cases when ΓN consists of a single vertex (if N is
transitive), or a single edge (if the N -orbits form the bipartition of a bipartite graph Γ), or

Ars Math. Contemp. x (xxxx) 1–x

9

when ΓN is a cycle possibly, but not necessarily, inheriting a G-orientation of its edges, [1,
Theorem 1.1]. Thus (Γ, G) ∈ OG(4) is basic if all of its proper normal quotients (that is,
the ones with N 6= 1) are degenerate.
For a graph-group pair (Γ, G) ∈ OG(4) and vertex x, the out-neighbours of x are the
two vertices y such that x → y is a G-oriented edge of Γ.
An isomorphism between graph-group pairs (Γ, G), (Γ′ , G′ ) is a pair (f, ϕ) such that
f : Γ → Γ′ is a graph isomorphism, ϕ : G → G′ is a group isomorphism, and (xg )f =
(xf )(g)ϕ for all vertices x of Γ and all g ∈ G.
Lemma 2.1. Suppose that (Γ, G) ∈ OG(4), N E G, and (f, ϕ) is an isomorphism from
(ΓN , G/N ) to (Γ′ , G′ ). Let M be the set of all normal subgroups M of G such that
N ≤ M and M is the kernel of the G-action on the M -vertex-orbits in Γ. Then, for
′
, G′ /M ), where
each M ∈ M, (f, ϕ) induces an isomorphism from (ΓM , G/M ) to (ΓM
′
′
M = (M/N )ϕ, and each normal quotient of (Γ , G ) corresponds to exactly one such
normal quotient (ΓM , G/M ).
Proof. The isomorphism ϕ : G/N → G′ determines a one-to-one correspondence M 7→
(M/N )ϕ between the set of all normal subgroups of G which contain N , and the set of all
normal subgroups of G′ , and moreover, setting M = (M/N )ϕ, ϕ induces an isomorphism
ϕM : G/M → G′ /M given by M g → M (N g)ϕ. For normal quotient graphs ΓM , the
induced group action is G/M̂ , where M̂ is the kernel of the G-action on the M -orbits. Thus
ΓM = ΓM̂ , and the normal quotients of (Γ, G) relative to normal subgroups M containing
N are precisely the normal quotients (ΓM , G/M ), for M ∈ M.
For each M ∈ M, the graph isomorphism f : ΓN → Γ′ induces a graph isomorphism
′
, where fM maps the M -vertex-orbit xM in Γ to the M -vertex-orbit in Γ′
f M : ΓM → ΓM
N
containing (x )f . By the definition of (f, ϕ) we have ((xN )N g )f = ((xN )f )(N g)ϕ for
each vertex x of Γ and each g ∈ G. It follows that ((xM )Mg )fM = ((xM )fM )(Mg)ϕM
for each vertex x of Γ and each g ∈ G, and hence (fM , ϕM ) is an isomorphism from
′
(ΓM , G/M ) to (ΓM
, G′ /M ).
This property of (f, ϕ) implies that normal subgroups containing N with the same
vertex-orbits in Γ correspond to normal subgroups of G′ with the same vertex-orbits in
Γ′ , and vice versa. Thus, on the one hand, distinct subgroups in M correspond to distinct
normal quotients of (Γ′ , G′ ). Also, on the other hand, each K E G′ such that K is the
kernel of the G′ -action on the K-vertex-orbits in Γ′ is of the form K = (M/N )ϕ, where
N ≤ M and M is the kernel of the G-action on the M -vertex orbits in Γ.

3 Each graph-group pair (Γ, G) in Theorem 1.2 lies in OG(4)
First we consider X(r) and Gk (r) for k ≤ 3 and r ≥ 3. Recall the definitions of the edge
orientations and the generators µ1 , µ2 , σ1 , σ2 , τ , from Subsection 1.3 (a). We make a few
comments about the various edge orientations.
Remark 3.1. We view the vertex set of X(r) as a 2r × 2r grid with rows and columns
labeled 0, 1, . . . , 2r − 1 (in this order, increasing to the right and increasing from top to
bottom), and with the vertex (i, j) in the row i, column j position. The edges of X(r)
then are either horizontal if they join vertices with equal first entries, or vertical if they join
vertices with equal second entries. It may be helpful to use this point of view when reading
the proofs below. In particular it aids a description of the various edge orientations.

10

Ars Math. Contemp. x (xxxx) 1–x

(1) In the first edge-orientation, for i even, the horizontal edges in row i are oriented from
left to right (except of course that the edge from (i, 2r − 1) is joined to (i, 0)), and
for i odd, the horizontal edges in row i are oriented from right to left. Similarly, for
j even, the vertical edges in column j are oriented downwards and those in column
j, for odd j, are oriented upwards.
(2) In the second edge-orientation, both the rows and the columns are alternating cycles,
arranged in such a way that, for each i, j, the sequence
(i, j), (i, j + 1), (i + 1, j + 1), (i + 1, j)
forms a directed 4-cycle, oriented from left to right if i + j is even, and from right to
left if i + j is odd.
(3) Finally, in the third edge-orientation, all the horizontal edges are oriented from left
to right, and all the vertical edges are oriented downwards.
Lemma 3.2. Let k ≤ 3 and r ≥ 2. Then the group Gk (r) preserves the k th edgeorientation of X(r).
Proof. We consider the cases k = 1, 2, 3 separately. In each case, for each generator of
Gk (r), we consider its actions on a horizontal edge E in row i joining (i, j) to (i, j + 1),
and on a vertical edge D in column j joining (i, j) to (i + 1, j).
(1) Firstly µ1 σ2 maps E to the horizontal edge E ′ joining (i + 1, −j) to (i + 1, −j − 1),
since µ1 σ2 moves row i to row i + 1 (by µ1 ) and then reflects it across a vertical axis
through the 0th -column (by σ2 ). Thus if E is oriented from left to right, then E ′ is oriented
from right to left (and vice versa), and since horizontal edges in row i and row i + 1 have
opposite orientations (see Remark 3.1(1)), it follows that µ1 σ2 preserves the orientation of
horizontal edges. Also µ1 σ2 maps D to the vertical edge joining (i + 1, −j) to (i + 2, −j),
and since j, −j have the same parity, edges in columns j and −j have the same orientation
(see Remark 3.1(1)). Thus µ1 σ2 preserves the first edge-orientation on all edges. An
exactly similar argument (interchanging the roles of rows and columns) shows that µ2 σ1
also preserves the first edge-orientation.
Finally τ swaps the horizontal edge E in row i with the vertical edge E ′ in column i
joining (j, i) to (j + 1, i). If i is even then E is oriented from left to right and E ′ is oriented
downwards, so the orientation is preserved. Also, if i is odd then E is oriented from right
to left and E ′ is oriented upwards, and again the orientation is preserved. (For example, the
oriented edge (1, 2) ← (1, 3) is swapped with the oriented edge (2, 1) ← (3, 1).) Similarly
the action of τ preserves the orientation of D. Thus τ preserves the first edge-orientation.
(2) Firstly µ21 maps E to the horizontal edge E ′ joining (i + 2, j) to (i + 2, j + 1) and
E, E ′ have the same orientation; and µ21 maps D to the vertical edge D′ joining (i + 2, j)
to (i + 3, j) and D, D′ have the same orientation. Thus µ21 preserves the second edgeorientation. Similar arguments show that µ22 and µ1 µ2 also preserve the second edgeorientation. Next, σ1 maps E to the horizontal edge E ′ in row −i joining (−i, j) to (−i, j+
1) and since i+j and −i+j have the same parity, the edges E, E ′ have the same orientation;
similarly σ1 maps D to the vertical edge D′ , still in column j, joining (−i, j) to (−i − 1, j)
and we see again that D, D′ have the same orientation. Thus σ1 preserves the second
edge-orientation. An exactly similar argument shows that also σ2 preserves the second
edge-orientation. Finally τ µ1 maps E to the vertical edge E ′ joining (j + 1, i) to (j + 2, i)
and since i + j and j + 1 + i have opposite parities, the orientation of E is preserved

Ars Math. Contemp. x (xxxx) 1–x

11

under the action of τ µ1 ; and τ µ1 maps D to the horizontal edge D′ joining (j + 1, i) to
(j + 1, i + 1) and for the same reason the orientation of D is preserved under the action of
τ µ1 . Thus τ µ1 preserves the second edge-orientation.
(3) Firstly, since µ1 and µ2 map E to a horizontal edge and D to a vertical edge,
and since all horizontal edges have the same orientation, and all vertical edges have the
same orientation (see Remark 3.1(3)), it follows that µ1 and µ2 preserve the third edgeorientation. Finally τ swaps horizontal and vertical edges, and since all horizontal edges
are oriented from left to right, and all vertical edges are oriented downwards, it follows that
τ also preserves the third edge-orientation.
Next we prove membership of OG(4). Recall that, for a subgroup L ≤ G(r) we write
L = LM (r)/M (r) for the corresponding subgroup of H(r) = G(r)/M (r).
Lemma 3.3. Let k ≤ 3, r ≥ 2, and let s > 1 be odd. Let (Γ, G) be one of (X(r), Gk (r)),
(Y (r), Hk (r)) (with r even if k = 1), or (Z(s), G3Z (s)). Then (Γ, G) ∈ OG(4).
Proof. It is easy to check that the graphs X(r) and Z(s) are connected. Thus, once we have
proved that Gk (r) acts half-arc-transitively on X(r), and G3Z (s) acts half-arc-transitively
on Z(s), it follows from Lemma 3.2 that (X(r), Gk (r)) ∈ OG(4) and (Z(s), G3Z (s)) ∈
OG(4). Further, as (Y (r), Hk (r)) is a normal quotient of (X(r), Gk (r)) relative to M (r) ∼
=
Z2 , its membership in OG(4) follows from [1, Theorem 1.1]. It therefore remains to prove
that the actions on X(r) and Z(s) are half-arc-transitive. First we consider X(r).
The subgroup L := N (2) = hµ1 2 i × hµ2 2 i ≤ G(r) is contained in Gk (r), for each k,
and the L-orbits on vertices are the following four subsets.
∆ee = {(i, j) | i, j are both even},
∆oe = {(i, j) | i is odd, j is even},

∆eo = {(i, j) | i is even, j is odd}, (3.1)
∆oo = {(i, j) | i, j are both odd}.

Writing ḡ = Lg for each g ∈ G(r), we note that G(r)/L = hµ̄1 , µ̄2 , σ̄1 , σ̄2 , τ̄ i ∼
= (Z2 ×
Z2 ) ≀ Z2 of order 25 . Let x := (0, 0) ∈ ∆ee . For each k we find a normal subgroup
K of Gk (r) such that K contains L and K is regular on vertices. Hence Gk (r) is the
semidirect product Gk (r) = K·(Gk (r))x . Then to prove half-arc-transitivity, it is sufficient
to prove that (Gk (r))x fixes setwise and interchanges the two out-neighbours of x. (This is
sufficient since, for two arbitrary oriented edges, say y → z and y ′ → z ′ , there are elements
′
′
g, g ′ ∈ K such that y g = x, (y ′ )g = x, so that z g , (z ′ )g are possibly equal out-neighbours
of x.)
(1) For the first edge-orientation we see that K := hµ1 σ2 , µ2 σ1 i is normalised by τ
and hence K is normal in G1 (r) with index 2, and G1 (r) = K · hτ i. Since |G1 (r)| = 8r2
(see Subsection 1.3), we have |K| = 4r2 . Moreover, since xµ1 σ2 = (1, 0) ∈ ∆oe , xµ2 σ1 =
(0, 1) ∈ ∆eo , and (0, 1)µ1 σ2 = (1, −1) ∈ ∆oo , it follows that K permutes the L-orbits
transitively, and hence K is transitive on vertices. Now |K| = 4r2 , and hence K is regular
on vertices. Thus the stabiliser (G1 (r))x has order 2 and so is equal to hτ i ∼
= Z2 . Finally
τ interchanges the two out-neighbours (0, 1) and (1, 0) of x.
(2) For the second edge-orientation, the subgroup K := hµ1 µ2 , µ21 , τ µ1 i is normalised
by σ1 and σ2 and hence is normal in G2 (r). Also the subgroup H := hσ1 , σ2 i ∼
= Z22 fixes
the vertex x and H ∩ K = 1. Since |G2 (r)| = 16r2 = |K|.|H|, this implies that G2 (r) is
the semidirect product K · H, and |K| = 16r2 /|H| = 4r2 . Since xµ1 µ2 = (1, 1) ∈ ∆oo ,
xτ µ1 = (1, 0) ∈ ∆oe , and (1, 0)µ1 µ2 = (2, 1) ∈ ∆eo , it follows that K permutes the Lorbits transitively, and hence K is transitive on vertices. Then since |K| = 4r2 , it follows

12

Ars Math. Contemp. x (xxxx) 1–x

that K is regular on vertices. Thus the stabiliser (G2 (r))x has order |G2 (r) : K| = 4 and
so is equal to H. Finally σ2 ∈ H interchanges the two out-neighbours (0, 1) and (0, −1)
of x.
(3) For the third edge-orientation, the subgroup K := hµ1 , µ2 i is normalised by τ and
hence is normal in G3 (r) of index 2, and G3 (r) = K · hτ i so |K| = 4r2 . Moreover, since
xµ1 = (1, 0) ∈ ∆oe , xµ2 = (0, 1) ∈ ∆eo , and (0, 1)µ1 = (1, 1) ∈ ∆oo , it follows that K
permutes the L-orbits transitively, and hence K is transitive on vertices. Now |K| = 4r2 ,
and hence K is regular on vertices. Thus the stabiliser (G3 (r))x has order 2 and so is equal
to hτ i ∼
= Z2 . Finally τ interchanges the two out-neighbours (0, 1) and (1, 0) of x.
(4) Now we consider Z(s) and G = G3Z (s) with s odd. It is straighforward to show
that the subgroup K = hµ1 , µ2 i is regular on vertices, and G = K.hτ i with Gx = hτ i.
Also τ interchanges the two out-neighbours (0, 1) and (1, 0) of x.

4 Classifying the edge-orientations
In this section we prove Theorem 1.1. Suppose that Γ is one of the graphs X(r), Y (r), Z(s)
defined in Subsection 1.3, and that H ≤ Aut Γ acts half-arc-transitively. Then as discussed
in Subsection 1.2, H preserves an edge-orientation of Γ, and this edge-orientation is determined by H up to reversing the orientation on each edge. Moreover, this edge-orientation
and its ‘reverse’ will be the same as those preserved by a subgroup of Aut Γ which is
maximal subject to containing H and acting half-arc-transitively on Γ. Thus proving Theorem 1.1 is equivalent to classifying all of the subgroups H of Aut Γ which are maximal
subject to acting half-arc-transitively on Γ. First we show that a proof of Theorem 1.1 in
the case of X(r) implies the result for the graph Y (r).
Lemma 4.1. If r 6∈ {1, 2, 4}, then Aut Y (r) is the group G(r)/M (r) discussed in Subsection 1.3(b). Moreover, if the assertions of Theorem 1.1 hold for X(r), then they hold also
for Y (r).
Proof. Write G(r) = G(r)/M (r), so G(r) is an arc-transitive subgroup of A := Aut Y (r),
where M (r) = h(µ1 µ2 )r i as in Subsection 1.3. We consider the vertex x = {(0, 0), (r, r)}
of Y (r), and its four neighbours y = {(1, 0), (r + 1, r)}, y ′ = {(−1, 0), (r − 1, r)},
z = {(0, 1), (0, r + 1)} and z ′ = {(0, −1), (r, r − 1)}. The stabiliser in G(r) of the arc
(x, y) is the subgroup hσ2 i. Since r 6∈ {1, 2, 4}, there are two paths of length 2 joining y to
the vertex v, for v = z and v = z ′ but only one such path for v = y ′ . It follows that Ax,y
must also fix y ′ .
Thus Ax,y,z has index 2 in Ax,y , and fixes each of the four neighbours of x. Moreover,
Ax,y,z fixes the second common neighbour {(1, 1), (r + 1, r + 1)} of y and z, and also
the second common neighbour {(1, −1), (r + 1, r − 1)} of y and z ′ . It follows that Ax,y,z
fixes pointwise each of the neighbours of y. Repeating this argument we conclude that
Ax,y,z = 1. Thus |A| is equal to twice the number of arcs, and hence A = G(r).
To prove the last assertion, suppose that H ≤ A and H is maximal subject to being
half-arc-transitive on Y (r), and thus preserving a certain edge-orientation of Y (r) (and
its reverse edge-orientation). Define an edge-orientation of X(r) by orienting each edge
of X(r) according to the orientation of the corresponding edge of Y (r). Since X(r) is a
double cover of Y (r), this means that both X(r)-edges corresponding to a Y (r)-edge will
have the same orientation. Now H = H/M (r) where M (r) ≤ H ≤ G(r), H is half-arctransitive on X(r), and H preserves this edge-orientation of X(r). Thus, by assumption,

Ars Math. Contemp. x (xxxx) 1–x

13

replacing H by a conjugate in Aut X(r) if necessary, this edge-orientation of X(r) is one
of the three defined in Subsection 1.3 (a) or the reverse of one of these, and so H ≤ Gk (r)
for some k ∈ {1, 2, 3}. Moreover if k = 1, then r is even, since in this case, if r were odd
then the two X(r)-edges corresponding to a Y (r)-edge would have opposite orientations
(see Remark 1.4 (a)).
By Lemma 4.1, we may assume that Γ = X(r) or Z(s), or in other words, that
Γ = Ct  Ct , where either t = 2r, or t = s (with s odd). Then A := Aut Γ =
hµ1 , µ2 , σ1 , σ2 , τ i, where the generators are defined as in Subsection 1.3 (a). We use
this notation for the rest of this subsection and we assume that H is a half-arc-transitive
subgroup of Aut Γ. We let x = (0, 0), and denote its neighbours in Γ by y = (1, 0),
y ′ = (−1, 0), z = (0, 1) and z ′ = (0, −1). First we obtain some restrictions on H.
Lemma 4.2. (a) The group H contains none of the elements σ1 µ1 , σ2 µ2 , σ1 σ2 µ1 , or
σ1 σ2 µ2 .
(b) Up to conjugation in A, the stabiliser Hx is one of hσ1 σ2 i, hσ1 , σ2 i or hτ i.
Proof. As noted in Subsection 1.3, Ax = hσ1 , σ2 , τ i ∼
= D8 , and Ax,y = hσ2 i ∼
= Z2 . There
are thus exactly two elements of A which reverse the arc (x, y), and an easy computation
shows these are the elements σ1 µ1 and σ1 σ2 µ1 . Since H is vertex-transitive, and edgetransitive, but not arc-transitive, these two elements do not lie in H. The same argument
for the arc (x, z) shows that H does not contain σ2 µ2 or σ1 σ2 µ2 . This proves part (a).
Since H is not arc-transitive, it is a proper subgroup of A, so Hx is a proper subgroup
of Ax , and Hx has two orbits on {y, y ′ z, z ′ }, the set of neighbours of x. If |Hx | = 4
these properties imply that Hx = hσ1 , σ2 i. The only other possibility is that |Hx | = 2,
so suppose this is the case. Of the five involutions in Ax the only ones which act on
{y, y ′ z, z ′} with two cycles of length 2 are σ1 σ2 , τ and σ1 σ2 τ . Since τ σ1 = σ1 σ2 τ , part
(b) follows.
This result allows us, in particular, to deal with the case where H contains the subgroup
M := hµ1 , µ2 i.
Lemma 4.3. If H contains M := hµ)1, µ2 i, then up to conjugation in A,
(
G3 (r)
if t = 2r
H=
G3Z (s) if t = s is odd.
In particular the edge-orientation is the one defined in Subsection 1.3(a.3) or (a.4), or its
reverse. Moreover, all assertions in Theorem 1.1 hold if Γ = Z(s).
Proof. Suppose that M ≤ H. Then H = M ⋊ Hx , as M is regular on vertices, and it
follows from Lemma 4.2 that Hx = hτ i (replacing H by a conjugate if necessary). Thus
H is as claimed and so is the edge-orientation. If Γ = Z(s) then |A| = 8s2 and the
subgroup M is the unique Hall 2′ -subgroup of A. Since H is vertex transitive H must
contain M .
We may therefore assume that Γ = X(r), and that M 6⊆ H. Next we consider the case
τ ∈ H.

14

Ars Math. Contemp. x (xxxx) 1–x

Lemma 4.4. If Γ = X(r), M 6⊆ H, and τ ∈ H, then up to conjugation in A, H = G1 (r)
and the edge-orientation is as defined in Subsection 1.3(a.1) or its reverse.
Proof. Since τ ∈ H, we have Hx = hτ i by Lemma 4.2, and so |A : H| = 4. Also
|M : M ∩ H| = |M H : H| divides |A : H| = 4.
We claim that |M : M ∩ H| = 4. Suppose not. Then since M 6⊆ H, the subgroup
M ∩ H has index 2 in M , and as it is τ -invariant, it follows that M ∩ H = hµ21 , µ22 , µ1 µ2 i.
Now M H/M ∼
= H/(M ∩ H) has order |H|/|M ∩ H| = 4, and as Ax is a transversal for
M in A, the M -cosets in M H/M have representatives from a subgroup of Ax of order 4
containing τ . The unique such subgroup is hτ, σ1 σ2 i. Since each of these M -cosets also
has a representative from H, it follows that H contains an element σ1 σ2 µi1 µj2 , for some
i, j. Since H contains µ21 , µ22 and µ1 µ2 , we may assume that j = 0 and i ∈ {0, 1}. Part (a)
of Lemma 4.2 implies that i 6= 1, while the fact that Hx = hτ i implies that i 6= 0. This is
a contradiction, and hence |M : M ∩ H| = 4. Thus |M H/M | = |H|/|M ∩ H| = 8, so
M H = A.
We next claim that M ∩ H = hµ21 , µ22 i. Since M ∩ H is τ -invariant, this claim would
follow if the projection of M ∩ H into hµ1 i were contained in hµ21 i (since this would imply
that M ∩ H ⊆ hµ21 , µ22 i). Suppose that this is not the case. Then M ∩ H is a τ -invariant,
subdirect subgroup of M = hµ1 i × hµ2 i of index 4, and it follows that r is even and
M ∩ H = hµ41 , µ42 , µ1 µa2 i, where a ∈ {1, −1}. Since M H = A, H contains an element of
the form h = σ2 µi1 µj2 for some i, j, and hence H contains µ1 µa2 (µ1 µa2 )h = µ1 µa2 µ1 µ−a
2 =
µ21 . This is a contradiction, proving our second claim.
Thus M ∩ H = hµ21 , µ22 i. Since M H = A, the subgroup H contains an element
′
h = σ1 µi1 µj2 for some i, j, and since M ∩ H contains µ21 , µ22 , we may assume that i, j ∈
{0, 1}. Since σ1 6∈ H, and also, by Lemma 4.2, σ1 µ1 6∈ H, it follows that j = 1. If
h′ = σ1 µ1 µ2 , then H also contains (h′ )τ = σ2 µ2 µ1 , and this implies that H contains
(h′ )τ (h′ )−1 = σ2 σ1 = σ1 σ2 , which is a contradiction. Thus h′ = σ1 µ2 . Then H also
contains (h′ )τ = σ2 µ1 , and so the group G1 (r) is contained in H. These groups have the
same order, so H = G1 (r) and the lemma follows.
Thus from now on we may assume that τ 6∈ H and hence, by Lemma 4.2, that Hx =
hσ1 σ2 i or hσ1 , σ2 i.
Lemma 4.5. If Γ = X(r), M 6⊆ H, and Hx = hσ1 , σ2 i or hσ1 σ2 i, then up to conjugation
in A, H ≤ G2 (r) and the edge-orientation is as defined in Subsection 1.3(a.2) or its
reverse.
Proof. Here Hx = hσ1 σ2 i or hσ1 , σ2 i and |H| = 8r2 or 16r2 respectively. Let δ := |M :
M ∩ H|, so δ > 1 since M 6⊆ H. Then |H| = |H : M ∩ H| · |M ∩ H| = |M H :
M | · (4r2 /δ) divides 8 · (4r2 /δ), so δ | 4 or δ = 2 according as |H| = 8r2 or 16r2 .
Note that it is sufficient to prove that H ≤ G2 (r) (up to conjugation in A), since the edgeorientations preserved by H and G2 (r) are then the same as both act half-arc-transitively.
Let πi : M → hµi i denote the natural projection map, for i = 1, 2.
We claim that πi (M ∩ H) = hµi i for at least one i. Suppose that this does not hold.
Then, since δ ≤ 4, it follows that M ∩ H = hµ21 , µ22 i, δ = 4, so Hx = hσ1 σ2 i and
A = M H. Since A = M H it follows that H contains elements of the form h = τ µi1 µj2
′
′
and h′ = σ1 µi1 µj2 , and we may assume that i, j, i′ , j ′ all lie on {0, 1} since µ21 , µ22 lie in
H. Since neither τ nor σ1 lies in H, (i, j) 6= (0, 0) 6= (i′ , j ′ ). By Lemma 4.2 (a), H does

Ars Math. Contemp. x (xxxx) 1–x

15

not contain either σ1 µ1 or σ2 µ2 = (σ1 σ2 )(σ1 µ2 ), and hence the only possiblity for h is
σ1 µ1 µ2 . If h′ = τ µ1 then H contains (h′ )2 = µ2 µ1 , which is a contradiction. Similarly
h′ 6= τ µ2 . Thus h′ = τ µ1 µ2 , but then H contains h′ h−1 = τ σ1 , which is a contradiction,
proving the claim.
Replacing H by its conjugate H τ if necessary, we may assume that M ∩ H contains
µ1 µa2 for some a. Then |M ∩ H| = 2r |H ∩ hµ2 i|, and hence H ∩ hµ2 i = hµδ2 i and
M ∩ H = hµ1 µa2 , µδ2 i, where r is even if δ = 4. We may also assume that 0 ≤ a < δ.
Moreover a 6= 0, since otherwise H contains (σ1 σ2 )µ1 , contradicting Lemma 4.2.
We claim that δ = 2. Suppose to the contrary that δ = 4. Then r is even, Hx = hσ1 σ2 i,
and M ∩ H = hµ1 µa2 , µ42 i, with a ∈ {1, 2, 3}. The equations in the first paragraph imply
that |M H : M | = 8 so A = M H, and hence H contains elements of the form h = σ1 µb2
and h′ = τ µc2 for some b, c ∈ {1, 2, 3} (adjusting by elements of M ∩ H and noting that
τ, σ1 6∈ H). Then M ∩ H contains µ1 µa2 (µ1 µa2 )h = µ2a
that a = 2, and
2 , which implies
′
hence that M ∩ H contains µ21 . Therefore M ∩ H contains (µ1 µ22 )h µ−2
1 = µ2 , which is a
contradiction.
Thus δ = 2, so M ∩ H = hµ1 µ2 , µ22 i, and the equations in the first paragraph imply
that |M H : M | = 4 or 8, when |H| = 8r2 or 16r2 respectively. Then M H/M has order
at least 4. Suppose that H contains an element of the form h = τ µi1 µj2 ; adjusting by an
element of M ∩ H we may assume that h = τ µ1 (since H does not contain τ ). Then
H = hM ∩ H, Hx , τ µ1 i ≤ hµ1 µ2 , µ22 , σ1 , σ2 , τ µ1 i = G2 (r), and the lemma is proved
in this case. If H contains no such element then |M H/M | = 4. Next, if H contains an
element of the form h = τ σℓ µi1 µj2 (for ℓ = 1 or 2), then adjusting by an element of M ∩ H
we may assume that h = τ σℓ µ1 (since H does not contain τ σℓ ), and again we find that
H = hM ∩H, Hx , τ σℓ µ1 i ≤ G2 (r). The lemma follows in this case. Thus we may assume
that M H/M projects to the subgroup hσ1 , σ2 i of Ax , and now we obtain an element of the
form h = σ1 µi1 µj2 in H, and H = hM ∩ H, Hx , hi ≤ G2 (r), completing the proof.
All the assertions of Theorem 1.1 now follow from Lemmas 4.1, 4.3, 4.4, and 4.5,
completing its proof.

5 Identifying normal quotients of (Γ, G) for Theorem 1.3
We identify some of the normal quotients of these graph-group pairs. Note that whenever
a normal subgroup N of G(r) is contained in Gk (r) we can use it to form a normal quotient of (X(r), Gk (r)), and moreover we can use Lemma 2.1 to deduce information about
normal quotients of (Y (r), Hk (r)) (taking N = M (r)) and about (Z(s), G3Z (s)) (taking
r = s odd and N = N (s)). Recall the definitions of the subgroups in (1.1), (1.2) and (1.3).
First we deal with normal quotients modulo N (a), M (a), and the corresponding subgroups
of H(r) = G(r)/M (r).
Lemma 5.1. For Γ, G, N as in one of the lines of Table 3, the assertions about the normal
quotient (ΓN , G/N ) are valid.
Proof. Let G = Gk (r) or G3Z (s), and let Γ = X(r) or Z(s), so Γ has vertex set Zt × Zt ,
where t = 2r or s respectively. Consider the action on vertices of the normal subgroup
N = N (a) of G, where a | t and 2 < a < t. The N -orbits are the a2 subsets
∆i,j = {(i′ j ′ ) | i′ ≡ i (mod a), j ′ ≡ j

(mod a)}

16

Ars Math. Contemp. x (xxxx) 1–x

for i, j ∈ Za . Since (i′ , j ′ ) is adjacent in Γ to (i′ ± 1, j ′ ) and (i′ , j ′ ± 1), for all i′ , j ′ ∈ Zt ,
it follows that ∆i,j is adjacent in the quotient graph ΓN to ∆i±1,j and ∆i,j±1 , for each
i, j ∈ Za . Thus, since a > 2, ΓN has valency 4, and the mapping f : ∆i,j −→ (i, j)
defines a graph isomorphism from ΓN to X(a/2) if a is even, or to Z(a) if a is odd.
By [1, Theorem 1.1], the group induced by G on the quotient ΓN is precisely G/N , and
(ΓN , G/N ) ∈ OG(4). In particular N is the kernel of the G-action on the set of N -orbits
in Γ. Write ḡ := N g for elements of the quotient group G/N .
If a is even, then it follows from the definitions of the generators µ1 , µ2 , σ1 , σ2 , τ of
G(r), given in Subsection 1.3, that the induced maps µ̄1 , µ̄2 , σ̄1 , σ̄2 , τ̄ acting on ΓN correspond to the respective generators for the smaller group G(a/2) acting on X(a/2). This
natural correspondence defines a group isomorphism G(r)/N → G(a/2) which restricts
to an isomorphism ϕ : G/N → Gk (a/2). We conclude that (f, ϕ) defines an isomorphism
from (ΓN , G/N ) to (X(a/2), Gk (a/2)). Thus the first line of Table 3 is valid.
Similarly if a is odd, then the maps µ̄1 , µ̄2 , τ̄ acting on ΓN induced from the generators µ1 , µ2 , τ (for G3 (r) or G3Z (s)) correspond to the respective generators for the
smaller group G3Z (a) acting on Z(a), and we obtain an isomorphism from (ΓN , G/N ) to
(Z(a), G3Z (a)). Thus lines 3 and 7 of Table 3 are also valid.
Suppose now that t = 2r above, so Γ = X(r). If a and 2r
a are both even then by
(1.4), N (a) contains M (r), and it follows by Lemma 2.1 (taking N = M (r) in that result) that the quotient of (Y (r), Hk (r)) modulo N (a) is isomorphic to the quotient of
(X(r), Gk (r)) modulo N (a), and we have just shown that this latter quotient is isomorphic to (X(a/2), Gk (a/2)). Thus line 4 of Table 3 is valid. Similarly if a is odd then
2r
a is even, and again by (1.4), N (a) contains M (r). The same argument now yields that
the quotient of (Y (r), Hk (r)) modulo N (a) is isomorphic to (Z(a), G3Z (a)), proving that
line 6 of Table 3 is valid.
It remains to consider lines 2 and 5 of Table 3. We continue to let (Γ, G) be the pair
(X(r), Gk (r)), and we note that, if a normal quotient of (Γ, G) modulo M is 4-valent,
then by [1, Theorem 1.1], M is the kernel of the G-action on the set of M -vertex-orbits
in Γ. Consider now M = M (a) where a | r (so 2r
a is even) and 1 < a ≤ r. Since
M ⊆ G = Gk (r), we must have a even when k = 1. Applying Lemma 2.1 with
(Γ′ , G′ ) = (X(a), Gk (a)) and N = N (2a), we find that the quotient of (Γ, G) modulo
M is isomorphic to the quotient of (X(a), Gk (a)) modulo the image of M under projection from G to G/N ∼
= Gk (a), namely h(µ̄1 µ̄2 )a i. Thus the latter normal quotient is
(Y (a), Hk (a)), proving that line 2 of Table 3 is valid.
For the final line, line 5, we apply Lemma 2.1 with (Γ′ , G′ ) = (Y (r), Hk (r)) and
N = M (r), where r is even when k = 1. Consider M = M (a), where a | r and
1 < a < r, and note that N ≤ M . We wish to take the quotient of (Γ′ , G′ ) modulo
M = M (a)M (r)/M (r), and we note that 1 < M ≤ Hk (r) if and only if a < r, and also
a is even when k = 1. Suppose this is the case. Then by Lemma 2.1, the quotient of (Γ, G)
modulo M is isomorphic to the quotient of (Y (r), Hk (r)) modulo the image M of M (a)
under projection from G to G/N ∼
= Hk (r). We already proved that the former normal
quotient (ΓM , G/M ) is isomorphic to (Y (a), Hk (a)). This proves that line 5 of Table 3 is
valid.
Next we consider normal quotients in Table 4. Recall the definitions of the subgroups
in (1.1), (1.2) and (1.3).

Ars Math. Contemp. x (xxxx) 1–x

17

Lemma 5.2. For Γ, G as in Theorem 1.3(b), and for N as in one of the lines of Table 4,
the assertions about the normal quotient (ΓN , G/N ) are valid.
Proof. The N (2)-vertex-orbits on X(r) are the four subsets given in (3.1). It is straightforward to check that the underlying quotient graph of X(r) modulo N (2) is a cycle C4 .
With the first and third edge-orientations (that is, k = 1 or 3), there are oriented edges
in both directions between the adjacent N (2)-orbits, so the cyclic quotient is unoriented,
N (2) is the kernel of the action on the N (2)-vertex-orbits, and the induced group is D8 .
Thus line 1 of Table 4 is valid for N in Gk (r) with k = 1, 3. Moreover in these cases,
if r is even, then N (2) contains M (r) by (1.4), and it follows from Lemma 2.1 that the
quotient of (Y (r), Hk (r)) modulo N (2) is isomorphic to the quotient of (X(r), Gk (r))
modulo N (2), namely (C4 , D8 ), proving the rest of line 1 of Table 4.
On the other hand, if k = 2, then the edges of the quotient graph of X(r) modulo N (2)
(which is a 4-cycle) are oriented ∆ee → ∆eo → ∆oo → ∆oe → ∆ee , the kernel of the
G2 (r)-action on the N (2)-vertex-orbits is N (2, +), and G2 (r)/N (2, +) ∼
= Z4 . Thus line
2 of Table 4 is valid for N in G2 (r). If r is even, then M (r) ≤ N (2, +) and arguing as
in the previous paragraph, the normal quotient of (Y (r), H2 (r)) modulo N (2, +) is also
(C4 , Z4 ), proving the rest of line 2 of Table 4.
Next suppose that r is odd and k = 2, or 3. Then the preimage in Gk (r) of N (2, +), or
N (2), is equal to hN (2, +), µ1 µ2 i, or M (1), respectively. Each of these preimage groups
has vertex-orbits ∆ee ∪ ∆oo and ∆eo ∪ ∆oe in X(r), and hence the normal quotients of
(Y (r), H2 (r)) modulo N (2, +), and of (Y (r), H3 (r)) modulo N (2), are both isomorphic
to (K2 , Z2 ). This proves that lines 3 and 4 of Table 4 are valid.
Now let (Γ, G) = (X(r), G3 (r)) and (Γ′ , G′ ) = (Y (r), H3 (r)). First consider N =
J = hµ1 µ2 i. Then the N -vertex-orbits in Γ are the sets Bi = {(i + j, j) | j ∈ Z2r }
for i ∈ Z2r . The quotient (ΓN , G/N ) is the unoriented cycle C2r with edges of both
orientations between adjacent N -orbits Bi , Bi+1 (for example, (i, 0) → (i + 1, 0) and
(i, 0) ← ((i + 1) − 1, −1)). Hence N is the kernel of the G-action on the set of N orbits, and (ΓN , G/N ) = (C2r , D4r ), as in line 5 of Table 4 for ‘N in G3 (r)’. The
same argument with 2r replaced by s, proves line 5 for ‘N in G3Z (s)’ with N = J.
Continuing with N = J in G3 (r), since N contains M (r), it follows from Lemma 2.1 that
the normal quotient of (Γ′ , G′ ) modulo N is also (C2r , D4r ), completing the proof of line
5 of Table 4. Moreover, if we replace N by J(+) = hµ1 µ2 , µr1 i, then the N -vertex-orbits
become Bi ∪ Bi+r , for 0 ≤ i < r, and the quotients (ΓN , G/N ) and (Γ′N , G′ /N ) both
become (Cr , D2r ), proving line 7 of Table 4.
Now consider M = hµ1 µ−1
2 i in G = G3 (r). The M -vertex-orbits in Γ are the sets
Di = {(i + j, −j) | j ∈ Z2r } for i ∈ Z2r . All the out-neighbours of vertices in Bi
lie in Bi+1 , and hence the quotient is (an oriented) cycle of length 2r and the induced
group is Z2r . Moreover the element τ ∈ G fixes each Di setwise and the kernel of the
G-action on the set of M -orbits is N := K = hM, τ i. Thus (ΓN , G/N ) = (C2r , Z2r ),
and since N contains M (r), it follows from Lemma 2.1 that the normal quotient of (Γ′ , G′ )
modulo N is also (C2r , Z2r ), as in line 6 of Table 4. If we replace 2r by s and (Γ, G) by
(Z(s), G3Z (s)), the argument above proves line 6 for N = K in G3Z (s), completing the
r
proof of line 6 of Table 4. Finally, if we replace N by K(+) = hµ1 µ−1
2 , τ, µ1 i in G3 (r),
then the N -vertex-orbits in X(r) become Di ∪ Di+r for 0 ≤ i < r, and the quotients
(ΓN , G/N ) and (Γ′N , G′ /N ) both become (Cr , Zr ), as asserted in line 8 of Table 4.
Theorem 1.3 follows from Lemmas 5.1 and 5.2.

18

Ars Math. Contemp. x (xxxx) 1–x

6 Identifying the basic pairs (Γ, G) for Theorem 1.2
Each of the pairs (Γ, G) in Theorem 2 lies in OG(4), by Lemma 3.3. Before competing the
proof of Theorem 1.2 by determining the basic graph-group pairs, we prove a preliminary
lemma. The centraliser of a subgroup N of a group G is the subgroup CG (N ) = {g ∈ G |
gh = hg, ∀ h ∈ N }. For a prime p, Op (G) is the (unique) largest normal p-subgroup of
G. By Sylow’s Theorem, Op (G) is contained in every Sylow p-subgroup of G. Possibly
Op (G) = 1.
Lemma 6.1. Suppose that r ≥ 3.
(a) Let N (2) be as in (1.1), a subgroup of G(r). Then CG(r) (N (2)) = hµ1 , µ2 i.
(b) For t odd, O2 (G2 (t)) = M (t), O2 (G3 (t)) = hµt1 , µt2 i, and O2 (G3Z (t)) = 1.
Proof. (a) Let C := CG(r) (N (2)). Recall that N (2) = hµ21 , µ22 i and that hµ1 , µ2 i is
abelian, so hµ1 , µ2 i ≤ C. Let K = hµ1 , µ2 , σ1 , σ2 i. Then each element of G(r) \ K
interchanges hµ1 i and hµ2 i, and hence does not centralise N (2). Thus C ≤ K. Similarly,
for i = 1, 2, any element of K not lying in hµ1 , µ2 , σi i inverts hµ3−i i, so does not lie in C
since r > 2. It follows that C = hµ1 , µ2 i.
(b) Let Q = O2 (Gk (t)) with k = 2 or 3. Since M (t) = hµt1 µt2 i ∼
= Z2 is normal in
Gk (t), we have M (t) ≤ Q. Moreover, since t is odd, the normal subgroups N (2) (or order
t2 ) and Q intersect in the identity subgroup. Hence Q ≤ CG(t) (N (2)) ∩ Gk (t) = L, say,
and by part (a), L = hµ1 , µ2 i ∩ Gk (t). In fact Q must be contained in the unique Sylow
2-subgroup P of L. If k = 2, then P = M (t) and hence Q = M (t). If k = 3, then
P = hµt1 , µt2 i, and since this subgroup P is a normal 2-subgroup of G3 (t), it follows that
Q = P . Finally consider Q = O2 (G3Z (t)). Since |G3Z (t)| = 2t2 with t odd, we have
|Q| ≤ 2. Suppose for a contradiction that |Q| = 2. Then Q ∩ N = 1, where N = hµ1 , µ2 i
(of odd order t2 ). So Q centralises N , but this implies that G3Z (t) = N Q is abelian, which
is not the case. Hence Q = 1.
Lemma 6.2. The ‘Conditions to be Basic’ in Table 2 are correct, namely,
(a) (X(r), Gk (r)) is basic if and only if k = 1 and r is an odd prime;
(b) (Y (r), Hk (r)) is basic if and only if either r = 2, or k = 2 and r is an odd prime;
(c) (Z(s), G3Z (s)) is basic if and only if s is an odd prime.
Moreover the ‘Basic Type’ entries in Table 2 are also correct.
Proof. (a) Suppose first that (X(r), Gk (r)) is basic, that is, (X(r), Gk (r)) has no proper
nondegenerate normal quotients. It follows from lines 1 and 2 of Table 3 that k = 1 and r
is an odd prime.
Conversely suppose that k = 1 and r is an odd prime, and assume, for a contradiction
that G1 (r) has a nontrivial normal subgroup N such that (X(r)N , Gk (r)/N ) is nondegenerate. Then by [1, Theorem 1.1], N is semiregular on the vertices of X(r), and this quotient
has valency 4, so N has at least five vertex-orbits. Without loss of generality we may assume that N is a minimal normal subgroup of G1 (r). Now N ∩ N (2) = 1 would imply
that N ≤ CG1 (r) (N (2)), and hence by Lemma 6.1 that N ≤ hµ1 , µ2 i ∩ G1 (r) = N (2),
which in turn implies N ≤ N ∩ N (2) = 1, a contradiction. Hence N ∩ N (2) 6= 1, so by
the minimality of N , we have N ≤ N (2). Since N (2) has only four vertex orbits in X(r),

Ars Math. Contemp. x (xxxx) 1–x

19

N must be a proper subgroup of N (2), and since |N (2)| = r2 and r is an odd prime, it
follows that |N | = r. Since N is normalised by τ ∈ G1 (r), it follows that N 6= hµ2i i for
i = 1 or i = 2, and hence that N = hµ21 µ2i
2 i for some i such that 1 ≤ i < r. Now N must
τ
2 2i
2 2i i
contain (µ21 µ2i
)
=
µ
µ
.
Since
the
only
element of N projecting to µ2i
2
2 1
1 is (µ1 µ2 ) , we
2
2(i −1)
2 2i i
have µ22 µ2i
= 1, so i2 ≡ 1 (mod r). This implies that
1 = (µ1 µ2 ) , and hence µ2
2(r−1)
2 2
i is normalised by µ1 σ2 ∈ G1 (r).
i = 1 or r − 1. However neither hµ1 µ2 i nor hµ21 µ2
This is a contradiction. Therefore (X(r), Gk (r)) is basic when k = 1 and r is an odd
prime. Moreover (X(r), G1 (r)) is basic of cycle type, see line 1 of Table 4.
(b) Suppose next that (Γ′ , G′ ) = (Y (r), Hk (r)) is basic, where r is even if k = 1. It
follows from lines 4, 5 and 6 of Table 3 that either r = 2, or k = 2 and r is an odd prime.
Now we prove the converse. Suppose that r = 2, or k = 2 and r is an odd prime. Let M be
a minimal normal subgroup of G′ = Hk (r) and consider the quotient Γ′M . If (Γ′M , G′ /M )
is nondegenerate (hence of valency 4), then by [1, Theorem 1.1], M is semiregular with at
least five vertex-orbits on Γ′ , and M is the kernel of the G′ -action on the M -orbits. On the
other hand if (Γ′M , G′ /M ) is degenerate, then we replace M by the kernel of the G′ -action
on the M -orbits. We consider the possibilities for (Γ′M , G′ /M ): in particular if none are
nondegenerate then (Γ′ , G′ ) is basic.
Suppose first that r = 2. Then the graph Γ′ has only eight vertices, and hence M has at
most four vertex-orbits, so all quotients (Γ′M , G′ /M ) are degenerate. Thus if r = 2, then
(Γ′ , G′ ) is basic. It is basic of cycle type, by lines 1 and 2 of Table 4.
Suppose now that k = 2 and r is an odd prime. Note that the normal subgroup N (2)
of G′ has just two vertex-orbits, each of size r2 , on Γ′ . If M contains N (2) then by
the minimality of M , M = N (2, +) (the kernel of the G′ -action on the N (2)-orbits)
and (Γ′M , G′ /M ) = (K2 , Z2 ) as in line 4 of Table 4. Suppose now that M 6⊇ N (2). By
Lemma 2.1, since (Γ′ , G′ ) is isomorphic to the normal quotient of (Γ, G) = (X(r), Gk (r))
modulo the normal subgroup N = M (r) of G (Table 3, line 2), it follows that (Γ′M , G′ /M )
is isomorphic to a normal quotient (ΓL , G/L) for some normal subgroup L of G such that
N ≤ L and L is the kernel of the G-action on the L-vertex-orbits on Γ, and G/L ∼
= G′ /M .
′
Moreover L/N corresponds to M under the isomorphism G → G . In particular, L/N is
a minimal normal subgroup of G/N if M is a minimal normal subgroup of G′ , and since
M 6⊇ N (2) we have L 6⊇ N (2).
If |L| is not divisible by (the odd prime) r, then L is a normal 2-subgroup of G = G2 (r)
properly containing N = M (r). Hence L ≤ O2 (G) and O2 (G) 6= M (r), contradicting
Lemma 6.1(b). Thus |L| is divisible by r. Then L′ := L ∩ N (2) 6= 1, and L′ 6= N (2)
since L 6⊇ N (2). Since |N (2)| = r2 , it follows that |L′ | = r, and, being the intersection
of two normal subgroups, L′ is normal in G = G2 (r). We argue as in the proof of part (a):
L′ 6= hµ2i i for i = 1 or i = 2 since L′ is normalised by τ µ1 . So L′ = hµ21 µ2i
2 i, for some
i such that 1 ≤ i < r. However σ2 ∈ G2 (r) and σ2 does not normalise L′ , contradiction.
Thus there is no proper normal quotient (Γ′M , G′ /M ) with M 6⊇ N (2). Hence (Γ′ , G′ ) is
basic and its only proper normal quotient is (K2 , Z2 ). This implies that (Γ′ , G′ ) is basic of
biquasiprimitive type, see Table 1, and completes the proof of part (b).
(c) Suppose now that (Γ, G) = (Z(s), G3Z (s)), where s is odd. If (Γ, G) is basic
then it follows from line 7 of Table 3 that s is an odd prime. Suppose conversely that
s is an odd prime. Let M be a nontrivial normal subgroup of G which is equal to the
kernel of the G-action on the M -orbits in Γ, and consider (ΓM , G/M ). If M contains
N = N (1) = hµ1 , µ2 i (of order s2 ), then since N is vertex-transitive on Z(s), we have
M = G and (ΓM , G/M ) = (K1 , 1). So assume that N 6⊆ M . If M ∩ N = 1, then M is

20

Ars Math. Contemp. x (xxxx) 1–x

a normal subgroup of G of order dividing |G|/|N | = 2, and so |M | = 2 and M ≤ O2 (G),
contradicting Lemma 6.1. Thus M ∩ N must have order s, and must be normal in G. Since
M ∩ N is normalised by τ ∈ G, it follows that M ∩ N = hµ1 µ±1
2 i, that is, M ∩ N is
either J or the derived subgroup K ′ of K, as defined in (1.2). If M ∩ N = K ′ , then the
orbits of M ∩ N and K are the same. Thus ΓM is a quotient of ΓM∩N which, in either
case, is a cycle of length s, by lines 5 and 6 of Table 4. Thus (Γ, G) is basic of cycle type,
completing the proof of part (c).
Finally we observe that Theorem 1.2 follows from Lemma 3.3 (for membership in
OG(4)), and Lemma 6.2.

References
[1] J. A. Al-Bar, A. Al-Kenani, N. M. Muthana, and C. E. Praeger, Finite edge-transitive oriented
graphs of valency four: a global approach. Electron. J. Combin. 23 (2016), #P1.10.
[2] J. A. Al-Bar, A. Al-Kenani, N. M. Muthana, and C. E. Praeger, Finite edge-transitive oriented
graphs of valency four with cyclic normal quotients. Submitted. 2016. arXiv:1612.06024
[3] P. J. Cameron, Permutation Groups, London Math. Soc. Student Texts, Cambridge University
Press, Cambridge, 1999.
[4] M. D. E. Conder, P. Potočnik, P. ŠSparl, Some recent discoveries about half-arc-transitive
graphs, Ars. Math. Contemp. 8 (2005), 149–162.
[5] C. Godsil and G. F. Royle, Algebraic Graph Theory, Springer-Verlag, New York, 2001.
[6] A. Hujdurović, K. Kutnar and D. Marušič, Half-arc-transitive group actions with a small number of alternets, J. Combin. Theory, Ser. A 124, (2014), 114–129.
[7] D. Marušič, Recent developments in half-transitive graphs, Discrete Math 182 (1998), 219–
231.
[8] D. Marušič, Half-transitive group actions on finite graphs of valency 4, J. Combin. Theory (B)
73 (1998), 41–76.
[9] D. Marušič and R. Nedela, Maps and half-transitive graphs of valency 4, Eur. J. Combin. 19
(1998), 345–354.
[10] D. Marušič and C. E. Praeger. Tetravalent graphs admitting half-transitive group actions: alternating cycles, J. Combin. Theory (B) 75 (1999), 188–205.
[11] D. Marušič and P. Šparl, On quartic half-arc-transitive metacirculants, J. Algebr. Comb. 28
(2008), 365–395.
[12] D. Marušič and A. O. Waller, Half-transitive graphs of valency 4 with prescribed attachment
numbers, J. Graph Theory 34 (2000), 89–99.
[13] P. Potočnik, P. Spiga and G. Verret, A census of 4-valent half-arc-transitive graphs and arctransitive digraphs of valence two, Ars Math. Contemp. 8 (2015), 115–130.

