The translational hull of an adequate semigroup (Q1059157): Difference between revisions

Let us say for brevity that a class \(K\) of semigroups is \(\Omega\)-closed if \(S\in K\) implies \(\Omega S\in K\), where \(\Omega S\) is the translational hull of \(S\). So far three interesting classes of semigroups have been known to be \(\Omega\)-closed: inverse semigroups [the reviewer; Usp. Mat. Nauk 20, No. 6(126), 147-148 (1965; Zbl 0145.02202)], semilattices, semilattices of groups [\textit{M. Petrich}, Introduction to Semigroups (1973; Zbl 0321.20037)]. The authors display two new \(\Omega\)-closed classes of semigroups: adequate semigroups and type \(A\) semigroups. To describe these classes of semigroups we need some definitions. Let \(S\) be a semigroup, and let \(x,y\in S\). Then \((x,y)\in{\mathcal L}^*\) iff there exists an oversemigroup \(T\) of \(S\) such that \((x,y)\in{\mathcal L}\) in \(T\). The relation \({\mathcal R}^*\) is defined similarly. A semigroup \(S\) is adequate iff each \({\mathcal L}^*\)-class and each \({\mathcal R}^*\)-class of \(S\) contains an idempotent and idempotents of \(S\) commute (one of the generalizations of inverse semigroups). A type \(A\) semigroup is an adequate semigroup \(S\) in which \(eS\cap aS=eaS\) and \(Se\cap Sa=Sae\) for every \(a\in S\) and every \(e^ 2=e\in S\) (a generalization of semilattices of groups).