4 A. J. DUNCAN AND J. HOWIE
Corollary. If five
more of the eight corner
labels are nontrivial elements of G,
then the system of equations has a solution in
an overgroup of G.
five corners of a cube are coloured, then it is possible to choose a pair of
opposite faces, each of which has at least two coloured corners (try it!).
Proof of Theorem 1.
construct the solution group
in a series
of HNN extensions beginning from G.
Before beginning let us fix once and for all a
pair of opposite faces of the cube.
Without loss of generality, we choose the top and
bottom face (as in Figure 1). Thus we are assuming that
at least two of a, (3, /,
are nontrivial elements of G, and similarly for a', (3', 1', 8'.
the HNN extension of
trivial associated subgroup. Note that each of the
elements axb, cx-1d has infinite order in G0
so we may form the HNN extension
Lemma 2. If at least two
of a, (3, /,
8 are nontrivial elements of G, and similarly
then the elements eyf,lx-1 i form
rank 2 in
We then form the HNN extension