Summary: AN ALGORITHM DETECTING DEHN PRESENTATIONS.
G. N. ARZHANTSEVA
Abstract. An algorithm is given detecting whether or not a finite presenta
tion of a group is a Dehn presentation (i.e. admitting Dehn's algorithm for the
word problem) with a certain condition.
Because being word hyperbolic is a Markov property of groups there cannot
exist an effective procedure for determining if a finitely presented group admits a
Dehn presentation (see, for example, ). However, there may exist an algorithm
to decide whether a finite presentation of a group is a Dehn presentation. In this
article we prove a result in this direction.
Definition 1. Let 1
2 ff ! 1. We call a presentation hX j Ri of a group G
an ffDehn presentation if any nonempty freely reduced word w representing the
identity in G contains, as a subword, a word u which is also a subword of a cyclic
shift of some r 2 R \Sigma1 with juj ? ffjrj.
A Dehn presentation in the traditional sense is an ffDehn presentation with
ff = 1=2. Observe also that any ffDehn presentation is a Dehn presentation.
A Dehn presentation of a group G leads to a known Dehn's algorithm solving
the word problem for G. We refer to  for an interesting discussion and problems
on other Dehn's algorithms and different notions of Dehn presentations.