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

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\).