A SPELLING THEOREM FOR TORSION-FREE ONE-RELATOR PRESENTATIONS
Arye Juhász · International Journal of Algebra and Computation · 2004
One-relator presentations with torsion are characterized by relators which are proper powers of cyclically reduced words. Such groups have a spelling theorem which provides among other things a quick solution of the word problem. In this paper we consider other classes of one-relator presentations (which are necessarily torsion-free) with a similar spelling theorem.