The Word Problem for the Relatively Free Semigroup Satisfying TM=Tm+n with M≥4 or M=3, n=1

Let m≥4, or m=3, n=1. In this article we show that the word problem for the relatively free Burnside semigroup satisfying Tm=Tm+n, is decidable.