Free products of \(n\)-tuple semigroups (Q2306417)

Recall that a nonempty set \(G\) is called an \(n\)-tuple semigroup [\textit{N. A. Koreshkov}, Russ. Math. 52, No. 12, 28--35 (2008; Zbl 1207.17009); translation from Izv. Vyssh. Uchebn. Zaved., Mat. 2008, No. 12, 34--42 (2008)] if there are \(n\) binary operations \(\circ_1,\circ_2,\dots,\circ_n\) defined on \(G\) such that \((x\circ_r y)\circ_sz=x\circ_r(y\circ_s z)\) for all \(x,y,z \in G\) and \(r,s \in \{1,2,\dots,n\}\). It is clear that each semigroup is an \(n\)-tuple semigroup for \(n=1\). The research started by the first author in [\textit{A. V. Zhuchok}, Math. Notes 103, No. 5, 737--744 (2018; Zbl 1396.20066); translation from Mat. Zametki 103, No. 5, 693--701 (2018)] continues in the reviewed article. A free product of arbitrary \(n\)-tuple semigroups is constructed, the notion of an \(n\)-band of \(n\)-tuple semigroups is introduced and, in terms of this notion, the structure of the free product is described. Also a free commutative \(n\)-tuple semigroup of any rank is constructed and one-generated free commutative \(n\)-tuple semigroups are characterized. Moreover, the least commutative congruence on a free \(n\)-tuple semigroup is described and it is proved that the semigroups of the constructed free commutative \(n\)-tuple semigroup are isomorphic and that its automorphism group is isomorphic to a symmetric group.