Amenable orders associated with inverse transversals (Q5938604): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
Normalize DOI.
 
(5 intermediate revisions by 5 users not shown)
Property / DOI
 
Property / DOI: 10.1006/jabr.2001.8730 / rank
Normal rank
 
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1006/jabr.2001.8730 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2053416937 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2709034 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Amenable orders on orthodox semigroups / rank
 
Normal rank
Property / cites work
 
Property / cites work: A CLASSIFICATION OF INVERSE TRANSVERSALS / rank
 
Normal rank
Property / cites work
 
Property / cites work: INVERSE TRANSVERSALS ARE MUTUALLY ISOMORPHIC / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4003180 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Amenably ordered inverse semigroups / rank
 
Normal rank
Property / cites work
 
Property / cites work: The natural partial order on a regular semigroup / rank
 
Normal rank
Property / DOI
 
Property / DOI: 10.1006/JABR.2001.8730 / rank
 
Normal rank

Latest revision as of 12:05, 9 December 2024

scientific article; zbMATH DE number 1623132
Language Label Description Also known as
English
Amenable orders associated with inverse transversals
scientific article; zbMATH DE number 1623132

    Statements

    Amenable orders associated with inverse transversals (English)
    0 references
    0 references
    0 references
    28 January 2002
    0 references
    If \(S\) is a regular semigroup then an inverse transversal \(S^\circ\) of \(S\) is an inverse subsemigroup \(S^\circ\) that contains one inverse for every \(x\) in \(S\); for each \(x\in S\), the unique inverse of \(x\) in \(S^\circ\) is written \(x^\circ\). An order \(\leq\) on \(S\) is amenable with respect to \(S^\circ\) if \(\leq\) is compatible with multiplication of \(S\), coincides with \(\leq_n\), the natural partial order on idempotents, and satisfies the condition \(x\leq y\) implies \(x^\circ x\leq_n y^\circ y\), \(xx^\circ\leq_n yy^\circ\). This notion, which is independent of the choice of transversal, is considered here for locally inverse semigroups. The authors give a description of all amenable orders on \(S\) and \(\leq_n\) is the smallest of these. A bijection is established from the set of amenable orders on \(S\) to the set of so called McAlister cones of \(S^\circ\) which are subsemigroups \(C\) of the centralizer of \(E(S)\), the set of idempotents of \(S\), that are closed under conjugation by members of \(S\) and satisfy \(C\cap C^{-1}= E(S)\). In this way it is shown that every amenable order on \(S^\circ\) extends to a unique amenable order on \(S\).
    0 references
    regular semigroups
    0 references
    inverse transversals
    0 references
    natural partial orders
    0 references
    idempotents
    0 references
    locally inverse semigroups
    0 references
    amenable orders
    0 references
    McAlister cones
    0 references

    Identifiers