A Munn type representation of abundant semigroups with a multiplicative ample transversal (Q2400113)

A semigroup \(S\) is called abundant if it contains idempotents in each \({\mathcal{L}^*}\)-class and in each \({\mathcal{R}^*}\)-class, where the relations \({\mathcal{L}^*}\), \({\mathcal{R}^*}\) are defined by Green relations \(\mathcal{L}\), \(\mathcal{R}\) in some oversemigroup. An abundant semigroup is adequate if the subsemigroup of idempotents \(E(S)\) is a subsemilattice of \(S\). A quadruple \((I,\Lambda ,{E^ \circ},P)\) is called admissible, if \(I\) (\(\Lambda \)) is a left (right) normal band, \({E^ \circ} = I \cap \Lambda \) a subsemilattice of \(I\) and \(\Lambda \), \(P = {({P_{f,g}})_{\Lambda \times I}}\) a \(\Lambda \times I\) matrix over \({E^ \circ}\) and for all \(g \in I\), \(f \in \Lambda \) there exist \({g^ \circ},{f^ \circ} \in {E^ \circ}\) with \(g\mathcal{L}{g^ \circ}\) and \(f\mathcal{R}{f^ \circ}\) such that \(i{P_{f,g}} = {P_{if,g}}\), \({P_{f,g}}j = {P_{f,gj}}\), \({P_{f,j}} = fj\), \({P_{i,g}} = ig\) holds for all \(i,j \in {E^ \circ}\). For abundant semigroups with a multiplicative ample transversal, a generalization of the Munn semigroup of a semilattice is constructed -- the Munn semigroup \({T_{(I,\Lambda ,{E^ \circ},P)}}\) of an admissible quadruple. It is shown that this semigroup is a fundamental regular semigroup with a multiplicative inverse transversal and a semigroup is a fundamental abundant semigroup (fundamental regular semigroup) having a multiplicative ample transversal (multiplicative inverse transversal) whose admissible quadruple is isomorphic to \((I,\Lambda ,{E^ \circ},P)\) iff it is embeddable as a full subsemigroup (full regular subsemigroup) into \({T_{(I,\Lambda ,{E^ \circ},P)}}\).