Beyond regular semigroups (Q283337): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
RedirectionBot (talk | contribs)
Removed claim: author (P16): Item:Q1042884
Property / author
 
Property / author: Yan-Hui Wang / rank
Normal rank
 

Revision as of 22:59, 21 February 2024

scientific article
Language Label Description Also known as
English
Beyond regular semigroups
scientific article

    Statements

    Beyond regular semigroups (English)
    0 references
    13 May 2016
    0 references
    As the author writes in the abstract ``The aim of this paper is to study weakly \(U\)-regular semigroups, a wide class containing all regular semigroups and all abundant semigroups with a regular biordered set of idempotents. Here, \(U\) is a regular biordered set.'' (A notion of ``a regular biordered set'' was introduced in [\textit{K. S. S. Nambooripad}, Mem. Am. Math. Soc. 224, 117 p. (1979; Zbl 0457.20051)]). Let \(S\) be a semigroup with the set of idempotents \(E(S)\) and let \(U\) be a non-empty subset of \(E(S)\). The author presents a pre-order on \(S\) as follows: for all \(a,b\in S\) define \(a\leq_{\widetilde{\mathcal L}_U} b\) if and only if \(\forall e\in U\, (be=b\Rightarrow ae=a)\). Notice that the relation \(\leq_{\widetilde{\mathcal L}_U}\) induces an equivalence \(\widetilde{\mathcal L}_U\) by the rule that for all \(a,b\in S\), there is \(a\widetilde{\mathcal L}_Ub\) if and only if \(a\leq_{\widetilde{\mathcal L}_U}b\) and \(b\leq_{\widetilde{\mathcal L}_U}a\). In fact, \({\mathcal L}\subseteq {\mathcal L^*}\subseteq\widetilde{\mathcal L}_U\) and \({\mathcal L}= {\mathcal L^*}= \widetilde{\mathcal L}_U\) if \(S\) is regular and \(U=E(S)\). The relations \(\leq_{\widetilde{\mathcal R}_U}\) and \(\widetilde{\mathcal R}_U\) can be defined as the left-right duals of \(\leq_{\widetilde{\mathcal L}_U}\) and \(\widetilde{\mathcal L}_U\), respectively. As the author notes, it is well known that \({\mathcal L}\) and \({\mathcal L^*}\) are always right compatible, but it is not true for \(\widetilde{\mathcal L}_U\). A semigroup satisfies the congruence condition (C) if the relation \(\widetilde{\mathcal L}_U\) is a right congruence and \(\widetilde{\mathcal R}_U\) is a left congruence. A semigroup \(S\) is said to be \textit{weakly \(U\)-abundant} if each \(\widetilde{\mathcal L}_U\)-class and each \(\widetilde{\mathcal R}_U\)-class contains an idempotent of \(U\). If \(S\) is such a semigroup and \(a\in S\), then the author follows the usual practice and denotes idempotents in the \(\widetilde{\mathcal L}_U\)-class and \(\widetilde{\mathcal R}_U\)-class of \(a\) by \(a^*\) and \(a^+\), respectively. In general, each \(\widetilde{\mathcal L}_U\)-class and each \(\widetilde{\mathcal R}_U\)-class contains more than one idempotent of \(U\) unless \(U\) is a semilattice. The non-empty subset \(U\) of \(E(S)\) in a weakly \(U\)-abundant semigroup is called a \textit{distinguished set of idempotents}. Let \(S\) and \(T\) be semigroups with distinguished subsets of idempotents \(U\) and \(V\), respectively, and let \(\phi : S\rightarrow T\) be a morphism such that \(U\phi \subseteq V\). Then, \(\phi\) is said to be \textit{admissible} if for any \(a,b\in S\) the following implications \(a\widetilde{\mathcal L}_Ub\Rightarrow a\phi{\widetilde{\mathcal L}_V}b\phi\) and \(a\widetilde{\mathcal R}_Ub\Rightarrow a\phi{\widetilde{\mathcal R}_V}b\phi\) holds. A weakly \(U\)-abundant semigroup with (C) is said to be a \textit{weakly \(U\)-regular semigroup} if \(\langle U\rangle\) is a regular semigroup whose set of idempotents is \(U\). The next step of this paper is the introduction of the notion of weakly regular categories over regular biordered sets and RBS functors. The main theorem asserts that the category \({\mathcal {WRS}}\) of weakly \(U\)-regular semigroups and admissible morphisms is equivalent to the category \({\mathcal {WRC}}\) of weakly regular categories over regular biordered sets and RBS functors. In the last section, the author shows that the theorem by \textit{S. Armstrong} [J. Algebra 118, No. 1, 205--260 (1988; Zbl 0653.20064)] and the theorem by \textit{K. S. S. Nambooripad} [Mem. Am. Math. Soc. 224, 117 p. (1979; Zbl 0457.20051)] are consequences of his results.
    0 references
    weakly \(U\)-regular semigroup
    0 references
    weakly regular category
    0 references
    regular biordered set
    0 references

    Identifiers