Relationship between the quasi-ideal adequate transversals of an abundant semigroup. (Q1434262): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: Inverse transversal congruence extensions / rank
 
Normal rank
Property / cites work
 
Property / cites work: Regular semigroups with a multiplicative inverse transversal / rank
 
Normal rank
Property / cites work
 
Property / cites work: On definability of hypergraphs by their semigroups of homomorphisms / rank
 
Normal rank
Property / cites work
 
Property / cites work: Abundant semigroups with a multiplicative type \(A\) transversal / rank
 
Normal rank
Property / cites work
 
Property / cites work: Adequate Semigroups / rank
 
Normal rank
Property / cites work
 
Property / cites work: Abundant Semigroups / rank
 
Normal rank
Property / cites work
 
Property / cites work: REGULAR SEMIGROUPS WITH INVERSE TRANSVERSALS / rank
 
Normal rank
Property / cites work
 
Property / cites work: SEMIGROUPS WITH INVERSE TRANSVERSALS AS MATRIX SEMIGROUPS / rank
 
Normal rank
Property / cites work
 
Property / cites work: Relationship between the inverse transversals of a regular semigroup / rank
 
Normal rank
Property / cites work
 
Property / cites work: Regular semigroups with inverse transversals / rank
 
Normal rank

Latest revision as of 17:22, 6 June 2024

scientific article
Language Label Description Also known as
English
Relationship between the quasi-ideal adequate transversals of an abundant semigroup.
scientific article

    Statements

    Relationship between the quasi-ideal adequate transversals of an abundant semigroup. (English)
    0 references
    0 references
    7 July 2004
    0 references
    Let \(S\) be a semigroup. \(a{\mathcal R}^*b\) means that \(xa=ya\) if and only if \(xb=yb\) for all \(x,y\in S^1\). The relation \({\mathcal L}^*\) is defined dually. A semigroup \(S\) is called an abundant semigroup if each \({\mathcal R}^*\)-class and each \({\mathcal L}^*\)-class contains an idempotent. An abundant semigroup is called adequate if its idempotents commute. The so called adequate transversals of abundant semigroups are considered. If \(S^0\) is an adequate transversal of \(S\) then two special idempotents \(e_x\) and \(f_x\) are determined for every \(x\in S\). A subsemigroup \(S^0\) of \(S\) is called a quasi-ideal if \(S^0SS^0\subseteq S^0\). The main result says that if \(S^0\) and \(S^*\) are quasi-ideal adequate transversals of an abundant semigroup \(S\) and the corresponding sets \(I=\{e_x\mid x\in S\}\) and \(\Lambda=\{f_x\mid x\in S\}\) are sub-bands of \(S\), then \(S^0\) and \(S^*\) are isomorphic.
    0 references
    abundant semigroups
    0 references
    quasi-ideals
    0 references
    transversals
    0 references
    idempotents
    0 references

    Identifiers