The translational hull of a strongly right type-A semigroup (Q1974200): Difference between revisions

Let us say that a class \(C\) of semigroups is closed under the operation \(\Omega\) if \(S\in C\) implies \(\Omega S\in C\). In 1965, the reviewer proved that the class of all inverse semigroups is closed under the operation \(\Omega\). Later, \textit{J.~B.~Fountain} and \textit{M.~V.~Lawson} [Semigroup Forum 32, 79-86 (1985; Zbl 0566.20044)] showed that the classes of all adequate semigroups and all type-A semigroups both are closed under the operation \(\Omega\). In the paper under review the authors introduce two new semigroup classes and show that both these classes (called strongly type-A semigroups and \(C\)-\(rpp\) semigroups) are closed under the operation \(\Omega\). To describe these classes we need some notions. Let \(S\) be a semigroup, and let \(a,b\in S\). Recall that \((a,b)\in{\mathfrak L}^*\) if and only if, for all \(x,y\in S\), \(ax=ay\) implies \(bx=by\) and vice versa; \({\mathfrak L}^*\) is an equivalence on \(S\) containing the Green relation \(\mathfrak L\). A semigroup \(S\) is called an \(rpp\) semigroup if each \({\mathfrak L}^*\)-class of \(S\) contains an idempotent, and an \(rpp\) semigroup is called a right adequate semigroup if idempotents of \(S\) commute. In any right adequate semigroup each \({\mathfrak L}^*\)-class contains exactly one idempotent. Thus there exists a function ``\(+\)'' of \(S\) into the set of all idempotents of \(S\): if \(a\in S\) then \(a^+\) is an idempotent of \(S\) such that \((a,a^+)\in{\mathfrak L}^*\). A right adequate semigroup is called a right type-A semigroup if \(ea=a(ea)^+\) for all \(a\in S\) and all \(e=e^2\in S\). A right type-A semigroup is said to be a strongly right type-A semigroup if \(a^+a=a\) for all \(a\in S\). An \(rpp\) semigroup \(S\) in which all idempotents belong to the center of \(S\) is called a \(C\)-\(rpp\) semigroup.