Abstract:
The author proves the solvability of the right and left divisibility problems, and consequently the word problem in semigroups with a system of defining relations that do not contain cycles. In particular the solvability of the word problem in groups without cycles is proved.
Bibliography: 3 titles.