Trace monoids with some invertible generators: Two decision problems (Q1179186)

The paper studies monoids which are obtained from free monoids by stating that some pairs of generators have to commute and some pairs of generators have to be mutually inverse. For the investigation of such monoids Thue systems are used. Among other things, the paper concerns the word problem and the conjugacy problem, i.e. the problem to recognize conjugate pairs, where two elements \(x\), \(y\) are called conjugate, if \(xw=wy\) for some element \(w\).