Cambridge Books Online © Cambridge University Press, 2010
Cambridge Books Online © Cambridge University Press, 2010
Downloaded from https://www.cambridge.org/core. Tufts Univ, on 11 Jul 2018 at 01:30:01, subject to the Cambridge Core terms of use, available at
Cambridge
https://www.cambridge.org/core/terms. Books Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878
Downloaded from https://www.cambridge.org/core. Tufts Univ, on 11 Jul 2018 at 01:30:01, subject to the Cambridge Core terms of use, available at
Cambridge
https://www.cambridge.org/core/terms. Books Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878
London Mathematical Society Student Texts. 14
Downloaded from https://www.cambridge.org/core. Tufts Univ, on 11 Jul 2018 at 01:30:01, subject to the Cambridge Core terms of use, available at
Cambridge
https://www.cambridge.org/core/terms. Books Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878
CAMBRIDGE UNIVERSITY PRESS
Cambridge, New York, Melbourne, Madrid, Cape Town, Singapore, Sao Paulo, Delhi
Published in the United States of America by Cambridge University Press, New York
www.cambridge.org
Information on this title: www.cambridge.org/9780521341332
© Cambridge University Press 1989
A catalogue record for this publication is available from the British Library
Downloaded from https://www.cambridge.org/core. Tufts Univ, on 11 Jul 2018 at 01:30:01, subject to the Cambridge Core terms of use, available at
Cambridge
https://www.cambridge.org/core/terms. Books Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878
INTRODUCTION
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:27:53, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.001
VI
of two spaces in terms of the fundamental groups of the spaces and their
intersection. The proof of this theorem is simplified by the use of the
fundamental groupoid. There follows a brief account of covering spaces, the
deeper properties being left to a later chapter. It is shown how these properties
can be used to obtain results about the complex plane; in particular, to give a
proof of the Fundamental Theorem of Algebra. The chapter concludes with
a discussion of some surprising situations which can occur when the spaces
considered are not nice enough.
In Chapter 5 we look: at graphs and complexes. Part of their theory
parallels that of Chapter 4, but without the topological complications that may
occur; occasionally, however, there is some cost in avoiding these technicalities.
Among the material in this chapter is a discussion of the fixed subgroup of an
automorphism of a free group. This uses the very easy approach of Goldstein
and Turner, and its recent extension by M. Cohen and Lustig.
In Chapter 6 we discuss coverings of spaces and complexes. This is
put to use in group theory in Chapter 7. In that chapter we prove Schreier's
theorem on subgroups of a free group, and Kurosh's theorem on subgroups of a
free product. These theorems are proved both using coverings and by purely
algebraic means, and the connection between these two approaches is
investigated in detail. The material in this chapter is perhaps the heart of the
interplay between topology and group theory.
The long Chapter 8 is devoted to the theory of groups acting on
trees, due to Bass and Serre. To some extent, this can be described as a
one-dimensional rewriting of the theory of coverings, and this one-dimensional
aspect makes it easier to work with than the other approaches, once the main
theorems have been proved. We begin with a discussion of free actions of groups
on trees, which leads to yet another proof of Schreier's theorem. We then look at
Nielsen's approach to subgroups of free groups. After that we develop the general
results of Bass-Serre theory. These results are then applied, in the first place to
give a simple proof of the Kurosh Subgroup Theorem and related theorems about
the subgroups of amalgamated free products and HNN extensions. Further
applications are to Grushko's theorem on free products, and to the theorems of
M. Hall and of Howson about finitely generated subgroups of free groups. These
theorems find their best versions, including various generalisations, in this
context. The chapter concludes with a discussion of general ways of constructing
trees, including a statement of the important new theorem due to Dicks and
Dunwoody, showing how this theorem can be applied to give the structure of
groups with a free subgroup of finite index.
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:27:53, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.001
Vll
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:27:53, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.001
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:27:53, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.001
TABLE OF CONTENTS
Page
CHAPTER 1. COMBINATORIAL GROUP THEORY 1
1.1 Free groups 1
1.2 Generators and relators 17
1.3 Free products 24
1.4 Pushouts and amalgamated free products 29
1.5 HNN extensions 34
CHAPTER 3. GROUPOIDS 62
3.1 Groupoids 62
3.2 Direct limits 70
Downloaded from https://www.cambridge.org/core. Tufts Univ, on 11 Jul 2018 at 01:30:08, subject to the Cambridge Core terms of use, available at
Cambridge
https://www.cambridge.org/core/terms. Books Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878
CHAPTER 7. COVERINGS AND GROUP THEORY 167
BIBLIOGRAPHY 297
INDEX 306
Downloaded from https://www.cambridge.org/core. Tufts Univ, on 11 Jul 2018 at 01:30:08, subject to the Cambridge Core terms of use, available at
Cambridge
https://www.cambridge.org/core/terms. Books Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878
1 COMBINATORIAL GROUP THEORY
U . / ) . . . U . / ) ( j c . / ) . . . ( J C . / ) 1.
z z
l /z Jm J\
Hence the element of H given by {x. ffl ...{x. ffn depends only on g and not
on how g is written as a product of elements of X u X . I t follows that we can
define a function <p:G^> H by requiring g<p to be this element. It is easy to check
that 9 is a homomorphism and that x<p - xf for all x e X. Since every element of
G is a product of elements of X and their inverses, there can only be one
homomorphism with specified values on X. Conversely, suppose that A' is a
subset of a group G such that any function from X into an arbitrary group H
extends uniquely to a homomorphism from G to H. Let x - £ l . . . x. E/z equal 1 in
l
'1 n
G, and let / be a function from X into a group //. Since / extends to a
homomorphism from G to //, it follows that {x • ffl .. .(x. ffn equals 1 in H.
l l
l n
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:28:06, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.002
Free groups 2
Since this holds for all H and /, this amounts to saying that the product of
elements of X u X~ equals 1 in G only if the corresponding products in all
groups are also 1. It can be shown that this holds iff we can derive the fact that
the product equals 1 from the group laws. These observations lead to the formal
definition of free groups.
In particular, the trivial group is free on the empty set, and the
infinite cyclic group Z is free on any one element set ix), where xf is the
integer 1.
The following three questions are natural ones to ask. Do free
groups on an arbitrary set exist? Are free groups on a given set unique? If (G,i)
is free on X is / injective? We leave the first question till later. The answer to
the second question and a partial answer to the third are of an abstract nature,
applying in many situations in abstract algebra and category theory.
It will be useful at times to use the language of category theory,
which frequently sheds light on general situations. (Barry Mitchell once wrote
"The purpose of category theory is to show that what is trivial is trivially
trivial.") For instance, in asking whether free groups on an arbitrary set exist we
are asking whether the forgetful functor from groups to sets has an adjoint, and
the fact that free groups on a given set are essentially unique is just a
uniqueness property of adjoints (or of initial objects in categories). Readers who
have no knowledge of category theory can safely ignore any remarks about it;
such remarks are made only to give extra insight to those with the relevant
knowledge.
Plainly, if (G9i) is free on X and cp:(7 -» H is an isomorphism then
(//,/cp) is also free on X. Our first proposition is the converse of this.
be
Proposition 1 Let (Gj,/j) and (G^,^) free on
X. Then there is
an isomorphism <p:G« •* GL such that /«<p - i~ •
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:28:06, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.002
Free groups 3
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:28:06, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.002
Free groups 4
be the set of all ix) for x*X, and to define the free monoid on X to be M(X').
However, we shall ignore this technicality in future.
We now proceed to construct the free group on X. Take a set A'
bijective with X under a bijection which sends x to x~, and such that Xn X - 0.
We usually denote x by x~ , and we may also write x instead of x. The
elements of M(X v X ) are called words on X. Let w be the word x- £ l . . . x. £/z.
l l
\ n
Then « is called the length of w, written |w| or /(w), and we call the elements
x- £r the letters of w.
The word vu is called reduced if, for 1^ r^n-\y either /' , # / or
/^j - /j. but e^j * -E^; the empty word is also called reduced. Suppose that w is
not reduced, and choose r such that i^ - if and e^j - -e^.. Let wf be the word
obtained from w by deleting the adjacent pair of letters x • Sr and x • e r + 1 . We
say that wf comes from w by an elementary reduction. If w" is obtained from w
by a sequence of elementary reductions we say that wH comes from w by
reduction. It is usually convenient to allow w" to be w in this definition
(corresponding to the empty sequence of elementary reductions); readers will be
left to decide for themselves on each occasion whether this case is permitted or
not.
Write, for the moment, w^vv* iff either w is identical to w' or there
is a sequence of words w^,... ,w, for some k such that w^ is w and w, is W and,
for each j<k, one of w-+« and w- comes from the other by elementary reduction.
Plainly ^ is an equivalence relation. We denote the set of equivalence classes by
F(X). Whenever we have an equivalence relation on a set, the equivalence class
of the element w will be denoted by [wl This notation will be used without
further comment (but occasionally the notation will have a different meaning; for
instance, la,bl is used for a closed interval of real numbers).
It is easy to see that if u> v, w, and w' are words such that w % W
then uwv *uw'v. It follows, since ^ is an equivalence relation, that if u'^u' and
w *w* then uw ^u'w' (as both are equivalent to uw'). This enables us to define a
multiplication on F(X), by requirng [wJ[w] to be luw]. This multiplication is
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:28:06, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.002
Free groups 5
plainly associative, and has an identity (the class of the empty sequence) which
we denote by 1 (just as the empty sequence itself is also denoted by 1). When w
is the word x . El . . . x • £n we let w" denote the word x • ~ £ *... x . ~£l. Then
l l l
i 'l n n \
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:28:06, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.002
Free groups 6
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:28:06, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.002
Free groups 7
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:28:06, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.002
Free groups 8
We may prove the Normal Form Theorem, starting from the first
result in the Diamond Lemma approach, by methods which apply to very general
reduction relations where the previously given induction on length cannot be
used. This is done in the exercises below.
Exercise 3 Let u and v be obtained by reduction from w. Show that
there is a word w* which is obtained from both u and v by reduction. (An
indication of the argument is given in Figure 1. Here the top diamond exists by
the Diamond Lemma approach, the left-hand diamond exists inductively, and
then the right-hand diamond also exists inductively.)
Exercise 4 Let w *>w\ and let w,,...,w be a sequence with w,
being w and w being w' such that, for all /, one of w.+| and w- is an
elementary reduction of the other. If vv^j and w^+j are elementary reductions of
w^we say k is a peak. Use Exercise 3 to show that if the sequence has a peak
then there is another sequence joining w to vvf with fewer peaks. (Figure 2
provides a sketch of the argument.) Deduce the Normal Form Theorem.
Exercise 5 It is possible to give a proof of the Normal Form
Theorem by the Diamond Lemma approach without using induction on the
number of peaks. Consider the relation between words in which u is related to
v iff there is a word w such that both u and v reduce to w. Using Exercise 3,
show that this is an equivalence relation. Deduce that this relation coincides
with the relation *.
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:28:06, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.002
Free groups
Figure 1
5+1
Figure 2
Exercise 6 Show that the function from the set of reduced words to
itself which sends w to wx if w does not end in x and which sends vx~ to v
is a permutation of the set of reduced words.
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:28:06, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.002
Free groups 10
regard them as giving elements of F{X). We write w=w' when w and w' are the
same word, while we write w-vv* if they define the same element of F{X) (that
is, if they are equivalent words; we no longer use the notation *).
It is easy to check, without using the normal form theorem, that if
u and v are reduced words then there is only one sequence of elementary
reductions which can be applied to uv to obtain a reduced word. Let u be
JC£I...JC. e
" and let v be x- l
...x- m
. Take 5 ^ 0 as large as possible such
l
'l n J\ Jm
n
that for all r £ 5 we h a v e / - -y and £ „ . , - - e . T h e n t h e pairs x. +i~rx.r
l +
n+i-r r n+i-r r n i-r Jr
m
for r 1, . . . ,5 are successively deleted in reducing uv. The reduced word we
obtain is therefore x£l...x- £n s
' x • hs+l ... x • S « . It follows that it would be
l l
\ n-s Js+l Jm
possible to define F{X) to be the set of ail reduced words with the product of u
and v being given by the above formula. Some authors use this approach, but it
is not really satisfactory. There is a practical problem, in that the proof of
associativity is surprisingly messy with this definition (see Exercise 7) There is a
more important theoretical objection to this approach, as it confuses the question
of the existence of a free group and the question of the nature of normal forms
for the elements. We frequently find in algebraic situations that it is easy to
prove the existence of a free object but extremely difficult (sometimes
impossible) to find normal forms for the elements.
Exercise 7 Suppose that we define F(X) to be the set of reduced
words, with the product of u and v being the unique reduced word obtained from
uv by reduction. (We have seen that this word is unique without using the
Normal Form Theorem.) Show that this product is associative.
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:28:06, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.002
Free groups 11
Gy, and the projection of K on this factor provides the needed homomorphism cp
such that / - i<p. Because F is generated by Xi, there cannot be more than one
such homomorphism.
We now deal with the problem. To begin with, observe that we
need only consider those / such that Xf generates Gy.. For let / be a function
that does not satisfy this property, and let H* be the subgroup of Gy. generated
by Xf. As above, we have the corresponding homomorphism from F to H*> and
this can be regarded as a homomorphism into Gy..
It follows that we need only look at those pairs (/,Gy) for which Gy.
has cardinality at most maxOA'lJINI). This holds because Gf, being generated by
-1
Xf, has cardinality at most that of the set of finite sequences on (Xf)u{Xf) ,
and hence at most that of the set of finite sequences on X u X , which has the
stated cardinality (using the Axiom of Choice). However the set-theoretic
difficulties have not yet been resolved.
Next we note that if we have two pairs (/j,G^) and C/^.G^ a n d a n
isomorphism y:Gj-» G^ such that f\Jmf2 t ^ ien t n e r e i s n o n e e c l t o include both
groups in the product (though we may do so if we wish). For if Gj is included
then we have <PyF->G^ with /j - /<pj and we need only define y^.F-^G^ by
Now take a fixed set S of cardinality max(IXI,IINI). Let (/,G) be a
pair such that G has at most this cardinality. Then there is a bijection % from
G to a subset H of S. We can then make H into a group by defining the product
of Aj and h^ to be {h^r .hr£r )%, and we may use the pair (/$,//) instead of
(/,G). It follows that in our cartesian product we need only consider functions
into those groups whose underlying set is a subset of S. Those readers with
some experience of formal set theory should have no difficulty in showing
that the collection of such / forms a set, and consequently the cartesian product
exists; readers with no knowledge of formal set theory will have to be content
with my assurance that the originally suggested construction cannot be made,
while this modified construction is permitted.
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:28:06, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.002
Free groups 12
Corollary Finitely generated free groups are hopfian. That is, any
onto endomorphism is an automorphism.
Proof This holds for any finitely generated residually finite group
a
Let a be an endomorphism onto G, and let N< G with G/N finite.
Then GIN<xn is isomorphic to G/N for any n. Now there are only finitely many
homomorphisms from G to G/N, since any homomorphism is determined by its
values on the finite generating set of G and there are only finitely many
elements of G/N to which a given generator can map.
Since NoTn is the kernel of such a homomorphism for every n, it
follows that there must be m and-n with m > n such that NOL~n « Not'm'. Hence
N- N<x^mn' , and so N 2 kera. Since G is residually finite, the intersection of
all such N is {1}, and so {U^kera, as required.//
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:28:06, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.002
Free groups 13
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:28:06, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.002
Free groups 14
2 3
Also [xy, x y } is not a basis of F. For if it were then the set
[xyfx y{xy)' } would also be a basis. That is, {xy, x y x~ ) would be a basis. If
we conjugate by x we would get another basis. But the result of conjugation by
x is [yxyxy }, which we know is not a basis.
Let X be any set, Yc X, and let JC e X - Y. Then the map sending y
to yx for y t Y and z to £ for ziY induces an automorphism of F{X), as does
the map sending y to x~ y and z to ?. Any permutation of X also induces an
automorphism of F(X), as does the map sending y to y for .y c Y and fixing the
other elements of X. When X is finite, the latter two types of automorphism,
together with the first type with Y consisting of a single element, generate
Aut F(X); this will be proved in section 8.2.
Proof If (ii) holds then (iii) obviously holds. If (iii) holds then any
element of G can be written as in (ii), since X generates G Also, if an element
could be written in two different ways then, multiplying one by the inverse of
the other and performing all possible cancellations, we would obtain a way of
writing 1 as a non-trivial product of the kind considered in (iii).
If G is free on X then G has these properties, since F(X) does. If
G has properties (ii) and (iii) consider the homomorphism from F{X) to G which
is induced by the identity map on X. It maps onto G, since G is generated by
X. It is one-one, since (iii) tells us that a non-trivial reduced word on X does
not map to 1 in G.II
Proof Condition (iii) holds for X and G because it holds for ATcp
and Gp.//
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:28:06, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.002
Free groups 15
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:28:06, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.002
Free groups 16
El £n
By a cyclic permutation of x. . . . x. is meant any word
l
'1 r-\
Proposition 9 (/) .4/y/ element of F(X) is conjugate to a cyclically
reduced word.
(ii) Any cyclic permutation of a cyclically reduced word is cyclically
reduced.
(Hi) Two cyclically reduced words are conjugate iff they are cyclic
permutations of each other.
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:28:06, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.002
Generators and relators 17
Proof By induction on \g\ + l/zl, the case \g\ + \h\ £ 2 being obvious.
Taking conjugates if necessary, we can assume (without increasing Igl + \h\ ) that
g is cyclically reduced.
If gh is reduced as written then \gh\ - \g\ + l/zl, and so \hg\ - \h\ + \g\.
Hence hg is also reduced as written. Then g is an initial segment of gh and h is
an initial segment of hg. As hg is the same as g/z, one of £ and h must be an
initial segment of the other. That is, interchanging g and h if necessary, we have
g - /zw, reduced as written. We then have hw-wh, and the result follows by
induction.
If gh is not reduced as written we have g- vxs and h~ x~£t, both
reduced as written. Now hg begins with the first letter of h, which is x e , unless
h cancels completely in the product. Also gh begins with the first letter of
g unless g cancels completely in the product. Since g is cyclically reduced and
ends in x£ it cannot begin with x E. So gh and hg are different unless g cancels
completely in gh or h cancels completely in hg. Hence either h - g~ w or g - h w,
reduced as written in either case. The result now follows by induction.//
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:28:06, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.002
Generators and relators 18
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:28:06, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.002
Generators and re I a tors 19
Proof We are told that ^c.ker$, and, since kercp is, by definition,
the normal subgroup generated by Ry we see that kercp£ ker$. It follows, as is
well-known, that the required homomorphism ty may be defined by requiring gty
to be w& for any w such that w<p - g. Plainly Gp - <Xf>, and so Gp = H if Xf
generates H.I I
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:28:06, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.002
Generators and relators 20
given any presentation <X;R> with X and R finite, will give a bound to the
order of the group (and will even give the multiplication table if required)
provided the group is finite; however the procedure will continue for ever if the
group is infinite, and so cannot be used to tell whether or not the group is
finite.
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:28:06, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.002
Generators and re I a tors 21
yd- to be some element of K such that y$ii~yty. Then, for all s e 5", we have
5-8-TI-5^-1, so that sd- e kenr - G. Consequently we can find an element u of
S
F ( X ) s u c h t h a t 5 # - u 9 - u -9-. F u r t h e r , a s G< K, f o r a n y x * X a n d y * Y w e h a v e
b
-1
(y xy)$tG, and so we can find elements v and v* in F(X) such that
(y lxy)$- v 9 - v $ and (yxy l )#« v* 9 - v* •&.
We
1 can then show
l that
l AT hasl thel presentation
<X,Y; R , i s u b' . s*S). i y ' x y v xy
~ , j > x y ' v * ~xy . for all x € X and yiY)>^.
First observe that for any k*. K we can find we F()0 such that
kit - W4J - WOTT. Hence &(w#) is in ker?r, and so equals w.O for some w« € F(X).
Hence K is generated by ( I u W - The stated relators plainly hold in K.
Let M be the group with the stated presentation, so that $ can be
regarded as an epimorphism from M to K. Take wzF(XvY) with w8--l. Because
of the relations y xy v and yxy - v* there are words wt a F(X) and
vi^ e F(Y) such that vv» ^ ^ 2 in M. Then 1 - W&TT - ^^971.^2^- W2^. Hence, in F(Y),
^2 equals the product of conjugates of 5 or 5 for 5 e S. Now 5 - u in A/, and
any conjugate of u$ equals in M some element of F{X) (because us is in F{X)),
so there must be an element w^ in F(X) such that M^ " ^ in A/. So w-w.w^ in
A/. Then 1 - w$~ (v^w^-fr- (w1w^)9. This shows that vu^w^ is, in F(X), a product of
conjugates of elements of R and their inverses, and so WjW^-l in A/, as required.
This presentation of K can be simplified. Since X$ generates G, so
does (v xy9}, for each ytY, since conjugation by ;# preserves G. Hence, for each
x e X and y * Y , there is some product of the elements v 9 for z * X and their
inverses which equals x<p in G. Let v* in ^(X) denote the product of the
xy
corresponding e l e m e n t s z and their inverses, and let w d e n o t e the product of t h e
corresponding v and their inverses.. T h e n the relation y v* y-w is a
zy 1 xy
consequence of the relations y zy*v . Also w<pmx<p, so that w- x is a
-i
consequence of the relators R. Hence the relation y v* ym x is a consequence
-1 -1
of the other relations; equivalently, the relators yxy (v* ) for all y are
consequences of the other relators. As remarked below, it follows that these
relators can be deleted from the presentation.
Plainly a group G can have many presentations, even for given X
and 9. We now look at how different presentations of the same group compare
with each other.
Let <X;R>^ be a presentation of G. Then so is <J\T;^u5><p for any
set S contained in <R>F^X\ We say that <X,Ru S>9 comes from <X;R>(p by a
general Tietze transformation of type I, and that <X;R>^ comes from <X;R u S><f>
by a general Tietze transformation of type I'. If 151-1, we refer to simple Tietze
transform a tions.
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:28:06, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.002
Generators and re I a tors 22
Proof Let <X;R><P and <Y;S>^ both present G. First assume that
XnY-Q. For each yeY choose u t F{X) with yty - u <p, and for each JC e X choose
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:28:06, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.002
Generators and retators 23
presentation <XuY; T, 7**, (JCV " }> , and then a Tietze transformation of type I'
gives the presentation <X uY; T*y (xvx~ }> . Now vx is in F(Y), and so
T*cF(Y). So we may apply a Tietze transformation of type II' to get the
presentation <K;7>>*.
Since X, Yy and R are all finite, T* is finite. Since T*£<S>F^,
each element of T* is the product of finitely many conjugates of elements of 5"
and their inverses, and we choose one such expression for each t*. Let S^ consist
of those elements of S which occur in some such expression. Then S^ is finite,
and as ken[; equals <5*> ' ^ and also equals <T*> ' ' it must also equal
C S 1 ^ ^ , as required.//
3 2
Exercise 9 Show that Z^ can be presented as <y9z\ y , Z • yzm zy>-
Exercise 10 In F{x,y), write x as a product of conjugates of
xy x~ y and yx y x~ and their inverses.
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:28:06, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.002
Free products 24
Proof There is a homomorphism f:G-> H such that Z^/"- y'a for all a,
and also a homomorphism /*://-» G such that Jof*m *a for all a. Since i^ff m *'a
for all a, the uniqueness of homomorphisms in the definition ensures that ff is
the identity map on G9 and similarly /*/ is the identity on H.I I
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:28:06, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.002
Free products 25
Examples The free group F(X) is the free product of the groups
Cx for all JC e AT, where Cx is infinite cyclic with generator JC.
The free product of two cyclic groups of order 2 has presentation
<a,b; a2,b2 >. Applying Tietze transformations, this group may also be written as
<afb,c; a2,b2,c~lab>, as <a,c; a2, {cla)'2\ as <a9d; a29{da)29 or <a,d; a2f{ad)2>9
or as <a9c; a , a cac>, which shows that this group is the infinite dihedral
group.
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:28:06, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.002
Free products 26
Let {G^} and {H^} be collections of groups, and let 9 ^ ^ " * ^ &e
homomorphisms. Let G be *<?a, and let H be *// a - Regarding H as a subgroup
of #, the homomorphisms <pa from 6^ to // give rise to a unique
homomorphism from G to //, which we denote by *<pa.
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:28:06, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.002
Free products 27
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:28:06, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.002
Free products 28
Exercise 13 Show that the function <pa defined in the proof of the
Normal Form Theorem, and the function 4>a used in proving Proposition 22
preserve multiplication.
Exercise 14 Let {G^} be a collection of groups such that C7an<jU-l for
a * p. Let M be the free monoid A/(UC?a). The word wf is said to come from w
by elementary reduction if w is 8\---8n anc * either vvf is g^... £;_i^S;+2 • • • &n
where g^ and g^ are in the same factor G^ and h is 8fi^ or else wf is
mg w g g ein
Si • • •S-i£/+2* * n **k i i+l ^ ^ * (note that the second type of reduction is
obtained by two applications of the first, except for the reduction of the
sequence 1 to the empty sequence). Obtain an equivalence relation from this as
in the construction of free groups. Show that the set of equivalence classes is
the free product.
Exercise 15 Using the construction of the previous exercise, prove
the Normal Form Theorem both by canonical reduction and by the Diamond
Lemma.
Exercise 16 Let G^ be the free product of the groups G^ for a € A,
and let G^ be the free product of the groups G^ for a € B, where B c A. Show
that Gg is a subgroup of 6 ^ , and that there is a homomorphism from G^ to Gg
which is the identity on Gg.
Exercise 17 Let G be a residually finite group, and let S be a finite
subset of G. Show that there is a normal subgroup N of finite index in G such
that Nr\Sm0. Use this to show that if the groups G^ are residually finite then
for any u * 1 in their free product there is a homomorphism 9 from the free
product to a free product of finitely many finite groups such that w<p^l. Deduce
the corollary to Proposition 22.
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:28:06, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.002
Push-outs and amalgamated free products 29
Gn + G
2
h
As usual, the push-out is unique up to isomorphism.
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:28:06, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.002
Push-outs and amalgamated free products 30
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:28:06, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.002
Push-outs and amalgamated free products 31
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:28:06, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.002
Push-outs and amalgamted free products 32
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:28:06, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.002
Push-outs and amalgamted free products 33
from the uniqueness of the normal form. The Normal Form Theorem also tells
us that such a product cannot be in C, and can only be in AuB if / i - l . / /
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:28:06, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.002
HNN extensions 34
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:28:06, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.002
HNN extensions 35
be TV*. Then H-(G* P)/N is called the HNN extension of the base group G with
stable letters (p a ) and associated pairs of subgroups A^i^ and ^ a * l a - The
notations and remarks of the previous two paragraphs can be extended to this
more general case. It is occasionally useful to consider the same construction
when the maps i^ and i^ are not monomorphisms; in this case we refer to a
pseudo-HNN extension.
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:28:06, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.002
HNN extensions 36
these elements is the kernel of the natural map from G* P to //, this
homomorphism will induce the required <|>.//
As usual, there can be only one group (up to isomorphism) with
the property of this proposition; hence, if we construct a group with this
property we know it must be the HNN extension.
In particular, there is a homomorphism from H to P sending each
P a to itself and mapping G trivially. It follows that the subgroup of H
generated by the image ^-P^N) of (p a ) is free with these elements as basis.
Because of this, we regard P as a subgroup of H.
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:28:06, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.002
HNN extensions 37
g. € 5 a if e / - 1 and g( € S if £; - -1,
/ / oc^j - o^. and e^ - -e;- then g. * 1.
where n * 0 , e«- ±1, g^G and the corresponding element of G* P has no pinch,
(ii) If h can also be written as
with similar conditions on the v. then mm n and, for all i, a.- P^. and t-- r\..
(///) / / h has an expression as above with no pinch and n>0 then
hiG.
(iv) / / the product Ztf>^&x... V l p a ^ ' l g « ' with 8i'G' e / " ±1
'
and n > 0, equals 1 rAe« rAe corresponding element of G* P has a pinch.
(v) / / a product SQP^SI • • • ^-i^a^"1^' w/r/r
^/ € ^ e
/ " ±l> and
Proofs Parts (iii) and (iv) of Theorem 32 are immediate from (ii).
Part (v) follows from part (iv) since go...gnmg can be written as
h
We use van der Waerden's method to prove that j is a
monomorphism and to prove that an element of H has at most one representation
of the form in Theorem 31(ii). So we consider the set W of all sequences
0,s1,...,£^1,<x/I_1,E/r_1,s/z) satisfying the conditions of Theorem 31(ii).
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:28:06, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.002
HNN extensions 38
unless a^.|"«, e^^j - -1, and 8n^Aa, where we write g^ as sa for s c S a and
<2€^4a and £"tf*ia> while
<*«*)*«• V V l a * } f ° r aU
°* in A
*
Hence, by Proposition 30, there is a homomorphism
(JJ://-» SymW such that yty-9 and and also Pa4>"rca. Since 9 is a monomorphism
so is y, proving (i) of the Normal Form Theorem.
Now suppose that htH can be written as in (ii) of the Normal
Form Theorem. It is easy to check, inductively, that /HJJ acting on ( 1 ) gives the
element (gQ,otQ,£Q,... >£n-i>8n) of W. It follows that the expression for h is
unique, since it is determined by the action of hty on (1).
Take any h e H. It can certainly be written as
where n * 0 , e^-±l, and g-^G. Suppose that a /_i" a ;> e /"^"" e /-l» anc
*
be the image of g.. Then h can also be written as
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:28:06, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.002
HNN extensions 39
< i • • • wCr1**and V
as reduced forms. Then
Because the two expression for h are in reduced form, if Theorem 32(iv) holds
then <x o -B o , e o - n o , and v ^ 1 ^ is in A^ if eQ - 1 and in A_^ if e o - - l .
If both expressions for h are normal forms this requires that
V Then
both
O " *0' ^i^ a £ l • • • a n d vi^R Tl1 • • • a r e norr*ial forms for Pa£°8Q A.
Inductively we see that the two normal forms must coincide.
When we simply have reduced forms we have already seen (because
of the condition on VQ" g^) that the second reduced form can be replaced by a
third reduced form, changing VQ to £ Q , changing Vj to another element, and not
changing any other term. We will then get two shorter reduced forms for
£
P~a °gn K and Theorem 32(ii) follows inductively.
o "
We can give yet another proof of Britton's Lemma, using methods
similar to method (IV) for Theorem 4 and Proposition 22, which will also give a
result on residual finiteness. We have already seen that the key part of Britton's
Lemma is part (iv), together with the fact that G embeds in //, the remainder of
the theorem following from this.
First we reduce to the case where there are only finitely many
stable letters. For in the general case if a product is 1 in H the corresponding
product in G* P is the product of conjugates of elements /? (a / n )p (a L )
(X OC U O t OC OC IOC
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:28:06, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.002
HNN extensions 40
and their inverses. The set Q of those p« which occur in these conjugates is
finite, and our given product will then also be I in the HNN extension
<G, pap; Pap (ani o)pap{aRp
p rkup i,aip
), all 3 with pap in Q>. This argument is a version of
the direct limit argument of the examples in section 3.2.
Thus we may assume that there are n stable letters for some
finite ny and use induction on n. Let H be the HNN extension of O with stable
letters pr and associated subgroups Af and A_r for r<-ny and let K be the HNN
extension of G with stable letters pf for r<n, with the same associated
subgroups as before. Inductively, we can regard G as a subgroup of K, and so
we can form the HNN extension <AT, pn\ p~ ^nPnm A_n>. A comparison of
presentations shows that this HNN extension is just H. As K embeds in H (by
the initial case of the induction, which we prove later), we see that G embeds in
H.
Now look at a product of elements of G and P| > • • • ,P^ -
Regarding H as an HNN extension of K just amounts to bracketing together
those terms between two successive occurrences of Pn • By the case for a
single stable letter, such a product can only be 1 if it contains a portion
Pn kpn with k in An or a portion pnkp^ with k in A_n. If k does not involve
any pr with r<n we immediately have the situation we want. If k does involve
some pr then, inductively by Theorem 32(iii), the product k must have a portion
p~ gpr with g in Af or a portion PfiP' with g in A_f. Thus we have the
situation we require. We still have to prove the result when there is only one
stable letter.
So we now look at an HNN extension with a single stable letter,
say / / - <G,p\ p~lCp- D>. Let G/C denote the set of left cosets of C For the
moment we will suppose that \G/C\ - \G/D\. This certainly holds if G is finite,
since ICI - \D\, but need not be true if G\s infinite (for instance, if G is an
infinite dimensional vector space over 2^ a n d ^ a n d D a r e subspaces whose
complements have different finite dimensions).
As we still have to prove that j is a monomorphism, we shall
temporarily denote by g the image in H of g. We have seen that any HtH is
either g or has a reduced form £Q/> 8 ° . . . P£n~lgn> In the latter case we will obtain
a homomorphism <> | from H to Sym((7x A/), where N- { 0 , . . . ,/z}, such that /K|J*1.
Also ty will be such that g<l>*l for all giG-{\), showing that G embeds in H.
Let <p:G-*Sym{G* N) be given by (a,r).g<p - (ag,r) for all xtX, a and
g in (7, and r^n. If TC is any permutation of G* N satisfying the condition
(1) for any c*Cy g*G, and r*n, if {g,r)it - (g\s) then (gc,r)7i - (g'd,s),
where d is the image in D of c under the given isomorphism /:C-» A
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:28:06, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.002
HNN extensions 41
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:28:06, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.002
HNN extensions 42
lifting it, and this bijection can be obtained by extending a one-one function
from a finite subset of X*G/C*N into X*G/D*N This function is obtained
from the earlier function by modifying it to map a subset of {JCQ} X G/CX N to
{JCQ} XG/D* N. We now find that A^^l, because hty maps (JCQ,1,O) to
(JCQ,gQ- •• gn,n). The details are left to the reader.
If G is finite so is Sym(Gx N). So the discussion above, in addition
to proving Britton's Lemma, proves the following result.
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:28:06, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.002
HNN extensions 43
Proof Since the free group on ipy) is an image of //, there can
only be finitely many X.
Write each of the finitely many generators of H in reduced form,
and let S be the set of elements of G which occur. Let B be the subgroup
<S, Ax, A_x (all X)>. Then H-<B, p x (all X)>, so Proposition 34 tells us that
Gm B, giving the result.//
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:28:06, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.002
HNN extensions 44
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:28:06, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.002
HNN extensions 45
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:28:06, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.002
HNN extensions 46
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:28:06, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.002
HNN extensions 47
and B and such that AnBm{\). Show, using Proposition 27, that the subgroup
<p Ap, B> of the HNN extension <G,p;p Cpm D> is isomorphic to the
amalgamated free product A* gmpB. (Note that Proposition 27 uses the Reduced
Form Theorem, so that the previous exercise cannot be deduced from this one.)
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:28:06, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.002
HNN extensions 48
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:28:06, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.002
49
Proof (i) Let ScXxY be i(x,y); there is a such that xtX^ and
j>-x/ a ). Since X-UX^, for every x there is at least one y with (x,y)tS.
Suppose that (x,y)cS and (x,z)*S. Then there are a and 3 with xtX^, y~ * / a ,
and JC c XQ , zm xf» . Since / a - /« on Xa n Xn , by hypothesis, it follows that
y z.
This means that we can define a function f.X -» Y by y~ xf iff
(x,y)zS. By construction, flX^-f^, as required. Since X-UX^ there can be only
one such function.
(ii) Suppose that the first condition holds. Let C be a closed subset
of Y. Then C/ - UCZ . Since each / is continuous, Cy " is a closed subset
of Jf . Since X is closed in A", this implies that C/ is a closed subset of X.
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:28:17, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.003
Some point-set topology 50
As there are only finitely many sets X^, it follows that Cf is a closed subset
of X. Hence / is continuous.
The case where each X^ is open is similar.//
We shall often be faced with the situation of a set X which is the
union of subsets X^ each of which has a topology £ a , and we will want to
define a topology on X. Let £ be M; A n Xa e £ a for all a}. Then £ is a
topology on X, called the weak topology induced by ^ a )»
In particular, if ^ 0 ^ 0 - 0 for ocs*p we call X the disjoint union of
the spaces X^, written UATa. Also, if there is a point p such that X^ n Xn - ip)
for all a ?*3 then we call X the join of the spaces X (at p), which we write as
V
*cf
It is immediate from the definition that a set C is closed for the
topology £ iff Cc\X^ is closed for £^ for all a. In particular, if each £^ is a
Tj topology (that is, each point is a closed set) then so is £.
Let Y be any space, and let f.X ^ Y be a function. Then / is
continuous (using topology X on X) if fiX is continuous for £^ for all a (the
converse is obvious). We need only take an open subset V of Y and observe that
VflnXa-Vlf\XQL)'1 is open for £ a for all a.
Let £ be the weak topology induced by the topologies £^. Then
ATa has two topologies, namely the given topology £Q[ and the topology as a
subspace of the topological space X. We would like to ensure that these two
topologies are the same. This plainly requires that £ and £* induce the same
topology on X^ n Xn for all a and p (since the corresponding property holds for
the subspace topologies). In general this necessary condition is not sufficient.
Suppose that this condition holds and that X n Xn is a closed
subset of X (with the topology £ a ) for all a and p (or that X^nXn is open in
X^ for all a and P). Then the two topologies are the same.
For let CcX^ be closed for £a. Then CnX* is closed for the
topology on X n XQ induced by £ a . By hypothesis this is also the topology
induced by £Q . Since X^ n Xn is, by hypothesis, a closed subset of Xn with the
topology £a, it follows that CnXa is a closed subset of Xa with the topology
P p P
£n. Then C is closed for £, since this holds for ail (3. The other case is similar.
Proposition 2 Let X have the weak topology £ induced by i£ah
where each £^ is a Tj topology. Suppose that X has a subset A such that
X^n XQ-A for a^p. Then any compact subset C of X is contained in the union
of finitely many X^.
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:28:17, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.003
Some point-set topology 51
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:28:17, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.003
Some point-set topology 52
Example Let X be any space, and let / be the unit interval [0,11
On X*I, define (JCpfj)^.^.^) ^ either ^ " O " ^ (Wl^ x
\ anc
* X2 af
bitrary) or
both JCj - JC2 and /j - t^ more simply expressed, CAT is obtained from X x / by
identifying (JCpO) and (.^O) for a ^ *i an
d *2* ^ e
identification space is called
the co/ie cvi AT, written CX, and the equivalence class consisting of all (JC.O) is
called the vertex of CX. It is easy to check that the subspace ATx{l} of CX is
homeomorphic to X, so we usually regard X as a subspace of CX in this way.
Let if be {(*,,...,jcJeR*; I x . 2 * l ) , and let Sn~l be
« 2
{(jCj,... ,JC^) € R ; Txr-'l); these are called the n-disk and (/*- \y sphere.. Then
CS''1" is homeomorphic to zA For the continuous map from Sn~ x / to if1
sending (JCJ, . . . ,jcn,f) to (tx^9... ,txn) obviously defines a bijection from CSn
to z/ , and this is a homeomorphism since Sn~ * I is compact.
1
Let X and Y be spaces, and let f:A -> Y be a continuous map from
a subspace A of AT. Then we may form the disjoint union XdY and then take
the space obtained by identifying a and af for all a* A. The resulting space is
written Yu^X, and it is called the space obtained by adjoining (or attaching) X
to Y by f. In particular, X may be the disjoint union of spaces X-^, in which
case / consists of a family of continuous maps fy}A^ •* Y, and we refer to the
space obtained by adjoining the spaces Xy^ to Y by the maps / ^ . Note that the
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:28:17, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.003
Some point-set topology 53
join of the spaces X-^ may be regarded as the space obtained from one of them,
X say, by adjoining all the other spaces X^ by the maps sending the point p^
of X-^ to the point p of X^.
In particular, RP' 2 is obtained from RP'2 by adjoining i/1 by the
identification map from Sn~^ to RP' 1 " 1 .
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:28:17, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.003
Paths 54
sets Ar(X show that Za is the subspace topology on X^. Show that this need not
hold if there are three or more subsets. (There is an example with X having
three eler
elements; a slight variation of this will give an example where each X is
infinite.)
Exercise 2 Let X and (* a ȣ a ) b e a s in exercise 1. Suppose that
there is a topology X on X such that $L is the topology induced on X by £
for all a. Show that £ a is also the topology induced by the weak topology.
Exercise 3 Show that the cone on (0,1) is not a subspace of the
cone on [0,11
Exercise 4 Let AT be a space, and let f.X^Y and g:Y+Z be onto
maps. Let Y be given the identification topology induced by /, and let Z be
then given the identification topology induced by g. Show that the topology on
Z is the identification topology induced by fg.
Exercise 5 Show that the space Y is a subspace of the space Yu,X.
Show that X- A is a subspace of Yu^X if A is a closed subset of X.
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:28:17, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.003
Paths 55
the set of paths to make this precise. This approach is useful in some advanced
work, but an easier approach is possible.
Observe that a family of functions / can be regarded as a function
F of two variables by defining (t,u)F to be tfu; conversely, any F gives rise to
a family of functions / . We shall replace the idea of a continuous family of
functions by continuity of the corresponding F using the definition below. For
formal proofs we need to use F and the definition below, but to get an intuitive
idea of what is happening it is often useful to think of the family of paths f u.
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:28:17, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.003
Paths 56
H
Because of this corollary, we shall omit the words variable-length"
and "standard" and will simply refer to "homotopies". We shall also write f*g
to mean that / is homotopic to g.
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:28:17, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.003
Paths 57
The Glueing Lemma assures us that H and y are continuous, and the other
properties needed are obvious.//
t{f-g) - tf for
t{f.g) - (/- r)g for t*r.
We call f.g the product of / and g. We write f.g rather than fg to avoid
confusion with the composition of functions.
It is clear that the product of paths is associative; that is, if one of
{f.g).h and f{g.h) is defined then so is the other and they are equal; also these
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:28:17, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.003
Paths 58
products are defined if both f.g and g.h are defined. Also, if / is a path from a
to b and / and i^ are the trivial paths at a and b then we have '^ • / " / " / • ' £ •
If we restricted attention to standard paths (when we would also
have to replace f.g by its standardisation) these results would not hold, although
they would hold up to homotopy. The main reason I made the definition of
paths used here (rather than looking only at standard paths, which is more usual)
is to have an associative product of paths. The details of the situation for
standard paths are left to the exercises.
Let flO,r\ •> X be a path from a to b. We define a path / from b
to a, called the inverse of / , by tfm (r- t)f for Qztzr. If g is another path and
m
f.g is defined then {f.g) g.f, obviously. Plainly, J - / .
Proof Define F by
(t,u)F- tf for O
(t9u)F- (2ru - t)f for ru * t< 2ru.
Then F is a homotopy from iQ to / . / . The second part follows from the first,
replacing / by / .//
Lemma 10 Let f^g and f <*g\ and let f (and g') start where f
(and g) end. Then ff'^g.g' and f ^W .
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:28:17, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.003
Paths 59
Proof If f^g then f.g <*g.g. As g.g ^iQ9 we find that f.g °*iQ-
Conversely, if f.g °*ia we have fmfi^f.g.g^ia.gmg.ll
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:28:17, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.003
Path-components 60
2.3 PATH-COMPONENTS
We say that the space X is path-connected (or pathwise connected)
if any two points can be joined by a path. Because of the properties of products
and inverses of paths, X is path-connected if there is some a c X such that a can
be joined to any point of A" by a path. Plainly, if <p is a continuous map from
X onto Y then Y is path-connected if X is path-connected.
A subset A of Rn such that whenever x and y are in ^4 then so is
the whole line-segment joining x and y is called convex. Evidently, any convex
set is path-connected. It is easy to construct many examples of convex sets. For
instance, disks are convex, as are the products of intervals.
More generally, for any space X we may say that a is equivalent to
b if a and b can be joined by a path; the properties of products and inverses
show that this is an equivalence relation. The equivalence classes are called the
path-components of X; X is path-connected iff it has only one path-component.
Some authors use the phrase "arcwise connected*' rather than
"pathwise connected". Strictly speaking, this should mean that any two points
can be joined by an arc; that is, by a homeomorphic image of an interval, rather
than just by a continuous image. It is a deep theorem of point-set topology that
these two notions are in fact the same; fortunately, we shall not need this.
Since the continuous image of an interval is connected, any path-
connected space is connected. The converse is false, as is shown by the example
below.
Example Let A be {(xfy)eR2; y- sin(l/jc), JC >0}. Then A is
connected, being the continuous image of an interval, and hence so is its closure
B. It is easy to check that B - A u {(Oj;); \y\ £ 1). Also A is path-connected.
Now let / be a path in B with 0 / - (0,0), and let tf be (r/, ,r/ 0 ). By
-1
continuity, 0/j is closed, and it is plainly non-empty. We shall show that it is
also open. This will show that tf^ - 0 for all t, and, in particular, there is no
path in B from (0,0) to (l/7t,0).
So take c with c/j - 0, and suppose that c/^ * 1. Then there is 8 > 0
such that t/2*l for lr-cl<8. It follows that, for lf-cl<8, r/j * \/(2n+\/2)n for
any n. Now take t with \t- cl<8, and assume, if possible, that tf^ *0. Then
there will be some n with l/(2« + 1/2)TU < r/j, and then, by the Intermediate Value
Theorem, some u between c and t such that uf^ - l/(2/i + 1/2)TT. Since this cannot
happen, we must have tf^-O for all t with \t-c\<h. If c/ 2 - 1 we take 8>0 such
that c/ 2 # -1 for \t-c\<h and argue similarly.
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:28:17, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.003
Path- components 61
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:28:17, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.003
62
3 GROUPOIDS
3.1 GROUPOIDS
At the end of the previous chapter we had a brief indication that it
might be useful to consider objects similar to groups, but where the product of
two elements is not always defined. In this section we consider these objects in
detail.
A partial multiplication on a set G is a function from some subset
X of Gx G to G. If (x,y)*X we denote the value of the function on (xfy) by xy
or by x.y. We say that xy is defined to mean that {xyy)*X.
The element e is an identity for a partial multiplication if exmx
whenever ex is defined and also yemy whenever ye is defined. There may be
many identities, but it is clear from the definition that if e and / are identities
with ef defined then emf.
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:29:50, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.004
Groupoids 63
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:29:50, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.004
Oroupoids 64
Examples Let V be any set. Let D(V) be the groupoid whose vertex
set is V and such that, for all v*V and all weV with w#v, there is exactly
one arrow from v to v and there are no arrows from v to w. Let T(V) be the
groupoid with vertex set V and with exactly one arrow from v to w for any v
and w in V. In both cases the definition of the multiplication is obvious. We
call D(V) the discrete groupoid on V, and we call T(V) the tree groupoid on V.
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:29:50, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.004
Groupoids 65
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:29:50, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.004
Groupoids 66
to / we must define a$ to be the unique arrow in T(W) from e<p to /<p if <& is
to be a homomorphism. And if $ is defined in this way it is a homomorphism.
(In category language, the functors K:Groupoids •* Sets and T:Sets ~> Groupoids
are adjoint.)
Also, any mapty:W~*V(G) extends uniquely to a homomorphism
ViDiW)-* G, but this property is much less important than the previous one.
Let G and H be groupoids, and let S be any subset of V(G). Then
any homomorphism <p:Gg-* H extends (non-uniquely) to a homomorphism
ty:G^> H. First we choose for each vcK(6) whose component meets S an arrow jcy
which ends at v and starts in S\ if vtS we take jcy to be an identity. We also
choose some identity i in H. Let g be an arrow of G from v to w. If the
component of v (which is also the component of w) meets S then both JC and
xw are defined. Hence * v £ * w is defined and is in Gg . In this case we define
gty to be (xvgxw )<p. If the component of v does not meet S we define gty to be
/. It is clear that IJJ extends 9, and it is easy to check that 4> is a
homomorphism.
It is possible to define normal subgroupoids of a groupoid, and to
prove isomorphism theorems. We can then develop a theory of generators and
relators. These topics are important in the general theory of groupoids, but we
will not need them for the applications that concern us. Consequently we shall
not develop them further. For the same reason, though we shall need to know
something of the behaviour of pushouts of groupoids, we shall not need to
show that pushouts always exist.
We may define a partial multiplication on the set G x H by the rule
(£» h){g^, h^) - (ggj, /zAj). This plainly makes G x H into a groupoid, which we call
the direct product of G and H. The element (eff) is an identity iff e is an
identity of G and / is an identity of H. When this happens, the vertex group
(G x / / ) , A is the direct product of the vertex groups G. and H*-
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:29:50, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.004
Groupoid s 67
When GQ is empty, the pushout is just the disjoint union of C/j and
G
2-
If we have a pushout of groupoids in which each groupoid is a
group then it is immediate that we have a pushout of groups. Conversely, any
pushout of groups is also a pushout of groupoids. To see this, we must
observe that a groupoid homomorphism <p from a group G to a groupoid H is
just a group homomorphism from G to HQj where a is l<p.
All examples of pushouts that are of importance to us have the
following extra property; V(GQ)'V(Gl)nV(G2) and V(G)'V(Gl)uV(G2)9 with the
relevant maps being inclusions on the sets of vertices. Pushouts with this
property will be called pointed pushouts.
G -> H
is a pushout square.
Further, H is connected, V(H)m ia9b), the map G -» H is a
monomorphism, which we regard as inclusion, and the vertex group HQm GQ*<t\
where t has infinite order. We show this by constructing a groupoid H with
these properties, and proving that it is the pushout. Note that these properties
define H up to isomorphism.
Let x € T{a,b) be the arrow from a to b, and let u be an arrow in G
from a to b. We define a groupoid H as follows: it has iatb) as vertex set, the
arrows in H from a to a form the group Ga*<t>, where t has infinite order,
and we denote this group by H ; the arrows in H from a to b form a set
bijective with HQ, and we denote the element corresponding to h by hu;
similarly the arrows in H from b to a form a set bijective with Z/^, the element
corresponding to h being written as u h, while the arrows from b to b are also
bijective with HQ, the element corresponding to h being written a" hu. The
multiplication in // is given by the obvious definition, and there is an obvious
inclusion of G into H. The required homomorphism from T(a,b) to H is given
by requiring it to send x to tu. We have to show that //, constructed in this
way, is the pushout.
Take any groupoid AT, and homomorphisms <p:G-> K andty:T{a,b)->K
such that 9 - ij> on D(a,b). Hence a<p - aty and £<p - bty. Let £ be JC^, which is an
arrow from a<p to b<p. Define $://-» K as follows. First define %• on 7/fl to be the
homomorphism from the group HQ to the group K which is cp on GQ and
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:29:50, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.004
Groupoids 68
which sends t to k(u<p)~*. Now define $ on all of H by requiring that, for all
h*HQ w e have (hu)&~ (h&)(u<p), (u~lh)&- {u<p)'l(h&), and (u~lhu)&- (u<p)~l(h&)(u<p).
Then $ is easily checked to be a homomorphism with the required properties,
and to be the only such homomorphism.
H •* L .
The homomorphism from AT to G can be regarded as two
homomorphisms 0L:Ha-*Ga and fcH^G^. Since / / is connected, we can choose
an arrow u*H from a to £. We define P't/Z^-^G^ by Apf- (u~ hu)§. If (7 is
connected we also choose an arrow viG from a to b, and we define fT:// •* G
by APH - v(Apf)v .
We shall construct a groupoid L and prove that it is the pushout.
We require L to be connected with ia,b} as its set of vertices. Hence L is
determined by its vertex group LQ. We specify an arrow x from a to b in L.
If C7 is disconnected we define L to be the pushout of the
homomorphisms a and p\ If G is connected we define LQ to be the pseudo-HNN
extension corresponding to a and pH.
Suppose that we have homomorphisms from G and H to a groupoid
M such that the homomorphisms K~*G-*M and K-* H-*M are the same. First
suppose that G is disconnected. Then the homomorphism from G to M consists of
two homomorphissm V-Oa^MQ and ty-.G^M^. The homomorphism &:H->M
coincides with oc<p on H and with pd* on / / . . Let w be nd. For Ac// we have
a a
-1 -1 -1 * -1
hPty-(u lhu)$ty-(u lhu)&-w l(hoc<p)w. It follows that a<p-pf<Kw )#. Since LQ is
the pushout of a and p\ it follows that there is a homomorphism \y.L -* A/ such
that Xu-<p and X'u-<KW~ )*, where X and Xf are the homomorphisms from GQ and
Gb to Z,^. We have a homomorphism from (2 to L which is X on GQ and which
is X'JC* on Gp Similarly we have a homomorphism from H to L which is ocX on
HQ and which sends u to x. Then Z, with these two homomorphisms is the
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:29:50, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.004
Groupoids 69
i2 * * j\
Go -f G-
2
J2 3
and let S~ be a subset of V(G~ ). For r-0,1,2, let Sr be S^nV(G^9 and suppose
that Sf meets every component of Gf. Let //^ be (6>-)^ for rm 0,1,2,3. Then we
have a pushout square
Ho+ H
4, 4,
'1*1 "*0"'2*2*
In the construction we needed to take for each vertex v c Gf an
arrow X^BG^ from a vertex of 5^ to v, and the only condition in the general
construction is that xrv must be an identity if vcS^. Having made this choice,
4) is uniquely defined because Sr meets every component of Gf. We begin by
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:29:50, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.004
Direct limits 70
choosing suitable x^v, and then we make the additional requirements that for
any V*V{GQ) the arrow x must be x^ir for r-1,2. This ensures that
'iW'2^2-
It follows that there is a homomorphism tyyG^^ H such that
^1^3*^1 * 2^3mt^2'
an( J
^ e t ^3 ^ e ^ e r e s t r ^ c t i ° n °f ^3 t o Hy Then, for r-1,2, on
a s neec ec
//j, we have J/P^'^r* * * t o s n o w t n a t ^ 3 *s t n e pushout wanted.
We still have to show that <p^ *s unique. It is enough to show that
any <f>g can be extended to a corresponding 4^ with y 4^ • <\>r on G. For ^3 will
then be unique, since G^ is a pushout, and so <p^ w * ^ a ^ s o ^ e unique. Because
our pushout is pointed, we can find uniquely for each v e V(G) an arrow x^v
mx
such that JC3 rvfr ^ o r vcK(Gy) for r-1,2. Using these arrows to define ^3
w e see tnat nas tne
from <p^» ^3 required properties.
u.
Exercise 2 Let the groupoid G^ be the pushout of GQ ->• C7j and
. Show that the set V(G^) is the pushout of K(GU)-» K(Gj) and
).
Exercise 3 Fill in the missing details in Example 2.
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:29:50, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.004
Direct limits 71
Examples The natural numbers IN form a directed set with the usual
meaning of £. The positive integers also form a directed set when X*u means
that X divides u.
Let X be any set, and let A be the set of all subsets of X. Then A
is a directed set, with £ being inclusion.
Similarly, the set of all subgroups of a group G (or of all finitely
generated subgroups of G) is a directed set under inclusion.
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:29:50, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.004
Direct limits 72
a homomorphism from *<3a to G^ which is (pav for all a £ v and trivial for all
other a. Under this homomorphism g^ maps to £^<PAV and v^. maps to 1. Hence
^ as
Examples Let C? be any group. We have seen that the finitely
generated subgroups of G form a direct system of groups. By Corollary 2, G is
the direct limit of this direct system. More generally, if m is any infinite
cardinal, the collection of subgroups of G with cardinality less than m is a direct
system with direct limit G.
Let (7- <X;R>. Consider pairs (Y,S) where Y is a finite subset of X
and S is a finite subset of RnF(Y). We obtain a directed set by defining
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:29:50, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.004
Direct limits 73
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:29:50, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.004
74
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:29:52, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.005
Fundamental groupoids and groups 75
then /<p and g<p are homotopic paths in Y (the homotopy between ftp and g<p is
F<p9 where F is the homotopy between / and g). Hence <p gives rise to a
homomorphism <p*:y(X)-> y(Y). It is easy to see that if <p is the identity function
from * to A" then cp* is the identity homomorphism from y(X) to y(X). Also, if
ty:Y->Z is another continuous map then (940* " 9*<1>* (so that we have a covariant
functor). Plainly, if a<p-b then we also have a homomorphism 9* from n^(Xfa)
to it^Y.b).
Readers are warned that when / is the inclusion of a subspace A
into X the corresponding /* need not be one-one. We will see examples of this
later. For the moment we just observe that if /* were one-one then any loop in
A which is homotopic to the trivial loop in X would have to be homotopic to
the trivial loop in A, and there is no reason to expect this.
If X is homeomorphic to Y then y{X) is isomorphic to y(Y). For we
have maps <p:X->Y and ty:Y-> X such that 9^ is the identity on X and 4>9 is the
identity on Y. Hence <p*ty* is the identity on y(X) and tp*<p* is the identity on
y(Y). We will give later on a weaker relation between X and Y which makes
Y(Af) isomorphic to
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:29:52, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.005
Fundamental groupoids and groups 76
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:29:52, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.005
Fundamental groupoids and groups 11
N M
A L P B
Figure 1
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:29:52, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.005
Fundamental groupoids and groups 78
<p,ty:(X9A)-> {Y,B) such that <p*ty:X -+Y but for which we do not have
9 <*i\r.{X,A)^ (Y,B), since the latter imposes an extra condition on the homotopy.
Let <p*ty:(X,a)->(Y,b). Let / be a standard loop based at a. Then /<p
and /ty are homotopic standard loops based at b. Hence the homomorphisms 9*
and tjj* from n^X.a) to n^{Y,b) are the same.
More generally, let <p^^:Ar-»K, and let a<pmb and atymc. Let $ be
the homotopy from cp to (p. Then there is a free homotopy from / 9 to /ij> which
sends (tfu) to (tf,u)$. It follows, by the corollary to Lemma 2, that the
homomorphisms 9*:7i|(Ar,tf)-»7tj(yr,&) and <Jj*:7T|(A'.<2)-»7r|(K,c) are related by
(Jj*-<p*X*, where X is the class of the path which sends u to (a,u)$. We shall
not investigate the connection between 9* and i|>* as homomorphisms from y(X)
to Y(K), as this is a little messy.
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:29:52, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.005
Fundamental groupoids and groups 79
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:29:52, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.005
Fundamental groupoids and groups 80
Figure 2
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:29:52, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.005
Fundamental groupoids and groups 81
homotopy groups TCn(Sn) or the homology groups H£Sn), neither of which will
be discussed in this book.
2
Example 4 The Fox comb is the subspace X of R given by
X - (0 x I) u (7x1) u U((l//i,r); 0 * r * l , all positive integers n).
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:29:52, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.005
Fundamental groupoids and groups 82
First note that the function r.Y+X given by prm p, (-/>)/•-(0,0) for
all p*X is continuous, by the Glueing Lemma. It follows that if we had a
contraction F of Y relative to (0,0) then Fr, restricted to X x /, would give a
contraction of X relative to (0,0), which we know is impossible.
Suppose that we could have a function F:Yx/->Y such that
(p,Q)F-p for all p*Y. We shall show that we must have (0,0,r)F-(0,0) for all r,
and the previous paragraph then tells us that F is not a contraction.
The set of all c such that (0,0,r)F-(0.0) for all t^c is plainly a
closed subset of / containing 0. If we show that it is also open it must be the
whole of /, which is what we want to prove.
Suppose that c has the above property. Then we can find d > c such
that (0,0,/)eU for t±d. Then, as before, we can find 8>0 such that (p,t)iU if
llpll<8 and t<d. As before, we find that, for n large enough, ((l/«,0) x [Q,d1)F is
contained in {(\/n,t)\ 0<t<\/2). In particular, for any fcCO,^], continuity of F
tells us that (0,0,r)F- (0j>) for some y^0. Similarly, looking at (-l//z,0), we see
by continuity that, for any fc[O,tf], (0,0,r)F- (0,z) for some z<0. Thus (0,0,r)F
must be (0,0) for all t±d, which gives the result.
A B
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:29:52, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.005
van Kampen*s Theorem 83
i2*
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:29:52, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.005
van Kampen's Theorem 84
G. Inductively, adding any number of new division points does not change the
element. Now let $ and ft be any partitions, and let SK be the partition which
has the division points of V together with those of ft Then the element of G
corresponding to $ is the same as that corresponding to 9t, which is in turn the
same as that corresponding to ft It follows that the element of G depends only
on the path / and not on the partition 9> chosen (provided that V satisfies the
required condition). We denote this element of G by /i|>. In particular, if / is a
path in X then ftym ftyn. To make the notation easier to read, we shall write
t|> instead of ty in future. Also, 4> is plainly multiplicative.
If we can show that <J> is constant on each homotopy class it will
an
induce a homomorphism 9 from y(X) to G. By construction, 9^ " y^* <P> d 9 is
plainly the only homomorphism with this property. This will show that we have
a pushout, as required.
We first observe that if / is the product of the paths / « , . . . , / , as
above then its standardisation fQ is the product of paths gj, . . . , g £ . Here each g.
is obtained from the corresponding f. by a change of scale, and so £ z ^/ z -. Since
i|> (on each subspace X ) is induced from a function defined on homotopy
classes, we see that gjtymffi Hence fotymfty. It follows that we need only show
that cp is constant on standard homotopy classes.
Let / and / ' be standard paths, and let F be a standard homotopy
between them. Let 8 be the Lebesgue number of the covering {U^F \lJ2F } of
/x/. Take an integer k with / 2 / £ < 8 . Then F maps any square of side XI k into
one of X^ and X^ •
Let Z>.. be the square of side \lk whose lower left vertex is
(i/kj/k). Let / . . and g.* be the paths defined on [0,1//:] given by
tf.m(t+i/kJ/k)F a n d t g . . - ( i / k , t+j/k)F r e s p e c t i v e l y . L e t e.. a n d e*.. b e t h e
horizontal and vertical edges of £>•• beginning at {i/kj/k), which we may regard
as paths of length \/k. Then / . . and g.. are the composites of these paths with
F. In Figure 6, the square ZX, j and the edges ^ 1 > ^2 2 ' e*2 1' and e
3 1 are
indicated.
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:29:52, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.005
van Kampen's Theorem 85
"2,1
Figure 6
We use this with rm k-l, and a further easy induction shows that, for s<k, we
have
•JMi s i - k-\
0
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:29:52, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.005
van Kampen's Theorem 86
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:29:52, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.005
van Kampen's Theorem 87
We find from this that n^(S \a) is infinite cyclic, and its generator
is the class of f.g, where / is a path in X^ from a to b and g is a path in Xy
from b to a. In particular, the generator is the class of the standard path which
sends t to (COS2TU/, sinlnt). We will obtain another proof of this result, and
related stronger properties, after we have developed the theory of covering
spaces.
Notice that the inclusion i:S •» Lr does not have /* one-one, since
KAU) is trivial but nAS ) is not trivial.
Figure 7
we are assuming that xf is always distinct from JC, the function g is defined for
all j c e / r . Plainly xg~ x if x*Sl. It is easy to check that g is continuous (for
instance, by finding a formula for g). This contradicts the previous theorem. //
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:29:52, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.005
van Kampen's Theorem 88
Proof Let <p:A^ x /-* A^ be a map such that (jc,O)<p-x, (jc,l)<p€v4 for
>
all JC€A 2, and (tf,f)<p - a for all <2€,4 and nl.
Since AT^ ^yA^ is obtained from the disjoint union of A", and A^ by
identifying a and af for all a €,4, it follows from Proposition 2.4 that
(A'j u*X^) x / is obtained from the space obtained from the disjoint union of
A'| x / and ^ x ^ by identifying (a9t) and (af9t) for all a*A and Ul.
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:29:52, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.005
van Kampen's Theorem 89
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:29:52, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.005
van Kampen's Theorem 90
Proof Let Y^ be the open subset X uJA x(0,l]), and let Y2 be the
open subset consisting of all (a,t) with t<\. Let gM-^Kny^ be the map given
by ag' (a,l/2), and let b^ be aQg.
Then g is a homotopy equivalence (in fact Y+ n Y~ is homeomorphic
to A x (0,1) ), and y^ is contractible. Hence van Kampen's Theorem tells us that
7Uj(]K, Z?Q) is obtained from ^^X\» ^Q) by cancelling n^A, a^)g*.
Now let X be the class of the path which sends t to (<3Q,r+ 1/2).
Then X* is an isomorphism from ^1(^1 » ^Q) to 7ti(K. , <2Q). Also, since (<z,l) is
identified with af9 we see that g^f, where the homotopy sends (a9u) to
(a, (w+l)/2). By the corollary to Lemma 2 it follows that ^*X#-/*. Hence
n^{Y, JCQ) is obtained from 7TJ(^,JCQ) by cancelling n^A, a^)f*.
Finally, Lemma 8 tells us that X is a strong deformation retract of
Kj, and so the inclusion induces an isomorphism from n^(Xf x^) to ^i(^i » XQ)>
giving the result.//
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:29:52, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.005
van Kampen's Theorem 91
Proof The result for the fundamental groups is identical to that for
fundamental groupoids, replacing arbitrary paths by loops based at JCQ.
The proof is similar to the proof of van Kampenfs Theorem. Let P
be the set of paths of X, and let P^ be the set of paths of X^. If / e P then
[0,13/ is compact, and so, by asssumption, it lies in some Xy Hence PmUP^,
and / \ £P if X < \JL. For the same reason, any homotopy between two standard
A [I
paths takes place entirely in some X-^.
Let G be a groupoid and let <p^:y(X-^)-> G be homomorphisms such
that 9 \ " ZX * ^ ^ A<
& where *\ is the inclusion of X^ in X .
Then <PA lifts to a multiplicative map ty^:P^-> G, and, for X<jx, t|^
is the restriction of I|J to A . For any X and u there is some v with v ^ X and
U A
v > u. On P^ n P we then see that ^ - <b , since both equal (J^. It follows that
we may define uniquely a map ty:P-*G by requiring (p to be ij^ on / ^ .
Let / and g be paths in X such that /.£ is defined. We take X and
u with / and g in / \ and P , respectively. We can find v with v * X and v ^ u,
A {I
and we can then regard / and g as elements of P^. Since 4>v is multiplicative, it
follows that If <JJ induces a function cpryCA') -» C? it will be the required
homomorphism (and is easily seen to be the only such homomorphism). So we
need only show that ty is constant on homotopy classes. Let / and g be
homotopic paths in X. Then there is some X such that / and g are homotopic in
A^ . Then /ty-/4>A and gip- gty^ , and /ty^ - giJ>A , by definition of 4>A , because /
and g are homotopic in X-^ .11
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:29:52, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.005
van Kampen's Theorem 92
have already seen that the group n^(X-^,p) is the free product of the groups
nJX , p) for i - l , . . . ,/z. Also nj(A\p) is the direct limit of the groups
n^(X^9p). It follows that %^(Xtp) is the free product of the groups n^X^p).
In particular, suppose that each X^ is a circle. In this case we call
X a bunch of circles. The discussion above shows that n^(X) is free of rank \A\,
where A is the index set.
2
Warning The subspace of 1R consisting of those (x,y) such that
x +y - 2x1 n for some positive integer n is the union of countably many circles;
namely, the circles with centres (l/«,0) and radius \/n. However its topology is
not that of the join of countably many circles, and its fundamental group is
complicated; it will be discussed further in the last section of this chapter.
Proof If the index set has only one element the result holds by
Proposition 9. The result for a finite index set follows by induction. The general
case holds using Proposition 10 and the remark following it.//
7Tj(y4j., <*•)/•* into 7Cj(A\ XQ). A different path will change this homomorphism by
an inner automorphism, and this will make no difference when we cancel.
As a particular case, we can take each A- to be S , so that CA; is
Er. The map / . can be regarded as a loop whose homotopy class will be
' i
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:29:52, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.005
van Kampen's Theorem 93
D D
B A B
torus Klein bottle
Figure 8
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:29:52, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.005
van Kampen's Theorem 94
Corollary I Let G and H'. (for i in some index set) be groups, and
let <p:H-*G be homomorphisms. Then there is a T+-space X and subspaces Y-
with y . n y . " CJCQ) for i*j and such that Tiy(Xyx^) is G, Wj(K., JCQ) is Hi$ and
the inclusion of Y'. in X induces <p..
Proof Let Y be the join of the Y>, the common point being y. in
Yj. The conditions ensure that n^(Y) is the free product of the n^(Y^). We then
have the homomorphism $9^. from iz^Y) to G. The result now follows from the
theorem.//
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:29:52, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.005
van Kampen's Theorem 95
Proof Take the spaces Z- which are the joins of Y. and the interval
/, and apply Corollary 2 to these.//
I / \ \
O^o
We can apply van Kampen's Theorem (in the groupoid form, and
using the corollary with a pair of vertices (<ZQ,1/3) and ( £ Q , 2 / 3 ) ) to the subspaces
AQX(Q,\) and Y- AQ X {1/2}. This situation was considered in Example 2 of
pushouts of groupoids. Since A!" is a deformation retract of Y- A^y-il/2) we
obtain the following results.
If X is path-connected then nJY) is the pseudo-HNN extension of
7Tj(AT) with associated subgroups the images of TTJ(^Q) and n^A^). Note here that
the images are only determined up to conjugacy (since we have to use the
isomorphism induced by a path to refer all the groups to the same base-point,
and this isomorphism is only known up to conjugacy); but we know that this
makes no difference to the pseudo-HNN extension.
Suppose that AQ and A* are in different path-components XQ and
X^ of X. In this case 7Tj(K, a^) is the pushout of the homomorphisms
•K^A^ + TZ^XQ) and TI^AQ) -> n^A^ •* n^X^.
Theorems 12 and 13 ensure that any pseudo-HNN extension or
pushout may be obtained in this way from suitable spaces. Thus the notion of
adding a handle is the topological analogue of these group-theoretic concepts.
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:29:52, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.005
Covering spaces 96
Examples Regard S as the set of complex numbers iz\ \z\ - 1). Then
R is a covering of S , with the covering map sending t to e . We only need
two elementary neighbourhoods, namely S - {1} and S -{-!}. This example,
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:29:52, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.005
Covering spaces 97
W
Figure 10
Figure 11
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:29:52, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.005
Covering spaces 98
Lemma 14. The proof for the special case is so simple that I feel it was
worthwhile giving it separately.
Lemma 14 Let p\£ -*X be a covering. Let f and g be maps from
a connected space Y to it such that fpm gp and y^f-y^g for some y^. Then
f-g.
Proof Since Y is connected, it is enough to show that {y; yfmyg) is
both open and closed.
Take y with yf-yg. Let U be an elementary neighbourhood of yfp
(mygp)- Let lT be an open neighbourhood of yf which p maps homeomorphically
to U. Then there is an open neighbourhood V of y such that Vfc C and Vgc [7.
Since fpm gp, it follows that / - g on K, and so iz; zfm zg) is open.
Now take y with yf^yg. Let U and tf be as before, and let lT* be
an open neighbourhood of yg which maps homeomorpically to U. Then there will
be an open neighbourhood V of y such that Vfc (I and Vgc £?1 . Now [7 and I?.
-1
are components of Up which must be distinct, since they contain distinct
points with the same image. They are therefore disjoint, from which we see that
Vc{z; zf*zg), and so this set is also open.//
The next result is one of the key properties of coverings.
Proposition 15 Let p:Jt-^X be a covering. Let /:CO,r] •* X be a
path, and let a be a point of ]t such that ap - Of. Then there is a unqiue path
/:[0,f] -» ]? such that 0 / - a and ?p- f.
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:29:52, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.005
Covering spaces 99
D
1,1
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:29:52, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.005
Covering spaces 100
Lemma 14. Then the Glueing Lemma gives a continuous function defined on
C..uZ)... Inductively we will obtain a map F:I*I'*]F such that (0,0)f - a and
Pp- F. Now (0,u)Pp-a for all u and (0,0)/* - <J\ Hence (0,1/)/* must be <? for
all u. Similarly, (l,u)F* must also be constant. Since (r,0)//>- (r,0)F- f/- r/p and
( 0 , 0 ) / * - 0 / , we find that (f,O)/*-f/, by Lemma 14. For the same reasons, since
we know that (0,1)/*- a, we find that U l ) / * - tg for all t. Hence /* is a
homotopy from / to g.
The corollary is now immediate.//
Proof If (i) holds so does (ii), since we need only take V to be the
path-component of U containing x. If (ii) holds then (iii) obviously holds.
Suppose that (iii) holds, and let C be a path-component of the open
set U. Take x e C. Then the open set V of (iii) lies completely in C. Hence C is
open.//
A space with the properties of this lemma is called locally path-
connected. In particular, the path-components of a locally path-connected space
are open. Also, if U is an open set in a locally path-connected space then the
path-components of U are disjoint open connected sets; they must therefore be
the components of U. As a special case of this, a connected and locally
path-connected space must be path-connected; thus our example of a space which
is connected but not path connected provides an example of a space which is
not locally path-connected.
Evidently, if A^ is a covering of X then ^ is locally
path-connected iff X is. Also, in this case, if U is an elementary neighbourhood
and V is any open set then the components of UnV arc also elementary
neighbourhoods. Further, for any open neighbourhood W of a point v' € it\ that
component of V? n Up (where U is an elementary neighbourhood of vp) which
contains v will be mapped homeomorphically by p onto an elementary
neighbourhood in X.
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:29:52, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.005
The circle and the complex plane 101
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:29:52, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.005
The circle and the complex plane 102
endpoint. Hence / and g have the same degree, and so the degree can be
regarded as a function from n^S ) to Z.
Now let /CO,/-] -» 5 be a loop with degree n, and let g-10,s1 •* Sl be
a loop with degree m, both loops being based at a. Let 9 be a lift of / , with
Ocp-oc, and hence with rep - a + n. Since 0g-a-0f, we may take a lift ip of g with
Oijj-a + /z. As g has degree m, we find that sty- <x + n + m. Now <p.{J> is continuous,
by the Glueing Lemma, and it plainly lifts fg. Hence f.g has degree n +m,
showing that the degree defines a homomorphism.
This homomorphism is onto, since if 9 is the standard path sending
t to nt then epp has degree n. Also, if / has degree 0 then cp is a loop in R, and
so / represents an element of TC.(IR.(X)/?*. As TT,(IR) is trivial, this tells us that a
1
loop of degree 0 represents the identity element of n^(S ).//
Proof By the lemma, i~./-£ has the same degree as fg.g^, and this
is homotopic to / , hence it has the same degree as / . An easy direct proof can
also be given.//
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:29:52, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.005
The circle and the complex plane 103
Remark The conditions ensure that / and f+g both map into C - (0).
Proof f and / + g are freely homotopic in C, the homotopy F being
given by {t,u)F- tf+(tg)u. It is easy to check that F is never 0, so F is a
homotopy in C-{0}, giving the result.//
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:29:52, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.005
The circle and the complex plane 104
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:29:52, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.005
The circle and the complex plane 105
since h is defined on Er, and so its degree is 0. This contradiction shows that /
must take on the value (0,0) somewhere.//
The corresponding result for maps from Sn to R'1 also holds. For
n - 1 it is just a version of the Intermediate Value Theorem; for general n a
significantly more difficult proof (for instance, involving cohomology rings) is
needed.
I now explain why the name "Ham Sandwich Theorem" is used.
First consider a nice set A in the plane. (The precise definition of a "nice" set
would require some knowledge of measure theory; what we need is that some
intuitive properties of area and volume are valid for the sets we look at.)
Perpendicular to any direction there is a line which divides A into two parts of
equal area. To see this, consider the difference between the areas of the portion
of A above the line x cosa +>>sina- c and the portion below it. This is a
continuous function of c, which is negative for large positive c and positive for
large negative c. Thus it must be zero somewhere. For nice A there will be only
one such line, which we call /(a).
This gives c as a function of a. This function can be shown to be
continuous (since, if we take a disc containing A, the lines corresponding to a
and p must meet inside this disc).
Now take a second nice set B in the plane. Consider the area of
the portion of B above /(a) minus the area of the portion of B below it. This
will be a continuous function of a. If we replace a by OC + TT the value of this
function will be multiplied by -1, since /(OC + TT) is the same line as /(a), but
"above" and "below" get interchanged. By the Intermediate Value Theorem, this
function is zero somewhere. This means that there is a line which simultaneously
bisects A and B.
We now extend these results to sets in (R . Let A be a nice set in
3 2
IR . We can regard a direction u as a point of S . As before, perpendicular to
any direction there is a unique plane, which we call p{u), dividing A into two
pieces of equal volume, and this plane varies continuously with the direction.
Let B and C be two further nice subsets of IR . We get a
continuous function f\S 2 •* IR2 whose components are the volume of B and C
respectively above p(u) minus the volume of the same set below it. Since p{-u)
is the same plane as p(u), but with above and below interchanged, (-u)fm-{uf).
Hence the theorem tells us that there is some direction perpendicular to which
there is a plane dividing A,B> and C simultaneously into two equal halves. Now
take the sets to be the two pieces of bread and the filling in a ham sandwich!
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:29:52, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.005
The circle and the complex plane 106
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:29:52, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.005
Joins and weak joins 107
Let X be the weak join of countably many spaces X.. Then nJX)
is complicated. It is easy to see that it contains standard loops / such that
(1-1/n)f~ p for all n, with / mapping 11-1/n, 1-1/(^+1)] into Xn. We could regard
such an element as amounting to an infinite product otjO^... with a snAX , P)
for all n. But n^(X) would also contain products of the form . . . a^a* , which are
inverses of the previous infinite products, as well as more complicated elements
obtained by multiplication from these.
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:29:52, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.005
Joins and weak joins 108
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:29:52, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.005
Joins and weak joins 109
Plainly a zr-i,zr
0 , * « and a zr,zr-i
o , O i . , are both zero on // n+
. and on //n- , so the same
e
holds for p2/--l 2r' ^ ^ o r m u ^ a ^or P o n an
inverse, and the formula relating g
on a product to 3 on the individual terms and to y» now tells us that
A
/ ! P 2 / - 1 2 / - ' Y 2 / - 1 2 / " W h e r e I A ^ ' Y P ^ ' ^ 6 ( 4 5 + 1 ) ' H e n c e A ^ ^ 6 ( 4 5 + 1 ) for all n.
Choose an to be a non-identity element of Gn for all «. An element
of L is given by a sequence {^} where gn*Gn for all /2. Let S be an infinite set
of positive integers. Let m^ be the element of L whose entry in G^ is ^ if
«€5* and is 1 if # • 5 ' while its entry in ^ / z - l is ^2«-l if n*S and is 1 if n*S.
Let hmm.g nij. , where 7" is another infinite set. If k is the smallest integer
which is in exactly one of 5" and T, it is easy to check that in computing hn
cancellation cannot reach beyond ^2A-2* ^ e f i n d e a s i l v t n a t ^rPlr-\ 2r*®
whenever 2r^/z and r is in exactly one of S and T. Hence A X is an unbounded
n
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:29:52, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.005
Joins and weak joins 110
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:29:52, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.005
Joins and weak joins 111
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:29:52, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.005
Joins and weak joins 112
meets only those / . with n- ^ n and those (at most two) .A with t as an
end-point. Then, for t'i(t- h,t+h) and any u\ either ffmp and so (t\u')Fm p, or
t'tJj with n-^n, or (for at most two values of /) both t and t' are in J. . In the
second case, (t\u')Fm (t\u')F-t Un £UncV. In the last case, the continuity of F-
on T't shows that (t\ u')F\V if (t\u%) is close enough to (t,u). This shows F is
continuous.//
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:29:52, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.005
113
5 COMPLEXES
5.1 GRAPHS
A graph V consists of two disjoint sets, the set V(T) of vertices of T
and the set E(T) of edges of T, together with two functions o:E(T)-> V(T) and
~:£(O-» E(T) such that, for all ee£(O, e*e~ and e-<T. We define another
function T:E{F)-> V(T) by ex- e"o. We call eo the starf (or beginning) of e and ex
the end (or finish) of e, referring to them both as end-points of e. We call e~
the inverse of e. We call e a circle if ex - eo (such an edge is often called a
"loop", but this name could lead to confusion later). We simply refer to E and
K, rather than E(T) and K(T), where no confusion is likely. It is sometimes
convenient to allow a graph to be empty, and sometimes inconvenient; I will
leave it to the reader to decide which statements require the graphs considered to
be non-empty.
An alternative definition is often used, in which edges do not come
in mutually inverse pairs. This approach is sometimes easier, but at some stage
we would need to introduce some version of the inverse of an edge. It is really
a matter of personal preference which definition to use.
Our definition does differ from other definitions of a graph in two
further ways. We permit edges to have both end-points the same. We also permit
more than one edge with a given starting point and finishing point. We will find
it very useful to allow this generality.
A path of length n > 0 in T is a finite sequence e*,... ,e of edges
such that e-x'e-^o for all i < n. This path starts at e^a and ends at e^x, and the
vertices of the path are e-a for all i±n and also ej. A path of length 0 is just
a vertex v, and v is the start and end of this path. A loop is a path which ends
at the point at which it starts. A path is simple if its vertices are all distinct. A
simple loop or circuit is a loop of positive length for which the n vertices ev
are all distinct, and which is not of the form e,e~. A single edge is a circuit iff
it is a circle. If e+,... ,e is a circuit or a loop then so are all its cyclic
permutations £,-»tfj+j, • • • >en>e\> • • • >ei-\ • W n e n lt iS necessary to distinguish
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:33:05, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.006
Graphs 114
these paths and loops from the topological ones we shall call them edge-paths
and edge-loops.
Let / be the path e^... yen and let g be the path e f j , . . . , e * . When'
e'jO - enx we define the product f.g of / and g to be the path
ei,...,en,e'i,...,e'm. When e^a is v and ej is w, we also define v./and f.w to
be /. The inverse f of / is e"^,... ,e"j; if the path is a vertex v, then the inverse
of / is also v.
A subgraph Tj of T consists of subsets Kj of V and E* of E such
that, for any e € E^, we have e~ c £ j and eo € V^; evidently ex is also in Kj, and
T| is a graph. Evidently the intersection and the union of arbitrary subgraphs of
T are themselves subgraphs of T. When V^ is a subset of K, the full subgraph on
V* is the subgraph whose vertex set is Kj and whose edge-set E. is given by
£ j - [e; ea and e\ are in V^i.
We say that T is connected if given any two vertices of T there is
a path joining them. More generally, for any T we can define a relation on V by
requiring v to be related to w iff there is a path starting at v and ending at w.
This is easily seen to be an equivalence relation. The full subgraphs whose
vertex sets are the equivalence classes are called the components of T.
Note that the union of connected graphs T- will be connected
provided that C\T.^0. We need only take some VQeOF^. and observe that every
by a path in some I 1 ., so that the component
vertex of u r . can be joined to v^ b
of VQ in Ur^. contains every vertex.
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:33:05, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.006
Graphs 115
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:33:05, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.006
Graphs 116
Also, the last edge of / cannot be en, else we could omit this edge from / and
get a path from VQ to e^o which is shorter than /. For the same reason, the last
edge of / is not e~^. Let g be the path e^,... ,^n^ • Then fg and fe~n are two
distinct irreducible paths from VQ to eno.//
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:33:05, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.006
Graphs 117
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:33:05, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.006
Graphs 118
Lemma 10 Let T be a finite tree with more than one vertex. Then
T has {at least) two vertices each of which is the start of exactly one edge
{and the end of exactly one edge).
Proof Let F be a tree. If nm\ then mm0 (since any edge would be
a circle). Otherwise let v be a vertex which is the start of exactly one edge,
which we call e. Let A be the graph obtained from F by deleting the edges e
and e~ and the vertex v. (This is a graph, since no other edge has v as a vertex.)
Then A is a forest. If it is a tree, the result will follow by induction.
Take any vertices u and w of A. They can be joined by an
irreducible path e* , . . . ,e in F. Suppose that there is some r with e x - v. Then
m
er^o v. Since e is the only edge starting at v, we must have ef + j - e - e~f. The
path is then reducible, contrary to hypothesis. Hence the path does not go
through the vertex v, and so it is a path in A, as required.
Now let F be a finite connected graph with m- n- 1. Let T be a
maximal tree in F. Since T contains every vertex of F, it has n vertices. By what
we have just proved, it must contain n-\ edge-pairs. By hypothesis, these will be
all the edge-pairs of F, and so J T - F . / /
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:33:05, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.006
Graphs 119
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:33:05, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.006
Graphs 120
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:33:05, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.006
Complexes 121
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:33:05, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.006
Complexes 122
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:33:05, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.006
Complexes 123
It is easy to check that the deletion of the stated edges does leave a path in
either case if not all edges have been deleted. If the deletion would remove
every edge we regard g as being the path consisting of the vertex e*o.
We call the path / homotopic to the path g, and we write f^g, if
there is a sequence of paths / for X^r^m (some m) such that /^ is / , / is g,
and, for all r<m, either / +« is an elementary reduction of / or / is an
elementary reduction of / ^ j . T h i s is obviously an equivalence relation. We shall
use the phrase edge-homotopic when we need to distinguish this from the
topological notion of homotopy.
It is immediate that if / is a path from v to w and f^g then g is
also a path from v to w, and f^g". Further, for any path / ' starting at w, if /
is a sequence of paths which show that f^g then the sequence fr.f shows that
ff'^g.f. Similarly, if / " is a path ending at v then f".f^f".g .It follows that
/ ' is a path starting at w and f'^g' then / . / ' ^g.f °*g.g'.
The homotopy classes of paths therefore form a groupoid, which we
call the fundamental groupoid (or edge-groupoid) of AT, written Y(^0- This
groupoid has vertex set V{K). The vertex group of the groupoid at the vertex v
(that is, the set of homotopy classes of loops starting at v) is called the
fundamental group of K with base-point v, written 7tj(AT,v). When K is connected
this does not depend on v, and we often just write nAK). Any path from v to w
induces an isomorphism from iz.(K,v) to nJK,w).
-1
We will frequently find it convenient to write / to denote the
inverse of the path / , rather than / , to emphasise that its class is the inverse of
the class of /.
Let <p:K-> L be a map of complexes. Let the path g be obtained
from the path / of K by elementary reduction. Then gcp is obtained from ftp by
elementary reduction (for instance, if we remove cd from / to get g then we need
only remove cc)(p from /<p to get g<p, and cd<p - c<pd is the boundary of ccp). It
follows that if f^g then f<p^g<p. Hence cp gives rise to a homomorphism
<p*:y{K) •* y{L), and also to a homomorphism 9* from 7TJ(AT,V) to 7ij(L,vcp).
If ty:L -» M is a map of complexes then (<p(JO* * 9*^*- If 9 is the
identity map on K then 9* is the identity homomorphism on "x(K). Hence, if 9 is
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:33:05, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.006
Complexes 124
Examples Let K be the complex with two vertices v and w and one
edge-pair ie,e~) with ea - v and ei - w. Then K is connected and y(K) is the tree
groupoid on (v,w), so that 7ij(AT,v) is trivial. For any non-trivial path must have
its edges alternately e and e~, and so it must be homotopic to one of v, w, e, or
e~, and no two of these can be homotopic, since no two have the same start and
finish.
Let AT be a graph -with one vertex v and one edge-pair {eye~)\ we
must have e o - v - e x Then n^(K9v) is infinite cyclic, generated by the class of e.
For any path is a loop, and any path is plainly homotopic either to v or to en
or to e~n for some n > 0. If a path has r occurrences of e and s occurrences of e~
then r - 5 in unchanged by elementary reduction. Hence r-s is constant on
homotopy classes, which shows that no two of the above loops are homotopic.
The theorems on fundamental group(oids) of spaces have analogues
for the fundamental group(oid)s of complexes, which are usually much easier to
prove.
Theorem 14 (van Kampen's Theorem) Let K^ and K^ be
subcomplexes of the complex K, and let ATQ be AT, n AT« . Then the inclusions
induce a pushout of groupoids
Y(AT2) -*
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:33:05, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.006
Complexes 125
are
Corollary 2 Suppose further that KQ, K^, and K2 connected
(and then K mil also be connected). Let v € V(K^). Then the inclusions induce a
pushout of groups
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:33:05, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.006
Complexes 126
y(K) is the direct limit of the T ( ^ ) {the maps being induced by the inclusions.
Suppose further that each K-^ is connected, and that v e OA^ . Then
7Cj(AT,v) is the direct limit of the n^Ky).//
Corollary 1 For any complex K, y(K)m limy(L), where L runs over
all finite subcomplexes of K.I I
Corollary 2 Let K be a connected complex. Then
7TJ(/L,V)- limn^(L,v)f where L runs over all connected subcomplexes of K which
contain v.lI
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:33:05, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.006
Complexes 127
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:33:05, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.006
Complexes 128
Proof We know there is one basis element for each edge-pair not in
a chosen maximal tree. Now the maximal tree has exactly n vertices, so by
Proposition 11 it has n-\ edge-pairs. Since there are m edge-pairs altogether, we
see that the number of basis elements is m-n+l.//
obtained from n^(Kfa) by cancelling the class of f.cd.f , where / is any path
from a to the start of cd.
We can extend Corollary 4 inductively to the case where L is
obtained from K by adding a finite number of cells. Then Theorem 15 allows us
to extend to the case where we add an arbitrary number of cells. Thus we have
the following result.
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:33:05, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.006
Complexes 129
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:33:05, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.006
Complexes 130
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:33:05, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.006
Complexes 131
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:33:05, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.006
Automorphisms of free groups 132
Proof Suppose that TT^T) has finite rank. Let T be a maximal tree
in T. By Corollary 1 to Theorem 17, there are only finitely many edges not in T.
Take any vertex v Q . Let AQ consist of those edges of T such that
the irreducible path in T from eo to v^ begins with e. It is easy to see that AQ
is an orientation of T such that VQW - 0 and vw-1 for v^v^ (this orientation,
called the orientation of T inwards towards v Q , will also be used in section 8.5).
Enlarge A^ to an orientation A of Y by orienting the edges not in T arbitrarily.
Clearly A satisfies the required conditions.
Now suppose that there is an orientation A of r satisfying the
conditions. Removing finitely many edge-pairs, we obtain a graph A such that
vo)£l for every vertex v (in the orientation Anb of A). Since Y is connected, and
we remove only finitely many edge-pairs, it follows from Exercise 1 that A has
only finitely many components.
It is enough to show that each component of A has finitely
generated fundamental group. For we may then take a maximal tree in each
component which, by Corollary 1 to Theorem 17, contains all but finitely many
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:33:05, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.006
Automorphisms of free groups 133
edges in that component. The union of these is a forest in A containing all but
finitely many edges of A. This forest can be enlarged to a maximal tree of T,
which will contain all but finitely many edges of r. Then 7Tj(O will be finitely
generated, using Corollary 1 to Theorem 17 again.
So let Aj be a component of A. If Aj is not a tree it contains a
circuit e.,...,e . We may assume that en* A (if not, replace the circuit by the
circuit F i,... 3e^ ye~n). Since eno has outdegree at most 1, we see that e~n^4 A9
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:33:05, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.006
Automorphisms of free groups 134
Notice that there is only one edge starting (or ending) at a given
vertex and with a given label. Also, if e has label x then e~ has label JC . It
follows that the image of an irreducible path is an irreducible word of the same
length. In particular, the homomorphism from rc^I^ ,1) to F is a monomorphism.
To any JCj,... ,JC^ there is a unique path starting at 1 whose edges
have labels x^9...,x respectively. This path ends at v, where v-w (wr\) and
w-JCJ .. .JC^. In particular, this path is a loop iff W-WTJ. Thus the image of
TCjCrpl) is FixT).//
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:33:05, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.006
Automorphisms of free groups 135
there are words X(JC), [L(X), and p(jc) such that \L(X) has length 1, X(JC )-p(jc)~ ,
\L(X~ ) - \JL(X)~ , and p(x ) - \{x)~ , and x - \{x) {L{X) p{x), reduced as written, and
such that, for any y*SvS~ with y*x, when cancellation is performed on y x it
does not reach u(x) or u(j;)~ .
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:33:05, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.006
Automorphisms of free groups 136
we could write w as p(jc) U(JC) U, reduced as written, then u could not begin
with \±(x). Since u is the reduced form of \{x) xw, we get a contradiction. Thus
w does not begin with p(x)~ [i(x)~ , and so e~ is not in A.
Suppose that e 4 A. Then the reduced form of x~ v will begin with
p(jc)" {L(X)~ (since the cancellation cannot go further than X(JC)~ ). Since v does
not cancel completely in x~ v(xcp), it follows that the reduced form of
w-JC" v(x(p) also begins with p(x)~ u(x)~ , which tells us that e~ * A.I I
Lemma 26 Suppose that vw is finite for all v and vo £ 1 for all but
finitely many v. Suppose also that r and c are finite. Then
r+ c + Z(vd) -1) - d+a + n.
In particular, if T is connected and vw £ 1 for alt v and Vjd) - 0 for some Vj then
d^r. More generally, if vw^l for all v and Vj(o-0 for some Vj, and T^ is the
component of v, then ^(Fj) has rank at most r.
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:33:05, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.006
Automorphisms of free groups 137
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:33:05, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.006
Automorphisms of free groups 138
Since there are no circuits, this gives rise to a ray, e^e^,... . Let w be any
vertex, and let x^,... ,JC be the shortest irreducible path from w to a point of
the ray. Let this path end at ena. Since en is the only edge in B beginning at
eno, and all edges are ordinary, we see that xm* B, and then, inductively, that
jt.ei? for all j . It is then clear, since all vertices have outdegree 1, that the only
ray beginning at w is x^,...,xm ^n^n +j»• • • » anc * so a
^ ravs are
equivalent.//
Examples In F{a,b), let ai\ - ba and bi\ - bba. Then a occurs once in
<2T), and b occurs twice in br\. Thus Fixr) has rank at most 1 + 2.
In F(a,b,c)t let a<p - baca b ac , b(p - a ba,
c*(p - baca b~ aca bac a~ b . Then a occurs twice in a<p, b occurs once in btp,
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:33:05, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.006
Coverings of complexes 139
and c occurs twice in ccp. Thus Fix<p has rank at most 2 + 1 + 2. We shall analyse
this example more closely in a moment, and we will show that Fixep-Cl}.
5.4
COVERINGS OF COMPLEXES
The notion of a covering of a complex is remarkably tricky to
define. The definition in several books is wrong; that is, the authors claim that
certain properties follow from their definitions, but there are examples showing
that their claims are false. Even knowing this, the definition 1 gave in an earlier
version of this book was also wrong. I think that I have dealt with all the
problems in the definitions I give below.
The difficulties arise because the boundary of a cell is a loop
which may be a proper power of some other loop. Because of this, we define
some special classes of complexes.
The complex K is called powerless if there is no cell c such that
k.
cd can be written as a proper power (e^,... ,e^ with k>\. We say the complex
K has simple boundaries if, for every cell c, the boundary cd is a circuit.
The complex AT is a simplicial complex if it satisfies the following
conditions: (i) no edge is a circle, (ii) for any two vertices v and w there is at
most one edge e with eom v and ex - w, (iii) the boundary of each cell is a loop
£j ,^2 > e2 w i t h t n r e e distinct edges, and (iv) for any three distinct edges e^, ^ >
and e^ such that e^ e^ ,e^ is a loop there is at most one cell with this loop as
boundary.
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:33:05, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.006
Coverings of complexes 140
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:33:05, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.006
Coverings of complexes 141
K K L6
Figure 1
Proof The condition ensures that p maps E(f?) onto E(K) provided
that it maps V(£) onto V(K). By Lemma 1 it is enough to show that if V£V(£)p
and e is an edge with eom v then eiiV{£)p. We need only take some v* with
vp- v, and then take an edge e with eo - v' and epm eJI
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:33:05, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.006
Coverings of complexes 142
cell (c,/) is to be the indexed cell (c,« + 2 - / ) , where we regard n+l as 1. When
we take the boundary of c~ to be the obvious choice, namely e~n,...ye~^y the
boundary of this indexed cell is the inverse of the boundary of (c,i). Note that
the indexing of cells is not unique, since we begin by a choice of loop in each
cyclic loop cd. However, we shall always assume that some choice has been
made in all the complexes we consider.
When K has simple boundaries the indexed cell (c,i) is determined by
specifying the cell c and the vertex which is the starting vertex of the indexed
cell. When K does not have simple boundaries there will always be a cell c and
two distinct indexed cells (c,z) and (c,y) with the same starting vertex. When K
is powerless the indexed cell (c,z) is determined by specifying the cell c and the
boundary of (c,0, but this is not enough in general. For let us write cd as
k.
{e^y...,er) with k as large as possible. Then it is easy to check that the loops
e
i>- -">el-\ a n c l e • , . . . , e - _ p which are the boundaries of (c,i) and (cj), are the
same iff j - i is a multiple of r.
Let <p:L •* K be a map of powerless complexes. Let c be a cell of L,
and let the indexed cell (c,l) have boundary e^,...,en. Then the loop
£ j 9 , . . . ,en<p of K is the boundary of some indexed cell corresponding to c<p.
Suppose this indexed cell is (c, j). Then we have an induced map of indexed
cells sending (c,/) to (c<p,i+J-l) (where a number greater than n is to be reduced
mod «), with the boundary of the image being the image of the boundary. This
induced map will send an indexed cell and its inverse to an indexed cell and its
inverse.
Again, coverings are onto. Also, this notion coincides with the previous
one when the complex K has simple boundary, in which case we know that K
also has simple boundary.
Example Let K have one vertex v, two edge-pairs {*, ST} and {y9 y~}9
and one cell-pair {c,c~} with cd being JC,J;. Thus K has two indexed cells
associated with c, namely (c,l) with boundary x,y and (c,2) with boundary yy x;
both these cells have starting vertex v.
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:33:05, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.006
Coverings of complexes 143
(part of) K
Figure 2
Finally, we must look at general complexes. We see that a map
<p:L -» K does not determine a unique map on indexed cells. Suppose that the
boundary of c<p can be written as (JCI , . . . , J C k) with k>\, and that the image
under 9 of the boundary of the indexed cell (c,l) is the boundary of the indexed
cell (cj). Then we can map the indexed cells (c,/) to the indexed cells
(ccp,y +/-1), as before. But we are also permitted to take any integer m, and then
map (c,z) to (C9,mr + / + /-1).
Consequently, we have to make a choice, which we call 9,, of maps of
indexed cells corresponding to cp. We may make the choice so that 9, sends an
indexed cell and its inverse to an indexed cell and its inverse. Note that if
ty:M->L is another map then ^f9t iS a possible choice for (^9) t ; because of the
non-uniqueness, we cannot just say that (4><p)f is t|>,<p, • However, if our complexes
are powerless, so that only one choice is possible (once we have specified the
indexing of the ceils) , then we do know that 4jf9t
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:33:05, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.006
Coverings of complexes 144
Example Let K have one vertex v, one edge-pair ie,F), and one
two
cell-pair {c,c~} with cd being e, e. Let F? have two vertices v^ and v^»
anci t w o c e airs c anc C ; et
edge-pairs {e^ ,e~^) and l ^ , ^ ^ ^ P ^ j »^j) * ^ 2 »^V *
and e l V e anci let c and C d bot be e
e^o- Vj - e^t \" 2 " 2 °' l^ 2 ^ \ *e2 ' ^ e t ^ b e t ie
^
obvious map.
Define the indexed cells of R so that (c^,l) and (C2»2) have
boundary e^, ^2» while (Cj ,2) and (C2»l) have boundary ^ »^j • Let Pj map (c^ ,1)
to (c,l). We may choose pf either to map (C2 ,1) to (c,l) or to map (c^ ,1) to.
(c,2); in the latter case it maps ^ ,2) to (c,l). It is easy to check that the first
choice of pf gives a covering map, while the second does not.
Let L be a complex with two vertices Wj and w^, two edge-pairs
{jCj ,JC~J} and ( J C J , * ^ ) , and one cell-pair {J,J"}; let JtjO - Wj - .X^T and
jCjT - W2 - JC2O, and let dd be Xj ,x^ • With AT and XT as above, there are two
obvious maps from L to A*', the first, 9, sending d to Cj and the second, ty,
sending d to c^ • Plainly cpp-ijjp. However, with (tf,l) being the indexed cell
starting at Wj , we must define <p, to map (dy\) to (c^ ,1), This explains the
conditions in the next proposition. It is examples like this one which need the
extreme care in our definitions, and which show the inadequacies of many other
suggested definitions.
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:33:05, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.006
Coverings of complexes 145
covering, this implies that e<p - ety. It follows that ei<p - eity (because et<p - ecpx,
etc.), as required. The same argument now tells us that eyety for any edge e.
(ii) This can be proved directly, but we may as well use part (iii).
Because our complexes are powerless, we know that <p,p, - (<pp)j - (^p)| - il^p,.
(iii) Let (c,i) be an indexed cell of L, and let its starting vertex be
v. Then (c,/)<p, and (c,/)ify have the same image under />,. Because cp - ty on the
vertices, they both have the starting vertex v<p. The definition of a covering now
tells us that (c,/)<p, - (c,/)<J>t, as required.//
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:33:05, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.006
Subdivisions 146
5.5 SUBDIVISIONS
In this section we will show how, given a complex K, we can
construct a simplicial complex related to K with the same fundamental group as
K. In the course of the construction we will obtain other complexes with the
same fundamental group as AT, one of which is powerless and the other of which
has simple boundaries. This material is not needed for the later development of
the theory. But it shows that we may use the simpler approaches to coverings of
complexes if we wish, without running into any problems in the applications.
Let AT be a connected complex. Its edge subdivision fif is the
complex defined as follows. The vertices of K? are the vertices of K together
with one new vertex for each edge-pair {e.e") of K. This new vertex will be
denoted by v or by v - . There are two edges of K6 to each edge e of K. These
are denoted by e_ and e+. The edge e_ starts at ea and ends at v e , while the
edge e+ starts at ve and ends at ex. We define e~^ and ~e~ to be e~+ and e~_ ,
resepctively. The cells of K? are the cells of K. The boundary in K? of a cell is
obtained from its boundary in K by replacing each edge e by the two edges
K
Figure 3.
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:33:05, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.006
Subdivisions 147
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:33:05, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.006
Subdivisions 148
Take the presentation of 7ij(/^,a) using the maximal tree S and the
presentation of n^(Kfa) using the maximal tree T. In both presentations, the
relations say that certain generators are trivial. If we delete these generators, the
resulting presentations of the two groups become identical.//
lets us replace the last of these with the relation e^... enm\. Now Tietze
transformations let us delete every fc-. The result is just the presentation of
71^ using the tree T.I I
Let tp:AT-» L be a map. We can define a map <$e\K? •* Le such that
<p^ corresponds to <p under the isomorphism of Proposition 31. We can also
define a map <pc:A^'-» L c such that <pc corresponds to 9 under the isomorphism of
proposition 32. While <pe is uniquely given by 9, there are choices for <pc, but it
is uniquely given by 9 and 9, .The details are left to the reader.
The constructions can easily be modified so that we do not
subdivide all edges or cells, but just choose some of them to subdivide. In
particular, suppose that L is a subcomplex of K, and that L is a simpliciai
complex. Then, by subdividing the remaining edges and cells (twice) we obtain
a simpliciai complex M which contains L (rather than containing a subdivision
of L) and such that the inclusion of L in M and the inclusion of L in K induce
the same homomorphisms of fundamental groups.
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:33:05, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.006
Geometric realisations 149
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:33:05, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.006
Geometric realisations 150
Given a map <p:K-> L we can obtain a map lcpl:IAH -» ILL This map is
not unique, but is uniquely defined by cp and <pt. The homomorphism induced by
9 and l<pl correspond under the isomorphisms of the proposition. Proofs are left
to the reader.
It needs some care to establish the topological conditions needed to
show that Ipl is a covering of spaces when p is a covering of complexes, but
this can be done. In our examples this fact will usually be clear.
For instance, let F be the graph with one vertex and one edge-pair.
Then IF! is 5 . Our two examples of coverings of F give rise to the covering of
5 by IR and the covering of 5 by itself in which the map sends the complex
k
number z to z .
Let K be the complex with one vertex, one edge-pair and one
cell-pair, with c6 being e,e, and let p:ft •* K be the covering discussed. Then
•y 1 2
IA I is 5 , and \K\ is the real projective space RP .
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:33:05, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.006
151
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:31:58, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.007
Coverings 152
Proof Suppose that / and g end at the same point. Then we can
form J. g , and this is a loop. The loop /. g is the image of this loop under p,
and so f.g represents an element of n^(^\v)p*.
Conversely, let f.g represent an element of n^(]F ,v)p*. By the
lemma, /. g"1 lifts to a loop h based at v\ Then (f.g).g will lift to h.g. In
particular, the lift K. g of (f. g ). g starting at v* has the same end-point as g.
Since f^(f.g ). g, we know that the end-points of / and h.g are the same.//
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:31:58, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.007
Coverings 153
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:31:58, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.007
Coverings 154
retraction onto Uf^ . Now the set W- UvU{V-; all /} is an open neighbourhood
of JC in Y. By Proposition 2.4 W* I is an identification space of the disjoint
union of U*I and the sets V.xl. Thus the maps from V-*I to Uf^ which
show the strong deformation retraction combine to give a continuous function
from Wx I to U. Then W is contractible, since it has a strong deformation
retraction onto the contractible set U.I I
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:31:58, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.007
Coverings 155
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:31:58, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.007
Coverings 156
that the sets (x,U) form a basis for a topology on Jt', which is the topology we
use.
We now show that p is continuous. It is enough to show that Up
is open for every basic neighbourhood U. Since Up is the union, over all
x € xp and all x € U, of the sets (x,U), this is immediate.
The next step is to show that p is a bijection from (x,U) onto U.
Take any ytU. Since basic neighbourhoods are path-connected, there is a path g
in U from x to y. Then [/.#] is in (x,U) and C/.£]p-.y, and so p is onto. Now
suppose that Lf.gl and If.hi are elements of (JT,£/) with the same image under p.
Then g and A are both paths in U from JC to some point y, and so g.h is a
loop in £/. Since H is sufficiently large, the loop (f.g).{f.h) represents an
element of H. So, by definition, If.gi - C/./r], and therefore p is one-one.
Since p maps each member {x,U) of a basis for ^T onto an open
set U, p maps every open set of X* to an open set of X. In particular, since p is
a bijection on (x,U), p is a homeomorphism from (oT,LO onto £/. It follows
further that if is locally path-connected, since each point JC° has a
neighbourhood (JC'.LO which is locally path-connected, being homeomorphic to U.
The next step is to show that Up is the disjoint union of the sets
(x,U) for all x ixp~l. First take any y\Up~X. Then (y,U)pmU, so that we can
find xl e xp with x^z{y,U). We have already seen that this gives (x^,U)m (y,U)>
and so y ^(^,U). That is, Up' is the union of the sets (x,U).
Now suppose that (x^,U) ni^yU)*^, where x^ p- x - JC^A Let jT be
in this intersection. Then (JC^,6/)- 6 s £ / ) - (JC^*^)- Smce p is a bijection on (y,U),
we see that jcl - JC^ » anc * s o ^P ls
* n e disjoint union of the sets (x,U).
Since these sets are open and connected, p will be a covering
provided that X is path-connected.
Let x e X be [/I, where /:[O,rl ->X is a path starting at v. Let / be
the path defined on CO,f] such that sft~sf for O^s^t. Let / be the function
from from CO,/-] to if defined by tf - [/p. If / is continuous, it is plainly the lift
of / starting at v, and it ends at x'. Hence X is path-connected if / is
continuous.
Take s e [0,/\l. Let U be a basic neighbourhood of sf. Choose 8 > 0
such that JfcU, where J-[O,r\n{?,\t-s\<h). Let iT be (C/,W). If r e / t h e n either
ft'fc-'S or femft.g (depending on whether t>s or t^s), where g is a path in U.
In either case, we see that 1/JelT. Hence jf £(?. Since ?pmf and p is a
homeomorphism from I? to U, we see that / is continuous at s.
We have now shown that p is a covering, but we still have to
identify the subgroup it belongs to. So we take a loop / based at v. This lifts to
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:31:58, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.007
Coverings 157
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:31:58, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.007
Coverings 158
lift starting at x of the boundary (c9l)d of the indexed cell (c,l). We saw in the
previous paragraph that this lift is a loop. We define p by {x,c)p~c and
m
{x ,c)p c~. Plainly p is a map of complexes.
Let c be (x^,c). We define the corresponding indexed cells so that
{c,\) has vertex JC' and boundary the lift e j , . . . ,e'n of the boundary e^,... ,e of
(c,l)c). We then define py to send ( c , / ) to (c,y), and we extend the definition to
the indexed cells corresponding to the cells of C {£) so that p t sends an indexed
cell and its inverse to an indexed cell and its inverse.
Let the indexed cell (c,i) with ctC+(K) have vertex y. Let y be in
yp , and take a path h with y - C/zl Let g be the path e^ e-^ from x to y.
Let JC' be [A.g ], and let g be the lift of g starting at x . Then the end-point of
g is ih.g .gl-lhl-y. By definition of the indexing of cells, it follows that y is
the vertex of the indexed cell (cj), where c is (x,c). Hence (c,/) is in the
image under pt of the set of indexed cells with vertex y.
Now suppose that (c,i) and {d,j) are two indexed cells with vertex
y with the same image under p, and both in C + ( A ) . Let c be (x,c) and let a
be (z,d). Plainly we must have c- d, and then JC - z, as both are the vertex of
(c,l). Also imj, since (c,/) - (c',/)p, - (<^,y)Pj - (cj). It then follows, with g as
before, that the lifts of g starting at x' and z both end at y. Hence x - z, both
being the end of that lift of g' 1 which starts at y. Thus (c,i) - (ct,j).
Now a cell in C_(f?) cannot have the same image under p as a cell
in C + (^), since the latter image is in C+{K) while the former is not. -It follows
easily from this and the previous two paragraphs that pt is a bijection from the
set of indexed cells with vertex y to the set of indexed cells with vertex y.
Hence p (with the associated pt) is a covering.//
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:31:58, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.007
Coverings 159
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:31:58, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.007
Coverings 160
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:31:58, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.007
Coverings 161
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:31:58, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.007
Coverings 162
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:31:58, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.007
Coverings 163
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:31:58, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.007
Coverings 164
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:31:58, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.007
Coverings 165
a covering transformation. It is easy to check: that these functions from the group
of covering transformations to N(H)/H and vice versa are inverses of each other.
That is, we have a bijection from the group of covering transformations to
N(H)/H.
Let 4> be another isomorphism, and let g be a path from v' to ify" .
Let P be the class of gp. Since g*p is a path from vcp~ to VM|T <p , the path
?>(g<P~ ) is a path from v" to ^(9^)" • The image of this path under p represents
aft, and so the image of 9^ is the coset of aft. Hence the bijection is a
homomorphism.//
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:31:58, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.007
Coverings 166
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:31:58, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.007
167
Proof Let F be free with basis X. Take a graph F with one vertex
v and one edge-pair for each element of X. By Corollary 1 to Theorem 5.17,
7ij(r) is isomorphic to F. There is a covering f of T belonging to the subgroup
H. Then H is isomorphic to rc^f), which is free, by Corollary 1 to Theorem
5.17 again, since f is a graph.
Since T has only one vertex, the set of vertices of f is vp~ , and
this is bijective with the set of cosets of H. That is, f has r vertices. Since T
has 2n edges, all of which start at v, f has In edges starting at each vertex of
f, by the definition of a covering. Hence f has 2rn edges in total, and so it
has rn edge-pairs. By Corollary 3 to Theorem 5.17, when r is finite the rank of
Tr^f') is rn-r+\.//
This version of the theorem does not tell us a basis for //, which is
the reason it is called the weak form of Schreier's Theorem. Theorem 4 gives the
more precise version which does tell us a basis.
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:32:36, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.008
Coverings and group theory 168
We now give a variant of the above proof which does not require
knowledge of coverings.
We construct a graph A whose vertices are the cosets Hg of H in F.
In particular, the coset H is a vertex which we take as our base-point. There is
to be a function X from the set of edges of A into X u X~ , which we call the
labelling of the edges. Starting at each vertex there is to be exactly one edge
with a given label. The edge with label xs starting at Hg is to end at Hgxe,
and the inverse of the edge with label x from Hg to Hgx is to be the edge
with label x from Hgx to Hg.
Using Corollary 3 to Lemma 6.1, we can show that A is isomorphic
to f, so that 7ij(A) is isomorphic to H. We shall show directly, without using
coverings, that this is true. Then, as above but using A instead of f, we see that
H is free, and we find its rank when its index is finite. The strong form of
Schreier's Theorem given in Theorem 4 can also be proved using A instead of f.
The map X obviously extends to a multiplicative map from paths of
A to words on X. If the path / ' comes from the path / by elementary reduction
then the word corresponding to / ' comes from that corresponding to / by
elementary reduction. It follows that X induces a homomorphism from Y(A), and
also from 7r.(A,//), to F.
In particular, an irreducible path maps to a reduced word of the
same length, and so the homomorphism from 7ij(A, H) to F has trivial kernel.
An easy induction on the length of the word shows that for any
word w and coset Hg there is exactly one path in A starting at Hg whose
corresponding word is w, and this path ends at Hgw. Thus an element w of F is
in the image of TTJA, H) iff //w- H. That is, the image is H.
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:32:36, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.008
Coverings and group theory 169
otherwise stated that x- eX and £^-±1 fo r<>n, and that e f + i ^ " e / . f° r r<n). Such
a transversal is called a Schreier transversal of H in the free group F with basis
X (or, more simply, of H in F{X); but note that the concept depends on the
basis X and not just on the group). Plainly we have 1 € S for any Schreier
transversal S.
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:32:36, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.008
Coverings and group theory 170
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:32:36, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.008
Coverings and group theory 171
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:32:36, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.008
Coverings and group theory 172
g~ (gg^Hg*?)' Since <p - <p, we have gg^ € kercp, and so (i) holds. Also, (ii) is
easy and (iii) is trivial.
Let Nm<xx'^; x € X> . Plainly iV.cker<p. Since JC = x<p mod N for
every xeX, and C7- <A>, we see easily that g = g<p mod N for every g€(7. So if
g€ker<p we have gtN.//
( w x £ ) H i - wH'(xs)HiW for a l l w a n d e - ± l .
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:32:36, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.008
Coverings and group theory 173
1 H
Hence y. {y- &ty) is a consequence of iu \u±T). It follows that H has a
presentation <y-x ; u for all utT>.
This presentation is more general than the one in Schreier's
Theorem, since T is an arbitrary transversal. It is not clear from this presentation
that H is free. However, we shall not bother to obtain the previous presentation
from this one when T is a Schreier transversal, since that can be obtained from
the graph-theoretic interpretation below of the current approach; also a related
simplification is obtained in the algebraic proof of Kurosh's Theorem.
Let T and P be the graphs previously considered. Let \T. be the
vertex corresponding to the coset H., and let e-x be the edge of P starting at
vj. which lies above the edge of F with label JC. The element ST" of T> regarded
as an element of TT^F), lifts to a path p- in P from v* to vj..
We know, by Theorem 5.16, that nJp) has a presentation with
generators Y, where y. maps to the class of the path p.e . p . , where v. is
**ixT ' a l s o t ie r e
^ ^ a t o r s correspond to the edge-paths p.. If we identify n^(P)
with H using the map induced by the projection from P to F then the map from
F{Y) to 7ij(f') becomes the map $ considered above.
Paths in F and elements of W can be regarded as the same. To each
word w and each coset H. we can find a unique path in P starting at vj. and
lying above w. This path defines, by replacing each e- by the corresponding
yix, an element of F(Y) which is just wHi. The property (uv)H' - uH* vH'u then
corresponds to an obvious formula about the lift of a product of two paths. Also,
rj
when we7\ the element w of F{Y) corresponds to the path p., where H- is Hw.
Thus the algebraic construction of a presentation for H is just
obtained by interpreting the graph-theoretic construction of the presentation
obtained in Theorem 5.16. We obtained in Theorem 5.17 a slightly simpler
presentation than the one in Theorem 5.16 by talcing a maximal tree and using
paths in it rather than arbitrary paths. Since Schreier transversals correspond to
maximal trees, this presentation is the one in Schreier's Theorem, and it can be
obtained from the presentation just constructed algebraically in exactly the same
way that Theorem 5.17 is obtained from Theorem 5.16..
A Schreier transversal can be obtained algebraically as follows.
Define the length of a coset to be the shortest length of any element of that
coset. Let TT - 1, and suppose that we have defined representatives for all cosets
of length < r, so as to satisfy the Schreier condition. Let Hw be a coset of length
r, and choose some w of length r in the coset. Write w as uxs, where u has
length r-\. Then Hu has a representative v already chosen, since Hu has length
at most r-\. Now vxe € Hw, and VJC€ has length at most r. Hence its length must
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:32:36, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.008
Coverings and group theory 174
be exactly /•, and it must be reduced as written. We can then take VJC£ as the
representative of //w, and the Schreier condition still holds. Thus we obtain a
Schreier transversal inductively.
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:32:36, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.008
Coverings and group theory 175
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:32:36, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.008
Coverings and group theory 176
>vot) "
We deduce that ^(Z,^. u T,v )/?*- XC7aX n //, and so 7r^(Z.a/- u T,v ) is isomorphic
to XG^X"1 n //.
This is almost what we want. We still have to show that the
elements X for a given a form a set of double coset representatives. This is not
difficult, as the subcomplexes ft^. can easily be shown to correspond to double
cosets. Thuis will be left as an exercise, as the algebraic proof below gives more
specific information, and a simplification of the above proof is given in the next
chapter.//
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:32:36, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.008
Coverings and group theory 177
has basis X^. We shall also choose one element of A, which we denote by 1.
We shall obtain a presentation of H (which is, of course, a free group in this
case) from which the result for arbitrary G^ can be deduced.
Let Hc_G, and let Ht (for / in some index set /) be the cosets of
//, with //j being //. For each a take an element a77T in the coset H-; this
a
element will be called an a-representative of //..We require that / / - l for all a;
no other conditions are required at present, though they will be imposed later.
Let K be a set with elements y. for all / and all x*UX . Let Z
be a set with elements z-^ for all i*\ and all a ^ l . We define a homomorphism
§:F(Y)* F(Z)-> H by
l / 7 ' - l , xHi*y. ix
, (x~l)Hi-(xHJ)~l where H.-H-x,
i j
and
and the last letter of u is in G* (when u has normal form g* . . . g the elements
gj and gn are called the first and last letters of u, and when u - 1 we say that
the first and last letters of u are in G for all a).
As in the algebraic proof of Schreier's Theorem, we can easily show
rj LJ -1/7
im
inductively that {uv) u ' z o z~ v J for all u and v, where H-H^u, and the
last letter of u is in <7« and the first letter of v is in G . In particular,
£ -E H H
{ux x v) f»(wv) '", and so these functions induce functions from G to
F(Y)*F(Z) with the same properties.
(inductively) Ifthat
the(u^'W-^H
first letter .ofu{$H
u is-uin)'*.
GMItand the last
follows that isthe
in restriction
GU we find<J> to H
l
H
homomorphis such that (JJ-9- is the identity. As
of the map sending u to u is a homomorphism
before, this shows that H has the presentation
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:32:36, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.008
Coverings and group theory 178
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:32:36, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.008
Coverings and group theory 179
Take any / and a, and any xiX^, and write um<x7J~ and v-aH-x
and H.- Hv~ Hux. Let the last syllable of u be in GU, the last syllable of ux in
£ , and the last syllable of v in 6^. Then y - a unless the last syllable of u is
JC , and in this case ux is the a-representative in the large, by the properties (i)
and (ii). Thus z- Z- is either 1 or a relator of the first kind.
Observe that 1 - (vv" 1 ) 7 7 - vH(v~l)Hv, so that {v'l)Hux « {vH)~l. Hence
the relators of the first kind and the relators [u ; all representatives u). We
proceed to simplify the second type of relator further.
Take any a and any a-representative in the large u. Let K^a be
[y- : JC eX and H.£HuG }. It is easy to check (inductively on its length as a
word in X u X^) that for any g^O^ the element g is in F(Y ).
Let v be any a-representative, and write v as ug, where u is the
a-representative in the large and giG . Then v - u Zn Z • g , where H is
Hu and the last letter of u is in GU. It follows that this element g is a
relator. It also follows, by induction on the length of a relator, that every relator
is a consequence of relators of the first kind and those relators which are of
form gHu.
We have therefore shown that H has a presentation on the
generators z- and j>. in which each defining relator is either of the first kind
or is in some F{Yu(x). Hence H'(F{Z)S)* *(F(YU(X)&). Also F(Z)& is free, since
the relators of the first kind simply identify certain elements of Z.
Let u be an a-representative in the large, and let H-^HuG and let
x c ArQt. Then the representatives a7TT and a / / ; j c are ug and ug' for some g and
g'*G . Thus y. &- (ug)x(ug')~ iuG' u~ , and, of course, y- 8-e//. Conversely, let
hdlnuG' u\ Write h as K£H \ Then {ug)n ~ u" lgMU , where 5 is a relator of
the first kind, and (hu)n - {to\>)un, since /ze//.As remarked, s " is in F(K ).
n n
Since [hu) - {ug) , we see that A- A<l#- g # t F{Y )§. It follows that
F{Yuo()§ - Hc\ uGau . This proves Kurosh's Theorem when each G is free.
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:32:36, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.008
Coverings and group theory 180
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:32:36, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.008
Coverings and group theory 181
2 2
Exercise 1 Let G be <a^,... ,an ; a^ ... a >. Let (p,^:Cr-> ^ be the
homomorphisms given by tfj<p»l, a.(p - 0 for / / I , and <^4"1 for all /. Use the
Reidemeister-Schreier Theorem to find presentations of ker<p and kenjj with
2(n- 1) generators.
Exercise 2 Let G be <a, £; aS,bS,{ab)2\ and let TV be <ab'3>G. Show
that (a', 0 ^ / ^ 7} is a Schreier transversal for N. Show that /V has a presentation
<xyy,z,w\ xyzw wzyx>, where x, v, z, and w are among the generators of N
coming from the stated Schreier transversal. Find a presentation for N in terms
of the generators x, y, u, and v, where wyxz and v~wz.
2 3
Exercise 3 Let G be <a, b\ a ,b >. Find a normal subgroup of index
6, for which the Reidemeister-Schreier method (and some Tietze transformations)
shows that the subgroup is free. Find another proof that the subgroup is free.
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:32:36, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.008
182
8 BASS-SERRE THEORY
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:32:37, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.009
Trees and free groups 183
Note that when G is free with basis 5, the tree T(G,S) is the graph
obtained in Chapter 5 as the universal cover of the graph with only one vertex
and with one edge-pair corresponding to each element of S.
Let the group G act on the graph X. If there is some gzG and some
edge e such that ge - e~ we say that G acts with inversions; otherwise we say that
G acts without inversions. Plainly G acts on V{G,S) without inversions.
We discussed in section 5.5 how to construct from any complex K
another complex K\ which we called its barycentric subdivision. When K is a
graph, which is the only case that will concern us, AT' is just obtained by
subdivision of edges (for a general complex we have to subdivide edges, and
then subdivide cells). It is easy to see that if G acts on a graph X then it also
acts on its subdivision X\ Also, G always acts on X' without inversions.
Because of this, in future when we are given an action of a group
on a graph we shall always assume that the group acts without inversions.
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:32:37, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.009
Trees and free groups 184
Lemma 3 Let p:X •> Y be locally injective. Let 9 and i[> be maps
from a connected graph Z to X such that (pp'typ. If there is some vertex z
such that Z9 - zty then 9 - ty.
Proof Let S be {ve V{Z)\ V9 - VIJJL Take an edge e with eo*S. Then
29 and ety both begin at ^09 ( - eoty, by hypothesis) and have the same image
under p. As p is locally injective, this implies that 29 - ety. In particular,
ei(p - #9X - eijn - ex4>, and so ex c *S\ Since Z is connected, and 5*9*0 by hypothesis,
Lemma 5.1 tells us that S - K(Z). This, combined with what we have just proved
about edges, tells us that 9 - ^ . / /
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:32:37, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.009
Trees and free groups 185
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:32:37, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.009
Trees and free groups 186
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:32:37, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.009
Trees and free groups 187
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:32:37, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.009
Nielsen's method 188
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:32:37, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.009
Nielsen's method 189
required to reduce the product u^ •.. un do not affect any [L{U-) for / - 2 , . . . ,/z.
Since no part of ^(z^) sets cancelled, the product u~...u must begin with
W y
X(«2W 2^- ^ definition of p(ttj) and \{u^), in the product tt^ cancellation
tnat we
cannot affect [L{U^) or ^(z^). (Note require S to be Nielsen reduced in
order that the segments \L(U-) are defined.) Since both u~...u and u~ begin with
\(u2)^(1^2), it follows that in the product a ^ * *" un cance
^ a t i ° n cannot affect
u(Wj) or (1(2^2)- Since it does not affect u(ii2), it cannot affect any of the
segments \±(u.) for i>2, as these occur to the right of lUt^)-
Since 2lp(z^)l ^ Iwjl, we see that we also have I t t j . . . u^ * Iz^ • • • "^'«
Applying this to ( u « . . . u ) , we also obtain IK« . . . a I ^ l i / | . . . 1/ , 1 . / /
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:32:37, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.009
Nielsen's method 190
1 / A. Suppose that we had distinct x and y in A such that \x£y I < \y\ for some
choice of E and 8 as +1. Since x r <xEy ,y> and yt <x^y ,JC>, this contradicts the
assumption that x * A if y< x and the assumption that ycA if x <y. Thus
condition (Nl) holds for A.
Since (Nl) holds, (A/2) will also hold unless we have elements JC, yy
and z in A with x ?*.y ^ e such that xE - up , y ~ pq , and z^ " qv> all reduced
as written, for some choice of e, 5, and r\ as ±1, where there is no cancellation
between p and v or between u and <? , and \p\-\q\ and Ipl^lal and \p\<-\v\.
Taking inverses if necessary, we may assume that 8 - 1 . Since yzA, we have
y<y , and so p<< q.
If T]=l w e h a v e y<z a n d yzmpv<Z, c o n t r a d i c t i n g z * A. If T J - - 1 a n d
m
\y\ - \z\ w e h a v e y z a n d zy v p ' v q -<:, with the same contradiction.
S u p p o s e that T J - - 1 a n d \y\ - 1^1, a n d s o \p\ - Ivl. If p< <v we again have y z
a n d zy < z, w h i l e if v" < < p w e h a v e zKy a n d zy <y* t h i s t i m e c o n t r a d i c t i n g
yiAJI
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:32:37, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.009
Nielsen's method 191
Remark Our proof will show how to find the elementary Nielsen
transformations which obtain T from S.
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:32:37, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.009
Nielsen's method 192
There are elementary Nielsen transformations which send each pair onto the next
one and which fix u,K for i^kitj. The product of these will transpose u-i and u..
j
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:32:37, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.009
Nielsen*s method 193
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:32:37, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.009
Nielsen's method 194
cancels into u then u is WJC, reduced as written, and then we7\ which gives
w-t since tzGux: . In both these cases rjcw" - 1.
Now we have Iwl^ 1/1 + 1, since /\x and u are in the same coset, and
u is the shortest element of its coset, and, for a similar reason, we also have
l/i£lal + l. It follows that in txu , the element x is the middle element when
txu has odd length and is one of the two middle elements when txu has
even length.
Notice that the inverse of a generator is of the form px q \ where
p and q are in T and qzGpx .
Now suppose that we have two non-identity elements tx£u and
py q which are generators or inverses of generators. It is enough to show that
in the product txsu~ py q cancellation cannot reach the factors JCE and j ; unless
the two elements are inverses of each other. For this property, together with the
fact that JC£ and y are (one of the two) middle elements is equivalent to
Nielsen's conditions.
Suppose, if possible, that this does not hold, and assume that
cancellation reaches JC£ first. We cannot have u - p, as y cannot then cancel
against xs unless our elements are inverses of each other. So, by assumption,
ux~s must be an initial segment of p. Since T is a Schreier transversal, this
means that ux £ e T. Since t* Gux e and t* T, we find /- ux £, contary to our
assumption that tx£u~ ±\.ll
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:32:37, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.009
Nielsen's method 195
since in this case the whole of v does not cancel in reducing uvw. Further,
Lemma 14 L e r b^, ... ,bn be in F{X), and write a.~ b^... b. ^ for
0 < i z n, and c - - b.- ... b for 0 ^ i < n. Suppose that, for 0 < i < n, we have
l<3 la l<3 an< lc lc Su se
/+l' ^ /'' /+l' ^ ' ^ / ' ' * /-l' ^ /'* PP° father that \b^ . . . b^ < \b^ . . . b^\.
T h e n , for 0 < i < n, \ a . + J ~ \ a - \ and I c ^ j i - Ic-I.
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:32:37, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.009
Nielsen's method 196
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:32:37, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.009
Nielsen's method 197
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:32:37, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.009
Graphs of groups 198
arbitrary partial ordered sets (the partial ordering being g i v e n by wv if lul -• Ivl).
Let a be an element of U of m a x i m a l length. If a occurs twice in
the sequence u.9... ,u then we have the required r and s. If a occurs only once
(or not at all) take k such that u^m a. If k>2m~ then u^,... ,u^_^ is a sequence
of at least 2m elements of U-ia), while if k-~2m~ then u ^ % . . . ,un is again a
m
sequence of at least 2 ~ elements of U-{a). Inductively, such a sequence will
contain a suitable pair of elements uf and u^.//
we refer to a generalised graph of groups. The groups G and 6' are called
vertex groups and edge groups of @, respectively. Note that, because G-~Ge
and e~T - ea, we also have a monomorphism (or homomorphism, in the
generalised case) from G> to Gy . We shall use T and o to denote the
homomorphisms from G to G^ and 6 ^ o . If we wish to draw attention to the
graph X we will say that & is a graph of groups on X, or that the pair (&,X) is
a graph of groups.
Let @ be a generalised graph of groups. Let E be the free group
with basis FAX), the set of edges of X. Let F(&) be the group
where N is the normal closure of the subset {e (ao)e{ai) ; ec
a^. Ge) u {ee~\e t E{X)}. Note that when @ is a graph of groups (rather than a
generalised one) F{®) is an HNN extension of *C?v with one stable letter for
each edge pair. Notice that we can regard any path in X as an element of E,
and hence as an element of F(&).
Let T be a maximal tree in X. We define n(®9X,T) to be F{&)/My
where M is the normal closure of [e\e t T)\ that is, n{&,X,T) is obtained from
F{&) by adding relations e=\ for all <? e T.
Let v Q 6K(A r ). We define 7r(@,Ar,v()) to be the subset of F{&)
consisting of all elements which can be written in the form £o e 1^1^2 ' " ' e 8
nn
such that < ? j , . . . ,en is a loop based at VQ and £Q e 6^ and g. e GQ T for 1 % i ± n.
We allow « - 0 , in which case we just have an element of G . This subset is
v
o
plainly a subgroup.
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:32:37, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.009
Graphs of groups 199
Examples Let all the vertex groups and edge groups be trivial.
Then TT(@) is just n^X).
Let all the edge groups be trivial. Then TT(@) is the free product of
7i.{X) and all the vertex groups. In particular, suppose that we have groups G-
for / in some index set /. Let 0 be a symbol not in /. Let X be the graph
whose vertex set is /u{0}, with one edge pair (e-,e~-) for each /, where efi-Q
and e-i - /. Let & be the graph of groups on X in which all the edge groups are
trivial, G. is the given group for / € /, and GU is trivial. Then n(&) is the free
product of the G-.
Alternatively, choose some /Q C /. Let Y be the graph with vertex set
/, and one edge pair {>.,e~.} for all i^ir\, where eo^i^ and e-imi. Let ^ be the
graph of groups on Y with all edge groups trivial and with G- being the given
group for each vertex /. Then TT(^) is also the free product of the G-. The
advantage of the first formulation is that all vertices play the same role, whereas
in the second formulation we have to treat one vertex in a special way (but we
need no additional vertices).
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:32:37, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.009
Graphs of groups 200
Proof Suppose that we have shown that for any graph of groups £
on a tree T and any subtree S of T the map from n{^\S,S,S) to n(iQ,T,T) is a
monomorphism. In particular it will follow that the map from H to 7r(£,7\7") is
a monomorphism.
Now n(®,X,T) is defined to be a pseudo-HNN extension of
n{<8\T,T,T), and this will be an HNN extension if each Gy embeds in it(®\T,T9T).
For the same reason, iz(Q)\Y9Y,S) will be an HNN extension of %{®\S,S9S). If we
also know that n(®\S,S,S) embeds in 7r(@l7\7\n it will follow from Proposition
1.34 that n(®\Y,Y,S) embeds in iz(®,X9T), as required.
So we start with a graph of groups ^ on some tree T9 and a
subtree S of T. We first consider the case when T is finite, and use induction
on the number of vertices of T.
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:32:37, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.009
Graphs of groups 201
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:32:37, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.009
Graphs of groups 202
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:32:37, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.009
Graphs of groups 203
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:32:37, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.009
The structure theorems 204
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:32:37, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.009
The structure theorems 205
Y e G such that eji - yAey). For e z AnT we have ejx - eiy, and we choose y to
e
* _i *
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:32:37, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.009
The structure theorems 206
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:32:37, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.009
The structure theorems 207
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:32:37, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.009
The structure theorems 208
vk. We denote this automorphism by <p and we will write it on the left. If h is
also in Gv we see that both 9 <P^ and <p ^ fix v/: and extend gh. By uniqueness,
Now take any j;« .4. The element j> of G gives an automorphism of
f which sends yij to yji. This extends uniquely to an automorphism 9 of W
such that cp sends yr& to ykx.
Let j ; be in A and g in Go. Then (cp (yk))o - 9 Ayko) - 9 (yak) - yok
(by the definition of cp ) which equals j;X:o. Also (cp (yk))q- g{yj) - yj, because
o o
gtGo, and this equals {yk)q. Since 4 is locally injective, cp fixes yk.
y o
Let y be in A and A in O' Then cp^. extends hi and fixes yzk,
since hi ( G . We have seen that <p, fixes ,y&, and consequently fixes ^ x . Thus
9 <P^ 9 fixes yik (remember that these automorphisms act on the left!) and it
also extends y (ho)y, which equals hi in G. Then uniqueness of extensions shows
that cp <P^09 * 9/JX • Also, if y*T we have yij'yji and yzk-ykt, and so cp is
the identity.
Thus we have homomorphisms from each G into AutPV, and
elements cp^ of AutW. From the facts above and Lemma 20, these give a
homomorphism from G to AutVK; that is, they give an action of G on W. Any
element of f (whether vertex or edge) can be written as g{yj) for some unique
vertex or edge y of Y. The construction of t and the remarks made about
elements of W fixed by certain elements of G then show that the element g{yk)
of W depends only on the chosen element of Y and not on the choice of g.
Thus we have a function s:f'-» W. It is easy to check that 5 is a map of graphs
such that sq is the identity on Y. Thus Y' maps injectively into the tree W.
Since we already know that Y is connected, it follows that Y is a tree. That is,
we have proved the following theorem.
We have now made two constructions. The first starts with a group
acting on a connected graph and constructs a graph of groups, while the
second starts with a graph of groups and constructs a tree on which a group
acts. We need to elucidate the relationship between these two constructions.
As already remarked, if we start with a graph of groups, construct
from it a group acting on a tree, and then construct from that a new graph of
groups, then the two graphs of groups are isomorphic.
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:32:37, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.009
The structure theorems 209
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:32:37, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.009
The structure theorems 210
Proof Let AT0 be 7y, let X* be the subgraph consisting of all edges
in Yj and all endpoints of these edges, and let H be 7rcp. Since K- CAAf, we have
X~GX*. Every vertex of Y is a vertex of T. Thus K(A'1)» K(,V2) u (eyi; e L A}.
For «?€i4 we have ejT~ye(eij)( HV(X2), since yff f //. Also, if gV(X2) nV(X2)*0
m
there will be vertices y and £ of Y such that g(yj) zj. By definition of y, this
requires that y- z. We will then have gcstabOV)- C/t , and so gt //. Thus the
conditions of the lemma are satisfied.//
We can now prove the main theorem, using the notations above.
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:32:37, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.009
Applications of the structure theorems 211
Proof We know that 7i(@) acts on the tree X\ and that the vertices
<>, -i
of X are [g,v] with stabilisers gG g , where g is given up to its coset gG . The
//-stabiliser of Cg,v] is HngGvg -1, and Cg.v] and C^ ,v] are in the same //-orbit iff
g and £j are in the same {H,GJ double coset. We know that //-7i(^), where the
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:32:37, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.009
Applications of the structure theorems 212
underlying graph of $ is H\Jt, and that the vertex group at a vertex of H\Jt is
the stabiliser of a corresponding vertex of Jt. A similar result holds for edges.
This proves the theorem.//
What groups can act on trees? Plainly, any group can act trivially
on any tree. More generally, the exercises show that for any group there are
many trees on which the group acts non-trivially but stabilising some vertex.
Thus the interesting question is what groups can act on trees with the action
stabilising no vertex.
Any HNN extension and any proper amalgamated free product can
be written as the fundamental group of a graph of groups with only one
edge-pair. The universal cover of this graph of groups is then a tree on which
the group acts without stabilising a vertex.
Let G be the union of a strictly increasing sequence of subgroups
G• . Let X be the graph with one edge-pair te ,^} for each n, and one vertex vn
m m
for each n, where eja
n vn and ejt n vMn+.,i . Then G is the fundamental group
« * * - of
the graph of groups on X with the groups at the vertex vn and at the edge en
both being G . Again, the universal cover of this graph of groups is a tree on
which G acts without stabilising a vertex.
We shall see in Theorem 29 below that these are the only possible
groups which can act on a tree without stabilising a vertex. However, the trees
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:32:37, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.009
Applications of the structure theorems 213
involved may correspond to more complicated expressions of the group than the
ones above.
Let T be a (7-tree. We say that g translates the edge e if there is
an irreducible path e^9...fen with e^{eye~\ such that g{e*o)mej and ge^e~n.
Proof If (iii) holds, the path e^,... >e shows that g translates e^.
Conversely, if g translates an edge, then from the irreducible path e , , . . . tem
i n
whose existence is assumed we get a seqeunce of edges satisfying (iii) by
defining e^^ to be g e. for all ktZ. and l
Suppose that g stabilises no vertex. C h o o s e the vertex v s o that the
irreducible path from v to gv is as short as possible. Let this path be e j , . . . ^ .
Then g(e*o)m gv ej, and (ii) holds provided that ge^^e^. Since G acts without
m
inversions, w e cannot have ge* - e~ if n \. If n>\ then ge* m e~ would tell us
e e startec at e x anc enc
that the path 2'"' /z-l * \ * *ed at g(e*T), contradicting the
choice of v.
Finally, suppose that (iii) holds. Take any vertex v. Take / s o that
the irreducible path from v to ep is as short as possible. Let this path be
jct,...,jc . Evidently, w e have e- *x *e~.. It follows that the path
l m i-\% m i
x x e e x an
\ >• • •» ~,> ;•> — -> ;±» i»& ~~,»• • •»£-^i is irreducible path from v to gv, and
so vtgv./l
stable o)cstab{e +*o) for all n {from which we see that stable o)m stab e ) and
G'Ustab{en) but G*stab{en), {Hi) some element of G translates some edge e.
In case {iii) G is either a proper amalgamated free product with GQ as
amalgamated subgroup or is an HNN extension with G as an associated
subgroup.
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:32:37, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.009
Applications of the structure theorems 214
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:32:37, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.009
Applications of the structure theorems 215
Exercise 4 Let G be any group, and let T be any tree and v any
vertex of T. Take disjoint copies T of T for ail g*G. Take the union of these
with the vertices v for all g being identified to a single vertex. Show that this
is a Octree such that G stabilises a vertex, and such that no #*1 stabilises any
other vertex.
Exercise 5 Let G be any group, and let T be any tree and v any
vertex of T. Show that there is a graph of groups @ on 7* whose fundamental
group is G. What other graphs of groups can you find whose fundamental group
is Gl (There are some easy modifications of the graph of groups already found
which apply for all G. There are also other examples, depending on the subgroup
structure of G.)
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:32:37, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.009
Applications of the structure theorems 216
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:32:37, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.009
Applications of the structure theorems 111
Now let A" be a G-tree, and let Y, T, and j have the same meaning
as in the previous section. Orient X towards some vertex a of Tj. We say that g
is negative for e if ge and e are differently oriented. We say that a (7-orbit of
edges is reversing if for some (and then for every) edge e in the orbit there is
some g such that g is negative for e.
Lemma 31 There are finitely many reversing orbits iff there are
finitely many edges of Y not in T and also there are only finitely many vertices
v of Tj such that stab(v)*stab(ev).
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:32:37, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.009
Applications of the structure theorems 218
irreducible loops. Since VQ e Tj, we know that every vertex of the path, and so
partic
vn in particular, lies in Tj. This is impossible, as Tj contains only one vertex in
each orbit.
Suppose that there is some r with 0<r<n such that e- points
towards a for i^r and away from a for i> r. In particular, e^ and e have
different orientations. As g is negative for e, we see that en* ge. If VQ*Z, we
know that e-tZ for all i<r, since e- points towards a; in particular, e e Z. If
VQ • Z, then any edge with vertex VQ lies above an edge in T. In particular, the
edge g~ en_i which ends at g~ (en<*)m VQ is hx for some h*G and JC e Tj. Since
xizTj and /Z(JCT)-VQ, and 77 contains only one element in each orbit, we must
a n d let e
have xx - VQ, and so hv^ - VQ . Let v_^ be hg vn_2> o ^e ^ « - l *
Consider the path e^,e*,... ,e , .Since e points towards a and v^4 Z, we know
we
that stabvQ- stabe. Thus he^ - e, , and since ^ i ^ ^ . i * have e+2e~Q, so that
the path is irreducible and e~^ points away from a. By induction on n-r, we see
that there must be an irreducible path whose first r+1 edges point towards a,
with e among these r+l edges, and whose first vertex is in Z. As already
remarked, it then follows that each of these r + l edges, and so e in particular, is
in Z.
We are left with the case when e -t points away from a for all /. We
m v m v
must have e ge~, and so n S r\- Since v ^VQ and VQC77, we have v 4 Tj.
Take r so that v.e7y' for i^r but v^- 4 Tj; r>0, by our assumption on e. If e
lies above an edge not in T then v ^ Z , by definition of Z. We then find that
e € Z, by our remarks about the orientation. If ef lies above an edge in T, ^h
with he^Tj. Then hv^Tj, and so hvf~vr. Now take the path
e j , . . . , er, her+i,..., hen. If this path is irreducible, then, since e^ points away
from a, all edges point away from a, and e is in Z, by induction on n-r. If this
path is reducible we must have her+^m e~r, which points towards a, and so e y is
her^. As er+\*e~ry we
have ^er+\^er+\- Thus, by definition, v^cZ, and, as
before, e e Z.I I
Proof G has as homomorphic image the free group n^(Y), which has
one basis element y for each edge-pair iy,y~) not in T. Hence there are only
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:32:37, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.009
Applications of the structure theorems 219
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:32:37, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.009
Applications of the structure theorems 220
//nstabv is finitely generated for each vertex v, and the same for K. Since stabv
has the Howson property for all v, by hypothesis, we know that HnKn stabv is
finitely generated for alt v. Using Lemma 32 again, the theorem follows if we
can show that there are only finitely many reversing (Hn K)-orbits.
Now any reversing (//n/Q-orbit is plainly in the intersection of a
reversing //-orbit and a reversing AT-orbit. Since there are only finitely many of
each of these, it is enough to prove that the intersection of an //-orbit and a
AT-orbit contains only finitely many (//n K)-orbits.
Let e be an edge with stabiliser A. Then ge c He n Ke iff
g e HA n KA. Now HA n KA is the union of the sets Ha n Kb for a and b in A.
Each of these sets is either empty or a coset of HnK. Since A is finite, HA n KA
consists of the union of finitely many cosets of HnK. In particular, it is the
union of finitely many double cosets (Hn/Qg^A, and so ge is in the (//n/Q-orbit
of one of finitely many edges g^e.lI
Howson's argument for free groups was very different from the
above proof, and gives a bound on the rank of HnK in terms of the ranks of
H and K. We give a graphical version of Howson's proof.
Let F be any connected graph, and let T be a maximal tree in F.
Let B be the set of edges not in T. Let F* be the subgraph of F consisting of B
together with all vertices and edges on the irreducible paths in T joining two
vertices of edges in B. We say that an irreducible loop e^9...9en is cyclically
irreducible if e+
i * e*
n .
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:32:37, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.009
Applications of the structure theorems 221
From (i) and (ii), F* can be described as the set of edges lying in
some cyclically irreducible loop, together with their vertices. In particular, F*
does not depend on the choice of T. We call F* the core of F.
The inclusion of F* in F induces an isomorphism of 7tj(F*) to 7ij(F),
since by (iii) and Corollary 1 to Theorem 5.17 both have the same basis.
If TT^F) is finitely generated then B is finite, and so F* is finite.
Let F be a finite connected graph with m vertices and n edges. Let
d. (or ^ ( F ) , if we need to consider several graphs) be the number of vertices
with / edges starting at the vertex. Then mmTd^ while 2nmI.id-9 since there are
2/z edges in all, and for each / there are d- vertices at which exactly / edges
start. By Corollary 1 to Theorem 5.17, rc^F) has rank n-m + \. Thus
2(rank7rj(F)-1)-Z(/-2)^.. In particular, if F has vertices of degrees 2, 3, and 4
only then 2(rank7T|(F) -1) - d~ + 2d^.
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:32:37, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.009
Applications of the structure theorems 222
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:32:37, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.009
Applications of the structure theorems 223
denote by X/=t whose vertex set is the set of equivalence classes of V and
whose edge set is the set of equivalence classes of E, and that we have a
C?-map p from X to X/=. We need e~ not to be equivalent to ge in order to
ensure that G acts without inversions on X/= (and to ensure that "~ does not fix
any edge of Xl=).
Let J be a G-graph. A fold consists of a pair of edges e^ and e^
anc
such that e j G - ^ o * e2 * ^\ u (
^ l * When f.X + Z is a map of (7-graphs and
m
we also have e*f e~f, we refer to a fold along f
Let X have a fold. Let = be the smallest equivalence relation on E
such that ^2 s e l anc
* suc
^ ^at ^ JfS
J ; t ^ ien x~=if anc
* S-x=©>. We construct the
Cr-graph XI s as above, and we denote A7= by K The condition that e^ 4 Ge~^ is
needed to ensure that G acts without inversions on Y (and to ensure that ~~ fixes
i s use< t o ensu
no edge of Y) , while the condition e^ * ^ i * r e that if no edge of
X is fixed by a non-trivial element of G then the same holds for Y. Plainly, if
we have a fold along the map / then there is a map f:Y-> Z such that fmpf'.
We will call X edge-free if every edge has trivial stabiliser.
X
~ e\x' ^ e s e e ^ a t ^Y a n d £Y a r e * n d u c e c l ^ r o m ^x anc^ £X'
By Lemma 5.13, since X is a tree, we have k e r c ^ - 0 and
.. It follows easily that kerdy-0 and kerEy- imdy, which, using
Lemma 5.13 again, shows that Y is a tree.//
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:32:37, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.009
Applications of the structure theorems 224
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:32:37, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.009
Applications of the structure theorems 225
v 2 / - Vj/. Choose Vj and v 2 with Vj/- v 2 / such that the irreducible path p (which
must have positive length) from Vj to v 2 has minimal length. Then pf is a
closed path in Y. Since Y is a tree, it follows that we must be able to write p
w
as p, e* e2P2 ^ e r e e i anc* ^2 a r e 2 1
If we had e2 € Ge^, we would get e^/c 6(£j/). This cannot happen
as G acts without inversions on Y. Since e 2 a - e^o we have a fold along / unless
e2tGev
So we may assume that there is some g such that e^mge2. Thus
g(e2f)" ^ 2 / and g{e2a) - e 2 a. Since the second of the two conclusions was
supposed false, it follows that g fixes all of Y; in particular, it fixes v 2 /. Since
e"j - ge2, the path gp2 starts where Pj finishes, and so we have a path <7 which
consists of p« followed by gp2. This path starts at Vj and finishes at gv2, which
are not in the same <7-orbit. Also we have v ^ - v 2 / - g ( v 2 / ) - ( g v 2 ) / . Since q is
shorter than p, this contradicts our original choice of Vj and v 2 .
Now suppose that there are edges e^ and e2 such that e2 4 Ge* but
e2f* CJ^e^f). As in the first part, we may assume that e^ and e2 are chosen so
that e2f~ e^f and so that the irreducible path from e^o to e2o has minimal
length. We get the same contradiction as before if this path has positive length.
If this path has length 0, so that e^a - e 2 o, we have a fold along / , since
e^f- e2ft e2 4 Ge^, and e2 4 Ge^, for the same reason as before.//
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:32:37, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.009
Applications of the structure theorems 226
Proof Let Y be the graph with one vertex v a for each a, one other
vertex v, and one edge-pair {e^ 7e~Q(] joining v to each v a . Let @ and # be the
graphs of groups on Y with G (or H^) being the vertex group at v , the vertex
group at v and all the edge groups being trivial in both cases. Let X be the
universal cover of (®,Y), and let f be the universal cover of ($,Y). Applying
Lemma 39, and restrcting to the subgroup A, we have an ^4-map from X to f.
Because A$m%H a , we find that AX?mY. Since the action of %Ha on f is
edge-free, an element of A which stabilises an edge of f must fix all of f.
By Lemma 37, there is an edge-free ^4-tree Z and an ^4-map f.Z+Y
such that / has no folds. Then Lemma 38, together with the above remarks about
the action of A on V, tell us that the induced map from A\Z to Y must be an
injection. This map must also be a surjection, since / comes from a surjective
map from X to f by factoring out an equivalence relation. Thus we may as
well identify A\Z with Y.
Let j:Y-*¥ be the function considered in the definition of the
universal cover. Suppose that we can find a function kiY+Z such that kf~j.
Then the Second Structure Theorem tells us that Am%A^y where A^- stab(va&).
Also A $£Stab(v kf)m H . Since $ maps A onto %H , it must map A onto
Now there will be a vertex u of Z such that ufm Cl,v], since there is
a vertex of X which maps to Cl,vl There will be an edge z^ of Z starting at u
whose image in Y is e^. Then z^f will be ^-h,e^\ for some httH^. We have
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:32:37, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.009
Applications of the structure theorems 227
Cl,v] - uf~ Zqff' Zqfo - CA,ea]o - CA,v3. Since the vertex group of ^ at v is trivial,
this gives hm\. We may now define k by vkm u, e km z , and, necessarily,
and v
*"<**" *a <x*'V7/
Proof Let G - #a<P > let cpa be the restriction of cp to C?a, and let
<& be the induced map from %G^ to *// a . Because <p is onto, we have G^y - H^,
and so $ is onto. Let fr*^ "* F be the homomorphism which is inclusion on
each C7a, so that $ - $ 9 . Since each G^ contains kercp, we see that im^2ker<p.
From this it follows easily that # maps onto F. Since F is free, there is a
homomorphism ty:F->*G such that ^ is the identity homomorphism on F. Then
4> embeds F in *G , and the result follows by applying the theorem to Fty./I
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:32:37, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.009
Applications of the structure theorems 228
Proof Let Y be t;he graph with two vertices v 1 and v^ and with one
edge-pair (e,el joining v l and V2. Let @ be the graph of groups on Y with (
being the vertex group at v. for / - 1,2, with the edge group being trivial. Let £
be the graph of groups on Y with H- being the vertex group at v. and the edge
group being HQ. Let X be the universal cover of (<&,Y), and let Y be the
universal cover of ($&,Y). As in Theorem 40, there is an A-map from X onto f9
which, factoring by an equivalence relation, gives rise to an edge-free -4-tree Z
and an .4-map f.Z-*Y.
As before, A\f - Y, and / induces a map from A\Z onto Y. If this
map is injective then A\Z is isomorphic to Y. The Second Structure Theorem
then shows, as before, that the first case in the proposition holds. If the map
from A\Z is not injective then Lemma 38 shows that the second case of the
proposition holds.//
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:32:37, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.009
Applications of the structure theorems 229
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:32:37, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.009
Applications of the structure theorems 230
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:32:37, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.009
Applications of the structure theorems 231
for all such vertices, and perform the similar construction for the vertices of form
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:32:37, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.009
Applications of the structure theorems 232
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:32:37, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.009
Construction of trees 233
of a graph of groups, one vertex group being H, and all edge groups being
finite.
The proof of this is a routine, but messy, generalisation of the
proof of Theorem 43. It would be possible to generalise the definition of M.Hall
groups so as to obtain a similar generalisation of Theorem 42.
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:32:37, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.009
Construction of trees 234
wX - vX - ±1, and (ii) would automatically hold. But it is more useful to permit
arbitrary adjacency relations; for instance, if V is a C7-set then T will be a
(7-tree iff the adjacency relation is preserved under the action of G.
Proof There is a graph T whose vertex set is V and such that there
is one edge-pair joining v and w for any two adjacent vertices v and w, and no
edge-pair joining non-adjacent vertices.
By induction on vX, there is for each vertex v a path joining v~ to
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:32:37, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.009
Construction of trees 235
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:32:37, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.009
Construction of trees 236
Proof Suppose that x^y and y^z. Then there is an irreducible path
beginning with x and ending with y, and an irreducible path beginning with y
and ending with z. These paths fit together to give an irreducible path beginning
with JC and ending with z, so that x * z> Further, if x<y and y^x we must have
x - y, since otherwise the paths fit together to give an irreducible path of length
> 1 beginning and ending with x, which is impossible as T is a tree. Thus * is
a partial order.
Suppose that x^y. Then the inverse of the irreducible path
beginning with JC and ending with y is an irreducible path beginning with y~ and
ending with JC\ so that >T <: x~. Also, the unique irreducible path from xa to
yTx-yo is obtained from the original path by deleting the edge y. In particular,
its last edge cannot be y~, so that we do not have JC* jr. Similarly we cannot
have x±y. (Alternatively, (v) is an immediate consequence of (iv) and (iii).)
If the irreducible path from xa to y% does not end in y we ccan add
the edge y~ at the end and still get an irreducible path. Similarly, if the path
does not begin with x we can add the edge x at the beginning and still get an
irreducible path. This proves (ii).
Suppose that x^z^y- Then, as already seen, there is an irreducible
path beginning with JC, ending with y9 and containing z. Since there is only one
irreducible path starting with JC and ending with y, z must be one of the edges
on this path, proving (i).
If jcx-yi and x*y then JC, jT is an irreducible path, and so JC^JT.
Further, by the previous paragraph, there can be no edge z such that x^z^y'
and jc*z*jT.Conversely, if JC *y and there is no edge z such that x^z^y~ and
m m
then either x y~ or JC,JT is an irreducible path, so that JCT- y"a yx.//
Proof Write JC<^ if jc^.y and JC^^. Write x<y ifjc<;> but there is
no z such that jc<?<.y. It is clear from (iii) that if x<y then y" < x~.
Write x*y iff JC-J> or x<jT. We will show that s is an equivalence
relation. When this has been shown, we obtain a graph T with E(T)m E such
that V(T) is the set of equivalence classes, with JCT being the equivalence class
of JC (and JCO being defined as JC~T).
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:32:37, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.009
Construction of trees 237
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:32:37, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.009
Construction of trees 238
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:32:37, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.009
Construction of trees 239
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:32:37, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.009
Construction of trees 240
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:32:37, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.009
Construction of trees 241
and \G\ divides 1*1 or (using known properties of infinite sets) if * is infinite
and 101*1*1.
Suppose that we also have another free (7-action on X, which we
denote by g9x. Let 5 j be a transversal for this action. Then the map sending
(g,s.) to g*s* is also a Cr-map which is a bijection. If 151 - I5J we have a
bijection from 5* to 5^ which will extend to a G-map from (7x5 to (7x5^ which
is a bijection. It follows that there will be a bijection a : * - » * such that
(gx)(x - £O(JCOC) for all x and g. We may regard the (7-actions as homomorphisms 9
and cp1 from G to Sym*, the group of permutations of X. We then have
a c Sym*, and g<pj - a (g<p)a for all g.
When X is infinite and 1(71-1*1 we may not have 15*1 - ISjI.
However, we do have 151- 15jI when * is finite and \G I divides 1*1 and when
* is infinite and \G\<\X\ (using properties of infinite sets).
We now apply these facts to the study of graphs of groups.
Remarks For any & there exists a set * such that 1*1 > l(7yl for all
v (by properties of infinite sets). Thus the proposition provides another proof of
the fact that the maps from (7y to 7i(@) are one-one.
There is plainly a finite set * such that l(7yl divides 1*1 for all v
iff the groups (7y are finite and there is a bound on their order. This completes
the proof of Theorem 55.
Proof The conditions ensure that * has a free (7y-action for all v.
Thus we have a one-one homomorphism from G to S y m * for all v.
Let e be an edge. Then we have two free actions of GQ on * , the
first coming from embedding G in Geo, and the second coming from embedding
G in G . Since \G I divides \G I when G is finite, we see that, for any edge
e, we have 16^1 < 1*1 when * is infinite and \G£\ divides 1*1 when * is finite.
By the discussion above, it follows that the two maps from G to
S y m * are conjugate. Lemma 20 now shows the existence of a homomorphism
from 7r(@) to Sym X such that Gv -» n{&) -> S y m * is one-one for all v. Further,
Corollary 2 to Theorem 27 tells us that the kernel of the map from Tt(@) to
S y m * is free.//
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:32:37, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.009
Construction of trees 242
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:32:37, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.009
243
9 DECISION PROBLEMS
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:32:40, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.010
Decision problems in general 244
functions computable in that model are partial recursive. Finally, the partial
recursive functions do appear to be intuitively computable. (Here I say "do
appear to be" rather than "are" because I cannot claim to know what someone
else's intuition is; however, anyone who accepts that certain fairly simple
processes applied to intuitively computable functions yield intuitively
computable functions will find that the partial recursive functions are intuitively
computable.)
This identification of the intuitively computable functions with the
partial recursive functions is known as Church's Thesis. For the most part, we
will work with intuitively computable functions, and I hope that the reader will
find various claims made to be intuitively acceptable. It would be possible to
take a formal approach, but often the technicalities would obscure the ideas. At
a few crucial points we will have to look at some of the precise definitions. For
the general background and the detailed formalism, the reader should look at
books on the theory of computation, for instance Cohen (1987).
Certain specialised classes of computers, such as the finite-state
automata and the push-down automata, do not have the full generality we need.
They compensate for this, however, by being simpler and faster. A new theory of
automata and groups has been developed in the past few years, and is discussed
in a book-length paper in preparation by Cannon, Epstein, and others; a little
more will be said about this in Chapter 10.
We think of our computers as operating in discrete steps. For
convenience, to begin with we think of them as working with elements of IN, the
natural numbers, though in the later development it may be convenient to think
of them as working with elements of some other countable set, for instance a
free monoid M(X), where X is finite or countable. On some inputs the computer
will stop after a finite number of steps, giving us an output. On other inputs the
computer may continue computing for ever. We do not permit our computers to
stop without giving an output. (Real computers may stop giving an error
message, but we could think of this as the computer continuing for ever saying
to itself "Something's wrong".) Thus our computers enable us to compute
functions from IN to IN or, more generally, from INk to IN for some k. However it
should be noted that these functions are partial functions. That is, they need not
be functions from IN to IN but rather from a subset of IN to IN, since on some
inputs the computer runs for ever and gives no output. It might be thought that
this situation could be avoided by a careful choice of our computer programs,
but it turns out that it is an unavoidable feature of any theory of computation.
When we are looking at partial functions we will generally use the word 'partial';
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:32:40, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.010
Decision problems in general 245
a function in the ordinary sense will sometimes be called a total function for
emphasis (in Cohen (1987) and other books on computability, though, the word
'function* usually means 'partial function').
We shall need to refer to algorithms. An algorithm is a description,
in language which may be at various levels of formality, of a precise
mathematical procedure to be followed. The euclidean algorithm for finding the
greatest common divisor of two integers is a typical example. A computer
program is an example of an algorithm; it is written in a programming language
suitable for the computer being considered. As before, our algorithms operate one
step at a time, although this step may consist of performing a number of simpler
processes. For instance, we might have an algorithm one step of which involved
finding the greatest common divisor of two integers or finding the maximum
common part of two words. As before, on a given input, an algorithm may either
halt after a finite number of steps, giving an output, or it may continue for ever,
in which case it gives no output. We sometimes use the phrase 'partial
algorithm' to empasise that for certain inputs the process may not halt.
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:32:40, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.010
Decision problems in general 246
It is not immediately obvious that there are sets which are r.e. but
not recursive. The proof of this fact, which we shall need, may be found in
Chapter 2 of Cohen (1987) and elsewhere. It is not difficult, but the details
would take us too far afield.
Suppose that we are given a set A, and we have a computable total
function /:IN-»IN such that A - IN/. We can regard / as enabling us to find a list
of the elements of A, namely 0/, 1/, 2/, . . . . Consequently sets of this kind are
sometimes called listable; we also regard the empty set as listable. We shall see
that listable sets are the same as r.e. sets.
One might at first sight believe that a list of the elements of A
would enable us to decide membership of A. This is not so, because we did not
require the list to give the elements of A in any sensible order. If the integer 1
has not appeared in the first 193674 terms of the list, for instance, this may be
because 1 is not on the list at all, but it could be that its first appearance on
the list is at the 193675 th term.
There is an important case where a list of members of A enables us
to decide membership of A. This occurs when we can tell for any n how far
along the list we need to check before n will occur if it is ever going to occur.
More formally, we have A - IN/, where / is computable and total, and we also
have a computable total function g such that if niA then n* mf for some m^ng.
Then, given /z, we have the answer "No" if n does not occur among 0/, 1/, . . . ,
(ng)f, and "Yes" if it does appear among these elements.
In particular, if the list is given in strictly increasing order then A
is recursive. For we then have mf> n for all m > n, so we may take ng to be n.
If the list is given in increasing order which is not strictly
increasing, it is still true that A is recursive. Here, though, we run into a subtle
point which it is easy to get confused about; similar points will also occur later.
When we claim that the set A is recursive we are simply saying that we can
show that there must be some algorithm that will work. We do not need to
exhibit the algorithm explicitly. A similar point in a less confusing form often
occurs in analytical and topological situations; for instance, Brouwer's Fixed
Point Theorem (Theorem 4.7) tells us that any continuous map from a disk to
itself must have a fixed point, but it does not tell us any way to find the fixed
point.
So let A - IN/, where / is an increasing computable total function.
Then A must be either finite or infinite, though we may not know whfch. If A is
finite then it is recursive. Let A be infinite. Given ny compute 0/, 1/,... until
(which must happen at some point) we find m with mf^n. Then n*A iff it
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:32:40, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.010
Decision problems in general 247
occurs among 0 / , . . . ,mf. However this algorithm will not decide membership of
A when A is finite, since it continues for ever when n is larger than all elements
of A. So we know that some algorithm must work to enable us to decide
membership of A, but we do not know what algorithm works.
Proof Suppose that (ii) holds. Since 0 is r.e. (the partial algorithm
which never answers "Yes" shows this), we may assume that A - IN/, where / is a
computable total function. Then a partial algorithm for membership of A is
"Given n, test 0/, 1/, and so on until, if ever, we find m with nm mf."
Suppose that (i) holds. Then a computable partial function / is
given by the following (partial) algorithm. "Given n, apply the partial algorithm
for membership of A to n. If this partial algorithm halts, then output n and halt."
Plainly IN/ is A, which proves (iii). Replacing "output n and halt" by "output 0
and halt", we obtain a partial algorithm for the function in (iv), so this function
is computable. This also shows that (v) holds.
Suppose that (v) holds. Take a partial algorithm for computing this
function /. Then a partial algorithm for membership of A is given by "On input
n, run the partial algorithm for computing /, and output "Yes" if this halts."
Suppose that (iii) holds. If A - 0 then A is listable. So we may
assume A&&. Hence there is some a^tA. Here we again encounter the subtlety
previously mentioned. We do not know a^, but we are sure that such an a^
exists. In fact, the problem really arises at an earlier stage. Given a partial
algorithm for /, we cannot tell whether A is empty or non-empty, but we know
it must be one or the other, and we use different arguments to show that A is
listable in the two cases. It is quite easy (by a variant of the technique below)
to obtain from a partial algorithm for / a partial algorithm which never halts if
A is empty and outputs an element of A if A is not empty, and we could then
use the element obtained as our choice of a~.
From a partial algorithm for / we obtain, when A&&, by the
2
procedure below a total algorithm for a function Cr:IN •*IN, so that G is a
computable total function.
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:32:40, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.010
Decision problems in general 248
On input (n,k) run the partial algorithm for / with input n for (at
most) k steps. Output the output of the algorithm for / if it has stopped in this
time; otherwise output a^. Denote the output by (n,k)G.
Then (n,k)G is either nf or a^, and, if nf is defined then there is
some k such that (n,k)G- nf. Thus IN 2 O A.
2
Now we know that IN is bijective with IN. It is easy to choose a
specific bijection / for which the formula shows that J is computable. We can
also find an algorithm for computing / . Thus the function J G is computable
and total, and its range is A> which shows that (ii) holds.//
Remark Note that Af is r.e. by (ii), since recursive sets are r.e.
However, Af need not be recursive, since Proposition 1 tells us that any
non -empty r.e. set can be written as IN/ for some computable total /.
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:32:40, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.010
Decision problems in general 249
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:32:40, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.010
Decision problems in general 250
I have already mentioned that the next result is true, but will not
be proved here. It is important enough to be stated as a proposition.
Pn are the prime numbers in increasing order (so p^ - 2, p^~ 3, p^ m 5, and so on).
It is easy to check that 9 is one-one and has recursive image.
When X is finite we may choose a one-one map from X into IN,
which enables us to denote the elements of X by xn for some finite set of
values of n. Then the previous formula for 9 still gives a Godel numbering for
M(X).. Also when X is countable we may, if we wish, use the same formula but
starting from a Godel numbering of X rather than from a bijection of X with IN.
When X is finite all choices of one-one maps from X into IN turn
out to leave the recursive and r.e. subsets of M(X) unchanged. This will not be
true in general when X is infinite, but they will be left unchanged if the map is
changed in a sufficiently straightforward way. Also, when X is finite we may
obtain a Go'del numbering of M(X) by taking any bijection of X with (1,...,«},
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:32:40, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.010
Easy decision problems for groups 251
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:32:40, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.010
Easy decision problems for groups 252
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:32:40, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.010
Easy decision problems for groups 253
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:32:40, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.010
The word problem 254
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:32:40, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.010
The word problem 255
This does not hold for groups which are not finitely generated. For
instance, let A be a set which is r.e. but not recursive. Let X be (x^; /2elN}, and
let R be {JC ; neA). Then xn<L N iff mA. Since A is not recursive, it follows
from Proposition 2 that N cannot be recursive. However, G is just a free group
of countable rank, so it has a presentation <Y;Q) whose word problem is solvable.
We can write Y as {y ; «elN}, and we may take a function /:IN-»IN with
IN/-IN-A This gives rise to a function from Y into X, and so to a
homomorphism from F{Y) to F{X). However, these functions cannot be
computable. For if one of them were computable then they would all be
computable. But, by Proposition 3, IN-/* is not r.e. (as A is r.e. but not
recursive) so it cannot be the image of a computable function.
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:32:40, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.010
The word problem 256
ways of writing a word w in the form u^ r^u^... u~ rnun for some n (this would
not be true if we were looking at the reduced form of such a word); then, since
R is recursive, for each such way we can decide whether or not every r- is in R.
Hence M is recursive.
As N is the image of N^ under the map which assigns to each
word the corresponding reduced word, we see from Proposition 2 that N is r.e.//
Note that, in particular, N is r.e. if R is finite.
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:32:40, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.010
The word problem 257
This does not hold for infinitely generated groups. For instance,
take G to be free of countable rank, and let Y be [y ; «€lN}, and let S be
iy ; ntA), where A is a set which is not r.e. However Lemma 8 tells us that,
F(Y\
v
even for infinitely generated groups, the subgroup <S> ' will be r.e. if the
map from Y to F{X) is computable.
Lemma 8 also tells us that any finitely generated subgroup of a
finitely presented group is recursively presentable (and that the same holds for
any finitely generated subgroup of any recursively presentable group). Higman's
Embedding Theorem, which will be proved later, is the converse of this; that is,
any finitely generated recursively presentable group is a subgroup of some
fintely presented group.
Lemma 11 Let R be r.e. Then N is r.e.
Proof There are two possible proofs. With the notation of Lemma
10, the inclusion of X in X-, is computable, because A' is a recursive subset of
X^ (the algorithm for computing the inclusion is "Take an element Jtj of X* .
Determine whether or not it is in X. If it is, output x* ; if not, continue
computing for ever.")
l
As R^ is recursive, <Ry> ' ' is r.e. Now apply Lemma 8.
Alternatively, let F(X) be (w^; «elN}, and let R be (w -; «e(N},
where /:IN-»IN is a computable total function. We may assume that R-R~ , since
otherwise we may replace R by RuR~ , which is also r.e. by Proposition 2. We
have the following partial algorithm for membership of N.
"At stage k, consider all words u^ r^u^...u~ rnun satisfying the
following conditions, (i) n^k, (ii) ui*{*>m\ m^k) for all i^n, (iii) r^{w
for all i^n (note that all such words can be expiictly constructed). Take the
reduced forms of the finitely many such words. Then the word w is in N iff it
appears among the reduced words obtained at some stage." //
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:32:40, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.010
The word problem 258
relations xx-mx,\ here there is one relation for each pair /,/, and, for each
I J K
fixed y, the function sending x- to the corresponding x, is a permutation of X
I K,
which is the identity when y - 1 . It is then easy to compute for each wzF(X) an
integer r such that wtNxr. In particular, w*N iff /--I, and we can check
whether or not this holds.
Any finitely generated abelian group has solvable word problem.
For it is known, from the theory of abelian groups, that any finitely generated
abelian group G has a presentation with generators x. , . . . ,x for some n, and
defining relators [x.,x.] for all / and j together with x. ' for i^k for some k,
where the d- are positive integers. Letting wo- be the exponent sum of x- in w,
we see that weAf iff wo.*0 for i> k and d. divides wo. for i<k. Since o. is a
computable function, we can decide whether or not these conditions hold.
Suppose that we have a different finite presentation of the same
group G, with generators y\>--">ym anc* defining relators including all the
commutators ly.,y.]. The general theory of this section tells us that this
presentation must have a solvable word problem. In principle, we know how to
solve the word problem for this presentation, using the homomorphism from F(Y)
to F(X) which induces the identity on G. This is not a very practical method
until we know this homomorphism. However, the general theory of abelian
groups enables us to compute explicitly from this presentation a presentation of
the form in the previous paragraph, and it also lets us obtain functions from Y
into F(X) which induce the identity on G. Then, to determine whether or not an
element of F{Y) is 1 in 6" we need only take its image in F(X) and check
whether or not this is in N.
Note that there is no reason to suppose that we can decide of a
finite presentation <X;R> whether or not the group it presents is abelian (or
finite, or free). We shall see later that these problems are not decidable.
However, there is plainly a class of finite presentations of an abelian group from
which we can tell that the group is abelian, namely, those presentations for
which every commutator of two distinct generators is one of the defining
relators.
Similarly, there is at least one finite presentation of a finite group
from which we can tell that it is finite, and at least one presentation of a free
group from which we can tell that the group is free.
By contrast, in the next two results, not only are we unable to
decide of a finite presentation whether or not the group has the relevant
property, but there is no known class of presentations such that we can tell from
the presentation that the group has the property.
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:32:40, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.010
The word problem 259
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:32:40, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.010
The word problem 260
Remark The hypothesis is that there are words a, b, u> and v such
that \u\ > Ivl such that w-aub, reduced as written, and uv is reduced as written
and is in R.
Certain of the small cancellation groups discussed in Chapter 10
satisfy this condition.
Proof Let U* iu; u is more than half of some member of R). Then
U is recursive. For, given u, we need only write down all the finitely many
words v with lvl<lwl and check for each of them whether or not uv is reduced as
written and lies in R.
We also have a computable function a with domain U such that UOL
is some element v of the kind considered. For instance, we could choose, among
the finitely many possibilities for v given u, that one with the smallest Godel
number.
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:32:40, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.010
The word problem 261
Plainly, when the above condition holds, if Iwl - n then after at most
n replacements we reach a word w' which is not in S. Thus we can say that the
solution to the word problem is linear (in terms of how many steps it takes to
make the decision, as function of the length of the word). Book (1988) shows
that the solution is linear in a more precise sense.
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:32:40, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.010
The word problem 262
This give rise to the following algorithm for solving the word
problem in G* H.
"Given a word wzF(XuY) decide whther or not it is in S. If so,
compute wa. Decide whether or not wa is in 5, and if so compute (wa)oc.
Continue this process until it stops. We will end with a word wf which is not in
S. Answer "Yes" if w' is trivial and "No" otherwise."//
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:32:40, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.010
The word problem 263
hypothesis, we can decide whether or not this holds. If it does, we have seen
above that we can compute an element v of F(Y) such that w equals in G the
element of H represented by v. By hypothesis, we can tell whether or not v
represents an element of K.I I
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:32:40, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.010
The word problem 264
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:32:40, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.010
Modular machines and unsohable word problems 265
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:32:40, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.010
Modular machines and unsolvable word problems 266
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:32:40, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.010
Modular machines and unsolvable word problems 267
Let t(r,s) be y~sx~rtxrys, and let T be the subgroup <t(r,s); all r and
s> of K. Then T is easily seen to be the normal closure <f> of <r> in K. Also
T is free with basis it(rys)}. This can be proved using the Kurosh subgroup
theorem, but it is more easily proved directly, by taking a reduced word in the
letters t(r,s) and expanding it out.
For any /, y, m, and n, the subgroup T n </(/,/), xm, yn> has basis
{/(/•,$); r=i mod m, s=J mod n). For these elements are plainly in this subgroup.
Also any element of <t(ij), xm, yn> is easily seen to be of form uxpmy<in for
some integers p and q and some element u of </(/•,£); r=i mod m, s = j mod «>,
from which the result follows.
The subgroups </(/,y), x m , j/*> for any / and j and any non-zero m
and /z are all isomorphic. For such a subgroup is conjugate to the subgroup
<r, xm, yn>, and this is the free product of <t> and the subgroup <xm, yn>. Since
<x,y> is free abelian of rank two, we see that our subgroup is isomorphic to K.
Let /, y, z'|, and y'j be arbitrary integers, and let m, n, m^, and n^ be
arbitrary non-zero integers. It follows from the paragraphs above that the map
sending t(i,j) to f(/j,y'j), xm to x™1, and ^ to j/* 1 induces an isomorphism of
<t{ij), xmy yn> with <r(/py'1), x'"1, ^ X It also induces an isomorphism of
m n
p 1 m
m n m /* iyvn + j) to
Tn<t{i,j\ x , y > with TnKHi^J^), x K /**> which sends
Then AT^ is just the HNN extension of K with stable letters r. and /. , the
subgroups <t{a.,b.), xm, ym> and </(c;-,0), JCW , j;> being associated with r-9 and
similarly for /..
We define T^ to be the subgroup of T generated by
{/(<x,P); (oc,3) € // 0 (A/)}. Because r has basis {/{/,/), all / and / } , we see that
/(«,« € r ^ iff (a>P) e // 0 (A/).
Take a quadruple (a,b,c,R) with corresponding stable letter r, and
take a pair (<x,0) such that a s a mod w and 3 = d mod m. Then the isomorphism
of associated subgroups sends /(<x,(3) to /(a',3 f ), where (a,3) yields (a',3f)- In
particular, this isomorphism maps T\, n </(<3,^), x m , ^ m > onto
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:32:40, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.010
Other unsolvabe problems 268
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:32:40, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.010
Other unsolvable problems 269
From the unsolvability of the word problem we can show that other
interesting questions about elements of a group are also unsolvable.
Proposition 22 There is a finite presentation <X;R> of a group G
such that it is not possible to decide whether or not an element of F(X)
represents in G an element of any of the following kinds: (i) an element of the
centre of G, {ii) an nth power, where n>\, (Hi) an element with only finitely
many conjugates, (iv) a commutator, (v) an element of finite order (not 1). Also
there is gtG such that we cannot decide whether or not an element of F(X)
represents an element of the centraliser of g.
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:32:40, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.010
Other unsolvable problems 270
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:32:40, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.010
Other unsotvable problems 271
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:32:40, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.010
Other unsolvable problems 272
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:32:40, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.010
Other unsolvable problems 273
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:32:40, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.010
Higman's Embedding Theorem 21A
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:32:40, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.010
Higman's Embedding Theorem 275
Proof Suppose there are such groups K and L. Let K be <yr;7*>^ and
let L be <Z>\ where Y, Z, and T are finite. There is a homomorphism from
F(X) into F{Y) which induces the inclusion of G into K. The counter-image of
H in F{X) is the counter-image under this map, which is a recursive function,
of the subgroup <Z> T F(Y)>, which is r.e. Hence the counter-image of H is
itself r.e.
Conversely, suppose that H is the image of an r.e. subset S. Let (/.
be a group isomorphic to G, with H^ being the subgroup corresponding to //,
and take the amalgamated free product A/- £*//»// 6^. Let G have the finite
presentation <X;R>. Then M is finitely generated by XvXv and has as defining
relators Ru R^uis s^, all 5 € 5), which is an r.e. set. Thus, by the Embedding
Theorem, M can be embedded in a finitely presented group K. Since G nG^m H,
by construction, the required subgroup L is just G+ ,11
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:32:40, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.010
Higman's Embedding Theorem 276
corresponding x-jj, and that each group with an r.e. presentation has a
presentation of this kind.
It follows that the group G with generators x^, all n and k, and
with defining relators w ^ for all n and k with n - im,k)$ for some m contains
copies of every recursively presentable group. Since $ is a computable function,
this presentation of G is itself an r.e. presentation. By the corollary to the
Embedding Theorem, G embeds in a finitely presented group, as required.//
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:32:40, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.010
Higman's Embedding Theorem 277
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:32:40, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.010
Higman's Embedding Theorem 278
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:32:40, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.010
Higman's Embedding Theorem 279
square (taken from left to right, so the letter to the left of the scanned square is
the coefficient of m ), and the number v whose m-zsy representation is the
sequence of letters to the right of the scanned square (taken from right to left,
so the letter to the right of the scanned square is the coefficient of m ).
These four numbers can be conveniently combined into two, namely
either (um + a,vm + q) or (um + q,vm + a), whichever turns out to be more
convenient (sometimes one is better, sometimes the other). If we analyse what an
element of IN corresponding to a configuration changes to when we perform the
next step in the computation, we find that the change is exactly that of some
modular machine. It is this that leads to the definition of modular machines. For
more about this topic, see the book by Cohen (1987) and the papers by Aanderaa
and Cohen (1980a,b).
Turing machines can be used to compute numerical functions, and,
in addition, because of their definition, they can be conveniently used to discuss
questions of recursiveness for subsets of a free monoid without using a Godel
numbering. In particular, let S be an r.e. subset of the free monoid on the finite
set X. Then there is a Turing machine T which, started in a special starting
state with an element w of the monoid written on the tape, the scanned square
being the last letter of w, will halt iff wtS, and if wtS will halt on a blank
tape with its state being the starting state.
In particular, let C be a recursively presented group. Thus C is
<c\ , . . . ,c ; S>, where S is an r.e. subset of the free group < C j , . . . ,c^>. We can
regard a word as being an element of the free monoid on { C j , . . . yC^^y where
c
n+ici ^
corresponding modular machine A/, and the integer m which is part of the
definition of M.
To every word w there is a number a whose m-ary representation is
w (regarding the element c- for / < In as the integer /). Let / be the set of those
a € IN which correspond to some word. For a € /, let vt>a(c) be the corresponding
word. In particular, WQ(C)-1, and w.{c)-c. for /^2/z, while w a m + / ( c ) " w a ( c ) c / f° r
all a. We shall also write wa(£) and w^ibc) for the words obtained from wa(c) by
replacing each c (for j^n) by b. and {b -c.) respectively, where the b- are
new letters.
From the discussion above, when all the details are filled in, we
find that, for a e /, w^c) c S iff (a,0) € // Q (A/). It is this fact that we shall use in
proving Higman's theorem.
Let Kjy be the group contructed in the discussion of Proposition
20. Let U be the subset of K** consisting of t and all the /^symbols and
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:32:40, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.010
Higman's Embedding Theorem 280
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:32:40, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.010
One-relator groups 281
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:32:40, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.010
One-relator groups 282
9
<a. ,b*9... 9a ,b ; Illa.,b-1> or < C j , . . . 9c ; Ucr'l. The word problem for these
was originally solved by Dehn (1912a,b) using geometrical methods.
<t, a. {m^i^M), b- (all / ) , . . . ; s, t~ a.tm a.+^ {m £ i < M- 1), f b^t ~ b.+. (all
/),... X
Here we may have m - A/, in which case the relators involving a. are omitted.
Let H be the group Ka- (m ± i ^ M), b- (all / ) , . . . ; sX Since s is
shorter than r, we may assume (inductively) that the subgroups
<a- {m < i < M -1), b. (all / ) , . . . > and <<3^+1 (m < i < M-1), b^ (all z ) , . . . > are
free with the given generators as bases, since they do not involve all the
generators occurring in 5. Note that if m - M we omit the generators a- from
these subgroups. The presentation we have obtained for G then shows that G is
an HNN extension of H.
Now let Y be a subset of X which does not contain every generator
occurring in r. Suppose first that t 4 Y. Then Y is just a subset of //, regarding
a, b,... as <2Q ,&Q , . . . . Since t does occur in r, some generator of H which is
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:32:40, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.010
One-re I a tor groups 283
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:32:40, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.010
One-relator groups 284
Proof We first note that it is enough to prove that the result holds
when Y is obtained from X by deleting one generator which occurs in r.
For suppose we have shown this. If we are given a recursive set Z
which omits at least one such generator, then we can regard Z as a recursive
subset of such a Y. Now, by the Freiheitssatz, the subgroup <y> of G is free
with basis Y. Thus the membership problem for <Z> in <Y> is solvable, and as
we are assuming that the membership problem for <Y> in G is solvable, Lemma
16 tells us that the membership problem for <Z> in G is solvable.
As a particular case, taking Z to be empty, we see that the word
problem for G is solvable.
On the other hand, suppose that Z contains all the generators
occurring in r. We can write G as the free product of a group G' with a finite
set X' of generators and one relator r and a free group with basis X", say. Now
the word problem for G' will be solvable (by the argument above). Since
<Z> - G' *<Zn X M>, we see that <Z> has solvable membership problem in G by
Lemma 17.
So we are left to prove the result when Y is obtained from X by
deleting a generator occurring in r. If R only involves one generator then G is
the free product of a finite cyclic group and a free group, and the result is then
obvious.
Suppose first that some generator t occurs in r with exponent sum
0. We use the notation of the Freiheitssatz. Thus G is an HNN extension of a
one-relator group H whose relator is shorter than r. Inductively, the membership
problems for the two associated subgroups of H are solvable. Now we may
regard any reduced word w in F(X) as a word in t, <2U,&Q,... .AS in Proposition
18 we may compute from this another word v in these latter generators such that
v has no pinches and w - v in G.
Let Y be X- {t}. Then <Y> - <rQ> c //, where YQ - {aQ ,bQ,...}.
Then w represents in G an element of <Y> iff, first, t does not occur in v and, if
so, v represents in H an element of <Yry>, and this is decidable, by induction.
Now let Y be X - {a). Let the exponent sum of t in w be x. We may
assume that T - 0, since w represents an element of <Y> iff wt~* represents an
element of <Y>. Then the exponent sum of t in the corresponding word v is also
0. Also, if w - u in G9 where u e <X - {a}>, then t has exponent sum 0 in u
(since t has exponent sum 0 in r and wu is a consequence of r).
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:32:40, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.010
One-relator groups 285
Downloaded from https:/www.cambridge.org/core. New York University, on 30 Jun 2017 at 09:32:40, subject to the Cambridge Core terms of use
Cambridge Books
, available at https:/www.cambridge.org/core/terms. Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.010
286
10 FURTHER TOPICS
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:32:29, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.011
Small cancellation theory 287
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:32:29, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.011
Small cancellation theory 288
2
Versions of the isoperimetric inequality hold not just in IR but,
more generally, in surfaces of non-positive curvature (and in surfaces of strictly
negative curvature, there is a linear inequality, rather than a quadratic one;
Proposition 1 is connected with this fact). The various conditions imposed on R
are essentially ways of regarding the diagrams as surfaces of non-positive
curvature.
The theory can be extended without essential difficulty (but with
some complication in the details) to the situation where R is a subset of a free
product, rather than of a free group. Length will, of course, now refer to length
in the free product. We now define a piece to be a reduced word u in the free
product such that there are reduced words v« and v« and elements r« and /u of R
such that >i"Nvi and f2"wv2» wnere
these products are without cancellation but
may have coalescence. The following is one interesting application due to
Schupp (1971).
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:32:29, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.011
Other topics 289
cancellation groups, hyperbolic groups, and other important groups such as some
knot groups, are all automatic groups. The theory of automatic groups is moving
very rapidly at present, and the generalisations of small cancellation theory and
related results are very interesting.
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:32:29, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.011
Other topics 290
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:32:29, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.011
291
These notes and references are highly selective. For some topics 1
have listed all or most relevant papers, while for others I have only listed those
I have actually used. In particular, the work of Bernard Neumann and of Roger
Lyndon is so influential in combinatorial group theory that, rather than making
references to their work on almost every page, I have cited their papers only
occasionally.
CHAPTER 1
Van der Waerden's method for proving the Normal Form Theorem
for free groups appears in van der Waerden (1948). The Diamond Lemma
approach, in the form given in the exercises, appears in Newman (1942). See also
Bergman (1978) for more about this interesting topic, which comes up in many
situations requiring normal forms.
Von Dyck's theorem is one of the earliest in combinatorial group
theory, dating from 1882.
Britton's Lemma was first proved in Britton (1963). The argument
that proves both Britton's Lemma and the results on residual finiteness of
HNN extensions appears in Cohen (1977) and in Baumslag and Tretkoff (1978).
The general theory of HNN extensions was begun by Higman,
Neumann, and Neumann (1949), in which theorems 36-39 occurr. The finitely
generated infinite simple group was obtained by Higman (1951), while Schupp
(1971) gives a proof that any countable group embeds in a quotient of the group
G of Theorem 40.
Miller and Schupp (1973) give a proof of Britton's Lemma using
small cancellation theory (see Chapter 10), and this does not require the Axiom
of Choice.
Further general results on combinatorial group theory can be found
in the books by Magnus, Karrass, and Solitar (1966) and by Lyndon and Schupp
(1977), and the historical account of Chandler and Magnus (1982). For more
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:32:32, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.012
Notes and references 292
about the topological connections see the long articles by Collins and Zieschang
(to appear) and by Scott and Wail (1979), as well as some of the books cited.
CHAPTER 2
For more about spaces, paths, etc., see books on topology, in
particular Brown (1968, 1989) and Massey (1967).
CHAPTER 3
The book by Higgins (1971) gives a full account of the theory of
groupoids and its applications (many of which are algebraic forms of our later
geometric theorems).
CHAPTER 4
Van Kampen's theorem appears in van Kampen (1933). A very
similar result had been obtained earlier by Seifert (1931), and the theorem is
sometimes referred to as the Seifert-van-Kampen theorem. The proof using
groupoids is due to Brown (1967).
The example of two contractible spaces whose join is not simply
connected comes from Griffiths (1954), but has been modified so that the
calculation of the fundamental group of the Hawaian earring in Griffiths (1956) is
not needed. Morgan and Morrison (1986) show that Griffiths' proof (1956) is
wrong, and they provide a correct proof of his result. Lemma 25 and Proposition
26 come from their 1986 paper, with the proofs changed slightly to tidy up some
minor difficulties in their argument.
CHAPTER 5
The result that Fixa is finitely generated when a is an
automorphism of a finitely generated free group has proofs by Culler and
Vogtmann (1986), Cooper (1987), and Gersten (1987), as well as the proof by
Goldstein and Turner (1986) which I have followed. The results on the rank of
Fixa come from M. Cohen and Lustig (1988). Bestvina and Handel (1989) show
that Fixa has rank at most rankF.
CHAPTER 1
The Schreier and Reidemeister-Schreier theorems were proved in
Schreier's paper (1927) and Reidemeister's book (1932, 1950). The Kurosh
subgroup theorem appears first in Kurosh (1934).
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:32:32, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.012
Notes and references 293
CHAPTER 8
The general results of Bass-Serre theory may be found in the book:
by Serre and its translation (1977, 1980).
Theorem 6 was proved by Serre; essentially the same proof, but
without the details, can be found in the book by Reidemeister (1932, 1950).
Nielsen (1921, more easily available in the 1986 collection of his
papers) proved his theorem for finitely generated subgroups. The general case is
due to Federer and Jonsson (1950).
The discussion of weakly reduced sets comes from Hoare (1976, and
also 1981).
The theory of abstract length functions on groups was started by
Lyndon (1963). This has been developed in many ways, including the cited
papers by Hoare and papers by Chiswell (1976a, 1979a, 1981).
In the proof of the First Structure Theorem I have followed the
approach of Chiswell (1979b).
A detailed proof of the subgroup theorems for amalgamated free
products and HNN extensions using Bass-Serre theory was first given by Cohen
(1974). Earlier purely algebraic proofs were given by Karrass and Solitar
(1970, 1971), improved by Karrass, Pietrowski, and Solitar (1974). Their
method was extended to arbitrary tree products by Fischer (1975).
The version of the Kurosh Subgroup Theorem obtained from
Theorem 27 is slightly weaker than that in Chapter 7, but is almost always
enough for any uses we need to make of it. To obtain the precise form we must
see how a Kurosh system gives rise to a representative tree.
Let G- *C7a. Then G is the fundamental group of a graph of groups
(®,X), where X has vertices x^ at which the vertex group is G^, and another
vertex JCQ which has trivial vertex group, with one edge pair joining JCQ and x^.
The universal cover of @ is a C7-tree K, which has a vertex y^ with trivial
stabiliser, vertices y with stabiliser G , an edge-pair ie ,e~ } joining y^ and y ,
with every vertex and edge being in the (7-orbit of one of these.
Suppose that we are given a Kurosh system. Let S be the subgraph
of Y with vertices uy^ and uy^ for all a-representatives in the large and all a,
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:32:32, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.012
Notes and references 294
together with the edges joining uy^ and uy^ and the edges joining uy^. and uy&
whenever u ends in GU. The conditions on a Kurosh system ensure that S is
connected.
Choose some index, which we denote by 1. Obtain T from S by
adding those vertices gy^ and the edges joining gy^ to gy^ for all g such that g
is a 1-representative for which Hgy^n S * 0.
Unless there are representatives in the large u and v with Hu - Hv,
it is easy to check that T is a representative tree for //, and the detailed
application of the Second Structure Theorem will give the Kurosh Subgroup
Theorem in the precise form obtained in Chapter 7.
It is part of the algebraic proof of the theorem that we must have
Hu^Hv for distinct representatives in the large u and v. This should be easy to
prove directly, but I am not sure how. It is easy, however, to find a Kurosh
system which obviously satisfies this condition. We need only construct the
Kurosh system as in Chapter 7 by induction on the length of the shortest
element of the double coset, and, for the double cosets of a given length,
construct the representatives in the large in some order (for instance, using a
well-ordering of the index set), ensuring that at each step we choose our
representative among the representatives already chosen, if this is possible.
The results on finitely generated subgroups are due to Cohen (1974,
1976), based on algebraic arguments of Burns (1972, 1973). The proof of
Grushko's theorem is based on that of Stailings (1987). The original proof is due
to Grushko (1940), with additions and extensions from Burns and Chau (1984),
Chiswell (1976b), Higgins (1966), Neumann (1943), Stailings (1965), and Wagner
(1957). M. Hail's theorem first appears in Hall (1949b); see also Burns (1971b).
Tretkoff (1975) first proved that the free product of M. Hall groups is an M. Hall
group. The proof given here is new, but is essentially no more than a translation
into Bass-Serre theory of the proofs of Tretkoff and of Imrich (1977). Howson's
theorem was proved in Howson (1954); the graphical proof was first published by
Imrich (1977). An improvement of the bound was given in an algebraic proof by
Burns (1971a), which has been given a graphical form by Nickolas (1985). These
improvements are still of the order of magnitude 2(rank-4- l)(rank/?-1) rather
than the conjectured bound (which we know could not be improved) of
(rank.4-l)(rank£-1) + 1.
The methods of Imrich (1977) are graphical but rather different from
those of Bass-Serre theory, and are an interesting alternative.
The Almost Stability Theorem appears in the book by Dicks and
Dunwoody (1989), which gives an account of Bass-Serre theory and some other of
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:32:32, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.012
Notes and references 295
its applications with a very different flavour from the approach here. The results
on ends of groups first appear (for finitely generated groups) in Stallings (1968),
which also proves that groups of cohomological dimension 1 over Z are free.
Swan (1969) extended this result on cohomological dimension to arbitrary groups;
The book: by Cohen (1972) gives a simpler account of these results. The structure
of groups with a free subgroup of finite index was found by Karrass, Pietrowski,
and Solitar (1973), Cohen (1973), and Scott (1974). Readers who know this
material should not be surprised that they are proved easily from the Almost
Stability Theorem, as the long proof of that theorem uses most of the ideas from
the earlier proofs. The great advantage of the Almost Stability Theorem is that it
offers the possibility of obtaining new results using that theorem, rather than
having each time to give a new proof with only slight differences from the old
ones (as happened, for instance, in extending the Stallings-Swan theorems to
groups with a free subgroup of finite index).
Theorem 8.50 first appears in Dunwoody (1979), where he uses it to
obtain Stallings' result on finitely generated groups with more than one end.
Dunwoody regards this theorem as superseded by the Almost Stability Theorem,
but I do not agree, as I have a fondness for this theorem. I had been
endeavouring to find a proof of Stallings' theorem by obtaining a suitable tree
on which the group acted. It was clear what the edges of the tree should be, but
I could not discover what the vertices were to be. Dunwoody's insight was that
it was unnecessary to find the vertex set explicitly; this kind of insight is an
aspect of mathematics which I find very pleasing.
CHAPTER 9
For more about computability in free groups, see Boydron and
Truffault (1974), Hoare (198), and Petresco (1962), among others. For instance,
given finite subsets A and B of a free group, we know by Howson's Theorem
8.33 or 8.35 that there is a finite set C such that <A>n<B>-<O; it is possible to
compute C, given A and B. There are also significant questions about the
difficulty of solving problems in a free group; certain problems, for instance, are
solvable in polynomial time, but are, in a sense which can be made precise, the
most difficult problems solvable in polynomial time, as is shown by Avenhaus
and Madlener (1981, 1982, 1984a,b).
Theorem 9.29 is due to Boone and Higman (1974).
The first account of the word problem is in Dehn (1912a,b;
translated in the book Dehn (1980) )
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:32:32, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.012
Notes and references 296
The first proof that there was a group with unsolvabie word
problem is due to Novikov (1955). This proof was simplifies by Boone (1959) and
Britton (1958, 1963). The proof given here, taken from Aanderaa and Cohen
(1980a) is the shortest.
The Embedding Theorem comes from Higman (1961). A proof by
Valiev is given in Lyndon and Schupp's book. Other proofs occur in the books
by Rotman (1973) and Shoenfield (1967). The proof here comes from Aanderaa
and Cohen (1980b), which is again shorter than the other proofs, though it
possibly gives less insight into why the theorem holds than do some other proofs
(especially that in Shoenfield's book). The traditional proofs for several
unsolvability results uses Turing machines. It seems that for group-theoretic
decision problems the use of modular machines frequently simplifies the proofs
considerably.
The various other unsolvability results proved comes from Baumslag,
Boone, and Neumann (1959) and Rabin (1958); similar results were proved by
Adian (1955, 1957, 1958).
Stilwell (1982) gives a survey of the word problem and related
results, with further properties and more historical detail.
The results on one-relator groups were originally proved by Magnus
(1930, 1932). Here we follow the approach of McCool and Schupp (1973).
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:32:32, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.012
297
BIBLIOGRAPHY
BOOKS
Adian, S.I., Boone, W.W., and Higman, G., eds. (1980) Word
Problems II: the Oxford Book (North-Holland, Amsterdam)
Appel, K.I., Ratcliffe, J.G., and Schupp, P.E., eds. (1984)
Contributions to Group Theory (Contemporary Mathematics 33, American
Mathematical Society, Providence, Rhode Island)
Brown, R. (1968) Elements of Modern Topology (McGraw-Hill, New
York; new edition, Ellis Horwood, Chichester, 1989)
Chandler, B. and Magnus, W. (1982) The History of Combinatorial
Group Theory: a case study in the history of ideas (Springer, New York)
Cohen, D.E. (1972) Groups of Cohomological Dimension One
(Lecture Notes in Mathematics 245, Springer, Berlin)
Cohen, D. E. (1987) Computability and Logic (Ellis Horwood,
Chichester)
Dehn, M. (1987) Papers on Group Theory and Topology (translated
and introduced by J. Stilwell) (Springer, New York)
Dicks, W. (1980) Groups, Trees and Projective Modules (Lecture
Notes in Mathematics 790, Springer, Berlin)
Dicks, W. and Dunwoody, M.J. (1989) Groups Acting on Graphs
(Cambridge University Press, Cambridge)
Gersten, S.M., ed. (1987) Essays in Group Theory (Springer, New
York)
Gersten, S.M. and Stallings, J.R., eds. (1987) Combinatorial Group
Theory and Topology (Annals of Mathematics Studies 111, Princeton University
Press, Princeton)
Higgins, P.J. (1971) Notes on Categories and Groupoids (van
Nostrand, London)
Johnson, D.L. (1976) Presentations of Groups (London Mathematical
Society Lecture Notes 22, Cambridge University Press, Cambridge)
Lyndon, R.C. and Schupp, P.E. (1977) Combinatorial Group Theory
(Springer, Berlin)
Magnus, W., Karrass, A., and Solitar, D. (1966) Combinatorial Group
Theory (Wiley, New York)
Massey, W.S. (1967) Algebraic Topology: an introduction (Harcourt,
Brace, and World, Inc., New York)
Nielsen, J. (1986) Collected Mathematical Papers (Birkhauser, Boston)
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:34:46, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.013
Bibliography 298
PAPERS
Aanderaa, S. and Cohen, D.E. (1980a) Modular machines, the word
problem for finitely presented groups, and Collins* Theorem, in Word Problems
II: the Oxford Book (North-Holland, Amsterdam), 1-16
Aanderaa, S. and Cohen, D.E. (1980b) Modular machines and the
Higman-Clapham-Valiev embedding theorem, in Word Problems II: the Oxford
Book (North-Holland, Amsterdam), 17-28
Adian, S.I. (1955) Algorithmic unsolvability of problems of
recognition of certain properties of groups, Dokl. Akad. Nauk SSSR (103), 533-535
Adian, S.I. (1957) The unsolvability of certain algorthmic problems
in the theory of groups, Trudy Moskov. Mat. Obsc. (6), 231-298
Adian, S.I. (1958) On algorithmic problems in effectively complete
classes of groups, Dokl. Akad. Nauk SSSR (123), 13-16
Althoen, S.C. (1974) A geometric realisation of a construction of
Bass and Serre, J. Pure Appl. Alg. (5), 233-237
Avenhaus, J. and Madlener, K. (1981) P-complete problems in free
groups, in Theoretical Computer Science: 5th GI conference, Karlsruhe (Springer
Lecture Notes in Computer Science 104), 42-51
Avenhaus, J. and Madlener, K. (1982) The Nielsen reduction as key
problem to polynomial reductions in free groups, in Computer Algebra:
EUROCAM 82 (Springer Lecture Notes in Computer Science 144), 49-56
Avenhaus, J. and Madlener, K. (1984a) The Nielsen reduction and
P-complete problems in free groups, Theoretical Computer Science (32), 61-76
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:34:46, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.013
Bibliography 299
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:34:46, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.013
Bibliography 300
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:34:46, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.013
Bibliography 301
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:34:46, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.013
Bibliography 302
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:34:46, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.013
Bibliography 303
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:34:46, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.013
Bibliography 304
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:34:46, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.013
Bibliography 305
Downloaded from https:/www.cambridge.org/core. Cornell University Library, on 30 Jun 2017 at 09:34:46, subject to the Cambridge Core terms
Cambridge Books Online
of use, available at https:/www.cambridge.org/core/terms. © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878.013
306
INDEX
Action of a group 182 Cell, indexed 141
Action with (without) inversions 183 Cell subdivision 146
Action, bounded 215 Church's thesis 244
Action, free 185 Circle 113
Action, properly discontinuous 165 Circuit 113
Adjoining a space 52 Coalescence 28
Algorithm 245 Cohomological dimension one 242
Algorithm, partial 245 Complex 121
Almost Stability Theorem 238 Complex, powerless 139
Amalgamated free product 30 Complex, simplicial 139
Amalgamated subgroup 30 Complex with simple boundaries 139
Arrow 64 Component 65, 114, 122
Associated subgroups 35 Computable group 265
Attaching a space 52 Cone 52, 80
Automatic group 288 Conjugacy problem 254
Automorphisms of free groups 132 Conjugate isomorphic 202
Automorphisms, Whitehead 289 Connected 65, 114, 122
Consequence 18
Barycentric subdivision 147 Contractible, locally 154
Base group 35 Contractible space 79
Base-point 74, 123 Contracting of trees 119
Basic neighbourhood 154 Contraction 79
Basis 13 Convex set 60
Bass-Serre theory 182 Core 221
Borsuk-Ulam theorem 104 Covering 96
Boundary 121 Covering belonging to a subgroup 153
Bounded action 215 Covering complex 141-3
Bounded set 215 Covering graph 140
Britton's Lemma 37, 46, 47 Covering map 96, 140-3
Brouwer's Fixed Point Theorem 87 Covering, regular 164
Bunch of circles 92 Covering space 96
Covering transformation 164
Cancellation 28 Covering, universal 162
Cancelling a subset 90 Cyclic loop
Canonical reduction 5, 8, 252 Cyclic permutation 16
Cayiey graph 182 Cyclically irreducible loop 220
Cell 121 Cyclically reduced 15, 28
Downloaded from https://www.cambridge.org/core. Tufts Univ, on 11 Jul 2018 at 01:30:13, subject to the Cambridge Core terms of use, available at
Cambridge
https://www.cambridge.org/core/terms. Books Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878
307
Downloaded from https://www.cambridge.org/core. Tufts Univ, on 11 Jul 2018 at 01:30:13, subject to the Cambridge Core terms of use, available at
Cambridge
https://www.cambridge.org/core/terms. Books Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878
308
Downloaded from https://www.cambridge.org/core. Tufts Univ, on 11 Jul 2018 at 01:30:13, subject to the Cambridge Core terms of use, available at
Cambridge
https://www.cambridge.org/core/terms. Books Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878
309
Downloaded from https://www.cambridge.org/core. Tufts Univ, on 11 Jul 2018 at 01:30:13, subject to the Cambridge Core terms of use, available at
Cambridge
https://www.cambridge.org/core/terms. Books Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878
310
Downloaded from https://www.cambridge.org/core. Tufts Univ, on 11 Jul 2018 at 01:30:13, subject to the Cambridge Core terms of use, available at
Cambridge
https://www.cambridge.org/core/terms. Books Online © Cambridge University Press, 2010
https://doi.org/10.1017/CBO9780511565878