Graph products of monoids (Q5939562)

Let \(M_1,\dots,M_n\) be monoids and let \(\Gamma\) be a graph without loops whose vertices are labeled by \(M_i\). If \(\langle X_i;\;R_i\rangle\) is a presentation of the monoid \(M_i\), \(1\leq i\leq n\), then the associated graph product is the monoid whose presentation is \(\langle\bigcup\{X_i:1\leq i\leq n\};\;R\rangle\), where \(R=S\cup\bigcup\{R_i:1\leq i\leq n\}\) and \(S=\{(ab,ba):a\in X_i,\;b\in X_j,\;(M_i,M_j)\in E(\Gamma)\}\). The author characterizes the Green relations for graph products of monoids. The author gives a new proof for the word problem for graph products and describes the idempotent, regular, completely regular and invertible elements of graph products of monoids. The algorithms are reductions to the monoids \(M_i\), \(1\leq i\leq n\). We quote here Theorem: Let \(M\) be the graph product of the monoids \(M_1,M_2,\dots,M_n\) associated to a graph \(\Gamma\). Then \(M\) has decidable word problem iff for every \(i\), \(M_i\) has decidable word problem. The author proves similar theorems on the decidability of Green's relations for graph products of monoids.