Solution of the word problem for semigroups without cycles

Abstract

We prove that in an arbitrary semigroup without cycles, the problem of divisibility and, therefore, the word problem is solvable.