Reductions for vector \((n,m)\)-presentations of \((n,m)\)-semigroups. (Q1955594)

A set having a multivariable vector-valued associative operation is called an \((n,m)\)-semigroup. For \(m=1\) this reduces to the usual notion of an \(n\)-semigroup and for \(n=2\) it becomes an ordinary semigroup. In this paper the authors construct reductions for a special class of \((n,m)\)-presentations of \((n,m)\)-semigroups, the so called vector \((n,m)\)-presentations. This induces an ordinary semigroup presentation. It is shown that the existence of a good combinatorial description for a reduced semigroup implies a good combinatorial description for an \((n,m)\)-semigroup. As an application, the solvability of the word problem for \((n,m)\)-semigroups is obtained.