Finitely generated algebras defined by homogeneous quadratic monomial relations and their underlying monoids. II (Q2408830)

An algebra is called a quadratic monoid if \(S=\langle x_{1},x_{2},\ldots, x_{n}\mid R\rangle\), where \(R\) is a finite set consisting of \(\binom{n}{2}\) relations which are of the type \(x_{i}x_{j}=x_{k}x_{l}\) with \((i,j)\neq (k,l)\) and, moreover, every word \(x_{i}x_{j}\) appears at most once in all relations. Let \(X=\{x_{1},x_{2},\ldots, x_{n}\}\) and for every \(x\in X\), define \(f_{x}:X\rightarrow X\) and \(g_{x}:X\rightarrow X\) be the maps such that \(r(x,y)=(f_{x}(y),g_{y}(x))\) where \(r:X\times X\rightarrow X\times X\) is a bijection map associated to \(S\) defined by \(r(x_{i},x_{j})=(x_{k},x_{l})\) if \(x_{i}x_{j}=x_{k}x_{l}\) is a defining relation for \(S\), and \(r(x_{i},x_{j})=(x_{i},x_{j})\) if \(x_{i}x_{j}\) does not occur in any defining relation. \(S\) is called non-degenerate if each \(f_{x}\) and \(g_{x}\) are bijective where \(x\in X\). In this paper, it is proved that \(S\) contains an abelian submonoid \(A=\langle s^{N}\mid s\in S\rangle\) and \(A\) is finitely generated. Moreover, it is shown that there exists a finite subset \(F\) of \(S\) such that \(S=\cup_{f\in F}fA=\cup_{f\in F}Af\). Recall that the monoids of \(I\)-type correspond to non-degenerate set-theoretical solutions of the Yang-Baxter equation. It is also shown that \(S\) is of \(I\)-type if and only if \(S\) is cancellative and satisfies the cyclic condition. Furthermore, some characterizations for a non-degenerate quadratic monoid which satisfies the cyclic condition are given. For Part I, see [the author et al., ibid. 440, 72--99 (2015; Zbl 1346.16024)].