Dehn 1987
Dehn 1987
Max Dehn
Springer-Verlag
New York Berlin Heidelberg
London Paris Tokyo
John Stillwell
Department of Mathematics
Monash University, Clayton
Victoria 3168, Australia
987654321
the first to solve one of the famous Hilbert problems (the third, on the
the first survey of topology, and in 1910 he began publishing his own
is apparent in the terms Dehn's algorithm, Dehn's lemma and Dehn surgery
but direct access to his work has been difficult. No edition of his
works has been produced, and some of his most important results were never
the origins of their subject and interested in mining the sources for new
Dehn's major papers in topology and combinatorial group theory, and three
unpublished works which illuminate the published papers and contain some
its place among related works of Dehn and others, and I have added an
theorem) . The latter theorem was never published by Dehn, though Nielsen
gives him credit for it, and Dehn's approach to the theorem became forgotten
Dehn's work fills a gap between the works of Poincare and Nielsen.
The three together are the main sources of contemporary work in this
The present volume would not have been possible without the generosity
Dehn's widow, Mrs. Toni Dehn, who very kindly gave permission for trans-
B.G. Teubner and Co. for permission to publish the papers which originally
permission to publish the paper from Acta Mathematica, and to the Mathe-
Paper 6.
a tribute to the quality of their work that the book could be photographed
directly from their typescripts. Wilhelm Magnus and Dave Johnson read
large portions of the book and saved me from many errors. To all these
Translator's Introduction 1 1
Translator's Introduction 2 47
Translator's Introduction 3 86
Appendix to Paper 6
-1
multiply by v rv
>
cancel vv-1
)
3
REFERENCES
1 and
Now we shall consider whether the group E3! is completely defined by the
generators and and the relations
Fig. 1
1
Fig. 2
3) Each relation in the figure, i.eo each closed edge path, can
be put together from the three basic relations, since each closed edge
path in the figure can be put together from basic polygons. E.g.
It follows from this property that our construction makes two different
elements of the qroup correspond to two different vertices, and conversely,
so that the figure has exactly as many vertices as the group has plements.
Now, since our figure has six vertices, the group defined by sl and
and the relations between them must be identical with L 3 !. Because a
group which has additional relations must necessarily have fewer elements,
since elements which were different from the identity in the original
group now become equal to ito
2
The relation sl 1 corresponds to a 2-gon in the group diagram, which
we represent by an edge without an arrow, the relation s4 = 1 corresponds
3 2
to a quadrilateral, and the relation (s l s2) = 1 corresponds to a
hexagon. Thus, if the three relations are to be satisfied, we have to
draw the group diagram so that the three polygons in question meet at each
vertex. We then obtain a figure with 24 vertices, which assures us that
the group defined by sl and s2 and the three relations is identical with
the symmetric group L4 !. One could also show this by mere calculation but
2 2 2 1 2 Fig. 3
Next we shall sketch the group diagram fur the alternating group A12 •
Here we can proceed in different ways. On the one hand we can consider
two three termed cycles as generators, say
on the other hand, we can also take a double transposition with a three
termed cycle, e.g.
In the first case two triangles and a quadrilateral meet at each point,
in the second case there is a 2-gon, a triangle and a hexagon.
9
\
Fig. 4
Now we shall similarly draw the group diagram for the alternating group
A60 of five symbols, which, as we know, consists of all even order
permutations in ~ " Since each odd cycle can be generated by an even
5.
number of transpositions, we choose the generators of our group to be
a three-termed and five-termed cycle, say
= s52=1
(s s )2 = 1
2
define a group with 60 elements, and since only 60 different rotations
are possible for the icosahedron, we have in fact found the icosahedral
group. We see from this that our generators and defining relations
establish an isomorphism between the alternating group A60 and the
icosahedral and dodecahedral groupo
We shall now derive, from our icosahedral group, a new group 0120
of order 120, by combining the rotations of the icosahedron with
its reflection in its midpoint. Such a reflection sends each vertex
of the icosahedron to the diametrically opposite vertex. One sees
without difficulty that such an exchange of vertices is not obtainable
by rotation. Since one can apply this reflection to each of 60 positions
obtainable by pure rotation of the icosahedron, the extension of the
icosahedral group by reflection is a group with 120 elements. In
order to be able to construct its group diagram we have to add a third
generator 53' representing the reflection in the midpoint, to the
generators sl and s2 of the icosahedral group. Since reflection
in a point has period 2, i.e. two applications of the same reflection
return each point to its original position, 53 satisfies the equation
2
s3 = 1.
The relations between and the two rotations and are also
easy to determine. When we reflect the vertices of a triangle on the
icosahedron, say AB~ then we obtain the diametrically opposite triangle
and indeed A goes to A' , B to B ' , and C goes to C '. If we then
take the operation sl' and thus rotate the triangle A'B'C' about the
normal through its midpoint, then A' goes8' , 8' to C' and C'
to
to A'. Finally, when we reflect the triangle A'B'C', in its new
position, the point A' goes to the old point 5, B' goes to the old point
C, and C' goes to the old point A. Thus the operation has
sent the points A,B,C -to B,e,A respectively, as also occurs with the
-1
rotation alone. Recalling that s3 = s3' we then have the relation
1, 1,
12
Fig. 6
formed by corresponding edges on the top and bottom levels and the
connecting perpendiculars. since our figure has the property that the
number of edges issuing from each vertex is the same as the number of
generators which can be applied, and the six relations between the
generators are satisfied at each vertex, it is the diagram of the group
defined by the generators sl,s2,s3 and the six equations
in our group diagram can be put together from the six relations just
mentioned. This holds not only for the top and bottom levels, where
it is immediate since each is the diagram for A60 , but also for the
whole figure, because each closed path in it bounds a simply connected
piece of surface made up of pieces corresponding to relations. As in the
well known Stokes' Theorem of integral calculus, a circuit round
individual pieces is equivalent to a circuit of the boundary polygon of
the whole surface, since inner edges are traversed twice, and in
opposite senses, so that they cancel out. We have therefore proved
completely that the six given relations between the generators sl,s2,s3
13
1.
Now we have only to establish the relations between s3 and the other
two generators sl and s2' which are connected by the relation
2
(s l s2) = 1, sl being the three-termed cycle (123) and s2 the
five-termed cycle (24153)0 If we choose s3 to be the transposition
(12), then simple calculation yields the easily verified relations
We shall now use construction of the group diagram to show that the
symmetric group E120 is completely defined by the generators
with the relations above. We set up the group diagram in a similar way
to that for G120 ' by choosing the group diagram of the alternating
group A60 as top and bottom figure in a spatial structure whose
outline is that of a five-sided prism with parallel top and bottom
faces. The relations satisfied by and alone are then
satisfied at each of the 120 vertices of this figure. To satisfy the
remaining relations at each point, we connect each vertex of the bottom
figure with the points of the top figure associated with it by
-1 -1 -1 2 2 2
s3 s l s3 = sl and s3 s2s 3 s l s2s 1 s 2' and label the connecting
edges with s3· It may then be shown that edges corresponding to
-1 -1 -1
each of the five operations sl,sl s2,s2 , s3 s3 issue from
each vertex in the figure, also that the six given relations are
satisfied at each point and that each possible relation between the
generators in E120 can be expressed by these six basic relations.
This proves that our figure is in fact the group diagram for the symm-
etric group E5 !.
s3 31452
J' s2 23145
15
This example discloses how we can generate the whole symmetric group
E120 by application of 52 and alone.
12345
53 21345
52 52134
53 25134
52 42513
53 24513
52 32451
53 23451
52 12345
FiB. 7
16
8. Excursus into non-euclidean geometry. Here we come for the first time
to an infinite groupo In the construction of group diagrams for infinite
groups, a knowledge of non-euclidean geometry is indispensable. We
shall therefore assemble the theorems of this discipline which are most
important from our present point of view.
Fig. 8
Poincare line
The justification of the term "line" for these semicircles is that such
a semicircle is uniquely determined by any two of its points, and two
such semicircles or non-euclidean lines have only one pmint of inter-
section [at mostl, since the lower half plane is omitted. The
"angle" between two intersecting non-euclidean lines is taken by
Poincare to be the ordinary euclidean angle between the semicircles.
c
Fig. 9
,~
81 '8 1
,"~ I \
-
/ 1 \ :' \
/ 'I
/ El..:'8 1)'
' I
~ r
":," \'\ ,
I
/
;' "" ',,'
() ~,
",
1 '\r
"\ \
/ \
I
':",",
I
..! , I
I' ,
',r" \ \
' \'
\
\ \
" I....... ... ',\ \
I \ 1/ '\..F, '\' \ ,
,,',<+,
\ ~ ,
"',.,\,
~~~
I
v
a
between the Poincar~ line and the variable radius vector to the
hypotenuse, let r be the radius of the hypotenuse circle and let
a be the distance from the centre of this circle to the foot of
the perpendicular, then the sine law of ordinary trigonometry gives
and hence for the circle through the intersection of the hypotenuse and
the perpendicular. If we let n denote the angle in our right-angled
triangle at this point, then
n + 9max n + e = 90 0
n + 9 < 90 0
for our right angled triangle. This proves the assertion that the
angle sum of triangle ABC is less than two right angles.
Now, to prove this theorem for the angle sum of a general non-
euclidean triangle, we shall show that each triangle is decomposable
into two right-angled triangles. For this, we need only the following
lemma
Fig. 10
Now that we have shown that a triangle can have at most one obtuse
angle, we transform a given triangle so that the side opposite the
obtuse angle ACB goes onto a perpendicular to the Poincare line,
and then take the foot of this perpendicular as the centre of a semi-
circle which goes through C
Fig. 11
Poincare line
since this circle must always meet the base of our triangle, we have
divided the given triangle into two right-angled triangles, with
hypotenuses AC and BC. But now in each of these two right-angled
triangles the two angles at the hypotenuse sum to less than 90 0 ,
hence the angle sum of the given non-euclidean triangle is less than two
right-angles, as was to be proved.
20
Fig. 12
Poincare line
------ Y
Fig. 13
x
X'
Fig. 14
But two lines meeting on the boundary circle enclose an angle of zero
non-euclidean measure, since the corresponding semi-circles in the Poincare
half plane meet at the Poincare line and therefore touch, so that the
angle between them is zero. It follows from this, together with the
theorem on the angle sum of a triangle, that in the non-euclidean plane
the angle sum of a closed polygon with n sides can take any value between
o and (n - 2)~.
9. The group diagram of an infinite group. Our last remark now provides
us with a simple construction of the group diagram for the infinite group
defined by generators with the relations
Fig. 15
where a and S are any integers. We shall show that this group
has infinitely many elements when the angle sum
a-2 213-2
--Tf + 2 • 2"i3 Tf ;;;. 2Tf.
a
On the other hand, when the above relation, which we can bring into
the form,
are those for which one of the integers a,S has the value 2, in which
case finiteness is easily shown by construction of the group diagram,
and the groups with the pairs of values
a = 3, S = 3; a = 3, S 4, or a 4, S 3
a = 3, S = 5 or a 5, S = 3.
As we have already seen,
edges issue from each vertex of a group diagram of the first kind, then
the group diagram of the second kind consists of a net of n-gons o
Each vertex of the group diagram of the first kind is enclosed by such
an n-gon, and each polygon midpoint in the group diagram of the first
kind is the origin of as many edges in the diagram of the second kind
as the polygcn has sideso
the base, the operation s2 by reflection in the right side, and s;l
by reflection in the left side, of the triangle. One realises immed-
iately, by consideration of the figure, that reflecting twice in the
base returns one to the initial position, but that five reflections
in the righ~ side are required to do the same thing. The accompanying
fig. 16 shows the way in which individual triangles correspond to
group elements. One starts from an element denoted by 1 and writes
in each triangle the corresponding element. The operation has
been indicated by an arrow crossing the side where the corresponding
-1
reflection occurs; since sl = sl we omit arrows indicating reflection
in the base.
It may now be asked how one can use such a net of n-gons, uniquely
determined from the generators and defining relations, for the represent-
ation of finite [quotient] groups. To do this it is necessary to know
representations of the individual elements [coset representatives] of
the [quotient] group in terms of the generators. We then extend the
27
Fie. 16
28
Fig. 17
[~ranslators note].
29
The arrows denote the operation s2' for which we must have s3 = 1,
2 2
while the operation sl' for which sl = 1, corresponds to passage
across the unmarked edges. The corresponding boundary edges are in
each case those cut by the same arrow. In order to reflect this corr-
espondence, we have drawn together the fundamental domain so as to unite
corresponding boundary edges thus obtaining the group diagram of E3!
in the form of a double pyramid with triangular base, or alternatively
the subdivision of the circumscribing sphere into six spherical
triangles. In general, of course, the surface in space will be much
more complicated than this simple example and usually of higher conn-
ectivity. It is obvious that in each case one can work backwards from
such a group diagram of the second kind to one of the first kind, by
the dualisation process we used in the first place.
13. Sufficient relations for the generators. Using the example of the
symmetric group E24 on four symbols, we shall now answer an important
30
1,
However, these relations are still not sufficient, since they define a
group with infinitely many elements. This is easily shown by the group
diagram of the second kind, which is very simple here. We shall not go
into this, but we recommend proving this assertion as an exercise in the
theory. What we are really interested in is the problem of finding a
necessary and sufficient system of relations for the generators of a given
finite groupo
(14) ,
for which
1,
then we have
Thus, let
and p relations
now give us a system of necessary and sufficient relations for the generators
32
Cl l Sl 01 Cl 2
S2 O2 Cl S 0
r r r
R = sl s2 s
n sl s2 s
n sl s2 s
n
=1
is any relation between sl,s2' ••• 's in our group. If we replace
n * *
sl,s2, ••• ,sn by their expressions f 2 (sl,·.·,sn) , ••• ,fn(sl, ••• ,sn)'
then we obtain
*Cl l
R = fl
01
1jI n (<p 1 ' 0 •• , <Pm)
o
Wnr(<Pl,<P2,···,<Pm)
Cl l Sl 01
ljIl (t l ,···,tm)1jI2 (tl,···,tm)··· ljIn (tl,···,tm)
o
ljInr (t l ,t 2 ,··o,tm)
But now, all relations in the group between t l ,t 2 ,oo.,tm are con-
sequences of the p relations grr(t l ,t 2 ,.o.,tm) = 1.
We therefore have
Cl l 0
1jJl (tl,··,tm) .•• 1jJn r (tlP.otm)
Now our abelian group also has the special property, because of the
exchangeability of the generators, of being decomposable. In general,
a "decomposable group" is defined as the set of all products from
two or more groups, where each element of one group commutes with
each element of any other group. In our example the group decomposes
into three groups, with the elements 1, sl' resp. 1, s2' resp. 1, s3'
each of which is of order 2 and generated by ~ element. We have
the important theorem that : when a groul2 G is decom)22sable into k
groups Gl , G2 ,··· ,G k , then G cannot have fewer than n1 + n 2 + ... +nk
generators*, and it has order °102··· 0k' where n.1. is the minimum
number of generators of G. and 0. is its order, i = 1,2, .•• ,k.
1. 1.
2 2
3 3
While there are finite groups which require more than two generators,
they are nevertheless always subgroups of a group with two generators,
for the product of two of these elements. The element a. can now be
~
~ :J
a l ,·· .a n by those of alai' a 2a i ,··· ,ana i
respectively, where the latter sequence results from multiplication by
ai and hence also contains each element of Gn • In the same way, the
element a. is associated with the permutation
J
(~j
2
2. 3.
)
) :J
ei
2
2. 3.
~
3
~
. n )
• ni 3.
Cj 2j J
2 3
:J C 2 3
1 tij 12 (ij) 3 (ij)
("i:' )
2 3 • n
(2i 1 j (3.) . . (n.l .
~ J ~ J
that
(k.l. k(ijl
~ J
But now (ki)j is the index of (akai)a j and k(ij) is the index of
ak(aia j ), and hence the associative law implies
(a a.la. or
k ~ J
whence the correctness of our assertion, which has been extensively used
by Frobenius and Netto in a series of important investigations.
35
are the generators of the finite group, then Hurwitz introduces a new
generator sn+l by
-1 -1
= 1 or sn+l = sn sn_l
so that the product of all generators is equal to 1. When the product
s l s2 •.• sn is already 1, then of course it is unnecessary to add
sn+l. In any case, since our generators yield a finite group, equations
of the form
rn
n
s 1
n
*Vol.41(1893) 403-442 **This idea is actually due to Dyck, Math. Ann 20(lR82)
1-45 (Translators note ).
36
Fig.20
In our figure we have replaced these polygons by arcs which return to the
initial point, and inside each arc we have inscribed the number of edges
of the polygon. If these polygons are to be regular then of course they
are only attainable in non-euclidean geometry, apart from the simplest
cases.
We can now proceed from this group diagram of the first kind to the
group diagram of the second kind, by connecting midpoints of neighbouring
37
We now derive a simple relation between the order of the group and
the genus of the surface resulting from the "Hurwitz basis", which
carries the group diagram. Our starting point is the Euler polyhedron
formula, already known from school :
However, this formula holds only for polyhedra which can be continuously
deformed into a sphere. For surfaces of higher connectivity, which have
several holes, continuous distortion into a sphere is no longer possible.
In this case we can obtain a simply connected surface by p cuts through
the holes [and closing off the resulting perforations]. The cut open
surface can be continuously deformed into a sphere, and hence the Euler
polyhedron formula holds for it. But in cutting we have increased the
number of faces by 2p, while changing the numbers of vertices and edges
by the same amount, so that the number remains the same.
Hence for a surface with p holes we have
2 - 2p,
assuming that the formula is correct for the sphere. In order to prove
the latter, we show that the left hand side of this equation is independent
of the subdivision of the surface into polygons. We can obviously convert
one subdivision into another by either dividing edges in two [by new
vertices] or by dividing faces in two by new edges. In the first case we
we have one edge and one vertex more, in the second case one face and one
edge more. The alternating sum
38
2 - 2p,
IJ
4
and hence the genus of the surface increasffiwith the order of the group.
On the other hand, if we have n = 3 then not all the generators
39
7 2) ml = 2, m2 = 4, m3 = 5 ;
are 1 + 1L
40
1 + 1L
24
Thus, if P > 1 then it also satisfies
the inequality
p;;' 1
N
+ 84'
which gives us the Hurwitz result on the order of the group and the genus
of the group diagram.
n+l 1 n+l 1
2
,Ii ( Z (1 - - ) - 2) -2 or L (1 - - ) 2
i=l mi i=l mi IJ
n = 1 and n 2.
If n = 1 we have
1 1 2 1 1 ~
2 2 or - + -
ml ffi2 N ffi l m2 N
whence
2m l ffi 2
N =
ml + ffi2
Now suppose ffi2 is the greater of the two numbers ffi l and ffi 2 , so
certainly
2 2
and
N N
whence
ffi l .;; M';; ffi2 •
On the other hand, since the order of the group itself ffiUst be greater
2
than or equal to ffi 2 , since it contains the m2 elements s2,s2' .•.
we necessarily have
Fig. 21
In order to investigate what cases are possible, we suppose that the ord-
ering of ml ,m 2 ,m 3 is
;;. 1 + l or m < 3,
N 1
1.2 + 2
N
42
we find that
4N
m2 ";;; N+4 < 4,
2 3 3
2) 51 52 53 1 N 12
3) 2 3 4 1 N 24
51 52 53
2 3 5
4) 51 52 53 1 N 60
The first case is the dihedral, or double pyramid, group which is isomorphic
to the group of rotations of a double pyramid whose base is a regular
m3 - gon. The operations 5 1 ,5 2 ,5 3 respectively represent the two rotations
which take one apex to the other and the rotation about the axis between
the top and bottom apex. The remaining three cases lead us back to the
frequently mentioned groups of the regular polyhedra, namely the tetrah~dral,
We construct the group diagram for the infinite group with the
four generators and the relations
The group diagram consists simply of rectangles which cover the whole plane.
Since each vertex is the origin of as many edges as each cell has sides,
our figure can be viewed simultaneously as a group diagram of the first
and second kind. The first point of view takes the numbers on the edges as
3 1 3 1
2 4 2 4
1 3 1 3 2
4 2
4 2 4
3 1 3 1
2
4 2 4
2
1 3 1 3
4 2 4 2
4
3 1 3 1
Fig. 23
operations by which one proceeds from one vertex to another, the second
takes the operation to be the process of going from the cellon one side
of the edge to the cellon the other. This diagram is the Hurwitz basis
of the the finite abelian group GS given by the generators sl,s2,s3
and the relations
45
1.
then in fact
2
s4 1
3 1 3
Fig. 24
By uniting the corresponding boundary edges one obtains the group diagram
on a closed surface which has the form of a ring. While this
Fig. 25
gives the genus p = 1 for the group Ga , we have seen earlier that we can
represent it in a much simpler way by a cube, and hence by a surface of
genus p = o.
46
a paper to which Dehn refers in [1912 a,b). Poincar~ takes the standard
the origin is the initial point of ~(O) and final point of ~(i) =
I am now using the more familiar conformal model, in which "lines" are
F
aF
Fig. 1
~(O)
Any lift in the chain, say c , can be deformed onto a
Fig. 2
polygon edges, which in turn are computable from the ends R,S of
the axis ACc) and the position of the polygon net. Such calculations
seems that the first and only time they were done was in the thesis of
Dehn's student Gieseking in 1912. For more information on this work, and
some explicit matrices for generating the coordinates of the net, see
Magnus [1974].
this is the case if and only if aCc) is simple. This was Poincar~'s
determine the ends R,S of the axis A(c). The motion with fixed
points R,S which maps c(i) onto c(i+1) and A(c) onto itself
holds if
distance curve through them, and hence find R,S as its intersections
each other by comparing distance curves rather than axes. This seems
awkward and roundabout, particularly since he still needs the axes for
his calculations, but it points the way to the next step, in Dehn [1912aj,
where axes and distance curves themselves are no longer needed, only
REFERENCES
Academic Press.
LECTURES ON SURFACE TOPOLOGY
groups thereby. In this chapter we shall now deal exclusively with such
cut the simple ring [torus] along two curves a and b, one of which runs
around the inner hole and the other across it, so that the torus surface
torus surface, each curve r on the to~us can be mapped onto the rectangle.
At the places where r cuts the curves a and b its image will stop
53
into several pieces, whose endpoints lie on the edge in such a way
that the final point of one piece and the initial point of the next
torus. This curve is then closed on the torus when its initial and
final point coincide in the rectangle or, if they lie on the boundary,
Fig.2
b- l
-1
a
a
b 6
Fig.3
54
edge, but in a new rectangle on the other side of the edge being
curved path. This net of rectangles covers the plane simply and
rectangle, and each vertex of the net is the origin of four segments
-1 -1
a,b,a ,b • Geometrically, the attachment of new rectangles is a
multiple covering of the torus, the individual sheets of which meet along
pasting together. The latter curve is then closed when the initial and
cut this surface in the way already known to us along the four circuits
a,b,c,d which have the positions shown in the figure. By spreading out
-1
a
c a
Fig.S
-1
c
56
for the cuts a,b,c,d, the sides of the elementary octagon become the
-1 -1 -1-1
sequence a,b,a ,b ,c,d,c ,d .
One finds this orientation when one traverses the cuts a,b,c,d
general, one sees that a closed surface of genus p can be spread out as
aI' b l , a 2 , b 2 ,···, a p ' bp ' with a common point 0 and running alternately
through the holes of the surface and around them. This elementary
one chooses the orientation of the curves a. and bi' where a. runs
~ ~
through the ith hole and b.~ runs around it, so that a circuit of the
Each curve on the double torus which cuts none of the curves
pieces in the octagon, bounded by the points where the curve meets the
circuit cuts a,b,c,d. The boundary points are such that the final
point of one piece and the initial point of its successor are homologous
-1 -1
points on one of the edge pairs a and b ,c and c
-1
d and d • One can again replace these separate curve pieces by a
connected curve if one places a new octagon alongside each edge of the
original, with the same labelling and orientation. In the resulting net of
57
because there one can let the angle of a polygon take an arbitrarily
small value. The accompanying figure shows how the eight octagons lie
Fig. 6
curve on the net. Conversely, each curve on the net may be carried to
surface when the corresponding curve on the octagon net has homologous
initial and final point. Thus the net representation gives the means
surface. Naturally curves which are closed on both surface and net play
58
a special relle. These closed curves have the property that they may
net may be reduced to a point, but then each continuous movement on the
1) Each curve on the surface which meets none of the circuit cuts
connecting two boundary points, in such a way that the final point of one
segment and the initial point of its successor are homologous points on
segments
these polygons, which cover the plane simply and without gaps, in the same
of the net, and conversely, when the endpoints of the net curve G
curve which has this point A in common with r and which also goes
through an arbitrary point B of the surface. In the same way, the new
curve can then be deformed into another while the point B remains fixed.
the point A The curve G is then deformed, first into another curve G'
which has initial and final points Al and AZ in common with G
and which goes through the point Bl [corresponding to the point B
(Translator's note)). If we choose B as the fixed point of the curve,
then we must replace the piece AlBl of G' by the homologous piece
AZB Z beginning at AZ' and we then have G' = BlB Z' The curve G'
is then continuously deformed into the curve G* which
Fig. 7
60
has the endpoints Bl and B2 in common with G'. The net curves
a , b
p p
order for all polygons. Issuing from each vertex of the polygon we have
from the net is a consequence of this single relation, since each closed
net curve may be put together from single polygons. Thus our polygon
net is indeed the group diagram of the fundamental group of our surface.
61
the most important problem, which we shall call the identity problem
relation between ai,b i without extra work. Now, since our group
the edge paths leading to them from the identity vertex form a closed
problem; its solution answers the question of whether two given elements
the surface into each other. In order to see this, we first deform
Now when we choose the point 0 as initial point, our new curves
correspond to certain edge paths in the polygon net , with their endpoints
point AI' We then obtain the two edge paths G = AlA Z and K = AlBi'
where G is transformed into K as a result of the equation
A1=B'1 Fig. 8
B'z
63
the surface are deformable into each other. Here we again notice
the close connection between the fundamental group and the surface,
-1 -1
aba b = 1.
symbolically by
64
Now let
element
then we have
~~
a b
and
beauty.
the net onto itself in such a way that the point Al goes to
A_I to AO ' ..• and all these points are at distance A from
shall call the A-chain for short. The angles between successive
sides in this A-chain are equal, since the motion of the net
A
A
For curves on the surface, this means that there are no infinitely
66
ideal midpoint, it must meet the absolute, i.e. the boundary circle
these two infinitely distant points will be called the "axis of the
motion".
axis in common.
If r is the
M
geometric connection of
Figure 10
the point Al to the
The points B.1. thereby have distance r from the points Ai and
-1
which constitute a r A r-chain, therefore also lie on a non-euclidean
circle which is concentric with the A-circle and has the same axis
respectively.
following theorems:
a circle which has the same midpoint, axis and angle of rotation
as the A-chain.
both have ideal midpoints and angles of rotation, but real axes.
as the A-chain and the same radius as the B-chain, so that the
construct the new circle by determining all the points which have
the same distances ~ from the A-axis as the points of the [old]
new B-circle
B'4
A
',db
, db , 3
, I
,
B-axis
A-axis
Figure 11
process is still called for, and could for that reason be the
We shall now give a second general method for the solution of the
were a second motion, other than the rotation of the A-chain about
midpoint A', and we have shown that such a motion of the net is
[conjugated] by an arbitrary
transformed element B = C- l AC
by attaching to Al and A2
Figure 12
70
when
V = v-I V V
b c a c
are distinguished by the fact that they represent the same motion
of the net, i.e. they have the same ideal angle of rotation, and
of the B-chain, then ZIZZ = XIX Z ' since both segments correspond
to the same angle and one axis is sent to the other by the motion
-1
Vc . If we now denote the distance between two points which
homologous ideal points must carry the net onto itself. Thus if
Figure 13
but since the net is unchanged in the process, XZX3 must map back
indeed with the same initial and final point. Since the same is
gat ion of two-sided surfaces, and we shall now treat the one-sided
course the "Mobius band" which one can easily construct by pasting
together the two ends of a paper strip in such a way that one side
continues into the other. However, this figure is not the simplest
visualised by suitably
2p, i. e. twice the genus, and one also has the equation
so that
one end through to the other in such a way that the outer side of
Figure 15
covering of the ring, the individual sheets of which meet along the
the same time the group diagram of the fundamental group of the one-
abab -1 1.
a a a a
b b b b b
a a a a
b b b b b
a a a a
b b b b b
a a , a a
b b b b b
a a a a
b b b b b
a a a a
Figure 17
76
-1 -1
Namely, we have the four segments a,b,a ,b issuing from each
vertex 0f h
tenet, ·
t h e re1 atlon abab- 1 -- 1 is satisfied, and each
relation of the group, i.e. each closed edge path of our net, is
represented by edge paths with the same initial and final point;
closed.
number of horizontal strips away. Now since two group elements are
displacements are related via the same motion of the net, our
formable into each other if and only if they have the same length
77
and direction, i.e. when they are identical. Thus the first con-
formable into each other only if they involve the same number of
horizontal strips; the reflection of the net can take place either
or odd in both.
group diagram,
-1
a(b)a a(aba)a- l aab
and
-1
a b,
using the relation aba = b each time. Our two theorems now
the group:
78
this form. This implies the theorem that each curve on the surface
Fig.18
79
between two kinds of net motions. The first kind, which includes,
the centre of the polygon and hence finite. Our problem then is
to find a canonical form for the second kind of motion. For this
"displacement length". It
negative.
relation
~c~c 1.
edge path. But this also shows that the diagram of our group
-1
a
-1
a
Fig.20
82
and relation
-1 -1_ -1 2
a cdc odb ae 1
-1 -1
a c f and a b = g,
then
when there is only one relation and each generator appears twice,
transformations
z' = az + b
cz + d
assertion follows from the fact that our motions are circle-
half planes, are mapped onto each other and angles are preserved.
z' -z = -x + iy
groups.
84
of the z-plane send circles to circles, and hence at the same time
Here we obtain the dual group diagram when we represent the four
-1 -1
operations a,a ,b,b by the reflections of a regular non-
hedron must therefore have the value 60°. But this is the case
functions.
TRANSLATOR'S INTRODUCTION 3
In Chapter I, §l, the word and conjugacy problems are formulated, and
Dehn describes a process which determines the diagram of a finitely
presented group. He points out that the process is non-constructive,
however, being equivalent to solving the word problem, for which an
algorithm was then unknown (and now known to be non-existent). In
practice, Dehn only constructs diagrams whose correctness is immediate
from the defining relations, and his illustration is of the icosahedral
group, no doubt recalled from his lectures.
REFERENCES
.T.W. Alexander [1924]: On the subdivision of 3-space by a polyhedron.
Proc. Nat. Acad. Sci. 10, 6-8.
R. Baer & F. Levi [1936]: Freie Produkte und ihre Untergruppen.
Compositio Math. 3, 391-398.
M. Dehn [1907]: Berichtigender Zusatz zu III AB3 Analysis situs.
Jber. Deutsch. Math. Verein. 16, 573.
W. Haken [1961]: Theorie der Normalflachen.Acta Math. 105, 245-375.
J. Hempel [1976]: 3-manifoZds. Ann. of Hath. Studies 86, Princeton
University Press.
H. Kneser [1929]: Gesch10ssene Flachen in dreidimensionalen
Mannigfaltigkeiten. Jber. Deutsch. Math. Verein. 38, 248-260.
W.B.R. Lickorish [1962]: A representation of orientable combina-
torial 3-manifolds. Ann. Math. 76, 531-540.
C.D. Papakyriakopoulos [1943]: A new proof of the invariance of
the homology groups of a complex (Greek). Bull. Soc. Math.
Grece 22, 1-154.
[1957]: On Dehn's lemma and the asphericity of knots. Ann.
Math. 66, 1-26.
H. Poincare [1904]: Cinquieme complement a l'analysis situs
Rend. circ. mat. Palermo 18, 45-110.
K. Reidemeister [1932]: EinfUhrung in die kombinatorische TopoZogie.
Teubner, Leipzig.
91
CHAPTER I Preliminaries
§l Group theoretic aid (the group diagram)
In topology one is frequently led to problems of the following
form:
A finite series of operations al.aZ •..•• a n are given as
generating operations of a group. The group G is then completely
determined by a finite number of reZations between the defining
operations. say of the form
A +1 or -1)
(m)
E.
n a ~ S 1
i k~m) m
~
S = UTU- 1
These two problems are completely solved for the special groups
G given as follows:
p
G
P
its centre.
-1
We now prove the following property of Cl : If a closed curve
-1
of Cl , traversed in a particular sense, consists of the segments
dl,dZ, •.• ,dq (all equal to ±a i ) then by virtue of the relation
81 = 1 the operation dldZ ... dq is likewise equal to 1: it results
from the operation 51 by conjugation and composition.
But each closed path whose initial and final point are Z is
representable by a composition of these expressions. Any other
choice of initial point however represents a cyclic interchange,
and hence is obtainable by conjugation. We must now convince our-
selves that this property cannot be lost with the coincidence of
two segments originating from the same point. If d = PQ = PR is
such a segment we can assume that the curve in question goes through
Q, since all other closed curves would also be closed before the
97
1,Z, ••. ,n. We associate the centre Z with the identity, then
each element S = dldZ ... d f is associated with the endpoint of
j polYBOllul puth. Tuo digti~~~ ~l~m~nt~ receive d15tlnct vertlces
of the diagram, and conversely, distinct vertices of the diagram
represent distinct elements of the group. The first fundamentaZ
probZem is soZved by eonstruetion of the group diagram c~.
However the above gives a proof of the existence of the diagram,
not a way of obtaining this diagram in a finite number of steps.
We can express this more precisely as follows: in order to decide
whether two elements Sand T are equal we construct a ci in
which both elements are represented by polygonal paths originating
at Z. If the endpoints of these paths are also distinct in
r.1
Cl ' then Sand T are distinct elements of the group. We have
certainly proved the existence of r i , but we know no general
method for really finding it. In the following section we shall
derive a whole series of such group diagrams, which will be of the
greatest use to us in the investigation of the corresponding groups
and topological figures. Here we shall show that the group diagrams
for the fundamental groups (defined at the beginning) of closed two-
sided surfaces are quite simple for abelian groups, but this has no
significance, because the solution of the fundamental problem for
these groups is trivial.
1 .
In the figure the line segments, with sign indicated by the arrows,
are numbered with the subscripts of the corresponding generating
substitutions. One sees clearly how the 60 elements of the group
are obtained from an initial element by and
1
Fig. L
We write
,)
£. = +1 or -1
k k' (
k: = 1,Z, ... or
to denote that k' results from running through first a k ' then
1
a k , ... , finally a k , and in positive or negative
Z n
direction according as £l' •.• '£n are +1 or =1.
t
(1) ,/1)
£1 £2 (1) nl
kl a (1) a (1) •.• a (1)
kl kZ k
nl
(m) £ (rn) ~
£1 nl
J
k a
m k(m) ak(m)
1 n
m
Then we construct the group whose operations are al, ... ,a~
and whose relations come from replacing the left hand side of A
by l's. This group is called the fundamental group Gc of the
2
102
are not singular points in our terms, Gince only one [self-inter-
secting] she€t goes through such a point). The singular> lines on
Ei are only: 1. Pairs of singular segments with common endpoints,
which constitute unclosed double lines ending at simple branch
points, 2. closed lines which constitute closed double lines,
either cyclically or pairwise. No single edge (of the non-singular
preimage) can end at a single point of Ei unless another singular
edge emanates from it. Otherwise this point would lie on the
boundary of Ei contrary to the hypothesis: the boundar>y would
meet an inter>ior> point of E2.
r
18AI:
c·c.
r
8
Figure 2 Figure 3
"()0
It is now easy to see that we can cut sheets along this double
line, by switchover of sheet halves, so that the neighbourhoods of
D and E remain one-sheeted. The
sheets to be joined are indicated
by like shading in Figure 4. Again
the number of vertices is unchanged,
the new surface
is connected, and hence simply
connected. Thus if we remove the Figure 4
touching along AB, using (I), we have removed the singularity of
~ without introducing new singularities or changing the connecti-
vity. In this way we can replace Ei by a singular disc E2 with
the same boundary curve, in which the only singularities are closed
double lines.
of the first double line, plus all segments of singular lines through
singular points of the latter family of lines, etc •. The segments of
a group thus constitute a series of closed curves on the non-singular
preimage of the disc. Thus if we have any two points of the disc which
do not lie on these lines, then all their connecting segments have
either an even or odd number of points in common with each line. We
now take any pair of corresponding segments of the lines in a group
and switch over the half sheets along them in such a way that half
sheets are connected when any two of their points have a connecting
segment which meets the lines of the group in an odd number of
points. We now claim the following: when we continue each switch-
over sufficiently far along one side of the segment, we come to all
segments of the group, with the exception of a pair of corresponding
segments on which no singular point lies. The disc becomes a two-
or one-sided surface with the number p = 1 resp. k = 2, on which
the remaining segments constitute a closed, non-singular, non-
separating, two-sided curve. If we cut the surface along it and
join the segments of the two boundary curves together, then the
switchover is completed for all lines of the group, i.e. without
introducing new singularities we have converted the disc into a
new, simply connected manifold in which the singularities along
the lines of the group can be removed by 1. Thus the lemma will
be completely proved by a proof of the above assertion.
C- n.s"
so C-n'J-O.
v. 0
E
Cm
~
m
1,2, ... , or n)
generating
GK {
relations:
S
m
Figure 10
n n-l
U - L \I,
1-
C, -
1-
L A,
1 J
s,
J
1
SiJ: = 1
(Each curve 11
......
which cuts it only once satisfies a homology of
this type.) "s (the curve bounding in the interior) can be represented
by substitution C, (where i is the index of a compartment which
1-
has a segment in common with the outer boundary). Let 1l be
represented by the substitution Sp.: of GK . Now if GK is
abelian, then
116
generating substitutions:
{
. -1
relat10ns: Cl C4 Cz = Cz 1
Pig. 11.
117
-1
where Cl and go out, where C2 and C3 go out, and finally
and hanging from each of these segments are the two resp. three
circles which correspond to the two resp. three relations in which
the corresponding substitution appears.
relations:
7) 1.
119
(b) Other knots. Here we shall only deal with the groups
of a few especially simple knots, closely connected with the
trefoil knot. The first two of the series are shown in the
figures 14, 15, the others are obtained by proceeding analogously.
Figure 14 Figure 15
122
They have 5,7, ••• ,3+Zn crossings and go over to the trefoil knot
by 1,Z, ••• ,n switches of a crossing point. One easily sees from
the rule given in the above paragraph that for n =1 the group
is given by
generating operations:
{
-I
relations: { Cl C6 Cz
§z Ordinary space
One can see immediately that the fundamental group of ordinary
space is the identity, since each curve in space bounds a disc
(possibly with singularities), so that the same is true of each
curve on NZ ' from which it follows by Chapter I, §Z, that the
fundamental group of NZ ' and hence M3 , is the identity.
metric.
c = ede- l
Fig. 1
e
Figure 2
maps a c-chain onto itself that all distance curves through its
ends on aF are also mapped onto themselves and that the length
of displacement along a given distance curve increases beyond
length,
does not occur within the computed distance, then the required
metric - which might well have been lost had Dehn thought of
REFERENCES
INTRODUCTION
RI (S. . .. ) 1
~l
in the infinite case. Here there are above all three fundamental
problems whose solution is very difficult and which will not be possible
-1
S UTU
relation between two elements of one group, the third the relation
space curves are then transformable into each other without cutting K
other. Finally, the question whether a given space curve K' can
defined in the above manner. In fact, such objections can arise when
one considers that in general, each infinite group has subgroups which
without defining relations, and collect all those elements which result
by any finite number of them. This group therefore does not come under
real or complex number manifold, in the case where the generators are
complex which was introduced in the work in Math. Ann. 69 and also
diagram.
In the present work the three problems are settled for the case
a few theorems on the most general groups are given, and a few
examples of higher groups are treated. Among other things, the trans-
formation problem for some knot groups is settled here, the ones
for which the identity problem has already been solved in Math. Ann. 69
Chapter I
problem bears fruit for group theory. for in certain simple cases
group theory. and indicates a way that leads to the same goal in many
other cases.
this theory. whose important results are known*. at least for two-sided
points of the 4p-gon. The final !Dint of 6i and the initial point
is a 4p-gon. The edges of the net can be denoted in such a way that
in each cell the series of edges follow each other in the same order
Then at each vertex the line segments taken in the same order are
squares in the euclidean plane, and for p >1 to take the net of
The initial and final point of the image of a closed curve are homologous
itself, in which each net segment goes into one with the same
denotation, and the initial point of the image goes into the final point.
The net motion which carries the final point to the initial point
4. I f the final point coincides with the initial point then the
and one point of the net are fixed there is no motion of the
uniquely determined.
which in general will cover a piece of the surface with a certain multi-
the net is closed or not without metric help, the question whether
If one chooses a certain initial point for the surface curve, but
point as the initial point of the surface curve, but retain the
original image of the original final ]Xlint, then the associated motion
then the associated initial and final point of the net curve are retained.
Conversely, all curves bounded by two fixed net points are images
on the surface iff any pair of net motions associated with the
p = 1, i.e. in the case where the net lies in the euclidean plane.
In the case p >1 we have to deal with motions (without reflection) in the
functions of those quantities, and the same holds for the coordinates of
the intersection point of the axis with the net sides; 4. the
*)
6. Relative to a vertex A, all vertices of the net can be
from A, the third the vertices of the edges emanating from points
th
of the second class, etc., the points of the m class being the
(m-l)s.
between A and B.
Lemma
s
polygon which lie on two non-adjacent edges is greater than
2P
a) We connect the midpoints of two adjacent edges by a circular
arc with centre at the common vertex. Since the lines connecting
the midpoint of the polygon with the midpoints of the edges are
perpendicular to the edges and lie entirely inside the polygon, the
circular arc also lies entirely inside the polygon. The distance
therefore
edges, then there is always a line segment within the polygon perpen-
of which any two on a chord are equal, since e and f are equal
chords in a circle. (The angles are smaller than the polygon angle,
when these are opposite each other, otherwise nearer to the end-
H
A Jl1 B
the triangles M2AMl and M2MMl that
thus
which are separated by at least two edges, then 0 cuts off a piece
f~
and connect Ml and M2 , Ml and M,
in F, G, H respectively. It
Fi,. s.
follows from the congruence of the
equal) that DF = FG, M2F = M1F. Since now, as was shown earlier,
two points of the same polygon which are on two non-adjacent edges,
XY is arbitrary. YC belongs
not be adjacent to AB at B.
EN ~ 4p(p+l)E, as claimed.
*
under a motion then we shall denote the point which goes into
goes by X2 , etc, If now AO,A l and BO,B l are any two vertex pairs
by edge paths
Through the vertices SO,SO' "" and nO,n O' "" one lays all
edge
*Here Dehn uses the fact that the distance a point is displaced by
a hyperbolic translation increases indefinitely with its distance
from the axis (Translator's note),
148
~ (i)
path beginning in or which ends in or
1
respectively.
paths with the same labels can be carried into each other by a motion.
E(YO'Y l )' so their net separation is also greater than the net
Then if there is
and ... Y-lYOY l ... and hence meet the edge path Xo ... AO ... YO
follows immediately.
of them meet at each vertex. then we can in each case denote the
edges of the net in such a way that the boundary of each cell.
motions are then transformable into each other iff they are both
formable into each other in the case k > 2, or, what comes to
the same thing, whether two surface curves are continuously trans-
to a pcint.
will be denoted by the names of the net edges taken in the order
-1
B AB C
then one can always find an edge path B such that the above
that in the first case all paths of net edges are transformable
into an expression
n
where nand m are integers and a naturally denotes the
are then transformable into each other iff their nand m values
-1
ac C a.
collect all c's and a's together and thus obtain (without trans-
n m mn
a c or c a
mn
C a
ml +m 2 n
So by transformation, c a goes into Thus any
153
expression with an odd exponent for a goes into one of the forms
n n
c or ca
odd, the algebraic sums of the c exponents are either both even
abba 1
so ab
154
same except for sense, are transformable into each other. We shall
call such curves amphidrome and show that there are no amphidrome
No line of the plane apart from the axis goes into itself under the
motion. Thus in order that a motion other than the identity go into
must have the same axis as the first. But if this is the case,
the two motions commute. It follows from this that the first motion
The same conclusion also holds for two-sided surfaces when p > 1.
If p; 1 all motions commute with each other and in fact are parallel
and 2.
of motions
-1 -1
a b a b 1
p P P P
resp. 1.
In fact each relation between motions of the net may be derived from
156
the net into itself. This group is called the fundamental group
the group, two surface curves transformable into each other corres-
generators : a l ,a 2 ;
{
-1
relation : a l a 2a l a2 = 1
{ gener~tors :
__________~_~r~e.lat10n : 1.
to the relation and all its cyclic permutations to emanate from each
the sides with the same denotation. Each side becomes a closed
can connect any two net vertices* by a net edge path which has no point
of this group; let Sl'S2' ... 'Sn be the generators of the group
tation we consider the totality of all those net vertices whose "net
net. All vertices of the net with the exception of a finite number
which connect points which have a separation from the identity greater
one can connect any two elements, with a finite number of exceptions,
Further:
has the property that a ring-shaped band surrounding it divides all other
elements into two classes, inner and outer. Any two outer or
the theorem:
. *)
TLetze has proved the following theorem on infinite groups:
also proved that two surface complexes which have isomorphic groups
one-sided surface has curves which first bound when traversed twice,
Chapter II
*)
Wien. Ber. 1907. (Also, Monatsh. Math. Phys. 19 (1908), 1-118.
Translator's note.)
161
and thereby solve, first the isomorphism problem, then the trans-
formation problem.
S2, ... ,sm then appear at most twice in each relation. Thus by
this reduction one can reach the stage where each generator appears
construct the group diagram, in which we attach to a point all the polygons
find the same simple situation as we did for the fundamental groups
G f generators Sl'£2'£3'£4
l relation: 8281818384848283 1
then the eight associated polygons fall into two classes. The
generator <1
{
generators Ll ,8 2 ,S3,8 4
G'
-1
relation : 8 2 <1 8 3 LlS4848283 1
group
One sees that the generator Ll does not appear in the relation at
all, and the six polygons at a point in the group diagram corres-
Suppose that
since there is only one relation by hypothesis, and hence only one
whence
All generators Sl' ... 'S~ may be expressed in terms of Sl' L2, ... ,L~
according to the
polygons at a point of the group diagram has also become one smaller).
assume that this is the case for the first pair SlS2 and in fact
the series of pairs, then before the end we shall reach a pair in
which Sl appears again, and in fact the first such pair has the
s-ls -1 -1
form for i f i t had the form Sr Sl the first r pairs
r 1
would already constitute a sheet and Sl would occur only twice
Here Ll appears only twice, and we have thus converted our sheet
into one with a pair less. The relation between the new generators,
166
four times among the original pairs; for if the original relation ran,
say,
-1 -1
then after insertion of El the pair 5 t El would follow
-1 -1 -1
St 52 ' after which E1 5 2 and 5 25 u etc. would follow, i.e. we
example.
pairs of a sheet until one comes to the extreme case b), i. e. until
the sheet. But then we can use the separate reduction procedures
and repeat until we arrive at the following normal form of the group
of each class appear in only one relation, and in this relation, twice.
attached to the same point. The group in its original form corres-
ponds to the system in which some of the free curves are transformed
168
Here PI' ... 'P denote the genus numbers of the two-sided surfaces
vI
corresponding to the generator classes of the given group, kl, ... ,k
v2
the characteristics of the associated one-sided surfaces, and
theorem:
certain element of G'. For this purpose we remark that the group
and since we can apply our conclusion just as well to the image of
are the same for G and G'. Finally, it follows from the
Tietze theorem that the horn number w must also be the same for
G and G'.
Chapter III
Higher groups
group, but they are certainly not homeomorphic. For the second
second.
It is easy to show that each group can be brought into a form where
form where there is one fewer generator which occurs more than three
generators : 8 1 ,8 2 ,83'8 4
{
-1 -1
relations: 8 18 4 8 2 8 28 4 8 3 1.
*)
Math. Ann. 69.
173
and thereby solved the identity problem. Here we shall show that
no closed polygon, and emanating from each vertex there are three
2~
equal segments at equal angles 3i. This is easy to obtain if one
the other side. We then connect each point on the boundary with
running in opposite directions, including the case when the last term
are then transformable into each other iff they have the same initial
net goes into Cl resp.)O and at the same time the net polygon
P1} attached to fj goes into the net polygon P", resp. p~)
If Sand T are transformable into each other these two net
into such a form that one can decide in a finite number of steps
whether or not they are satisfied. At the same time we have made
hexagons whose edges are edges of a cube such that each face of the
notice that identical points of the group diagram are only those
by the same odd number of cubes, then in euclidean space the two
space, but one can show on the other hand that it is isomorphic
discontinuous.
in a later work.
TRANSLATOR'S INTRODUCTION 5
computational efficiency.
any of them yields a simple curve. This may explain the claim
REFERENCES
notes) .
Springer-Verlag.
in Math. Ann. 71*. In the same work I have given a method for
a a'
bPI _ A.
P al
b -1 1
p
to cyclic interchange.
and
my work in Math. Ann. 71. I recall here only that this net
b -1 1.
P
the net.
a '
1
Theorem 1 : If the element ... a l ... of
theorem is proved.
Pl.P2 •...• where each has an edge in common with its successor.
but no two polygons have a common element apart from this. will
result:
with only one. For each such curve IT we can begin at the
most one reducible polygonal path of the loop does not lie on
IT must have two loops without a common edge, and these must
least 4p-l segments remains for the path AXB on IT. But
together with the path yielded by the loop CYC we again have
polygonal path
these paths.
t' are two final sections of the same path T, one of them
if t and t' both have more than one edge, u and u' must
have the same beginning. But then the first and last edge
intb polygonal paths of not less than 2p-2 edges which lie
cuc-lV- l 1
---1
or UV 1
generators and Imll ,lm21 , ... , Im~1 are all greater than 1,
are transformable into each other only when they result from each
of the form
Cl l Cl 2 Cl
a a a q
nl n2 n
q
or
81 82 8q
b b bg,
g,l g,2 q
results which could have been derived only with great difficulty
let p = 2, then
-1 -1 -1
albla l al bl a2 u
-1 -1 -1
and a 2b 2 a2 al b 2a 2 v
Here the last three and the first four terms constitute a
a fundamental polygon.
used, so that these results hold for all groups whose diagrams
meet.
TRANSLATOR'S INTRODUCTION 6
relation
-2
a4 a l a 4a l = 1,
-3 2
i.e. a4 (a 4 a l ' = 1,
201
and hence all torus knot groups. (For a beautiful proof that
all torus knot groups are of this form, see Seifert & Threlfall
and Goeritz. See the next two papers in this volume, and their
figure eight knot group was named Fritz Klein. It seems likely
that he died in World War I, and the diagram of the group has
complements.
REFERENCES
Academic Press.
Teubner, Leipzig.
show that the left knot is not convertible into the right by a
already known to those who have gone into the subject of knots
The space with a left trefoil knot and the space with a right
the two knots in the same space are not convertible into each
space (on the disc) symmetric regions not convertible into each
or less arbitrarily.
**
This was also recognized by H. Tietze, Monats. f. Math. & Phys.
19, p. 97.
***
This phenomenon and its opposite number, the "amphicheirality" of
knots, were first pointed out by Listing.
205
space) .
~1 __~a=n~d~K=2 __~g~o~i=n~t~o-=e~a~c=h-=o~t~h~e~r-=u~n~d~e~r__~~~~t~h~e~n~t~h=e
*
~g~r~o~u~p~s__~o~f__~KI ___
a_nd
___K_:2 can be mapped isomorphically onto each
for which
have
a ' a ' I
1 n
the trefoil knot, namely, the one which has only four double
** See Math. Ann. 1910 and 1911 as well as the MUnster dissertation
of Gieseking. [The subscript K~ is for "Kleeblattschling",
German for "trefoil knot" (Translator's note).J
209
II.
Generators:
Relations
1.
group diagram with such a plane through the origin 0, then the
particular
Then under the motion sa 4 the point 0 goes into P and the
-1
a 4a l a 4 a2
2 -2
a 4a l a 4 a3
+1 +2
so neither a- or a- are distinguished elements, since
4 4
and are different. On the other hand
3 -3
a4a l a 4 al
3 -3
a 4a 2a 4 a2
3 -3
a 4 a 3a 4 a3
more, this is only possible when the midpoint for the rotation
segment which has only the point M in common with the original.
~
o S' J/
S But n can only be +1
Ut 1200 S
- 3 +3 -3
or -1, since (a 4 ) a4 or a4 and
Q,
- 3 n -1 3 3 3n -3 ; a 3n
(a 4 ) (sa 4 S ) S a4 s 4
Fig. 7
goes into
original relations.
~)
and
Fig. 8 OP.
2
a 4 , and thus a rotation about
for i 1, 2, 3.
Thus or a 3 , i.e.
associated with
the relation
that
1.
correspondences:
218
-1
a. 1+ Sa. S
1 1
(i 1,4)
and a .... sa.-ls- l
1 1
pondences
-1 -1
a2 :+ sa 2 s , a 3 ,+ sa 3s
-1 -1 -1 -1
and a2 1+ sa 3 S , a 3 ... Sa 2 S
Fig. 9a Fig. 9b
. . 3
al lS a curve of latltude, a 4 represents a curve of
longitude on both knots (see Fig.) (one results from the other
or the correspondence
as and
to
...
KR.. We can give the latter the form This is
221
a 4 ±3 aI'
n Lof necessary b y trans f orrnatLon
°
on th e rLng
°
sur f ace
mabIe into each other on the ring surface have the same sense
a4 al n al n
+ 3 -3
relative to K~, and has the opposite sense to a4
+ 3 -3 n
in relation to U. But i f a4 can be transformed into a4 al
that
the group diagram shows. Thus the two curves which result from
III.
00
in Math. Ann. 1910 by con-
2
regions meet:
Fi,.lo.
Generators:
Relations
1.
-1
al >+ a 2a 5 bl
-1
a 2 .... a 3a 5 b2
-1
a3 1+ a 4a 5 b3
-1
a4 1+ al a5 b4
-1
as .... a 5 bs ·
which 1) all defining relations take the same form for the b.
1.
of L into its mirror image. One sees this easily when one
outer region into the inner region 5. Then L goes into its
APPENDIX
all knots which can be embedded in the torus, e.g. G3,2 is the
group of the trefoil knot. Theorem II can be used to simplify
where
0';; xl < a, 0 < x 2 < a, ••• , •.• 0 < yp-l < b, 0 .;; yp < b.
2) Math.Ann. 75 p.402.
3) As Herr DEHN has pointed out to me, his proof is also appli-
cable to all these knots.
a power of fA or E.
Xl YP
Let r be an element of order c and let /A ••• E
Theorem I is proved.
VA t+ T- I ErT, lB t+ T-l/AsTL
and thus would not appear in the group they generate. Thus when
generated from I1- l lAr rr and BS, II can only have the form
L2 = 1, KL = LK, LI JL.
works of Baer and Goeritz (see below) but it exists only in the
would probably have been lost if not for the careful preservation
diagrams.
a result which he also claims, but for proof cites only a set
to the genus 2 case, and the only clue it gives to the general
by Marden.
clearly written, but one can see at least the following revolu-
Twist mappings appear, perhaps for the first time, and their
ideas did not begin to fulfil their potential until they were
REFERENCES
1-25.
244-259.
Springer-Verlag, 56-78.
group of the closed surface has always been the starting point.
Ct 2 S2
T' = S T
T Fundamental group
Generators S, T
{
Relation ST = TS
Fundamental group
G'o~a"''" :' ••..•
{
Relation IT (a.
i=l ~
j a'
k Fl,k (a l ,··· , a P ; b l ,··· , bP )
l
A
-
b'
k FZ,k (a l ,··· , a p; b l ,··· , b p )
235
whether the system (a k, bk) has this property following Poincare (Pal. Rend.
1905), with the help of the diagram of the fundamental group in the hyperbolic
same class (i.e. whether one can be continuously carried into the other).
autogr. Vortrag of Nielsen, Breslau 9 and 11-3-21). Thus the mapping problem
reduces to the isomorphism problem for the fundamental group. The proof uses
of the isomorphism group (without the detour of 2a) has not been possible
The element of the fundamental group, i.e. the most general closed
one direction, and too special in the other, for the description of
curves without double points and intersection points, and not including
the same when one can be continuously deformed into the other on the
1) Torus
returns to S on the same side from which it left. Thus the curves of the
is the total number of intersection points the curves of the system have with
from the negative to the positive, or from the positive to the negative side
237
This construction uni~ely associates a number pair (~) with the curve
system, as we have defined it, and conversely. (We have first assumed m > o.
We also set (~) = (=~) and associate (~) with the system of Ivi curves
The number of closed curves of the system (all belonging to the same
not change the number of cycles) correspond to mappingcof the torus onto itself.
Thus in particular, each pair (~), where (m, V) = 1, can be reduced to (~) or (~)
From this it follows that, using the mappings which correspond to these trans-
formations, each simple closed curve U can be mapped onto the curve S. Under
this mapping, any simple closed curve V which meets U once goes into a
curve with the symbol (~). and under further transformati::ms which leave
S = (~) fixed, into (~), i.e. it is mapped onto T. We therefore have : any
two simple curves which meet in one point can be mapped onto Sand T by
separate the mapping classes completely from each other it is necessary to take
account of orientation and to reflect this in the Symbols. For this purpose
we make the convention that when m > 0 the curves corresponding to (~) run
towards the positive side of S, and also that when V > 0 the curves
into the 4 pairs of symbols (±~) and (±~). Each can be obtained by a mapping,
using the mappings which correspond to the transformations. Thus some already
3p - 3 pairs of numbers.
a) p 2
upper half
unite in pairs on the "upper and "lower halves of the double ring (m l + m2 + m3
the holes along the pieces of the curve system connecting them, until the
latter are replaced by direct contact of the ai' then, taking all properties
of the curve system into consideration, we obtain only the following possibilitie
a sphere by 3 discs.
is
Seam diagram
~l (~3) is the number of pieces eoanating from a 2 which unite in each half
Seam diagram
)<1
~
i
The ~i and hence the seam diagram are thus completely determined by the
numbe~mi' For this reason the lower half always has the same seam diagram
ml + m2 + m3
as the upper half. On each of the seam diagrams there are ----~2----~ points,
which lie above and below in the same way on the 3 (resp. 2) segments of the
seam diagram. We can speak of corresponding points on the two figures. We shall
240
give each point a double designation, corresponding to the two pieces which
point with the designation i,r k,s is where piece number r of the ith
division unites with piece number s of the kth division. The pieces
themselves are numbered in the same way as their intersection points with
the a i • If we leave one of the mi pieces of the ith division from the upper
seam diagram, then we again return from the lower to the upper figure, but
in general not at the same place, because the piece emanating from the point
i,r does not meet the lower figure at the point i,r but at the point i,r',
the simplest case, in which the same 2 curve pieces are joined together on
the lower seam figure as on the upper. The system then consists of
ml + m2 + m3 closed curves.
2
Type a) Type b)
The simplest case also has the property that for type a)the system has no
intersection points with the curves b. (see fig.), i.e. the curves lie
L
wholly on the front or wholly on the back of the surface, and that for type b)
241
the system has only m£ - mi - mk such intersection points with the curve b£
We now fix the points on the seam figure and construct the most general system
as well as with b£. The sign of Vi is taken to be positive, say, when the
We denote the curve system by One can also follow the course
of the curves of the system on the seam diagram by inscribed polygons with the
displacement segments V. (cf. in the torus case the role of the m-gon within
~
5
Example ( 42 2, ]12 1, ]13 3
3
Seam diagram
..... 4 • •
f- '. •
i,r
I
upper
><
lower
,
k,r'
upper
seam diagram
242
The 2nd substitution is always the inverse of the first, when symbols for
coincident points are regarded as the same. The number of cycles of the
substitution equals the number of closed curves of the system. Each curve
b) P >2
it was with p 2, to depend upon the seam diagrams of the upper and lower
are infinitely many seam diagrams not continuously deformable into each other
on the surface. However, the following construction enables the case p >2
Suppose, say, that p = 4. Then in the upper and lower halves we add
of the curves b l5 and b 34 each once (see fig.) Then the upper and
lower halves both divide into 3 spheres, each with 3 holes. Let R.. be
J.
the number of points of intersection of the curves of the system with c i '
(again under the hypothesis that no curve bounds a disc in conjunction with
a piece of ci). Then by II, 2a the kind of connection on each one of the
(normal) system with given mi and R.i we obtain the most general one with the
construct the normal system is to begin with one of the 3-holed spheres and
then construct normal systems of connections for all the spheres in a fixed
order, following the construction of the normal system (simplest case) for
number pairs are any integer;; the first terms are all ~O and satisfy the
following conditions:
In general we have:
pairs
ml R. R. m
( 2p-5 2p-4 p
\\ 1)2p_5 1)2p-4 \!
P
244
The numbers in the upper row are cardinalities, namely the numbers of
intersection points of the curves of the given system with the 3p-3 curves
a i , •.• , a p +l ' c I "'" c 2p _4 ' by means of which the surface is divided into
2 (p-l) three-holed spheres. The numbers in the lower row are arbitrary
positive or negative integers and they denote the twists which convert a
normal system with the same upper row into the given system.
curves in the system, so that one may expect that significant geometric
a) p = 2
itself.
II Reflection in the
(lxis
245
III Exchange of the outer and inner spaces (or upper and lower,
back and front)
II corresponds to
IV corresponds to
Example
5 IV-; I ~ (4 5 3)
3 ,-2 -2 -1
II ., (4 5
n
,
2 2
(
~)
III 3 3
2 1
I, IV -1 , I:; (
3 3 4\
., ,
1 2 1)
III ( 3
2
2
2 i)
IV-l,~
( 3
2
2
0 i)
---~
III
( 1 3
~)
,
1 2
I,IV -1 ,II ( 1
~)
3
..... 0 1
III
i ( 2 1
i)
,
2 0
I,IV- l (
~)
;.
2 1
0 0
III
1 ( 0
0
0
1 ~)
246
5
and thus the system ( 42 3
3
2) consists of two non-separating curves
not belonging to the same class. (cf. fig. p. 242)
where we set
Imi + ml!, - mkl+lm i + mk - ml!,1
11·l. = ~ + ml!, - 2
2
The transformations carry the types into each other. One sees without
1) ( VI0 V02 ~) 1)
3)
( 0 112+m3 m3)
VI 0 °
3)
( ml 112+ml O )
4) o 0 V3
the 3 minimal systems above is reached. Now let (~~~; ~;) be the
247
similarly.
(3 ~ ) .... l~) )]
20 (9 16 9 16 9
Example: 1 -10 \10 -7 .... [( 1 -7 1
.... ( 6
8
2
-3
6
8 ).... [( 6
2
2
1
6
2 )--] .... ( 3
1
4
5
3
1 )
.... [( 3 1
4
1
3
1 ) .... ].... ( 2
2
2
1
2
2 ) .... [( ~ 2
1
2
0 ).... ]
.... ( 1
1
0
1
1
1 ) .... [( 1
0
0
1
1
0 ) .... ] .... (\ 0
1
1
0 ~)
b) p = 3
Normal system
we shall associate each of the curves a. with one of the four curves
J.
of the curves lying on the front side of the surface. We can now
place the connecting segments in such a way that none of them are inter-
the same a i from which they depart. These will be placed in such a
way that they have an intersection point with the ai on the piece
with the bk associated with the ai' cf. the example shown,
2 3 I 0
o 0 o 0
up to continuous deformation.
Transformations
b) Rotation through ~jl about the 3-fold symmetry axis through the
"midpoint" 0I of the "triangle" 3 4 S IV II V
249
and
and
II corresponds to (_VV~.· )
~
IV corresponds to (Vl )
Vl+ml
further here.
0 0 0 0
( \)1 \1 2 ~) is equivalent to ( \1 3 \1 2 ~), likewise
0 m 0 m 0
( \11 02 ~) to ( \1 3 02 \11 ), and
( o ]12+m3
( m30
m3 ]12-Hn 3
\
\. \1 1 0 0 )
to
0 ~),
for they are mapped into each other when the left and right halves of
and longitude ln one (the right) half of the double ring, whereby the
follows that :
(~
2
0 n, where d
2
= (~
2
0 ~)
As a result, any 2 curves which meet
(~ 0 ~) and (~ 0 1
1 1
corresponding to IV and I, into o)' .I..e. I.nto
. b 3 and
the b'S) transformed with the mapping III, also enable a l and b 3 to be
shown chat each mapping can be composed from these 5 mappings, for we have
5 generators were used here matters little, for naturally one can show
number lattice, and indeed those corresponding to I, II, IV, VI are the
different sectors with the zero of the lattice at the vertex. This
Thus the way is opened for a precise study of the mapping class
Our representation brings the gain to knot and link theory that one
number pairs. Further: the transformations I, II, III for p=2 and p=3
transform knots and links on the surface into others which are spatially
equivalent (isotopic). The same holds for the special case of IV.
Thus for the first time we have the possibility of systematically treating
It therefore lies on the simple ring and has the symbol there Less
of the surface and the mapping, with a very complicated base step
Dehn surgery, when Dehn himself had not connected these two ideas!
of the details of Dehn's proof, but it does not replace the whole
paper. Dehn had another idea which also went unnoticed, even
[1976]. This was the idea of studying the mapping class group
above, Dehn took this idea far enough to represent mapping classes
of this space.
that mapping classes are much easier to understand when they act
REFERENCES
205-213.
of surfaces I (preprint).
THE GROUP OF MAPPING CLASSES
CONTENTS
Introduction 259
d) Indicatrix
§2. The self-mappings of the one-, two-, and three-holed spheres 264
a) One-holed sphere
b) Two-holed sphere
a) Torus
b) One-holed torus
257
a) General
b) Two-holed sphere
homotopic transformations
torus 298
trefoil knot
arithmetic field
presentation
d) Orientation. Examples
boundary
258
1) Normal form
2) Arithmetic field
1) Derivation of a relation
bounded surfaces
a) Coordinate systems
§9. Generation of the mapping classes for the sphere with n holes 342
1) - 5) Lemmas
§lO. Generation of the mapping classes for every orientable surface 353
1) and 2) Lemmas
Introduction
has been worked out with great success in recent work which
(see §l).
systems which are partitioned into sets which collect together all
arithmetic field and its transformations are still only used in a very
onto itself, namely twists along certain curves, which are simply
problem for mapping class groups, which has been the main theme of
in the detail devoted to simple things and in the fact that many known
useful examples.
§l.
can therefore compose the mappings of the surface, and the mappings
to the same class when one is the product of the other with a mapping
not only belongs to the identity class, but is itself the identity
mapping. Other mappings are not of this kind and have infinite
order, so that none of their powers even belong to the identity class.
th
Finally, there may also be a mapping of which a finite, say the n
which follow. Whether there are any of the third kind is doubtful.*
mappings which are homotopic to the identity without being the identity
on the boundaries, or else one requires that each such mapping leave
the mappings which leave the boundaries fixed one may also mention
§ 2.
denote it by Ln.
(the disc) is the identity group. All mappings belong to the class
points are not fixed) the group is the identity. with pointwise
7
."
I--~--I
Fig. I.
This correspondence
leaves the boundary points fixed (only the points Y and Z are
boundary to the other, and its image Yl 'Y'Y 2 '. If the boundaries
one deforms the mapping shown in Fig. 1, i.e. when one replaces it
Fig. _.
mapping remains the identity on the segments YIY I ' and ZIZI'.
the curve PY l 'ZY 2 and we therefore get one more intersection point
the one-holed sphere, for which all mappings belong to the class
the first case (movable but not exchangeable boundaries) and the
mapping classes.
three boundaries l , and the group with movable but not permutable
boundar~es
. .~s the ~' d '
ent~ty
1 The proof proceeds by considering
two discs (see Fig. 3). We shall prove that each connection V
Fig. 3.
r A
Fig. 4.
Z lies on AB. Then the third intersection can again lie on DC,
and we have circuits around the boundary CB, which we can rule out.
reason we can now assume again that all later intersections lie
AB, where the points A and B remain fixed. But each mapping
n n n
H' -1 2 1 3H "
~2 ~l ~3
i.e. the twists along the three boundaries gene~ate the mapping
class group.
The fact that these twists commute with each other follows
from the assumption that the regions in which they occur are
3.
Fig. ;.
consider (by §2) the twists along ZY, ST and UV. These are
mappings which do not belong to the class of the identity, even with
the fundamental group from the course of the two curves in the
o
Fig. 6.
The ~ holds for the twists along ST and UV. We shall see
class group results from the above by adding the twists along the
four boundaries. These commute with each other and with any mappings
which leave the boundaries fixed, in particular with the twists along
ST, YZ and UV, and there is a simple relation between the four
boundary twists and the three twists along XY, ST and uv (see
§7g) .
276
§4.
Fig. 7. Fig. 8.
Of course We
and ~' both send the (oriented) a and b to a' and b',
disc which ~,-14? maps onto itself with fixed boundary. But such
the mapping class group for this figure is also the identity.
§5.
arithmetic field to be, not single open or closed curves, but whole
Moreover, we shall omit from such systems all curves which are
279
when they are assigned orientations ; curves for which these extra
specifications are not made correspond to all the elements which result
complexes much easier to follow, and brings it into line with known
arithmetic transformations.
Because any two connecting lines are homotopic when the boundaries
280
are always homotopic. Also, one can pair one line of one system
same sense. If, first, 101 is smaller than n, then there are
boundary through one turn (see Fig. 9). Hence by §2b there
Fig. ~.
281
with the sign of 0 describing whether they cross the normal connection
Fig. 10.
once (see Fig. 10) and, when one side of bl is chosen to be positive,
a crossing of the normal from the negative to the positive side will
that all the crossings have the same sign, so that 101 represents
the same sign. Then the curve system can also be regarded as a
genus the problem has not previously been solved, since the
system in L 2, then the same is true for any piece of the system
same for the pieces of all other curves in the system. In this
case we give n the positive sign. If, on the other hand, one
with the above determination - 0 shall have the positive sign when
285
the curve piece in a particular one of the pieces into which the
Fig. 10, we take this part as the back side of the surface, then
(±(n,o» as well as o
(±(n,o» by our arithmetic operations.
o
curve, then we can reduce their symbols, by I!.a and I!.b or the
1021 points. If the two given curves have only one point of
Now each mapping sends a certain oriented curve pair to the one
represented by (~) (~), and it sends the same pair, in which the
second curve has the opposite orientation, to the pair represented
the identity. Thus two mappings which send the same curves to
Accordingly,
-1
~
a
-2 -1
~a E T
1.
obtains a normal form for the elements on the basis of the two
relations, and then one proves, with the help of uniqueness of the
for the definition of the mapping class group, and hence this group
two points on the same boundary must separate the other two boun-
daries from each other, and the latter must therefore have no
n. and
~
then
v ..
~~
v . n~
~~
are movable. I.e. for given values n. we can convert each system
~
first boundary with the second and third which do not cut v ll ' and
vi three connections vi2' vi3 and vi3 with the same properties.
290
a v ll which does not cut vi2 and v\3 and which cuts vi3
once. Thus we can convert vII' and hence also vII' into v·
1
by a homotopy. However, i f v ll is fixed, then v 12 and vl3
are convertible to vi2 and vi3 by homotopies which move the
series of disJoint connections of, say, the first boundary with the
Fig-. JI.
The systems with closed curves are obtained when we again fix the
six points altogether (see Figs. 12, 13). The normal connections
and the boundary curves form two hexagons 81 and 8 2 , and similarly
the pieces of the normal connections and the parallel curves form
if
r.' with
l.
(1S3)
1-10
~+-H(711)
10'101
Fil!. IJ.
ri::=:o 12.
n.-n -n
l. k Q,
2
cut v ik and vh and which cut Vkt only once, and the other
r.
, with the nt points on r t ' , by the lines in 81
, which do
~
that it lies in 81
, and 8 2 ', can be homotoped with fixed boundaries
r. but movable r.
, Only the connections in the three L2 ,i
~ ~
(:1 :2 :3).
~ ~
determines two different orientations for the two L2 's into which
gives the two L2 's the same orientations as AB, A'B' can be
boundaries with the same endpoints can be converted into each other
first boundary, on the other hand, divide into two classes (see Fig. 15).
AX'CY'B _ v' with the first boundary fixed, because the parts
In the case that n l > n 2 + n3' suppose first that 1°11 < n l .
points on r ' lie in one of the hexagons or S2' say Sl' made
1
M
Fig. 16. Fi:.!. 17.
0.
the same sign as 01' then we have to add \1 1 twists of the whole
symbol
n n)
02 0 3 independently of homotopy with fixed
2 3
boundaries.
.th
When n. = 0 (so that there is no connection with the ~
~
cases,
or
n.-n -n
~ k R,
and or finally 0. (for n. 0) •
2 ~ ~
from twists along the three boundaries. They transform our symbol
298
into
§6.
Fig. 18.
which do not cut the curves bl and b2 or, in the case of seH-
connections with the fixed ones is unique, as we saw for the three-
and thereby give n a sign. However, not all curves are homotopic
here that the determination of sign for higher genus fails.) This
gives all crossings of bl the same sense. For those of the latter
300
fixed boundary.
The mappings are the same as for the torus (see §4b)) the
301
rotation of- the system a,b. It follows from this, as with the
n'
convert the symbol into (0' q), where 10'1 is now < q.
and it turns out that n' has the opposite sign to 0, and 0' has
101 < Inl < q, so that we now have the case q > Inl > 101. We
-1 n n'
again denote t:.at:.b t:.a«o q)) by (0' q). The number of intersections
systems which satisfy the condition q > Inl > 101 and which are
transformable into each other. Because in this case we have (see Fig. 19)
b not at all and which are homotopic to each other, 101 connections
which cut a and b once and which are homotopic, and finally
303
Fig. It).
the 3 numbers for the 3 divisions. But choice of the two divisions
and the evaluation of In'l - 10' I and 10' I determines In'l and
for nand 0, when q > Inl > 101, is still lacking. We shall
these numbers (see Figs. 20 and 21) and denote the square with
[. Ax; f ,.'
rithm,
one gets from any point of the sector into the right-angled half strip
the operation,
( Inl) ( 101)
101 + Inl-q+lol
into the oblique-angled half-strip q > Inl < 101. Finally, when
n f 0, one can get from the latter into the triangle OQR,
q > Inl > 101 by suitable repetition of the operation ( Inl) ( Inl )
101 + 10Hni .
( In I) ( I 0 I+q-I n I )
( Inl) ( Inl )
101 + 101 and 101 + Ini-iol '
results from (Inl,O) in the right-angled strip Inl > q > 151.
This lattice point results from the point with coordinates Inl and
systems for which (n,5) > q are transformable into curve systems
with movable boundary. The fundamental domain for the closed torus
-2
~a Now we are in the region n > q > 0 and we obtain
101 , Le. by by ~
-2
Inl-q+lol a
the series:
21, 7 ; but leaving 3 on r yields the series 3, 14, 25, 11, 22,
series:
4, 15, 1
5, 16, 2
6, 17, 3
2, 13, 1
3, 14, 2
4, 15, 3
5, 16, 4
6, 17, 5
7, 18, 6,
which in fact divide into 2 different divisions with one member and
6 members respectively.
with the symbol (~q), each provided with p-l parallel curves.
309
When closed curves which are not parallel to r appear, then there
two boundaries and which are not parallel to the third boundary
corresponding to such curve systems are always of the kind for which
This result can be derived quite easily without use of the symbols
for the curve system, i.e. without passing through the arithmetic
field.
(see Figs. 22 and 23) into A1CA 2 , a mapping of the class T2 trans-
.B
Fig. __ .
which the only mappings are twists along the boundary, i.e. twists
the boundary.
311
and hence this group is identical to the group of the trefoil knot.
§7.
Fig. :q.
312
points on al and a2 on one of the two parts between V23 and V4l
mental group from our symbol. However, we shall first simplify this
Fi~. ~;.
314
The case 101 > n now remains. We reduce this to the preceding
section with the curves bl and b2 (see Fig. 24.) and the measure
ponds to a quarter turn. The case 101 > n has now been reduced
we have proved the invariance of nand 101 for the other symbols.
from the early results and the above development that the first
can determine k' so that In+2k'ol < 101 . The process breaks off
the fact used above, that when (n,o) = 1 the curve system consists
of only one curve. In doing so we have not used the theorem on the
317
divides them both, could be taken out, and for that reason
n
and are not both even. We then
2~
In this way the upper symbol of the pair, n, n, etc. always retains
the symbols for curve systems on the torus, give the symbol a
would have to change its sign with the sign of n for the same
mapping. )
320
Examples 1)
by twist in L .. ( 1)
2,a -1
2)
-1 -1 -1
c "(-1)" (1) by coordinate transformation a" b
and are positive, negative or zero numbers, but not both zero.
n
Once again we shall consider the original symbol (8)' where
i' _ i + 20 mod 2n
hence all cycles into which it decomposes have the same number of
terms, and in fact there are exactly (n,o) such cycles. This
corresponds to the above result that the curves of a system are all
The connection between the symbol (n) and the above substitution
o
leads to a graphical representation of the curve system (see Fig. 27):
s" r"
n)
1 S, .. , 5~ SJ'-t
Fig'. 07·
322
we use a square net and place the points Sl' ... 'S2n on all
and with the points Sl and S2n at distance from the vertices.
2
the upper side of the strip. Lines which are homologous in the
of the square net we can use a torus to represent the curve system,
since the universal covering of the torus is the square net. However,
1
for Rl,l Here the points are ordered on r according to the
where the three division pairs follow each other in the order
Fig. ~8.
324
euclidean plane.
one boundary
Fig. 09.
325
Thus we have here the case of the fixed boundary, and by the preceding
a. ,
,
to aO' which differ from each other in the fact that one, say 1-
Fig. '9 H.
In summary we have:
all the closed curves into one of either a l , bl or c l ' and the
torus, only two divisions : the closed curves and one division of
self-connections.
systems with endpoints on ~ boundary, and we shall now see how this
(0)
i. m resp. (mo+i.m) resp. (m+i.
m+i. m) resp. ( -m-i.
m+i. m) .
In the case where there are no closed curves, but instead m self-
a
connections parallel to aI' ~ self-connections parallel to bl ,
symbols
triangle with the vertices (0,0), (q,q) , (q,-q) together with the
6 and fix the sense of twist (see Figs. 30, 30a) as follows:
r.
1
6a replaces XX O by XX I X2XO'
6b replaces YY O by YY I Y2YO'
6r replaces RR O by RR I R2RO'
1
-1
6c replaces ZZO by ZZ l Z2 Z3Z0
The twists commute with each other and with the twists
332
Ar Ar Thus A-lA-lAb'
u u u u maps th e connec t'~on A1A3 onto ~'t se lf •
l 2 r r3l a
The mapping A-1A- A A similarly carries the connection A A
r2 r4 b a 2 4
(see Fig. 31) to itself. However, since do not
This mapping
class group,
Fig. 32.
Now ~c is generated by ~
a
and ~b' by §6c. Thus is
generated by ~
rl
,~,
a
~
a2
'~b and ~d: The twist along one boundary
is generated by twists along the other boundary and along the curves
334
Fi,!!. 33.
1
curves which are not separating on the (single) Rl , and hence
certainly not on the By the result just proved in 2), the twist
§ 8
the basis for the determination of any curve system. Each closed
ten closed curves on the LS ' each of which separates two of the
rk from the other boundaries, then the ten curves a ik must satisfy
336
other by segments which do not meet outside the five given points.
a' , , r 4
a 45 · On the L3 ,4' with boundaries 45
and r 5 , the curve
and
shall not go into the sign determination for this relation or the
five-holed sphere. They are not important for our present purpose.
( ni2 n
0' 45
Xn45 ), where
0'
is smaller than In general the
12 45
c::::: ~ Gk.J·
This symbol denotes curves parallel to ak,k+l and
Two of these three axes are of the form ag"g,+l and are already
ak,k+l' This is done in Figure 35, in which the holes are reduced
Fig. 3;.
doubly-traversed segments, and circuits around the holes are left out.
two more curves, ais which does not meet a l4 , and ai4 which does not
The exceptional case always appears only at the end of the reduction
process.
the pair (i,k) equals one of the pair (~,m). On the other hand,
from curves parallel to the boundaries, can be mapped onto closed curves
parallel to two disjoint curves among the twelve curves a ik , ai4 and
§ 9.
IThe mapping class group for the L, when the boundaries are points
and can be exchanged, has been invgstigated by W. MAGNUS, Math. Ann.
109, p. 617 ff. Magnus finds not only a system of generators, but also
a system of defining relations. Use is made of the connection between
the mappings of L onto itself and the "braids" introduced by E. ARTIN.
W. BURAU, Abh. HamB. Math. Sem. 9, p. 117 ff. has given generators and
relations for a subgroup of the braid group which corresponds to mappings
of the punctured sphere with non-exchangeable boundaries. It may be
conjectured that his results are related to ours.
343
onto c 2 ' in the same way that ~ maps ci pointwise onto c2.
same holds for two connections between the same pair of boundaries.
all other boundaries are (not only equivalent, but also) homotopic.
the same boundaries from each other are (not only equivalent, but
the L.
n
344
separates just two boundaries, r l and r 2 , from the others, and take
Q
Fij!·36. Fig. 37.
the general theorem : two simple closed curves on a sphere which cross
form at least two 2-gons on each side of each curve. The proof
and hence y', were to intersect the curve c l ' then, by our general
from the others, and hence does not separate from Thus
to be removed can meet the curve c l ' and hence the removal of such
connection v
o between the same points of the boundary r, separating
the same boundaries from each other, but with two or no points in
self-connection v
o of r as the polygonal path which
twice cuts c.
obtaining the result: the system v l ' v 2 , ... ,vm can be carried,
has at most two points in common with c, so that the system itself
hypothesis, ~3' ~2 and !l2 can be composed from twists along finitely
3
many particular curves in Ln _ l , and It remains only
to compose the mapping ~-l from twists along finitely many particular
curves:
we still have mll f m31 · If mll < m31 again, then we change
00 Ll
Y21 by a mapping ~12 of However, i f m31 < mll , then
n-l
00 L3
we change Y21 by a mapping ~32 of In this way we
n-l
00
obtain a curve Y22 which has m12 -;:: mll points in common with cl
and m32 ~ m31 in common with c 3 ' where strict inequality holds
in at least one case. We continue to so reduce the number of
..
.,. ,
"
...,
Fi.~. 40.
holds for n? 3, while the result for the number of generators for
no
latter are disjoint and not closed. The boundary lies in one
o o
(see §b)). 1
p-l
a) When the curve crosses a, it is represented in Rn+ 2 ,a
by a system of self-connections of the boundaries a and a of
i
RP- l and connections v - from one of these boundaries to the
n+2,a aa
1
other. We choose one of the latter, say v - By 1), we can
aa
send it onto the connection b of a and a in RP- l by a
n+2,a
mapping of RP- l Thus in this case there are (non-reducible)
n+2,a
1
self-connections of the curve a in Rl,C after the mapping, and
IFor the once and twice punctured torus, R. FRICKE has already given
generators and defining relations for the mapping class group. For
this and the multiply punctured torus cf. W. MAGNUS, Math. Ann. 109.
p. 634 ff. A ~ystem of generators for the mapping class group of the
double torus R has been given previously by the method of the
arithmetic fielg, see M. DEHN, Autographie Breslau 1922 and R. BAER,
J. f. Math. 160, p. 1 ff.
356
p-l i
Rn+2 ,a and Rl we can remove all connections v -. Suppose
l,e aa
these mappings carry a to a .
o
b) If
0 i
a yields self-connections v of the boundary a and
a
k p-l
v- of the boundary a on R + ,a' then by 2) we can connect a to
a n 2
i k
a by a curve a which meets no v or v-. By 1), we then have
a a
a mapping of RP- l onto itself which sends a to b. Then the
n+2,a
self-connections of a and a no longer have points in common with
as the transformed a
o yields connections between a and a or
Suppose a
o has now become a' .
,,_ v
c,/;'
000
Fi.!.!. 4:;,
1
of the curve pair all, b on the RP constitutes an Rl · By
n
twisting along a" and b in this Rl we can (§6b) ) send a" to
1
b, and by twisting along b and a we can also send b to a
4) Examples
along C can be composed from twists along al and bl (or also from
closed double torus are generated by twists along the five curves
b. has one
l.
several times, which can be generated from twists along the a. and
~
these twists are made are all different for p > 2, whereas for
2p(2p-l) _ 2p + P 2p(p-l)
2
curves.
curves for the generating twists are curves which meet each of
and the n-3 curves c j ' and hence by 2n-3 number pairs in all.
two corresponding boundaries are equal and for which the twist
zero. Thus we obtain 3p-3 number pairs in all from the above
pairs which we have just given for curve systems on the most general
1. Introduction
It is a pity that Nielsen did not publish his 1931 proof, as his
[1927] proof was made obsolete by the much shorter one of Seifert [1937],
with the result that Dehn's contribution to the theorem was buried along
with Nielsen's. Moreover, since Seifert's proof was purely topological,
it became forgotten that the roots of the Dehn-Nielsen theorem were in
hyperbolic geometry.
fairly well known that Poincare discovered the connection between hyper-
bolic geometry and surface topology in his work on fuchsian groups in the
early 1880's (for an English translation of these papers, see Poincare
[1985]). In a less well known (though often cited) paper, Poincare [1904]
364
one point, 0, where they cross. Cutting T along a,b yields the
cut
~ b
a
Fig.l
This follows from the classification theorem for surfaces (Dehn and
"sides" of the cut, which are connected by the curve a). The
Thus if a', b ' are any other curves with the characteristic
a'
a'
Fig. 2
T'
of onto
o which maps equivalent points in the boundary of
to equivalent points in the boundary of T~. A more intuitive way
again to form a torus on which a', b ' "look like" a, b (Fig. 3).
367
Fig 3.
To summarise, we have
point, where they cross, and if a', b ' is another pair with the same
Proof: The fundamental group ~l(T) is the free abelian group on two
generators (corresponding to a fixed pair of canonical curves a,b), so
we can identify it with the lattice of integer points (m,n) in the plane,
368
to-one linear map of the lattice onto itself, hence given by an integer
matrix
(0,1) to (Ql,q2)' where PI' P2 are coprime, and so are Ql,Q2' since
det I =+ 1.
It can then be checked by brute force that the corresponding
PI P2 ql q2
homotopy classes [a bland [a b 1 can be represented by simple
curves which meet, and cross, at a single point, whence the theorem follows
from Theorem 1. 0
it points the way to go in the case of higher genus, where the auto-
a ~a
r
b b ~ ~ ~
a
T: ~ ,
a a
b~~ b ~ ~~
vertex neighbourhood -0 a
.~
'a
Fig.4
369
its association with the homotopy of class is due to the fact that a homotopy of
T: T:
a
b b
o a
Fig.5
If we pull back the euclidean metric from the plane T to the torus T,
integer lattice points, are the different images of the origin seen
along closed geodesics. Thus the lattice points represent the homo-
one linear map f of the lattice onto itself, and we can extend f to
sends points (x,y) and (x,y)+( m,n) over the same point P of T to
lie over the same point, f(P) say, since f(m,n) is a lattice point by
I because
by definition of f.
a
b
-0 -'" a o
Fig.6
f
~
ability of the euclidean plane to admit linear maps which are not rigid
there are no linear maps except rigid motions,* and hence there is no
*This can be seen from the projective model. In this model, the
hyperbolic plane is the interior of the unit disc, "lines" are portions
of ordinary straight lines within the unit disc, and rigid motions are
all collineations of the ordinary plane which map the unit disc onto
(Fig. 7).
namely, Fig. 8
Fig. 8
Thus eight octagons meet at each vertex on 5. This is not possible for
in the hyperbolic plane, where the angle sum of a polygon can take
any value between 0 and the euclidean value. Thus one has
1f
regular octagons with corner angle 4" ' and one can fit them together
edges of which form the Cayley diagram of ITl (S). The construction is
similar for any genus p ~ 2 - one has 4p 4p-gons meeting at each vertex.
Since ITl (S) is the automorphism group of its own Cayley diagram, this
The motion associated with the element g E ITl (S) shifts the vertex
hence the vertex representing h, for any hE ITt (S), to the vertex
representing gh.
the net on S and by the corresponding motion of the net onto itself.
g E ITt (S) and the vertices or motions which represent them, I shall
speak of "the element g", "the vertex g" or "the motion g" as the
occasion requires.
but the lesson to be learned from Poincare, Dehn and Nielsen is that
hyperbolic metric concepts have great heuristic value, even if they can
of hyperbolic geometry, including the Poincare disc model, and develop only
the less familiar facts which are pertinent to surface theory. The best
sources for the facts we assume seem to be works on complex analysis, such
Fig.9
A motion which leaves P fixed maps each circle with hyperbolic centre
a rotation about P.
centre P. A motion which leaves P fixed maps each limit circle onto
rotation there are points which are moved through arbitrarily small
375
hyperbolic distances.
given line LCD are the curves at constant hyperbolic distance from L
Proof. Since the motion g maps the Cayley diagram of nl(S) onto
lower bound to the distance moved by each point under the motion g,
from the negative fundamental point, called U(g), towards the positive
fundamental point, called V(g), along the "streamlines" which are the
find U(g), V(g), and hence A(g), from the Cayley diagram.
-1 2
Fact 3. The vertices ..• , g , 1, g, g , ... of the Cayley diagram
the vertices must lie along a streamline of the motion, i.e. along a
-1 -1 -1
A(fgf ) = A(g).f (the f -image of A(g))
-1 -1 -1
Proof. Consider the f -images, U(g)·f and V(g)·f , of U(g)
-1 -1 -1 -1
U(g)·f ·fgf U(g)·gf = U(g)·f
-1
since U(g) is fixed by g. Thus U(g)·f is a fixed point of
-1 -1 Hence these are the fundamental
fgf ,and similarly so is V(g)'i .
377
-1 -1
points of and A(g)·f = A(fgf ). r'\oreover, a point
fg = gf. Since
closed geodesics with no multiple intersections, and such that cuts along
properties
is simple.
We shall see in Theorem 3 below that cutting along such curves ai renders
Such a system was used by Dehn's student Baer, [1927], and a similar
one appears in Nielsen [1929, §4], though neither notes that the a. can be
~
a i with properties (i), (ii), e.g. as in Fig. 10, but to show that
Fig. 10
which therefore,deforms any line into a curve with the same endpoints
on as.
will be called the motion c, its axis A(c), and the closed curve on S
(Of course, when we are discussing elements g E 111 (S) directly, the
old notation will still be used, and ~(g) will denote the curve on
segment of A(c) •
(It follows that ~ displacement segment of A(g) has the same projection
two endpoints project, rather than a closed geodesic. For example, the
edges labelled a 1 meet at right angles; thus segments of the curve which
their lifts to S which are not fixed at the vertices of the Cayley
diagram.
Proof. Consider the lift c of c which runs betwen the vertices 1 and
these vertices are distinct and, since they lie on a distance curve of
curve segment between land c, and then descend through the intervening
Fig. 11
A(c)
are equivalent under the motion c, hence they must remain so (since ITl (5)
is a discontinuous group, e.g. by Fact 2). But the only axis which con-
. . a(c) is simple.
Proof. (.) is immediate from Lemma 2. To prove (~), suppose that a(c)
of A(c) separate those of A(c)·g on as. We know from Lemma 2 that there
Coo 'g, with fixed endpoints. The endpoints therefore continue to separate
each other on as, and hence Coo crosses coo·g (e.g., by the Jordan
coo.g attains the same maximum distances to left and right of A(c).
It follows that coo.g cannot lie entirely to one side of coo' and
must cross, and hence A(c) crosses A(d) on S. Thus the endpoints
Coo ' d oo ,where Coo has the same endpoints as A(c) and d has the
same endpoints as A(d). Then Coo crosses doo ' and this crossing covers
The reader may easily guess that a(c) = a(d) . . c, d are freely
algorithm for deciding when two given curves are freely homotopic
Lemma S. If c,d are simple curves which meet at a single point, where
To establish the crossing property, let coo' doo denote the curves
on S which cover c,d and have the same endpoints as A(c), A(d).
X of c by d
n
together with a single crossing X·c of - c by
-
00 00 ' 00
n
each translate da: c of d 00
by a power of the motion c. The latter
versals of c, and since c,d do not meet in any other way, Coo does
not meet any other translate da: g, where gE1fl (S). We want to show
of a(c) bya(d).
doo cannot lie along A(c) by the argument of Lemma 3, case 2. Thus
A(d) f A(c) and the two axes must cross, otherwise there could not be
Fig. 12
386
translates by any other g E ITI (S) do not, since this would imply a
It follows easily from Lemmas 3-5 that the curves al, ••. ,a Zp
a curve which the other does not cross.) Any geodesics a l ,·.·, a Zp
system. The proofs of Lemmas 1-5 show that al, ..• ,a Zp can be represen-
ted as a(gl)"'" a(gzp) for some gl, .•• ,gzP E ITl (S) whose axes have
Theorem 3. For the surface S of genus p there are elements gl, ••• ,gzP
E ITl (S) such that a(gl) ••..• a(gzp) is a canonical geodesic system on S.
This means
(ii) Except for the trivial coincidence of A(gi) with its own
systems with given intersections onto other systems with the same inter-
him.
Theorem 4. If and I
Cl l •···• Cl 2p
I
are canonical geodesic
pairs: one pair for each of Cl l .Cl 2p and two for each Cl i • 2 ~ i ~ 2p 1.
Cl i + 1 • We label and orient these segments by the names of the curves from
polygon pI which results from cutting S along the Cl ].. I in such a way
388
"look like" the standard picture of Fig. 10. This shows that there
Let us now compare our situation to where we were with the torus
after Theorem 1. Then it was clear. because the basepoint for ~1 (T)
of a.b. and it only remained to show that the I-images of a.b were
As just mentioned above, the key step towards the Dehn-Nielsen theorem is
points by sending U(g) to U(gI) and V(g) to V(gI)' We know that this
diagram by sending vertex h to vertex hI' and this can only be inter-
approximating axes by edge paths in the Cayley diagram. One then needs
Cayley diagram, and hence that nothing drastic can happen at as, where
[19l2a,bl solution of the conjugacy problem (see Nielsen [1927, §7(g) 1),
which follows is extracted from Nielsen [1927, §91, where credit is given
out a word for h), and then p(h) lies within a bounded hyper-
U(h), V(h) are distinct, Fact 3 says we can choose N so that the
latter paths are arbitrarily far away from peg), and then if
U(g), V(g) separate U(h) , V(h) we can also join their ends
-N N
which are all at least as far from p(h) as g , g themselves.
We can also interpret "far" in terms of the word metric on the Cayley
Vertices "far apart" in the hyperbolic metric are also "far apart" in the
length of an edge), and conversely, since only finitely many vertices lie
peg) by ... , g-l' go' gl' gz"" and the successive vertices
Fig.13
We now show that there are similar disjoint edge paths, p(h I )
between U(h I ) and V(h r ) , and p(gr) between U(gr) and V(gr)' by
showing that r cannot send vertices which are far apart to vertices
which are close together. (This will show that U(gr)' V(gr)
(the word metric) we shall show that there are constants k, K > 0
such that
393
(1)
(2)
that for any distance d > 0 in the word metric there is a D >0
-1
To prove (1) , let w be a word of minimal length for u v. Then
= length
-1
which is proved by applying the same argument to r ,and taking
k = 11K'.
disjoint path through the vertices (hi)r' we first notice, from (1),
cover them. The axes A«gi)I.gI' gI E ~l (S), which cover the geodesics
when one notes that they result from the A(gi).g by the I action.
Thus the (ai)I also form a canonical geodesic system on S, and there
is a homeomorphism 1
which result from cutting S along the a i and (ai)I systems respectively
the axes A(gi).g, g E TIl (S), and collinear edges of VI unite to form
Fig. 14 shows the surface of genus 2 being cut along the ai' and Fig.15
shows the cell of the Cayley diagram V which results.
Fig. 14.
395
Fig. 15
If we let the identity vertex of V be 1:.. = A(gl) nA(g2) and let the
of ~i' ~i1 or ~i2 edges from 1:.. in V, then A(h r ) is reached by following
the corresponding sequence of edges in Vr from 1:..r . But the vertex of V
representing g E TIl (5) is just
-1 -1
A(gl)·g n A(g2)·g = A(g glg) n A(g g2 g)
and hence g is determined by a common path to these two axes. The corres-
(~l) I n (~2) I on T (5) representing gI E TIl (5). Thus T induces the auto-
References
Springer-Verlag.