Abstract:
It is proved that the word problem and left (right) divisibility problem in an arbitrary semigroup with a single defining relation can be reduced to the respective problems for a single relation which is left (or right) noncancellative.
Bibliography: 2 titles.