arXiv:1611.05496v3 [] 20 Dec 2016

Cyclically Presented Groups With Length Four Positive
Relators
William A. Bogley and Forrest W. Parker
December 22, 2016

Abstract
We classify cyclically presented groups of the form G = Gn (x0 xj xk xl ) for finiteness
and, modulo two unresolved cases, we classify asphericity for the underlying presentations. We relate finiteness and asphericity to the dynamics of the shift action by the
cyclic group of order n on the nonidentity elements of G and show that the fixed point
subgroup of the shift is always finite.

1

Cyclically Presented Groups and Shift Dynamics

One purpose of this article is to provide classifications of finiteness and asphericity (modulo
two unresolved cases) for cyclic group presentations where the relators are positive words of
length four. More generally, we relate finiteness and asphericity to the dynamics of the shift
action that arises from the cyclic symmetry in these presentations, thus extending results
from [3].
Let n be a positive integer and let F be the free group of rank n with basis x0 , . . . , xn−1 .
The shift automorphism is given by θF (xi ) = xi+1 where subscripts are taken modulo n.
A word w ∈ F determines the cyclic (group) presentation
Pn (w) = hx0 , . . . , xn−1 | w, θF (w), . . . , θFn−1 (w)i
which in turn defines the cyclically presented group G = Gn (w). The shift determines
n = 1. The order of the shift is therefore a
an automorphism θG ∈ Aut(G) that satisfies θG
divisor of n and the shift may or may not be an inner autormorphism of G.
The following two classification problems have received attention in the literature. See
[8, 14, 26, 27], for example.
Finiteness: For which n and w is the cyclically presented group Gn (w) finite?
Asphericity: For which n and w is the cyclic presentation Pn (w) (combinatorially) aspherical?
See Section 2 for a discussion of combinatorial asphericity. A group presentation is aspherical if its two-dimensional cellular model K is aspherical, or equivalently its second homotopy
module π2 K is trivial. Combinatorial asphericity is a more general concept that allows for
the presence of proper power and freely redundant relators, in which case π2 K 6= 0. See [9]
1

for a comprehensive treatment of asphericity concepts for group presentations. Asphericity
and finiteness are related in that any finite subgroup of a group defined by a combinatorially
aspherical presentation is finite cyclic [18]. This generalizes the well-known fact that if a
two-complex K satisfies π2 K = 0, then the fundamental group π1 K is torsion-free.
In [8, 14], the finiteness and asphericity classification problems were completely solved
for cyclic presentations Pn (w) where the defining relator is a positive word of length three.
In this article we deal with the length four case. Thus we consider presentations of the form
(1)

Pn (x0 xj xk xl ) = hx0 , . . . xn−1 | xi xi+j xi+k xi+l , 0 ≤ i < ni

where the integer parameters j, k, l are to be considered modulo the positive integer n. (Note
that the presentation Pn (w) is unchanged if we replace w by any of its shifts.) Modeling
an approach developed in [14], our classifications are framed in terms of conditions on the
parameters (n, j, k, l) starting with (A), (B), (C) as follows. All congruences are considered
modulo n.
(A)
(B)
(C)

2k ≡ 0 or 2j ≡ 2l
k ≡ 2j or k ≡ 2l or j + l ≡ 2k or j + l ≡ 0
l ≡ j + k or l ≡ j − k
Table 1: Conditions (A), (B), (C)

Table 2 provides an overview of our main results regarding asphericity and finiteness in
terms of truth values for the conditions (A), (B), (C).
(A)

(B)

(C)

Aspherical [I]

Group [II]

Yes
C(4)-T(4)
[6.2, 6.3]

Finite ⇔ n = 1 ⇔ Z4 [6.1(b)]

T
T
T
F
F
F

T
F
F
F
T
F

T
T
F
F
T
T

T

T

F

No [8.1]

F

(I∗ ): No [9.8]
(U∗ ): Unresolved
Else: Yes [9.3]

F

T

Finite ⇔ Z4 [7.2]
See [II(b)],[7.2(iv)]
Finite ⇔ γ = 1
[8.1]
Finite ⇒ Solvable

No [6.3]

Finite ⇔ (I5), (I6′ ), or (I6′′ ) [9.9]

W [5.2-5.4]
z4
2
(z α)2
Q4
xα
Q4i=1 i
xα
i
i=1
z4α
z 2 αz 2 β
u3 αuα±1
u3 αuβ

Table 2: Asphericity and Finiteness for Pn (x0 xj xk xl )
We now discuss the specialized notation in Table 2. Bracketed entries [-] refer to supporting
results in this article. The cyclic group of order n acts on a cyclically presented group
G = Gn (w) by automorphisms and so there is the shift extension
En (w) = Gn (w) ⋊θG Zn .
2

This group admits a two-generator two-relator presentation En (w) ∼
= ha, x | an , W i where
i
−i
W is obtained from w via the substitutions xi = a xa , so the shift θG ∈ Aut(G) arises
via conjugation by a in En (w). When w = x0 xj xk xl , the relator W takes the form
W = xaj xak−j xal−k xa−l .

(2)

The conditions (A), (B), (C) enable simplifications of the relation (2) as shown in the right
hand column of Table 2. For example, if k ≡ 2j mod n, as in (B), then the substitution
u = xaj transforms W to u3 al−3j ua−l−j . Simplifications of this sort are developed in
Section 5. Section 2 discusses the concept of combinatorial asphericity and its relation
to the small cancellation property C(4)-T(4), as well as asphericity for the relative
presentation hZn , x | W i of the shift extension. Section 3 discusses isomorphisms among
groups of the form Gn (x0 xj xk xl ) that arise from an action of a finite group Γn on the
set of length four positive words in the generators x0 , . . . , xn−1 . The secondary divisor
γ = gcd(n, k − 2j, j − 2k + l, k − 2l, j + l) is introduced in Section 4.
The various combinations of conditions represented in the lefthand column of Table 2
are analyzed individually in Sections 6-9. As in [3, 8, 14], we depend on previous work
concerning asphericity of relative presentations, in this case [2]. As is typical in the study
of relative asphericity, most of the presentations encountered in [2] are aspherical, with
the nonaspherical cases falling into well-defined infinite families (see Theorem 9.2.1), along
with a handful of isolated nonaspherical cases. In addition, there are two cases treated in [2]
where the asphericity status remains unresolved even when we incorporate recent progress
due to Aldwaik and Edjvet [1] and Williams [28]. See Section 9 for these updates.
The bottom row of Table 2 is the most complex, where we encounter eight isolated
conditions and the two unresolved conditions, which are collectively referred to as (I∗ ) and
(U∗ ) respectively. As we now describe, these conditions are defined in terms of exemplars
that are listed in Tables 3 and 4.
Condition

Exemplar

(I5)

P5 (x0 x3 x1 x1 )

(I6′ )

P6 (x0 x4 x2 x3 )

Shift Extension
ha, x | a5 , xa3 xa−2 xxa−1 i
ha, x | a6 , xa4 xa−2 xaxa−3 i

u=xa4

∼
=

ha, u | a5 , u3 a2 uai

ha, u | a6 , u3 a−3 ua−1 i

ha, x | a6 , xxaxaxa−2 i ∼
= ha, u | a6 , u3 a−3 ua−1 i

P6 (x0 x0 x1 x2 )

(I10)

P10 (x0 x3 x6 x1 )

(I12)

P12 (x0 x1 x2 x9 )

(I16)

P16 (x0 x3 x6 x1 )

ha, x | a16 , xa3 xa3 xa−5 xa−1 i

(I20)

P20 (x0 x3 x6 x1 )

ha, x | a20 , xa3 xa3 xa−5 xa−1 i

P24 (x0 x1 x2 x15 )

∼
=

u=xa

(I6′′ )

(I24)

u=xa3

u=xa3

∼
= ha, u | a10 , u3 a−8 ua−4 i
u=xa
ha, x | a12 , xaxaxa7 xa−9 i ∼
= ha, u | a12 , u3 a6 ua2 i

ha, x | a10 , xa3 xa3 xa−5 xa−1 i

u=xa3

∼
=

ha, u | a16 , u3 a−8 ua−4 i

u=xa3

∼
= ha, u | a20 , u3 a−8 ua−4 i
ha, x | a24 , xaxaxa13 xa−15 i ∼
= ha, u | a24 , u3 a12 ua8 i
u=xa

Table 3: Exemplars for the Eight Isolated Conditions (I5)-(I24)

3

Condition

Exemplar

(U24′ )

P24 (x0 x3 x6 x1 )

(U24′′ )

P24 (x0 x1 x2 x19 )

Shift Extension
u=xa3

∼
= ha, u | a24 , u3 a−8 ua−4 i
u=xa
ha, x | a24 , xaxaxa17 xa−19 i ∼
= ha, u | a24 , u3 a16 ua4 i

ha, x | a24 , xa3 xa3 xa−5 xa−1 i

Table 4: Exemplars for the Two Unresolved Conditions (U24′ ) and (U24′′ )
Types (I) and (U) As discussed in Section 3, the orbit of a positive word xi xj xk xl under
the action of the finite group Γn consists of all shifts of cyclic permutations of words of the
form xiu xju xku xlu or xiu xlu xku xju where u ∈ Z∗n is a multiplicative unit modulo n. (The
order of the group Γn is 8nφ(n) where φ is the Euler totient function.) Applying this to the
exemplar listed under (I5) in Table 3, we say that a cyclic presentation Pn (w) is of type
(I5) if and only if n = 5 and w is a shift of a cyclic permutation of a word of the form
x0 x3u xu xu or x0 xu xu x3u where u ∈ Z∗5 . Thus the presentations of type (I5) are precisely
those of the form P5 (w) where w is a length four positive word appearing in the orbit of
x0 x3 x1 x1 under the action of the finite group Γ5 . In Section 3 it is shown that each such
orbit gives rise to a single group up to isomorphism, asphericity status, and shift dynamics.
In the same way, the remaining seven exemplars listed in Table 3 determine corresponding
isolated types (I6′ ), (I6′′ ), (I10), (I12), (I16), (I20), and (I24). Any cyclic presentation that
adheres to any one of these eight isolated types is said to be of type (I). In the same way,
the exemplars listed in Table 4 determine the presentations of type (U24′ ) and (U24′′ ) in
terms of the action of the finite group Γ24 . Any presentation of type (U24′ ) or (U24′′ ) is of
type (U).
Types (I∗ ) and (U∗ ) It is routine to verify that every presentation Pn (x0 xj xk xl ) of type
(I) or (U) satisfies gcd(n, j, k, l) = 1. For arbitrary (n, j, k, l), we say that Pn (x0 xj xk xl ) is of
type (I∗ ) (resp. (U∗ )) if upon setting c = gcd(n, j, k, l), the presentation Pn/c (x0 xj/c xk/c xl/c )
is of type (I) (resp. (U)). The presentations of type (I∗ ) are all non-aspherical (see Lemma
9.1 and Theorem 9.8), but is unknown whether the presentations of type (U∗ ) are aspherical. Resolution of this ambiguity reduces to consideration of the exemplars P24 (x0 x3 x6 x1 )
and P24 (x0 x1 x2 x19 ); see Lemma 9.1 and Section 10.
Our main results regarding asphericity and finiteness are Theorems I and II. Note that
the finiteness classification is complete, with no unresolved cases remaining.
Theorem I (Asphericity) If P = Pn (x0 xj xk xl ) is not of type (U ∗ ), then P is combinatorially aspherical if and only if at least one of the following holds:
(a) (A) and (C) are both true,
(b) (B) and (C) are both false, or
(c) (B) is true, (A) and (C) are false, and P is not of type (I ∗ ).
If Pn (x0 xj xk xl ) is combinatorially aspherical and either k 6≡ 0 or j 6≡ l mod n, then
Gn (x0 xj xk xl ) is a torsion-free infinite group of geometric dimension at most two.
4

Theorem II (Finiteness) Given (n, j, k, l), the cyclically presented group G = Gn (x0 xj xk xl )
is finite if and only if at least one of the following holds:
(a) n = 1;
(b) gcd(n, 2k) = 1 and either
• l ≡ j + k mod n and gcd(n, j) = 1, or
• l ≡ j − k mod n and gcd(n, l) = 1;
(c) (A) and (B) are true, (C) is false, and the secondary divisor γ = 1;
(d) The presentation Pn (x0 xj xk xl ) is of type (I5), (I6 ′ ), or (I6 ′′ ).
In parts (a) and (b), G ∼
= Z4 . In part (c), G is solvable. In type (I5), G is metacyclic and
non-nilpotent of order 220. The types (I6 ′ ) and (I6 ′′ ) lead to nonisomorphic nonsolvable
groups G of order 4 088 448 = 27 · 33 · 7 · 132 , each containing the simple group PSL(3, 3).
These classifications are supported by simultaneous consideration of shift dynamics,
which concern the action of the cyclic group Zn by automorphisms on (the non-identity
elements of) G = Gn (w). For arbitrary n and w, shift dynamics encompass at least these
two general problems.
Fixed Points: For which n and w does the shift on Gn (w) have a nonidentity fixed point?
Freeness: For which n and w does the shift determine a free Zn -action on the nonidentity
elements of Gn (w)?
Asphericity and freeness are related by a general result from [3]. A cyclic presentation
Pn (w) is orientable if w is not a cyclic permutation of the inverse of any of its shifts. In
the general case, a cyclic presentation Pn (w) fails to be orientiable if and only if n = 2m is
m )). Note
even and w = uθFm (u)−1 for some word u [3, Lemma 3.6] (in which case u ∈ Fix(θG
that any cyclic presentation defined by a positive word is orientable.
Theorem 1.1 ([3, Theorem A]) For all positive n and arbitrary w, if the cyclic presentation Pn (w) is orientable and combinatorially aspherical, then Zn acts freely via the shift
on the non-identity elements of the cyclically presented group Gn (w).
As a consequence, if a combinatorially aspherical cyclic presentation Pn (w) is orientable
and defines a nontrivial group G = Gn (w), then the shift automorphism θG has order n
(compare [19]) and in fact determines an element of order n in the outer automorphism
group Out(G). This is because every inner automorphism of a nontrivial group has a
nonidentity fixed point. We note that there are just a few known examples of orientable
cyclic presentations that are not combinatorially aspherical and yet have free shift action.
Examples include the Fibonacci groups F (2, n) = Gn (x0 x1 x−1
2 ) for n = 5, 7, which are finite
cyclic having orders 11 and 29 respectively [26], but these appear to be small exceptions
rather than typical cases.
In [3, Theorems B,C] it was shown that if w = x0 xk xl is a positive word of length three,
then the relationships between finiteness, asphericity, and shift dynamics are sharp:
5

• Pn (x0 xk xl ) is combinatorially aspherical if and only if Zn acts freely via the shift on
the nonidentity elements of Gn (x0 xk xl );
• G = Gn (x0 xk xl ) is finite if and only if the shift θG has a nonidentity fixed point.
One of the principal aims of this article is to extend this connection to the case of length four
relators. The relation between asphericity and freeness is not as tidy due to the unresolved
cases in the asphericity classification.
Theorem III If P = Pn (x0 xj xk xl ) is not of type (U ∗ ), then P is combinatorially aspherical if and only if the cyclic group Zn acts freely on the non-identity elements of
Gn (x0 xj xk xl ).
All available evidence suggests that the identification between asphericity and free action
will persist once the asphericity status is resolved for type (U∗ ).
When combined with Theorem II, the next result explicitly determines those cyclic
presentations Pn (x0 xj xk xl ) for which the shift has a nonidentity fixed point.
Theorem IV The shift on G = Gn (x0 xj xk xl ) has a non-identity fixed point if and only if
G is finite or else (C) is true and gcd(n, 2k) = 1.
Thus it can happen that G = Gn (x0 xj xk xl ) is infinite and Fix(θG ) 6= 1. By analyzing the
infinite cases in detail, we are able to show that nonidentity fixed points for the shift always
derive from finite cyclically presented subgroups.
Theorem V The shift on G = Gn (x0 xj xk xl ) has a nonidentity fixed point if and only if
G possesses a finite cyclically presented subgroup of the form H = Gn (v) where θG |H = θH
and Fix(θG ) = Fix(θH ) 6= 1.
Combining with the results of [3], we conclude the following.
Corollary 1.2 If G = Gn (w) where n is a positive integer and w is a positive word of
length at most four, then the fixed point subgroup Fix(θG ) is finite. Moreover, if G is finite
then Fix(θG ) is nontrivial.
We have already outlined the contents of the preliminary sections 2-5, so we conclude
this introduction with a comment on the structure of the remainder of the article. For
each combination of the conditions (A), (B), (C), we treat finiteness, asphericity, and shift
dynamics simultaneously. In this way we take advantage of the intrinsic connections between
these concepts and avoid needless repetition of common arguments. Section 6 treats four
of the eight possible combinations of (A), (B), (C), all of which lead to small cancellation
conditions. Section 7 deals with the case where (A) is false and (C) is true (FxT). Section
8 deals with the case where (A) and (B) are true and (C) is false (TTF). Section 9 deals
with the most interesting case, where (B) is true and both (A) and (C) are false (FTF). A
concluding section wraps up the details of Theorems I-V.
The results of this article are drawn from the PhD dissertation of the second named
author. We are grateful to Gerald Williams for helpful comments and for granting permission to discuss his computations regarding the group L with presentation ht, u | t6 , u3 t3 uti,
which plays key roles in Lemma 9.7 and in Theorem II.
6

2

Combinatorial and Relative Asphericity

Given a presentation P = hx | ri for a group G, the free group F = F (x) with basis x acts
by automorphisms on the free group F = F (F × r) with basis F × r by v · (u, r) = (vu, r).
The homomorphism ∂ : F → F given by ∂(u, r) = uru−1 is F -equivariant where F acts on
itself by (left) conjugation. The image of ∂ is the normal closure of r in F so the cokernel
of ∂ is isomorphic to G. Elements of the kernel I = ker ∂ are called identities (or identity
sequences) for P. Then we have the exact sequence
(3)

∂

1→I→F→F →G→1

for the presentation P. Among the identities are the so-called Peiffer identities having
the form (u, r)ǫ (v, s)δ (u, r)−ǫ (ur ǫ u−1 v, s)−δ where u, v ∈ F , r, s ∈ r, and δ, ǫ = ±1. If P
denotes the normal closure of the Peiffer identities in F, then the F -action on F descends to a
G-action on the abelian quotient group I/P and there is the exact fundamental sequence
(4)

∂

0 → I/P → F/P → F → G → 1

that provides a combinatorial description for the long exact homotopy sequence of the
skeleton pair (K, K 1 ) where K is the two-complex modeled on the presentation P. In
particular π2 K ∼
= I/P as ZG-modules. See [9, Section 1], [24, Section 2], or [25] for details.
As in [9, Proposition 1.4], a presentation P = hx | ri for a group G is combinatorially
aspherical if the homotopy module π2 K ∼
= I/P is generated as a ZG-module by the classes
of identities that have length two in the free group F with basis F (x) × r. The twodimensional cellular model K of the presentation P is aspherical, in the sense that π2 K = 0,
if and only if the presentation P is combinatorially aspherical and no relator of P is a proper
power, nor is conjugate to any another relator or its inverse. See [9], [3, Section 3], or the
survey [23], which contains a thorough discussion of identity sequences and their relation
to pictures under the blanket assumption that no relator is conjugate to any another
relator or its inverse. From the point of view of spherical pictures (or dually, spherical
diagrams), an arbitrarily given presentation is combinatorially aspherical if and only if
its second homotopy module is generated by the classes of spherical pictures that contain
exactly two relator discs. See [23, Section 2.3].
Presentations satisfying any of the C(p)-T(q) small cancellation conditions are combinatorially aspherical if 1/p + 1/q ≤ 1/2 [9, 21]. In fact they satisfy even stronger conditions
such as diagrammatic asphericity [10]. Here we shall be interested in the C(4)-T(4) condition. Recall that a word is a piece for a presentation if it occurs as a common initial
subword of two distinct cyclic permutations of the relators or their inverses.
Lemma 2.1 The presentation Pn (x0 xj xk xl ) satisfies the C(4)-T(4) small cancellation condition if and only if no length two cyclic subword of w = x0 xj xk xl is a piece.
Proof: Since the relators of Pn (x0 xj xk xl ) have length four, the C(4) condition is satisfied
if and only if each piece has length one. On the other hand, if all pieces have length one,
then the T(4) condition is also satisfied because the relators are all positive words, see [16].
The cyclic symmetry in the presentation implies that it suffices to verify that no length two
cyclic subword of w = x0 xj xk xl is a piece.
•
7

A criterion for combinatorial asphericity that is specific to cyclic presentations involves
the concept of an aspherical relative presentation. Given a cyclic presentation Pn (w), the
shift action by the cyclic group Zn on G = Gn (w) determines the shift extension
E = En (w) = G ⋊θG Zn ,
which admits a two-generator two-relator presentation of the form ha, x | an , W i where
W is obtained from w via the substitutions xi = ai xa−i . The shift θG then arises via
conjugation by a in the shift extension and G is recovered as the kernel of a retraction
ν : E → Zn that satisfies ν(a) = a and ν(x) = 1. As in [3, Theorem 2.3] if E is any
group with a presentation of the form E = ha, x | an , W i and ν : E → ha | an i is a
retraction onto the cyclic group of order n generated by a, then the kernel is cyclically
presented: ker ν ∼
= Gn (ρν (W )) where ρν is a Reidemeister-Schreier rewriting process that
depends on the retraction ν. For example if ν(x) = a0 = 1, then ρν (xaj xak−j xal−k xa−l ) =
x0 xj xk xl . Given E ∼
= ha, x | an , W i, there can be multiple retractions and the cyclically
presented kernels arising from different retractions need not be isomorphic. However these
retraction kernels are obviously commensurable in E and [3, Lemma 2.2] implies that they
have identical shift dynamics.
Given any presentation ha, x | an , W i for a group E, we can view the word W in the free
product Zn ∗ hxi ∼
= ha, x | an i to obtain a one-relator relative presentation hZn , x | W i
with coefficient group Zn ∼
= ha | an i. A cellular model M and a relativized concept of
asphericity were described in [4, Section 4]. Starting with an Eilenberg-Maclane complex
of type K(Zn , 1), we first form the complex K(Zn , 1) ∨ Sx1 ∪ c2W , which is the model M if
W is not a proper power when viewed in the free product Zn ∗ hxi. Otherwise, if W = Ẇ e
in the free product where e > 1, then we add cells in dimensions three and higher to
obtain the model M . The homotopy type of the model M is determined by the relative
presentation hZn , x | W i. See [3, Section 3] or [4, Section 4] for details. The relative
presentation hZn , x | W i is aspherical if the relative homotopy group π2 (M, K(Zn , 1)) is
trivial. Equivalently, the inclusion K(Zn , 1) → M induces an injective homomorphism on
fundamental group and the absolute homotopy group π2 M is trivial. The point is that if
hZn , x | W i is an aspherical relative presentation for a group E, then Zn embeds in E and
M is a K(E, 1) complex. In the situation where E = ha, x | an , W i is the shift extension for
a cyclically presented group Gn (w), then Zn is a retract of E = π1 M and so the embedding
condition on fundamental groups is automatic; thus the relative presentation hZn , x | W i is
aspherical if and only π2 M = 0.
If a group E with relative presentation hZn , x | W i admits a retraction ν : E → Zn then
there is the following connection between asphericity of the relative presentation hZn , x | W i
and combinatorial asphericity of the corresponding cyclic presentation Pn (ρν (W )).
Theorem 2.2 ([3, Theorem 4.1]) Let M be the cellular model of a relative presentation
hZn , x | W i for a group E. Suppose that ν : E → Zn is a retraction and let w = ρν (W ).
(a) If π2 M = 0, then Pn (w) is combinatorially aspherical.
(b) If Pn (w) is orientable and combinatorially aspherical, then π2 M = 0.

8

3

Isomorphisms

Classifications involving cyclic presentations are complicated by the fact that there are many
isomorphisms that must be accounted for, not all of which are obvious or easily catalogued.
See [8, Section 2] and [14, Lemma 2.1], for example.
For a fixed position integer n, let Φn denote the set of all positive words of length four
in the generators x0 , . . . , xn−1 for the free group F of rank n. Thus every element w ∈ Φn
has the form w = xi xj xk xl where integers i, j, k, l are defined modulo n. We consider the
following bijective transformations on Φn :
σ(xi xj xk xl ) = xi xl xk xj
τ (xi xj xk xl ) = xl xi xj xk
θF (xi xj xk xl ) = xi+1 xj+1 xk+1 xl+1
u(xi xj xk xl ) = xui xuj xuk xul .
Here the element u is taken from the multiplicative group Z∗n of units modulo n. All
subscripts are interpreted modulo n.
Lemma 3.1 Within the group Sym(Φn ) of permutations of Φn , the transformations σ, τ, θF
and u ∈ Z∗n generate a subgroup that is a homomorphic image of Γn = D4 ×(Zn ⋊Z∗n ), where
D4 is the dihedral group of order 8 generated by σ and τ and the semi-direct product involves
the natural action of Z∗n ∼
= Aut(Zn ) acting on the additive group Zn by multiplication.
Proof: Working in Sym(Φn ), one checks that σ 2 = τ 4 = (στ )2 = θFn = 1 and uθF = θFu u for
•
all u ∈ Z∗n . Moreoever the transformations σ, τ commute pairwise with θF , u.
The orbit of w = xi xj xk xl ∈ Φn under the action of Γn consists of all words that arise
as cyclic permutations of shifts of words of the form u(w) = xui xuj xuk xul or σ(u(w)) =
xui xul xuk xuj where u ∈ Z∗n .
Theorem 3.2 For each c ∈ Γn = D4 × (Zn ⋊ Z∗n ) and w = xi xj xk xl ∈ Φn , there is a group
isomorphism cw : Gn (w) → Gn (c(w)) such that
(5)

ψ(c)

cw ◦ θGn (w) = θGn (c(w)) ◦ cw

where ψ : Γn → Z∗n is the natural projection. Moreover Pn (w) is combinatorially aspherical
if and only if Pn (c(w)) is combinatorially aspherical.
Proof: Let F = F (x) be the free group with basis x = {xp : 0 ≤ p < n}. Given c ∈ Γn and
w = xi xj xk xl ∈ Φn , we denote the relator sets for the presentations Pn (w) and Pn (c(w))
by
rw = {θFq (w) : 0 ≤ q < n} = {xi+q xj+q xk+q xl+q : 0 ≤ q < n}
and

c(rw ) = {θFq (c(w)) : 0 ≤ q < n}

9

respectively. We first construct homomorphisms cw : F → F and ĉw : Fw → Fc(w) where
Fw = F (F × rw ) and similarly Fc(w) = F (F × c(rw )). For c = σ, τ, θF or u ∈ Z∗n and w ∈ Φn ,
the assignments
σw (xp ) = x−1
p ;
τw = 1F ;
(θF )w = θF ;
uw (xp ) = xup ;

σ̂w (v, θFq (w)) = (σw (v)θFq (xi )−1 , θFq σ(w))−1
τ̂w (v, θFq (w)) = (vθFq (xl )−1 , θFq τ (w))
q
q+1
d
(θ
(w))
F ) (v, θ (w)) = (θF (v), θ
w

F

F

ûw (v, θFq (w)) = (uw (v), θFuq (u(w))).

define length-preserving homomorphisms cw : F → F and ĉw : Fw → Fc(w). These homomorphisms are constructed to satisfy ∂ ◦ĉw = cw ◦∂ for c = σ, τ, θF , u ∈ Γn = D4 ×(Zn ⋊Z∗n ).
Viewed in Aut(F ), the isomorphisms σw , τw , θF , uw are compatible with the relations of
Γn = D4 × (Zn ⋊ Z∗n ). Specifically, one notes that
2
= τw4 = θFn = 1, tw ◦ uw = (tu)w , (t, u ∈ Z∗n )
σw

and that the homomorphisms σw , τw commute pairwise with θF and uw (u ∈ Z∗n ). Since
Γn acts on Φn , this shows that Γn acts on F by automorphisms and in fact this action
is independent of w. (We retain the notation cw in order to distinguish between c ∈ Γn
and cw ∈ Aut(F ).) For each c ∈ Γn we now have an automorphism cw ∈ Aut(F ) that is
length-preserving and which is compatible with the boundary maps ∂ from the fundamental
sequences (3) for the presentations Pn (w) and Pn (c(w)).
Fw = F (F × rw )


ĉw y

∂

−−−−→ F

cw
y
∂

Fc(w) = F (F × c(rw )) −−−−→ F

It follows that for any c ∈ Γn , the automorphism cw ∈ Aut(F ) induces an isomorphism
Gn (w) → Gn (c(w)), which we also denote by cw . As for shift equivariance, we have
σw ◦ θGn (w) = θGn (σ(w)) ◦ σw
τw ◦ θGn (w) = θGn (τ (w)) ◦ τw
u
uw ◦ θGn (w) = θG
◦ uw .
n (u(w))

Moreover Gn (θF (w)) = Gn (w) and (θF )w = θGn (w) . This verifies equivariance as in (5).
It remains to verify that combinatorial asphericity is preserved under the action of Γn on
the set of presentations of the form Pn (w), w ∈ Φn . Note that the homomorphisms σ̂w , τ̂w
d
depend on w. It turns out that the homomorphisms σ̂w , τ̂w , (θ
F )w , ûw are compatible with
2
some of the relations of Γn but not all. To illustrate that σ̂w = 1Fw , we use the fact that
σ 2 = 1Φn , that σw commutes with θF in Aut(F ), and that the first letter of w = xi xj xk xl
is the same as for σ(w) = xi xl xk xj , we have

10

2
σ̂w
(v, θFq (w)) = σ̂w (σw (v)θFq (xi )−1 , θFq σ(w))−1

= (σw σw (v)θFq (xi )−1 · θFq (xi )−1 , θFq σ 2 (w))

= (vθFq (σw (xi )−1 ) · θFq (xi )−1 , θFq (w))

= (vθFq (xi ) · θFq (xi )−1 , θFq (w)) = (v, θFq (w)).
However τ̂w4 : Fw → Fw is not the identity. For example,
τ̂w4 (1, xi xj xk xl ) = τ̂w3 (x−1
l , xl xi xj xk )
−1
= τ̂w2 (x−1
l xk , xk xl xi xj )
−1 −1
= τ̂w (x−1
l xk xj , xj xk xl xi )
−1 −1 −1
= (x−1
l xk xj xi , xi xj xk xl )
−1 −1
−1
Nevertheless, the fact that x−1
l kk kxj xi = 1 in the group Gn (w) = Gn (xi xj xk xl ) implies
−1 −1 −1 −1
that (1, xi xj xk xl ) ≡ (xl xk xj xi , xi xj xk xl ) modulo the group Pw of Peiffer identities
for the presentation Pn (w). See [25, Lemma 2.4]. In fact one can verify that the homomord
phisms σ̂w , τ̂w , (θ
F )w , ûw are compatible with all of the relations of Γn if we work modulo
Peiffer identities. For each c ∈ Γn and w ∈ Φn , we obtain a commutative diagram that
compares the fundamental sequences (4) for the presentations Pn (w) and Pn (c(w)). The
vertical arrows all represent isomorphisms.

0 −−−−→

Iw /Pw


y

−−−−→

∂

−−−−→ F −−−−→

cw
y

Fw /Pw


ĉw y

∂

Gn (w)


y

−−−−→ 1

0 −−−−→ Ic(w) /Pc(w) −−−−→ Fc(w) /Pc(w) −−−−→ F −−−−→ Gn (c(w)) −−−−→ 1
It remains to note that the isomorphism Iw /Pw → Ic(w) /Pc(w) is length preserving and so
it follows that Iw /Pw is generated by classes of length two identity sequences if and only if
the same is true for Ic(w) /Pc(w) .
•
Remark Given w = xi xj xk xl ∈ Φn , let Mw be the cellular model of the relative presentation hZn , x | ai xaj−i xak−j xal−k xa−l i for the shift extension En (w) = Gn (w) ⋊θGn (w) Zn .
Thus Mw is obtained from K(Zn , 1) ∨ Sx1 ∪ c2w by attaching cells in dimensions three and
up in case w is a proper power in the free product Zn ∗ hxi. The arguments given in the
proof of Theorem 3.2 can be used to show that if we are given c ∈ Γn , then there is a
homotopy equivalence Mw → Mc(w) that restricts to a homotopy self-equivalence of the
common subcomplex K(Zn , 1). Moreover the restricted map induces the automorphism
ψ(c) ∈ Aut(Zn ) on Zn = π1 K(Zn , 1). This leads to an isomorphism Gn (w) → Gn (c(w))
that is shift equivariant as in (5). That Pn (w) is combinatorially aspherical if and only if
Pn (c(w)) is combinatorially aspherical then follows from Theorem 2.2.
Corollary 3.3 If w = xi xj xk xl ∈ Φn and c ∈ Γn = D4 ×(Zn ⋊Z∗n ), then Gn (w) ∼
= Gn (c(w))
via an isomorphism that preserves shift dynamics. Thus:
11

• The shift on Gn (w) has a nonidentity fixed point if and only the shift on Gn (c(w))
has a nonidentity fixed point; and
• The shift action by Zn on the nonidentity elements of Gn (w) is free if and only if the
shift action by Zn is free on the nonidentity elements of Gn (c(w)).
Proof: The group isomorphisms of Theorem 3.2 are shift equivariant and so define isomorphisms of left Zn -sets, where the shift action of Zn is twisted as necessary via an
automorphism u ∈ Z∗n = Aut(Zn ).
•
Example 3.4 The isomorphisms (θF )w enable the obvious fact that in studying the presentations Pn (xi xj xk xl ), there is no loss of generality in assuming that i = 0. Only slightly
less obvious are the isomorphisms
Gn (x0 xj xk xl ) ∼
= Gn (x0 xl xk xj ) (via σ) and
∼ Gn (x0 xuj xuk xul ) (via u ∈ Z∗ ).
Gn (x0 xj xk xl ) =
n
Combining the isomorphisms arising from σ and τ we have
Gn (x0 xj xk xl ) ∼
= Gn (x0 xl xk xj ) ∼
= Gn (xl xk xj x0 ).
That is, we can read the relator backwards without changing group structure, asphericity
status, or shift dynamics.
That all of these isomorphisms preserve combinatorial asphericity can also be attributed
to the fact that they arise via homotopy equivalences of the two-dimensional cellular models
that are “area-preserving” in the sense that the attaching map of each two-cell is mapped to
a loop that is freely homotopic to an attaching map of a two-cell in the image. Equivalently
and at the level of the free group F , each relator is mapped to a conjugate of a relator or its
inverse in the target. In other words, the homomorphism Fw → Fc(w) is length-preserving.
d
These properties are witnessed in the definitions of the homomorphsims σ̂w , τ̂w , (θ
F ) , ûw
w

within the proof of Theorem 3.2.

In closing this section, we note that a similar discussion can be carried out for positive
words of any given length, where positive words of length L in the free group of rank n
are acted upon by the group DL × (Zn ⋊ Z∗n ). The actions give rise to group isomorphisms
that preserve asphericity status and shift dynamics as in Corollary 3.3. In particular, the
isomorphisms of [14, Lemma 2.1] for the case L = 3 all arise in this way and so they too
preserve shift dynamics.

4

Divisor Criteria

To analyze cyclic presentations of the form Pn (x0 xj xk xl ), it is well known [13] that one
can generally restrict to the case where gcd(n, j, k, l) = 1. This includes considerations of
(combinatorial) asphericity [9, Theorem 4.2], finiteness [8, Lemma 2.4], and shift dynamics
[3, Lemma 5.1]. The reason for this is that if c = gcd(n, j, k, l), then the cyclic presentation Pn (x0 xj xk xl ) is a disjoint union of cyclic subpresentations and G = Gn (x0 xj xk xl )
decomposes as a free product
12

G∼
= ∗ci=1 Gn/c (x0 xj/c xk/c xl/c )
where the shift transitively permutes the free factors. In particular, if c 6= 1, then G is
infinite and the shift has no nonidentity fixed points. A more general but equally checkable
criterion involves the secondary divisor
(6)

γ = gcd(n, k − 2j, l − 2k + j, k − 2l, j + l).

The terms k − 2j, l − 2k + j, −2l + k, −j − l are the differences of consecutive exponents on
the coefficient a in the cyclic relator W = xaj xak−j xal−k xa−l for the shift extension. The
dependence relation
(k − 2j) + (l − 2k + j) + (k − 2l) + (j + l) = 0.
implies that any one of the four bracketed terms can be deleted when calculating γ. Thus
γ = gcd(n, k − 2j, k − 2l, j + l).
Since the shift θG arises from conjugation by a in the shift extension E = G ⋊θG Zn ∼
=
n
d
ha, x | a , W i, the fixed point set for any power θG of the shift is expressible in terms of a
centralizer in E:
d
Fix(θG
) = G ∩ CentE (ad ).

In the proof of Theorem 4.2 below, we show that if γ 6= 1 then the shift extension E admits
an amalgamated free product decomposition with hai ∼
= Zn as a vertex group. We then
apply the following general result, which is derived from [22, Theorem 4.5]. A proof using
Bass-Serre theory is included.
Lemma 4.1 (Centralizer Lemma) Suppose that Π = A ∗C B is an amalgamated free
product. If a ∈ A and g ∈ CentΠ (a), then either g ∈ A or there exists α ∈ A such that
a ∈ αCα−1 .
Proof: The group Π acts on the standard graph T of Π = A∗C B with orbit graph consisting
of a single edge joining two distinct vertices. The vertices of T are the cosets wA and wB
where w ∈ Π. The edges of T are the cosets wC where w ∈ Π. The endpoints of the edge
wC are wA and wB and the action of Π is the natural left action on cosets. Since ga = ag,
the element a ∈ A fixes both 1A and gA. If g 6∈ A then the fact that T is a tree (see e. g. [11,
Theorem I.7.6]) implies that a fixes the nontrivial geodesic joining the distinct vertices 1A
and gA in T , and hence a fixes an edge adjacent to 1A. This means that there exists α ∈ A
such that aαC = αC and so a ∈ αCα−1 .
•
Theorem 4.2 (Secondary Divisor Criterion) Given n, j, k, l, let G = Gn (x0 xj xk xl )
and let γ = gcd(n, k − 2j, l − 2k + j, k − 2l, j + l) be the secondary divisor.
d ) 6= 1, then γ | d.
(a) If Fix(θG

(b) If γ > 1, then G is infinite and Fix(θG ) = 1.

13

Proof: The substitution u = xaj reveals an amalgamated free product decomposition for
the shift extension of G,
E = G ⋊θ Zn = ha, x | an , xaj xak−j xal−k xa−l i
∼
= ha, u | an , u2 ak−2j ual−k−j ua−l−j i
∼
= ha, b, u | b = aγ , an , u2 ak−2j ua−(j+l)−(k−2l) ua−(j+l) i
∼
= Zn ∗Zn/γ D,
where γ = gcd(n, k − 2j, k − 2l, j + l) and
D = hb, u | bn/γ , u2 b(k−2j)/γ ub(l−k−j)/γ ub−(j+l)/γ i.
We have D/hhbii ∼
= Z4 , so the amalgamating subgroup hbi = haγ i ∼
= Zn/γ is a proper
d
subgroup of D. Now suppose that Fix(θG ) 6= 1. Then we have G ∩ CentE (ad ) 6= 1 so using
the fact that G ∩ hai = 1, the Centralizer Lemma implies that ad ∈ haγ i. Since γ | n, this
implies that γ | d. If we now suppose that γ 6= 1, then Fix(θG ) = 1, as above, and moreover
Zn/γ = haγ i is a proper subgroup of Zn = hai, so E is infinite, whence the index n subgroup
G is infinite.
•
Corollary 4.3 (Primary Divisor Criterion) If gcd(n, j, k, l) 6= 1, then the cyclically
d ) 6= 1,
presented group G = Gn (x0 xj xk xl ) is infinite and Fix(θG ) = 1. Moreover if Fix(θG
then gcd(n, j, k, l) | d.
Proof: One simply notes that any common divisor of n, j, k, l is also a divisor of γ.

•

Example 4.4 For the following tuples (n, j, k, l), the primary divisor gcd(n, j, k, l) = 1
gives no information, but the secondary divisor γ = gcd(n, k − 2j, k − 2l, j + l) is greater
than one, so the conclusions of Theorem 4.2 apply. Compare Tables 3 and 4.
(10, 3, 6, 1) (12, 1, 2, 9) (16, 3, 6, 1) (20, 3, 6, 1)
(24, 1, 2, 15) (24, 3, 6, 1) (24, 1, 2, 19)
It is not difficult to show that if the primary divisor gcd(n, j, k, l) = 1, then the secondary
divisor γ = gcd(n, k − 2j, k − 2l, j + l) is equal to 1, 2, or 4. We omit the details.

5

Conditions (A), (B), (C)

Consider a cyclic presentation Pn (x0 xj xk xl ) for the group G = Gn (x0 xj xk xl ) as in (1). We
now use the conditions (A), (B), (C) from Table 1 to simplify presentations for the shift
extension E = G ⋊θG Zn . We will use the following elementary fact without reference.
Lemma 5.1 Given (n, j, k, l), if (A) and (C) are true, then both conditions in (A) are true
and both conditions in (C) are true.
We first consider the situation where condition (C) is true.

14

Lemma 5.2 Given (n, j, k, l), let G = Gn (x0 xj xk xl ) and assume that (C) is true. There
exists an integer p such that the shift extension E = G ⋊θG Zn admits a presentation of the
form
E∼
= ha, z | an , z 2 ak−2p z 2 a−k−2p i ∼
= ha, u, z | an , uak ua−k , ua2p = z 2 i
where G = ker ν for a retraction ν : E → Zn = hai satisfying ν(a) = a, ν(u) = 1, and
ν(z) = ap . If l ≡ j + k mod n in (C), then we take p = j. If l ≡ j − k mod n in (C), we
take p = −l.
Proof: If l ≡ j + k mod n then we have
E ∼
= ha, x | an , xaj xak−j xal−k xa−l i
∼
= ha, x | an , xaj xak−j xaj xa−k−j i
∼
= ha, x, z | an , z = xaj , z 2 ak−2j z 2 a−k−2j i
∼
= ha, z, u | an , u = z 2 a−2j , uak ua−k i
and so we take p = j in this case. If l ≡ j − k, then a similar approach where z = xa−l
and u = z 2 a2l yields the desired result with p = −l. Since ν(a) = a and ν(x) = 1, we have
ν(u) = 1 and ν(z) = ap in both cases.
•
The four cases in condition (B) can be reduced to a single case as follows.
Lemma 5.3 If the parameters (n, j, k, l) satisfy the condition (B), then there exists c ∈ Γn
such that c(x0 xj xk xl ) = x0 xj ′ xk′ xl′ where
(a) k′ ≡ 2j ′ mod n;
(b) gcd(n, j ′ , k′ , l′ ) = gcd(n, j, k, l);
(c) gcd(n, k ′ − 2j ′ , l′ − 2k′ + j ′ , k′ − 2l′ , j ′ + l′ ) = gcd(n, k − 2j, l − 2k + j, k − 2l, j + l);
(d) The parameters (n, j, k, l) satisfy (A) if and only if (n, j ′ , k′ , l′ ) satisfy (A); and
(e) The parameters (n, j, k, l) satisfy (C) if and only if (n, j ′ , k′ , l′ ) satisfy (C).
Proof: All congruences are interpreted modulo n. If the parameters (n, j, k, l) satisfy (B),
then k ≡ 2j or k ≡ 2l or j + l ≡ 0 or j + l ≡ 2k. If k ≡ 2j then there is nothing to prove
and we take c = 1 ∈ Γn .
If k ≡ 2l, then we take c = σ, so that x0 xj ′ xk′ xl′ = σ(x0 xj xk xl ) = x0 xl xk xj so by
setting (n, j ′ , k′ , l′ ) = (n, l, k, j) we have k′ = k ≡ 2l = 2j ′ . In addition gcd(n, j ′ , k′ , l′ ) =
gcd(n, l, j, k) and
γ ′ = gcd(n, k ′ − 2j ′ , l′ − 2k′ + j ′ , k′ − 2l′ , j ′ + l′ ) = gcd(n, k − 2l, j − 2k + l, k − 2j, l + j) = γ.
One quickly checks that (n, j ′ , k′ , l′ ) = (n, l, k, j) satisfies (A) if and only if (n, j, k, l) satisfies
(A), and similarly for (C).

15

If j + l ≡ 0, then we apply elements of Γn as follows:
x0 xj xk xl

=

x0 xj xk x−j

j
θF

→ xj x2j xj+k x0
τ

→ x0 xj x2j xj+k .
Thus by setting (n, j ′ , k′ , l′ ) = (n, j, 2j, j + k) we obtain k′ = 2j = 2j ′ . In addition, using
j + l ≡ 0 we have gcd(n, j ′ , k′ , l′ ) = gcd(n, j, 2j, j + k) = gcd(n, j, k) = gcd(n, j, k, l) and
γ ′ = gcd(n, k′ − 2j ′ , l′ − 2k′ + j ′ , k′ − 2l′ , j ′ + l′ )
= gcd(n, 0, j + k − 4j + j, 2j − 2(j + k), 2j + k)
= gcd(n, k − 2j, 2k, 2j + k)
so that
γ = gcd(n, k − 2j, l − 2k + j, k − 2l, j + l) = gcd(n, k − 2j, 2k, k + 2j, 0) = γ ′ .
Again using j + l ≡ 0, we note that
2k′ ≡ 0 ⇔ 4j ≡ 0 ⇔ 2j − 2l ≡ 0 ⇔ 2j ≡ 2l
2j ′ ≡ 2l′ ⇔ 2j ≡ 2j + 2k ⇔ 2k ≡ 0
l′ ≡ j ′ + k′ ⇔ j + k ≡ 3j ⇔ k ≡ 2j ⇔ l ≡ j − k
l′ ≡ j ′ − k′ ⇔ j + k ≡ −j ⇔ l ≡ j + k.
Thus (n, j ′ , k′ , l′ ) satisfies (A) (resp. (C)) if and only if (n, j, k, l) satisfies (A) (resp. (C)).
And finally, if j + l ≡ 2k, then we apply elements of Γn as follows:
x0 xj xk xl

τ2

→

xk xl x0 xj

σ

→

xk xj x0 xl

−k
θF

→

x0 xj−k x−k xl−k

Thus by setting (n, j ′ , k′ , l′ ) = (n, j − k, −k, l − k), and by way of reducing to the previous
case, we have j ′ + l′ = j − k + l − k ≡ j + l − 2k ≡ 0. In addition, we have gcd(n, j ′ , k′ , l′ ) =
gcd(n, j − k, −k, l − k) = gcd(n, j, k, l) and
γ ′ = gcd(n, k′ − 2j ′ , l′ − 2k′ + j ′ , k′ − 2l′ , j ′ + l′ )
= gcd(n, −k − 2(j − k), l − k + 2k + j − k, −k − 2(l − k), j − k + l − k)
= gcd(n, , k − 2j, j + l, k − 2l, 0) = γ.
Again we note that
2k′ ≡ 0 ⇔ 2k ≡ 0
2j ′ ≡ 2l′ ⇔ 2j − 2k ≡ 2l − 2k ⇔ 2j ≡ 2l
l′ ≡ j ′ + k ′ ⇔ l − k ≡ j − k − k ⇔ l ≡ j − k
l′ ≡ j ′ − k′ ⇔ l − k ≡ j − k + k ⇔ l ≡ j + k.
Thus (n, j ′ , k′ , l′ ) satisfies (A) (resp. (C)) if and only if (n, j, k, l) satisfies (A) (resp. (C)).
Thus the case j + l ≡ 2k reduces to the case j + k ≡ 0 and the proof is complete.
•
16

Lemma 5.4 Given (n, j, k, l), let G = Gn (x0 xj xk xl ) and assume that k ≡ 2j mod n as
in (B). Let γ = gcd(n, k − 2j, l − 2k + j, k − 2l, j + l) be the secondary divisor. With the
substitution u = xaj , the standard presentation for the shift extension E = G ⋊θG Zn takes
the form ha, u | an , u3 αuβi where α = al−3j and β = a−l−j in hai ∼
= Zn . Considering the
parameters (n, j, k, l) we have:
(a) The condition (A) is true if and only if α = β ±1 ;
(b) If (A) is true, then the element α ∈ hai ∼
= Zn has order n/γ;
(c) The condition (C) is true if and only if α = 1 or β = 1;
Proof: Until otherwise stated, all congruences are to be considered modulo n. Using the
substitution u = xaj , we transform the standard presentation for the shift extension E as
follows.
∼
=

E

k≡2j

∼
=

u=xaj

∼
=

ha, x | an , xaj xak−j xal−k xa−l i
ha, x | an , xaj xaj xal−2j xa−l i
ha, u | an , u3 al−3j ua−l−j i.

Thus α = al−3j and β = a−l−j and we verify (a) as follows:
k≡2j

α = β −1 ⇔ l − 3j ≡ j + l ⇔ 4j ≡ 0 ⇔ 2k ≡ 0
α = β ⇔ l − 3j ≡ −l − j ⇔ 2l ≡ 2j.
For statement (b), we claim that if either 2k ≡ 0 or 2j ≡ 2l, then the secondary divisor
γ has the following simplified description:
γ = gcd(n, k − 2j, l − 2k + j, j + l) = gcd(n, j + l).
This follows by noting that if k ≡ 2j and 2k ≡ 0 mod n, then working modulo any common
divisor of n and j +l, we have l−2k+j ≡ 0. And similarly, if k ≡ 2j and 2j ≡ 2l mod n, then
working modulo any common divisor of n and j + l, we have l − 2k + j ≡ l − 3j ≡ l − 2l − j ≡
−l − j ≡ 0. From this it follows that the order of α = β ±1 is n/ gcd(n, j + l) = n/γ.
For statement (c), α = 1 ⇔ l ≡ 3j ⇔ l ≡ j + 2j ≡ j + k, as in (C). Also j − k ≡ j − 2j ≡
−j, so β = 1 ⇔ j + l ≡ 0 ⇔ l ≡ −j ≡ j − k, as in (C). This completes the proof.
•

6

C(4)-T(4) Cases

In this section we consider those cases that satisfy the C(4)-T(4) small cancellation conditions. We begin with the observation that with just one exception, finiteness and asphericity
are mutually exclusive.
Lemma 6.1 Assume that P = Pn (x0 xj xk xl ) is combinatorially aspherical and let G =
Gn (x0 xj xk xl ).
(a) If G has nontrivial torsion, then k ≡ 0 and j ≡ l mod n, so (A) and (C) are true.
17

(b) If G is finite, then n = 1, so (A), (B), and (C) are true, P = hx0 | x40 i, and G ∼
= Z4 .
Proof: Since P is combinatorially aspherical and G has torsion, [18, Theorem 3] implies that
the relator w = x0 xj xk xl or one of its shifts must be a proper power in the free group F with
basis x0 , x1 , . . . , xn−1 . This implies that k ≡ 0 and j ≡ l mod n so that G ∼
= Gn ((x0 xj )2 ).
This proves (a). If G is finite, then since G is nontrivial (having a Z4 homomorphic image),
we know that k ≡ 0 mod n and (C) is true so by Lemma 5.2, the shift extension has a
presentation E = G ⋊θG Zn ∼
= ha, u, z | an , u2 , ua2p = z 2 i and so E contains the free product
ha, u | an , u2 i ∼
= Zn ∗ Z2 as a subgroup. If G is finite, then E must be finite and so n = 1,
as in (b).
•
Lemma 6.2 If (B) and (C) are false, then Pn (x0 xj xk xl ) satisfies the C(4)-T(4) small
cancellation conditions and so is combinatorially aspherical.
Proof: If (B) and (C) are false, then j, k − j, l − k, −l are pairwise distinct modulo n.
It follows easily from Lemma 2.1 that Pn (x0 xj xk xl ) satisfies the C(4)-T(4) small cancellation conditions. Alternatively, [2, Theorem 2] provides that the relative presentation
hZn , x | xaj xak−j xal−k xa−l i for the shift extension is aspherical and so Pn (x0 xj xk xl ) is
combinatorially aspherical by Theorem 2.2.
•
Theorem 6.3 Given (n, j, k, l), if (C) is true, then the following are equivalent:
(i) (A) is true,
(ii) Pn (x0 xj xk xl ) satisfies the C(4)-T(4) small cancellation conditions,
(iii) Pn (x0 xj xk xl ) is combinatorially aspherical,
(iv) Zn acts freely via the shift on the nonidentity elements of Gn (x0 xj xk xl ).
Proof: Assuming that (C) is true, the word w = x0 xj xk xl takes the form w = x0 xj xk xj±k .
We first show that (i) implies (ii), so suppose that (A) is true. Then 2k ≡ 0 mod n and
so w = x0 xj xk xj+k . Up to cyclic shifts, the only length two cyclic subwords of w are x0 xj
and xj xk , so by Lemma 2.1 it suffices to show that neither of these words is a piece. So
suppose that the initial subword x0 xj of w = x0 xj xk xj+k is equal to an initial subword
of a cyclic permutation v of a shift θFi (w) = xi xi+j xi+k xi+j+k of w. We are to show that
w = v. There are four cases to check. If v = θFi (w) = xi xi+j xi+k xi+j+k , then i = 0 so
v = x0 xj xk xj+k = w. If v = xi+j xi+k xi+j+k xi , then xi+j xi+k = x0 xj , so i + j ≡ 0 and
i + k ≡ j (congruences modulo n). Then i + j + k ≡ k and the fact that 2k ≡ 0 mod n
implies that i ≡ i + 2k ≡ j + k, so w = v. Similar arguments apply to the remaining two
cyclic permutations of θFi (w) to show that x0 xj is not a piece. One argues similarly to show
that xj xk is not a piece by comparing the cyclic permutation xj xk xj+k x0 of w with the
cyclic permutations v of the shift θFi (w) = xi xi+j xi+k xi+j+k . It follows that no length two
cyclic subword of w is a piece and so Pn (x0 xj xk xl ) satisfies C(4)-T(4) by Lemma 2.1.
As previously noted, C(4)-T(4) presentations are combinatorially aspherical, so (ii) implies (iii), and Theorem 1.1 provides that (iii) implies (iv), so it remains to show that if (A)
is false and (C) is true, then some power of the shift θG on G = Gn (x0 xj xk xl ) has a nonidentity fixed point. In the presentation for the shift extension E = G ⋊θG Zn from Lemma
18

5.2 we have a, u ∈ E satisfying uak ua−k = 1 where u does not lie in the normal closure
hhaiiE of a because u 6= 1 in E/hhaiiE ∼
= hz, u | u2 , u = z 2 i ∼
= Z4 . Thus it follows that the
−1
element g = uν(u) is a nonidentity element of G = ker ν where ν : E → Zn is a retraction
satisfying ν(a) = a. Further, the fact that uak ua−k = 1 implies that u ∈ CentE (a2k ) and
2k ). Since (A) is false, we also have 2k 6≡ 0 mod n
hence 1 6= g ∈ G ∩ CentE (a2k ) = Fix(θG
and so the group hai ∼
•
= Zn does not act freely via the shift.

7

FxT

In this section we consider the case where (C) is true and (A) is false. Note that Pn (x0 xj xk xl )
is not combinatorially aspherical and the shift action is not free by Theorem 6.3.
Theorem 7.1 Given (n, j, k, l), let G = Gn (x0 xj xk xl ). If (C) is true and (A) is false, then
the following are equivalent:
(i) The shift θG has a nonidentity fixed point;
(ii) The group D = ha, u | an , uak ua−k i is finite;
(iii) gcd(n, 2k) = 1.
Proof: By Lemma 5.2 the shift extension E = G ⋊θG Zn has a presentation
E∼
= ha, u, z | an , uak ua−k , z 2 = ua2p i ∼
= hD, z | z 2 = ua2p i.
We have the retraction ν : E → Zn = hai with kernel G = ker ν where ν(a) = a, ν(u) = 1,
and ν(z) = ap . The restriction ν|D : D → Zn has cyclically presented kernel H = ker ν∩D ∼
=
Gn (u0 uk ). (See [3, Theorem 2.3].) Letting κ = gcd(n, k), it is routine to verify that
 κ
∗i=1 Z if n is even
κ
∼
∼
H = ∗i=1 Gn (u0 u1 ) =
∗κi=1 Z2 if n is odd
Since D is finite if and only if H if finite, this establishes (ii) ⇔ (iii).
Next we show that (i) ⇒ (iii). The split extension E = G ⋊θG Zn decomposes as
E = D ∗hua2p =z 2 i hzi = D ∗Y hzi where Y = hua2p i = hz 2 i = D ∩ hzi. If we assume that
1 6= g ∈ Fix(θG ) = G ∩ CentE (a), as in (i), then since a ∈ D, the Centralizer Lemma 4.1
implies that either g ∈ D or there exists α ∈ D such that a ∈ αY α−1 . Either way, we claim
that n is odd and gcd(n, k) = 1. If g ∈ D, then 1 6= g ∈ Fix(θH ) and so gcd(n, k) = 1 by an
obvious length two analogue of Corollary 4.3. Further, n must be odd because otherwise
H ∼
= Gn (u0 u1 ) ∼
= Z and θH = −1 is fixed point free. So suppose that a ∈ αY α−1 where
α ∈ D. In this case a lies in the normal closure hhY iiD of Y in D and so the fact that
D/hhY iiD ∼
= ha, u | an , uak ua−k , u = a−2p i ∼
= ha | an , a−4p i ∼
= ha | agcd(n,4p) i
implies that gcd(n, 4p) = 1, whence n is odd. Working in D, the element a is a power of
αua2p α−1 where α ∈ D, so that αua2p α−1 ∈ CentD (a). Letting b = ak , we have
D = ha, u | an , uak ua−k i ∼
= ha | an i ∗ak =b hb, u | bn/ gcd(n,k) , ubub−1 i = Zn ∗B C
19

where C = hb, u | bn/ gcd(n,k) , ubub−1 i and B = hbi = hak i ∼
= Zn/ gcd(n,k) . By the Centralizer
Lemma 4.1 it follows that either αua2p α−1 ∈ hai or else a ∈ βBβ −1 = B = hak i for some
β ∈ hai. Now the first of these conditions cannot be true because D/hhaiiD ∼
= hu | u2 i so
2p
k
u 6∈ hhaiiD and hence ua 6∈ hhaiiD . Thus it follows that a ∈ ha i and so gcd(n, k) = 1.
It remains to show that if n is odd and gcd(n, k) = 1, then θG has a nonidentity fixed
point. For this we have 1 6= u ∈ ker ν = G and uak ua−k = 1 and hence a2k ua−2k = u.
Since gcd(n, 2k) = 1, it follows that u ∈ G ∩ CentE (a2k ) = G ∩ CentE (a) = Fix(θG ). In
fact, D ∼
•
= Z2 × Zn ∼
= Z2n .
Theorem 7.2 Given (n, j, k, l), let G = Gn (x0 xj xk xl ). If (C) is true and (A) is false, then
the following are equivalent:
(i) E = G ⋊θG Zn ∼
= Z4n ;
(ii) G ∼
= Z4 ;
(iii) G is finite;
(iv) gcd(n, 2k) = 1 and either
• l ≡ j + k mod n and gcd(n, j) = 1, or
• l ≡ j − k mod n and gcd(n, l) = 1.
Proof: The implications (i) ⇒ (ii) ⇒ (iii) being obvious, assume that G is finite, so that by
Lemma 5.2 the shift extension
E = G ⋊ θG Z n ∼
= ha, u, z | an , uak ua−k , z 2 = ua2p i ∼
= D ∗ua2p =z 2 hzi
is finite where D ∼
= ha, u | an , uak ua−k i. Thus D is finite and so gcd(n, 2k) = 1 by Theorem
7.1, as in (iv). Further,
E ∼
= ha, z | an , z 2 ak−2p z 2 a−k−2p i
∼
= ha, v, z | an , v 2 a−2k , v = z 2 ak−2p i
∼
= ha, v | an , v 2 a−2k i ∗va2p−k =z 2 hzi.
Since gcd(n, 2k) = 1, it follows that v is a generator of ha, v | an , v 2 a−2k i = hvi ∼
= Z2n and
so E ∼
= Z2n
= Z2n ∗va2p−k =z 2 hzi. Now G is finite if and only if the element va2p−k ∈ hvi ∼
has order 2n, in which case E ∼
= Z4n . It remains to verify that G is finite if and only if one
of the itemized conditions in (iv) is true.
Let k′ be a multiplicative inverse for 2k modulo n so that 2kk′ ≡ 1 mod n. Then
′
′
2k
v = a2kk = a and hence the order of the element
′
′
va2p−k = v 1+2k ·2p−2kk ∈ hvi ∼
= Z2n

is 2n/g where
g = gcd(2n, 1 + 4pk ′ − 2kk′ ) = gcd(n, 1 + 4pk ′ − 2kk′ ) = gcd(n, 1 + 4pk ′ − 1) = gcd(n, p).
Thus G is finite if and only if gcd(n, p) = 1. Since (C) is true we have l ≡ j ± k mod n. If
l ≡ j + k then by Lemma 5.2 we have p = j, whereas if l ≡ j − k then p = −l. The result
follows.
•
20

Example 7.3 If (C) is true and (A) is false, then G ∼
= Z4 can occur regardless of whether
(B) is true or not, as the following exemples demonstrate.
• If G = Gn (x0 x1 x2 x3 ) and n > 4, then (A) is false, (B) and (C) are true, and
G is finite ⇔ G ∼
= Z4 ⇔ n is odd.
• If G = Gn (x0 x1 x3 x4 ) and n > 6, then (A) and (B) are false, (C) is true, and
G is finite ⇔ G ∼
= Z4 ⇔ gcd(n, 6) = 1.

8

TTF

In this section we consider the case where (A) and (B) are true and (C) is false.
Theorem 8.1 Given (n, j, k, l), assume that (A) and (B) are true and (C) is false.
(a) The shift action on G = Gn (x0 xj xk xl ) is not free, so Pn (x0 xj xk xl ) is not combinatorially aspherical by Theorem 1.1.
(b) The following are equivalent:
(i) G is finite;
(ii) The secondary divisor γ = gcd(n, k − 2j, j − 2k + l, k − 2l, j + l) = 1;
(iii) The shift θG has a nonidentity fixed point.
(c) If G is finite, then G is solvable.
Proof: Let w = x0 xj xk xl . By Lemma 5.3, there exists c ∈ Γn such that c(w) = x0 xj ′ xk′ xl′
where k′ ≡ 2j ′ mod n and where the primary and secondary divisors, as well as the status
of the conditions (A) and (C), are identical for w and for c(w). Further, the group structure, asphericity status, and shift dynamics are identical for the presentations Pn (w) and
Pn (c(w)) by Theorem 3.2. Thus we may assume that the parameters (n, j, k, l) are such
that k ≡ 2j mod n, (A) is true, and (C) is false.
By Lemma 5.4 the shift extension E = G ⋊θG Zn has a presentation ha, u | an , u3 αuβi
where 1 6= α = β ±1 has order n/γ in hai ∼
= Zn , where γ is is the secondary divisor. We
verify the claims (a)-(c) in the cases α = β −1 and α = β separately. Recall that G is the
kernel of a retraction ν : E → hai ∼
= Zn .
Suppose first that 1 6= α = β −1 so that we have an amalgamated free product decomposition
E∼
= ha, u | an , u3 αuα−1 i ∼
= Zn ∗hαi M
where M is the group with presentation M ∼
= hα, u | αn/γ , u3 αuα−1 i. By [6, Lemma 2.2], the
∼
group M is the split metacyclic group M = hui ⋊ hαi, where u has order µ = 3n/γ − (−1)n/γ
and hui ∩ hαi = 1 in E. The order µ is divisible by four and since (C) is false, Lemma
5.4(c) provides that n/γ > 1, so µ > 4, which means that the element v = uµ/4 ∈ M is a
nontrivial element of E that lies outside of hαi = hai ∩ M . Now
αvα−1 = αuµ/4 α−1 = u−3µ/4 = u(1−4)µ/4 = vu−µ = v,

21

and so v ∈ CentE (α). Since v 6∈ hai it follows that g = vν(v)−1 ∈ G ∩ CentE (α) is
nontrivial. Since α 6= 1 in hai ∼
= Zn , we have shown that a nonidentity power of a centralizes
a nonidentity element of G in the shift extension E. Thus the shift action on G is not free,
as in (a). Since hαi is a proper subgroup of M , we have that
G is finite ⇔ E is finite ⇔ E = M ⇔ hai = hαi ⇔ γ = 1,
in which case G is a subgroup of the metacyclic group M and so G is metacyclic, hence
solvable, as in (c). If γ = 1 then 1 6= g ∈ G ∩ CentE (α) = G ∩ CentE (a) = Fix(θG ), whereas
if γ 6= 1 then Fix(θG ) = 1 by Theorem 4.2. This completes the proof of of the theorem in
the case where β = α−1 .
Assume that 1 6= α = β has order n/γ in the amalgamated free product
E∼
= ha, u | an , u3 αuαi ∼
= Zn ∗hαi ∆
where ∆ = hα, u | αn/γ , u3 αuαi. Working in ∆ we have
u2 α · uαu = 1 and
αu2 · uαu = 1,
which implies that u2 ∈ CentE (α) and so g = u2 ν(u2 )−1 ∈ G ∩ CentE (α). Since u2 6∈ hhaiiE
we know that 1 6= g ∈ G. Again the fact that (C) is false means that 1 6= α ∈ hai ∼
= Zn ,
so we conclude that a nonidentity power of a centralizes a nonidentity element of G. Thus
the shift action on G is not free, as in (a).
The central quotient ∆/hu2 i = hα, u | αn/γ , u2 , u3 αuαi ∼
= hα, u | αn/γ , u2 , (uα)2 i is the
dihedral group Dn/γ of order 2n/γ and we have the five-term homology sequence
H2 ∆ → H2 Dn/γ → hu2 i → H1 ∆ → H1 Dn/γ → 0.
The group ∆ has a 2 × 2 relation matrix with determinant 4n/γ 6= 0 so H2 ∆ = 0 and
|H1 ∆| = 4n/γ. For the dihedral group we have |H1 Dn/γ | − |H2 Dn/γ | = 2 and so the five
term sequence implies that
0 = |H2 ∆| − |H2 Dn/γ | + |hu2 i| − |H1 ∆| + |H1 Dn/γ | = |hu2 i| + 2 − 4n/γ.
Thus ∆ is a central extension of the dihedral group of order 2n/γ with cyclic kernel hu2 i
of order −2 + 4n/γ. In particular, ∆ is solvable. As before, hαi is a proper subgroup of ∆
and so
G is finite ⇔ E is finite ⇔ E = ∆ ⇔ hai = hαi ⇔ γ = 1,
in which case G is a subgroup of the solvable group ∆ and so G is solvable, as in (c). If
γ = 1 then 1 6= g ∈ G ∩ CentE (α) = G ∩ CentE (a) = Fix(θG ), whereas if γ 6= 1 then
Fix(θG ) = 1 by Theorem 4.2. This completes the proof of of the theorem in the case where
β = α.
•

22

9

FTF

Thus far we have considered seven of the eight possible combinations of the conditions
(A), (B), (C). The remaining possibility, when (B) is true and both (A) and (C) are false,
is the most complex and the most interesting. Here we will invoke the main result from
[2] to conclude that in most cases, the cyclic presentation Pn (x0 xj xk xl ) is combinatorially
aspherical (see Theorem 9.3), in which case we know all that we need to know. Fortunately,
the remaining nonaspherical cases are just a few in number and so it is possible to analyze
these individually, in some cases via computational means. Exemplars for isolated (I) and
unresolved (U) conditions appear in Tables 3 and 4 of Section 1. One checks case-by-case
that if (I) or (U) is true for parameters (n, j, k, l), then the primary divisor gcd(n, j, k, l) = 1,
(B) is true, and both (A) and (C) are false. Recall that each individual condition within (I)
and (U) describes a complete orbit of a word w ∈ Φn under the action of Γn = D4 ×(Zn ⋊Z∗n )
as in Lemma 3.1. Thus it follows from Theorem 3.2 and Corollary 3.3 that each of these ten
individual isolated or unresolved conditions refers to exactly one group up to isomorphism,
asphericity status, and shift dynamics.
In order to deal with cases where the primary divisor c = gcd(n, j, k, l) is not equal
to one, we introduced the generalized conditions (I∗ ) and (U∗ ). The asphericity status for
Pn (x0 xj xk xl ) in types (I∗ ) and (U∗ ) is entirely determined by that of (I) and (U) because
of the following well-known result.
Lemma 9.1 (Free Product) The cyclic presentation Pnd (x0 xjd xkd xld ) is combinatorially
aspherical if and only if the cyclic presentation Pn (x0 xj xk xl ) is combinatorially aspherical.
Proof: As in [13], Pnd (x0 xjd xkd xld ) decomposes as a disjoint union of d subpresentations
that can each be identified with Pn (x0 xj xk xl ), so this follows from [9, Theorem 4.2].
•
Given the cyclic presentation Pn (x0 xj xk xl ) for the group G = Gn (x0 xj xk xl ), the shift
extension admits the relative presentation
E = G ⋊ θG Z n ∼
= hZn , x | xaj xak−j xal−k xa−l i
with finite cyclic coefficient group hai ∼
= Zn . This relative presentation is aspherical if and
only if Pn (x0 xj xk xl ) is combinatorially aspherical by Theorem 2.2. A classification of asphericity for relative presentations of the form hH, x | xh1 xh2 xh3 xh4 i where the coefficients
hi are taken from an arbitrarily given group H is given in [2], modulo a handful of exceptional cases where the asphericity status is unresolved. The analysis in [2] first deals with
the case where the coefficients hi ∈ H are pairwise distinct [2, Theorem 2], in which case the
relative presentation is aspherical. This is essentially a C(4)-T(4) small cancellation situation as in [21] and corresponds to Lemma 6.2 above. The situation where h1 = h3 or h2 = h4
is dealt with in [2, Theorem 3] and corresponds to Theorem 6.3 above. Thus we are left with
the situation where two consecutive coefficients coincide in the relator, viewed as a cyclic
word. Translated into the current context, where H = hai ∼
= Zn and the relator has the
form xaj xak−j xal−k xa−l , this simply means that (B) is true. As in Lemma 5.4, a linear substitution u = xaq now transforms the relative presentation E = hZn , x | xaj xak−j xal−k xa−l i
for the shift extension E into one of the form Q = hZn , u | u3 αuβi where α, β ∈ hai ∼
= Zn .
23

Because of the simple nature of this substitution, the cellular model of the relative presentation Q is homotopy equivalent to that of E and so these relative presentations have the
same asphericity status.
The statement of [2, Theorem 4] classifies asphericity of relative presentations
Q = hH, u | u3 αuβi
where α, β ∈ H under the assumption that 2 ≤ o(α) ≤ o(β) and where o(−) refers to the
order of an element in H. Here we present a symmetrized version of the result that does
not include this restriction on the orders of α and β and which is updated in light of recent
work. The following circumstances were termed exceptional in [2].
E1 α = β 2 or β = α2 and hα, βi ∼
= Z6
E2 α = β 3 or β = α3 and hα, βi ∼
= Z6
E3 α = β 4 or β = α4 and hα, βi ∼
= Z6
E4 {o(α), o(β)} = {2, 4} and hα, βi ∼
= Z2 × Z4
E5 {o(α), o(β)} = {2, 5} and hα, βi ∼
= Z2 × Z5
As in other asphericity studies [12, 17], these exceptional cases were unresolved for asphericity status in [2]. In recent work, Aldwaik and Edjvet [1] have shown that Q is
aspherical in the previously unresolved cases E4 and E5. Also, Williams [28] has informed
us of calculations in GAP [15] showing that the group E = ha, u | a6 , u3 a3 uai is finite
of order 24 530 688 = 28 · 34 · 7 · 132 with second derived subgroup E ′′ isomorphic to the
simple group PSL(3, 3) of order 5616. Any group of the form Γ ∼
= hH, u | u3 a3 uai can be
decomposed as an amalgamated free product Γ ∼
= H ∗Z6 E and it follows that Γ contains
elements of finite order that are not conjugate to any element in H. By [4, (0.4)], this in
turn implies that if o(β) = 6, then the relative presentation hH, u | u3 β 3 uβi in E2 is not
aspherical. Similar remarks apply to the case hH, u | u3 αuα3 i upon replacing u by u−1 .
Thus only the cases E1, E3 remain unresolved for asphericity status. At this point it is
not known whether the groups ha, u | a6 , u3 a±2 uai are finite. We can now state an updated
and symmetrized version of the main result from [2].
Theorem 9.2 ([2, Theorem 4],[1, 28]) Consider a relative presentation
Q = hH, u | u3 αuβi,
where 1 6= α, β ∈ H and suppose that if hα, βi ∼
= Z6 , then α 6= β ±2 and β 6= α±2 . Then Q
is aspherical if and only if none of the following conditions holds:
1. α = β ±1 has finite order;
2. α = β 2 or β = α2 and hα, βi ∼
= Z4 or Z5 ;
3. α = β 3 or β = α3 and hα, βi ∼
= Z6 ;
4. {o(α), o(β)} = {2, 3} and hα, βi ∼
= Z2 × Z3 ;
24

5.

1
o(α)

+

1
o(β)

+

1
o(αβ −1 )

> 1 where 1/∞ = 0.

We now apply Theorem 9.2, combined with Theorem 2.2, to the relative presentations
obtained in Lemma 5.4, and thence to the cyclic presentations Pn (x0 xj xk xl ).
Theorem 9.3 Assume that gcd(n, j, k, l) = 1. Assume that (B) is true and that both (A)
and (C) are false. If Pn (x0 xj xk xl ) is not combinatorially aspherical, then Pn (x0 xj xk xl ) is
of type (I) or of type (U).
Proof: By Lemma 5.3 and Theorem 3.2, it suffices to prove the theorem in the case where
k ≡ 2j mod n and the parameters (n, j, k, l) satisfy gcd(n, j, k, l) = 1 and both (A) and (C)
are false. Let G = Gn (x0 xj xk xl ). By Lemma 5.4, the shift extension E = G ⋊θG Zn admits
a relative presentation of the form hZn , u | u3 αuβi where
α = al−3j and β = a−l−j
∼ Zn . Theorem 2.2 implies that Pn (x0 xj xk xl )
are such that α, β 6= 1 and α 6= β ±1 in hai =
is combinatorially aspherical if and only if the relative presentation hZn , u | u3 αuβi is
aspherical.
It follows from Theorem 9.2 that the relative presentation hZn , u | u3 αuβi is aspherical
unless one of the following conditions is satisfied.
(a) α = β 2 and 4 ≤ o(β) ≤ 6
(a′ ) β = α2 and 4 ≤ o(α) ≤ 6
(b) α = β −2 and o(β) = 6
(b′ ) β = α−2 and o(α) = 6
(c) α = β 3 and o(β) = 6
(c′ ) β = α3 and o(α) = 6
(d) {o(α), o(β)} = {2, 3} and hα, βi ∼
= Z2 × Z3
(e)

1
o(α)

+

1
o(β)

+

1
o(αβ −1 )

>1

Using the fact that gcd(n, j, k, l) = 1, we prove that if any of these conditions hold, then
(I) or (U) is satisfied.
First note that it suffices to consider just one from each of the paired conditions (a)(a′ ), (b)-(b′ ), and (c)-(c′ ). This is because switching the roles of α and β arises from the
Γn -transformations
σ

θ −k

τ2

×−1

F
x0 xj xk xl → x0 xl xk xj → xk xj x0 xl →
x0 xj−k x−k xl−k → x0 xk−j xk xk−l = x0 xj ′ xk′ xl′ ,

where
′

k≡2j

′

α′ = al −3j = ak−l−3(k−j) = a3j−2k−l = a−j−l = β
and
′

k≡2j

′

β ′ = a−l −j = al−k−(k−j) = al−2k+j = al−3j = α.
The situation (e) does not provide any additional cases because hα, βi is finite cyclic.
We now consider the cases (a), (b), (c), and (d) individually. All congruences are modulo
n.
25

(a) α = β 2 and 4 ≤ o(β) ≤ 6: Here we have l − 3j ≡ −2l − 2j and 4 ≤ o(β) =
n/ gcd(n, j + l) ≤ 6. That is, we have
j ≡ 3l and n = o(β) gcd(n, j + l).
Since k ≡ 2j we also have k ≡ 6l. Now the fact that 1 = gcd(n, j, k, l) = gcd(n, 3l, 6l, l)
implies that gcd(n, l) = 1 and so w = x0 x3l x6l xl where l ∈ Z∗n . Now j + l ≡ 3l + l so
n = o(β) gcd(n, 4l) = o(β) gcd(n, 4).
If o(β) = 4, then n = 4 gcd(n, 4) and it follows that n = 16, so this is the exemplar for
the isolated type (I16).
If o(β) = 5, then n = 5 gcd(n, 4) and it follows that n = 5, 10 or 20. If n = 5, then
x0 x3 x6 x1 = x0 x3 x1 x1 so we are in the isolated type (I5). If n = 10, then this is the isolated
type (I10). If n = 20, then this is the isolated type (I20).
If o(β) = 6, then n = 6 gcd(n, 4) and it follows that n = 24. This is the unresolved type
(U24′ ).
(b) α = β −2 and o(β) = 6: In this case l − 3j ≡ 2j + 2l and n = 6 gcd(n, j + l). Thus
l ≡ −5j and k ≡ 2j so 1 = gcd(n, j, k, l) = gcd(n, j, 2j, −5j) and so gcd(n, j) = 1. Thus
j ∈ Z∗n and w = x0 xj x2j x−5j . Next, n = 6 gcd(n, j + l) = 6 gcd(n, −4j) = 6 gcd(n, 4) and it
follows that n = 24. So w = x0 xj x2j x19j is in the unresolved type (U24′′ ).
(c) α = β 3 and o(β) = 6: Here we have l − 3j ≡ 3(−l − j) so that 4l ≡ 0, and n =
6 gcd(n, j + l). The fact that gcd(n, j, k, l) = 1 and k ≡ 2j provides that
1 = gcd(n, j, 2j, l) = gcd(n, j, l) = gcd(n, j + l, l) = gcd(l, gcd(n, j + l)) = gcd(l, n/6).
Since 4l ≡ 0 it follows that n2 | 2l and so n6 | 2l. The fact that gcd(l, n/6) = 1 thus implies
that n/6 = 1 or 2, so n = 6 or 12.
The element α = al−3j has order two in hai ∼
= Zn so n = 2 gcd(n, l − 3j) and so the fact
that 6 | n means that 3 | l − 3j and so 3 | l.
Now suppose that n = 6, so that l ≡ 0 or 3. If l ≡ 0, then 1 = gcd(n, j, l) = gcd(n, j) so
j ∈ Z∗n and w = x0 xj x2j x0 is a cyclic permutation of x0 x0 xj x2j as in (I6′′ ). If l ≡ 3, then
n = 6 gcd(n, j + l) = 6 gcd(n, j + 3) = 6 so gcd(n, j + 3) = 1, which implies that j ≡ 2 or 4.
Thus w = x0 x2 x4 x3 = x0 x−4 x−2 x3 or x0 x4 x2 x3 as in (I6′ ).
Suppose that n = 12, so l ≡ 0, 3, 6, or 9. We have 12 = 6 gcd(n, j + l), so j + l is even
and the fact that gcd(n, j, k, l) = gcd(n, j, l) = 1 implies that j and l are both odd, so that
l ≡ 3 or 9. Neither 3 nor 4 is a divisor of j + l, so j + l ≡ 2 or 10. The only arrangements
meeting these requirements are (j, l) ≡ (7, 3), (11, 3), (1, 9), or (5, 9). In each of these four
cases we have l ≡ 9j so w = x0 xj x2j x9j where j ∈ Z∗12 as in (I12).
(d) {o(α), o(β)} = {2, 3} and hα, βi ∼
= Z2 × Z3 : It suffices to consider the case where
o(α) = o(al−3j ) = 2 and o(β) = o(a−l−j ) = 3. Here, 2l ≡ 6j and 3j ≡ −3j, so l ≡
3l − 2l ≡ −3j − 6j ≡ −9j. Coupled with the fact that k ≡ 2j, we have 1 = gcd(n, j, k, l) =
gcd(n, j, 2j, −9j), so gcd(n, j) = 1 and hence j ∈ Z∗n with w = x0 xj x2j x−9j . Now from
o(α) = o(al−3j ) = 2 we have
n = 2 gcd(n, l − 3j) = 2 gcd(n, −12j) = 2 gcd(n, 12),
26

which implies that 8 is a divisor of n and so with o(β) = o(a−l−j ) = 3, it follows that
n = 3 gcd(n, −l − j) = 3 gcd(n, 8j) = 3 gcd(n, 8) = 24.
Thus w = x0 xj x2j x15j as in (I24). This completes the proof.

•

The following four computational results will help us deal with the isolated types.
Lemma 9.4 The group J4 = ht, y | t4 , y 3 t2 yti is finite metacyclic of order 272. The centralizer CentJ4 (t) is cyclic of order 16.
Proof: Using the GAP commands Size, DerivedSubgroup, AbelianInvariants, and Centralizer
we find that |J4 | = 272, J4 /J4′ ∼
= Z17 , and CentJ4 (t) ∼
= Z16 . We remark that J4 is
= Z16 , J4′ ∼
the group J4 (4, 1) of [5], where it is shown that J4 is a semidirect product Z17 ⋊ Z16 .
•
Lemma 9.5 The group K = ht, u | t5 , u3 t2 uti is finite metacyclic of order 1100. The
centralizer CentK (t) is an elementary abelian group of order 25.
Proof: Computing as in Lemma 9.4, we find that |K| = 1100, K/K ′ ∼
= Z55 , and
= Z20 , K ′ ∼
2
.
•
CentK (t) ∼
Z
= 5
Lemma 9.6 The group J6 = ht, u | t6 , u3 t3 ut2 i is finite metacyclic of order 4632. The
centralizer CentJ6 (t) is cyclic of order 24.
Proof: Here we have |J6 | = 4632, J6 /J6′ ∼
= Z193 , and CentJ6 (t) ∼
= Z24 . We
= Z24 , J6′ ∼
remark that J6 is the group J6 (4, 1) of [5], where it is shown that J6 is a semidirect product
Z193 ⋊ Z24 .
•
Lemma 9.7 The group L = ht, u | t6 , u3 t3 uti is a nonsolvable group of order 24 530 688 =
28 · 34 · 7 · 132 with second derived subgroup L′′ isomorphic to the simple group PSL(3, 3) of
order 5616. The centralizer CentL (t) contains an element that does not lie in the normal
closure hhtiiL of t in L.
Proof: Although the computations are somewhat lengthy, the order and nonsolvability
claims for L can be verified directly in GAP using Size, DerivedSubgroup, and GroupId
commands, and this was originally done by Williams [28]. The centralizer claim is more
difficult and is resistant to brute force application of the Centralizer command. The group
L is the common shift extension for the groups G6 (x0 x4 x2 x3 ) of (I6′ ) and G6 (x20 x1 x2 ) of
(I6′′ ). One easily checks that
L∼
= E = ha, x | a6 , x2 axaxa−2 i ∼
= G6 (x2 x1 x2 ) ⋊θ Z6
0

t−1

ua−1

via a =
and x =
= ut. A direct coset enumeration using Size returns |E| =
24 530 688. Now consider the word
(7)

v = a3 x3 axa3 xa5 xa5 xa2 xa4 xaxa3 xa2 xa5 xa2 x.

A second coset enumeration reveals that the quotient group
Q = ha, x | a6 , x2 axaxa−2 , ava−1 v −1 i
has the identical order |Q| = 24 530 688 and so v ∈ CentE (a). The fact that x occurs in the
word v with exponent sum 14 implies that the element v ∈ E is not in the normal closure
hhaiiE of a in E because E/hhaiiE ∼
= hx | x4 i ∼
= Z4 . The element v ∈ E translates back to
L to provide the desired centralizing element.
•
27

Remark: The word v at (7) was discovered using two separate processes in GAP that
rely on a stored coset table for the subgroup hai ∼
= Zn in E ∼
= ha, x | a6 , x2 axaxa−2 i.
This table has columns numbered 1 to 4 088 448, one for each (right) coset haiw, with
column 1 corresponding to the coset hai1. The column corresponding to the coset haiw has
numbered entries corresponding to the cosets haiwa, haiwa−1 , haiwx, haiwx−1 that arise
from the action of the generators a, x of E and their inverses. The first process identifies
those columns j for which the entry in the first (and second) row is also j, as this corresponds
to a coset for which haiv = haiva, so that v ∈ CentE (a). The second process uses a spanning
tree algorithm to extract a word v from the column index j. The existing GAP command
TracedCosetFpGroup(tablename, word, columnindex)
produces a column index from a word and a column index. (See 47.6-2 in the GAP Manual.)
The spanning tree algorithm does the reverse, outputting a (nonempty) word v that solves
the equation
j = TracedCosetFpGroup(tablename, v, 1)
where j is the column index corresponding to a centralizing word found in the first process.
The tree search is such that the generators a and x both occur with only positive exponents
in the output word v and so that the exponent sum of x in v is as small as possible.
The validity of the algorithm is independently verified by the computations in the proof of
Lemma 9.7.
Theorem 9.8 If Pn (x0 xj xk xl ) is of type (I ∗ ), then the shift action by Zn on the nonidentity elements of G = Gn (x0 xj xk xl ) is not free, so Pn (x0 xj xk xl ) is not combinatorially
aspherical. In types (I5), (I6 ′ ), and (I6 ′′ ), G is finite and the shift θG has a nonidentity
fixed point.
Proof: Let c = gcd(n, j, k, l) be the primary divisor. If (I∗ ) is true, then the parameters
(n/c, j/c, k/c, l/c) satisfy the condition (I) and G is the free product G ∼
= ∗ci=1 H where
H = Gn/c (x0 xj/c xk/c xl/c ). Further, as described in [3, Lemma 5.1] for the case of length
c| .
three relators, the shift on H arises as a restriction of a power of the shift on G: θH = θG
H
It follows that if Zn/c does not act freely via the shift on H, then Zn does not act freely via
the shift on G. This means that it suffices to prove the theorem under the assumption that
the condition (I) is true for the parameters (n, j, k, l).
Taking cases in turn, if n = 5, 10, 20, or 16, then for type (In) we consider G =
Gn (x0 x3 x6 x1 ), which has shift extension
E∼
= ha, x | an , xa3 xa3 xa−5 xa−1 i

u=xa3

∼
=

ha, u | an , u3 a−8 ua−4 i

and where G is the kernel of a retraction ν : E → Zn onto the cyclic group hai of order n.
If n = 5, then E ∼
= ha, u | a5 , u3 a2 uai ∼
= K as in Lemma 9.5, so the centralizer CentE (a)
has order 25. Since a ∈ CentE (a), the retraction ν restricts to a surjection of CentE (a) onto
Z5 and so Fix(θG ) = G ∩ CentE (a) is cyclic of order 5.
If n = 10 or 20, then E ∼
= ha, u | an , u3 a−8 ua−4 i ∼
= Zn ∗a−4 =t ht, u | t5 , u3 t2 uti where
5
3
2
ht, u | t , u t uti = K as in Lemma 9.5, so the centralizer CentK (t) has order 25. Since

28

t = a−4 ∈ CentK (t), the retraction ν maps CentK (t) onto the subgroup ha4 i of order 5 in
4 ) = G ∩ Cent (a4 ) contains a cyclic group of order 5.
Zn and so Fix(θG
E
If n = 16, then E ∼
= ha, u | a16 , u3 a−8 ua−4 i ∼
= Z16 ∗a−4 =t ht, u | t4 , u3 t2 uti where
ht, u | t4 , u3 t2 uti = J4 as in Lemma 9.4, so the centralizer CentJ4 (t) has order 16. Since
t = a−4 ∈ CentJ4 (t), the retraction ν maps CentJ4 (t) onto the subgroup ha4 i of order 4 in
4 ) = G ∩ Cent (a4 ) contains a cyclic group of order 4.
Z16 and so Fix(θG
E
For the types (I6 ′ ) and (I6 ′′ ), consider the group L = ha, u | a6 , u3 a3 uai as in Lemma
9.7, for which we can choose an element w ∈ CentL (a) that is not a power of a. For f = 2, 5,
there are retractions ν f : L → hai ∼
= Z6 satisfying ν f (a) = a and ν f (u) = af . Using the
rewriting scheme described in [3, Theorem 2.3] together with isomorphisms from Theorem
3.2, we have
×−1

ker ν 2 ∼
= G6 (u0 u2 u4 u3 ) ∼
= G6 (u0 u4 u2 u3 ) and
τ

×−1

ker ν 5 ∼
= G6 (u0 u5 u4 u0 ) ∼
= G6 (u20 u5 u4 ) ∼
= G6 (u20 u1 u2 ),
so these are the groups from (I6′ ) and (I6′′ ) respectively. For f = 2, 5, the element gf =
wν f (w)−1 is a nontrivial element of ker ν f ∩ CentL (a) and so the shifts on the groups
ker ν 2 ∼
= G6 (u20 u1 u2 ) each have nonidentity fixed points.
= G6 (u0 u4 u2 u3 ) and ker ν 5 ∼
For type (I12), the group G = G12 (x0 x1 x2 x9 ) is the kernel of a retraction ν : E → Z12
defined on the shift extension
u=xa

E∼
= ha, x | a12 , xaxaxa7 xa−9 i ∼
= ha, u | a12 , u3 a6 ua−10 i ∼
= Z12 ∗a2 =t ht, u | t6 , u3 t3 uti
where L = ht, u | t6 , u3 t3 uti is the group from Lemma 9.7. An element w ∈ CentL (t) that
is not a power of t = a2 determines a nonidentity element g = wν(w)−1 ∈ G ∩ CentE (a2 ) =
2 ).
Fix(θG
For type (I24), the group G = G24 (x0 x1 x2 x15 ) is the kernel of a retraction ν : E → Z24
defined on the shift extension
u=xa

E∼
= ha, x | a24 , xaxaxa13 xa−15 i ∼
= ha, u | a24 , u3 a12 ua8 i ∼
= Z12 ∗a4 =t ht, u | t6 , u3 t3 ut2 i
where J6 = ht, u | t6 , u3 t3 ut2 i is the group from Lemma 9.6. Since t = a4 ∈ CentJ6 (t), the
4) =
retraction ν maps CentJ6 (t) onto the subgroup ha4 i of order 6 in Z24 and so Fix(θG
4
G ∩ CentE (a ) contains a cyclic group of order 4.
•
Theorem 9.9 Given (n, j, k, l), let G = Gn (x0 xj xk xl ). Assume that (B) is true and (A)
and (C) are both false.
(a) If Pn (x0 xj xk xl ) is not of type (U ∗ ), then the following are equivalent:
(i) Pn (x0 xj xk xl ) is combinatorially aspherical;
(ii) Zn acts freely via the shift on the nonidentity elements of G;
(iii) TPn (x0 xj xk xl ) is not of type (I ∗ ).
(b) The following are equivalent:
(i) G is finite;
29

(ii) Pn (x0 xj xk xl ) is of type (I) or (U) and the secondary divisor γ = 1;
(iii) Pn (x0 xj xk xl ) is of type (I5) or (I6 ′ ) or (I6 ′′ );
(iv) The shift θG has a nonidentity fixed point.
Proof: For part (a), assume that Pn (x0 xj xk xl ) is not of type (U∗ ). The implications (i) ⇒
(ii) ⇒ (iii) follow from Theorems 1.1 and 9.8 respectively. If Pn (x0 xj xk xl ) is not of type
(I∗ ) or (U∗ ), then Pn/c (x0 xj/c xk/c xl/c ) is combinatorially aspherical by Theorem 9.3, and
so Pn (x0 xj xk xl ) is combinatorially aspherical by Lemma 9.1. This shows that (iii) ⇒ (i)
and so completes the proof of part (a).
For part (b), assume first that G is finite. The primary and secondary divisors c =
gcd(n, j, k, l) and γ are both equal to one by Corollary 4.3 and Theorem 4.2, respectively.
Since (A) is false, it follows that n 6= 1 and so Pn (x0 xj xk xl ) is not combinatorially aspherical
by Lemma 6.1. That (I) or (U) must be true then follows from Theorem 9.3. This shows
that (i) ⇒ (ii). The secondary divisor calculations in Example 4.4 show that (ii) ⇒ (iii).
That (iii) ⇒ (iv) and (iii) ⇒ (i) follow directly from Theorem 9.8. And finally, if the shift
θG has a nonidentity fixed point, then the primary and secondary divisors are both equal
to one by Theorem 4.2 and Pn (x0 xj xk xl ) is not combinatorially aspherical by Theorem 1.1,
whence (I) or (U) is true by Theorem 9.3. Thus (iv) ⇒ (ii) and the proof is complete. •

10

Concluding Remarks

In this concluding section we distill the proofs of the main theorems I-V from the results
in Sections 6-9. This includes a discussion of the finite groups Gn (x0 xj xk xl ) that occur
in Theorem II. We conclude with a discussion of the unresolved cases from the asphericity
classification Theorem I.
Avoiding the unresolved situation (U∗ ), the proof of Theorem I is a consequence of
Theorems 6.2, 6.3, 8.1(a), 9.3, and 9.8. If k 6≡ 0 or j 6≡ l mod n, then the presentation
P = Pn (x0 xj xk xl ) has no proper power relators, in which case combinatorial asphericity
implies that after removing freely redundant relators from the two-dimensional model of P,
the group Gn (x0 xj xk xl ) is the fundamental group of an aspherical two-complex, and so is
torsion-free with geometric dimension at most two.
The finiteness classification Theorem II follows from Lemma 6.1(b) and Theorems 7.2,
8.1(b), and 9.9(b). These results also detail the structural claims for the finite groups that
occur, as for example in Theorem 8.1(c), with the exception of those occurring in types
(I5), (I6′ ), and (I6′′ ). The group G5 (x0 x3 x21 ) of (I5) is a normal subgroup of index 5 in
its shift extension, which is the group K of Lemma 9.5. Thus G5 (x0 x3 x21 ) is metacyclic of
order 220 and in fact is a semidirect product Z5 ⋊ Z44 . As a nonabelian group with cyclic
abelianization, this group is not nilpotent. As in the proof of Lemma 9.7, the groups
G1 = G6 (x0 x4 x2 x3 ) and G2 = G6 (x20 x1 x2 )
of (I6′ ) and (I6′′ ) share the common shift extension L = ha, u | a6 , u3 a3 uai of order
24 530 688, which has second derived subgroup L′′ isomorphic to the simple group PSL(3, 3)
of order 5616. Both G1 and G2 therefore are nonsolvable of order 4 088 448 and con∼
tain L′′ ∼
= PSL(3, 3). Calculations in GAP show that the abelianizations Gab
1 = Z8 and
ab
∼
∼
6 G2 .
G2 = Z7 ⊕ Z8 are not isomorphic, so G1 =
30

For the proof of Theorem III, since cyclic presentations with positive relators are orientable, Theorem 1.1 provides that combinatorial asphericity always implies free action.
For the converse, and avoiding the unresolved type (U∗ ), in each nonaspherical case we
have shown that the shift action is not free. See Theorems 6.3, 8.1(a), and 9.8.
For the proof of Theorem IV, for each finite group Gn (x0 xj xk xl ), either the shift action
is trivial, as when n = 1 and in Lemma 6.1(b) and Theorem 7.2, or else we have shown
that the shift has a nonidentity fixed point, as in Theorems 8.1(b) and 9.8. If (C) is true
and gcd(n, 2k) = 1, then (A) is false and Fix(θG ) 6= 1 by Theorem 7.1. Conversely, if
Fix(θG ) 6= 1, then either n = 1 so that G ∼
= Z4 is finite (Lemma 6.1(b)), (C) is true and
gcd(n, 2k) = 1 (Theorem 7.1), or G is finite (Theorems 8.1(b), 9.9(b)).
In order to prove Theorem V, suppose that Fix(θG ) 6= 1 where G is infinite (for otherwise
we may take G = H). By Theorem IV, (C) is true and gcd(n, 2k) = 1. By Lemma 5.2,
there exists an integer p such that the shift extension E = G ⋊θG Zn admits a presentation
of the form
E∼
= ha, u, z | an , uak ua−k , ua2p = z 2 i
where G = ker ν for a retraction ν : E → Zn = hai satisfying ν(a) = a, ν(u) = 1, and
ν(z) = ap . And finally, since G is infinite, Theorem 7.2 implies that gcd(n, p) 6= 1. Now
E ∼
= D ∗hua2p =z 2 i hzi where D = ha, u | an , uak ua−k i ∼
= Zn × Z2 . As in [3, Theorem 2.3],
it follows that G = ker ν contains the finite group H = ker ν|D ∼
= Gn (u0 uk ) ∼
= Z2 and so
Fix(θG ) contains Fix(θH ) = Z2 6= 1. It remains to show that Fix(θG ) = Fix(θH ). So assume
that g ∈ Fix(θG ) = CentE (a) ∩ G. By the Centralizer Lemma 4.1, either g ∈ D ∩ G = H or
else there exists d ∈ D such that a ∈ dhua2p id−1 . In the former case we have g ∈ Fix(θH ),
as desired, and the latter case cannot occur due to the fact that gcd(n, p) 6= 1, so ν(ua2p )
generates a proper subgroup of ν(E) = hν(a)i = Zn . Thus Fix(θG ) = Fix(θH ) and the
proof is complete.
We conclude with a discussion of the unresolved type (U∗ ), which boils down to consideration of the two exemplar presentations from Table 4:
P24 (x0 x3 x6 x1 ) and P24 (x0 x1 x2 x19 ).
In both cases, the secondary divisor is equal to four so by Theorem 4.2, the groups defined by
these presentations are infinite and their shifts are fixed point free. However it is unknown
whether these presentations are combinatorially aspherical or whether either shift action is
free. It would be of interest to determine, for example, whether these groups are torsion-free.
At this point we can note that the groups G1 = G24 (x0 x3 x6 x1 ) and G2 = G24 (x0 x1 x2 x19 )
are not isomorphic. Routine calculations in GAP provide that they abelianize to G1 /G′1 ∼
=
Z3 ⊕Z25 ⊕Z7 and G2 /G′2 ∼
= Z3 ⊕Z3 ⊕Z73 . It seems likely that G1 and G2 are commensurable,
although their shift extensions
E1 ∼
= ha, x | a24 , xa3 xa3 xa−5 xa−1 i and E2 ∼
= ha, x | a24 , xaxaxa17 xa−19 i
are not isomorphic, having second derived quotients E1′ /E1′′ ∼
= Z9 ⊕ Z85 ⊕ Z47 and E2′ /E2′′ ∼
=
4
9
4
Z ⊕ Z3 ⊕ Z73 .

31

References
[1] S. Aldwaik and M. Edjvet, On the asphericity of a family of positive relative group
presentations, Proc. Edinburgh Math. Soc., to appear.
[2] Y. G. Baik, W. A. Bogley, and S. J. Pride, On the asphericity of length four relative
group presentations, Internat. J. Algebra Comput. 7 (1997), 277-312.
[3] W. A. Bogley, On shift dynamics for cyclically presented groups, J. Algebra 418 (2014),
154-173.
[4] W. A. Bogley and S. J. Pride, Aspherical relative presentations, Proc. Edinburgh
Math. Soc. 35 (1992), 1-39.
[5] W. A. Bogley and Gerald Williams, Efficient finite groups arising in the study of relative
asphericity, Math. Z. 284 (2016), 507-535.
[6] W. A. Bogley and Gerald Williams, Coherence, subgroup separability, and metacyclic
structures for a class of cyclically presented groups, arXiv:1606.00216v1 (1 Jun 2016).
[7] C. M. Campbell and E. Robertson, Finitely presented groups of Fibonacci type. II. J.
Aust. Math. Soc., Ser. A 28, 250-256 (1979)
[8] A. Cavicchioli, D. Repovš, and F. Spaggiari, Families of group presentations related to
topology, J. Algebra 286 (2005), 41-56.
[9] I. Chiswell, D. J. Collins, and J. Huebschmann, Aspherical group presentations,
Math. Z. 178 (1981), 1-36.
[10] D. J. Collins and J. Huebschmann, Spherical diagrams and identities among relations,
Math. Ann. 261 (1982), 155-183.
[11] W. Dicks and M. J. Dunwoody, Groups acting on graphs, Cambridge Studies in Advanced Mathematics 17 (CUP, 1989).
[12] M. Edjvet, On the asphericity of one-relator relative presentations, Proc. Royal Soc. Edinburgh 124A (1994), 713-728.
[13] M. Edjvet, On irreducible cyclic presentations, J. Group Theory 6 (2003), 261-270.
[14] M. Edjvet and G. Williams, Cyclically presented groups with relators xi xi+k xi+l ,
Groups Geom. Dyn. 4 (2010), 759-775.
[15] The GAP Group, GAP-Groups, Algorithms, and Programming, version 4.4.12, 2012,
http://www.gap-system.org.
[16] P. Hill, S. J. Pride, and A. D. Vella, On the T(q)-conditions of small cancellation
theory, Israel J. Math. 52 (1985), 293-304.
[17] J. Howie and V. Metaftsis, On the asphericity of length five relative group presentations, Proc. London Math. Soc. (3) 82 (2001), 173-194.
32

[18] J. Huebschmann, Cohomology theory of aspherical groups and of small cancellation
groups, J. Pure Appl. Algebra 14 (1979) 137-143.
[19] D. L. Johnson, Extensions of Fibonacci groups, Bull. London Math. Soc. 7 (1974),
101-104.
[20] D. L. Johnson, Topics in the Theory of Group Presentations,
Math. Soc. Lect. Note Series 42 (1980, Cambridge University Press).

London

[21] R. C. Lyndon, On Dehn’s algorithm, Math. Ann. 166 (1966), 208-228.
[22] W. Magnus, A. Karrass, and D. Solitar, Combinatorial Group Theory, 2nd Revised
Edition (Dover, 1976).
[23] S. J. Pride, Identities among relations of group presentations, in: Group theory from a
geometrical viewpoint, Trieste 1990, edited by E. Ghys, A. Haefliger and A. Verjovsky
(World Scientific,1991), 687-717.
[24] A. J. Sieradski, Framed links for Peiffer identities, Math. Z. 175 (1980), 125-135.
[25] A. J. Sieradski, Algebraic topology for two-dimensional complexes, in: Two Dimensional Homotopy and Combinatorial Group Theory, edited by C. Hog-Angeloni,
W. Metzler, and A. J. Sieradski, London Math. Soc. Lecture Note Series 197 (Cambridge University Press, 1993), 51-96.
[26] R. M. Thomas, The Fibonacci groups revisited, in: Groups St. Andrews 1989, vol. 2,
edited by C. M. Campbell and E. F. Robertson, London Math. Soc. Lect. Notes Series
160 (Cambridge University Press, 1991), 445-454.
[27] Gerald Williams, The aspherical Cavicchioli-Hegenbarth-Repov generalized Fibonacci
groups, J. Group Theory 12 (2009),139-149.
[28] Gerald Williams, Private communication (September 2013).

33

