Left orders in regular H-semigroups. I
Let \(S\) be a semigroup. The relation \({\mathcal L}^*\) (\({\mathcal R}^*\)) is defined on \(S\) by the rule that if \(a,b\in S\), then \(a{\mathcal L}^*b\) (\(a{\mathcal R}^*b\)) if and only if \(a{\mathcal L}b\) (\(a{\mathcal R}b\)) in some oversemigroup of \(S\). Denote \({\mathcal L}^*\cap {\mathcal R}^*\) by \({\mathcal H}^*\). An element \(a\in S\) is square-cancellable if \(a{\mathcal H}^*a^ 2\). If \(a{\mathcal H}a^ 2\) then the inverse of \(a\) in \(H_ a\) is denoted by \(a^{-1}\). \(S\) is a left order in an oversemigroup \(Q\) of \(S\) (and \(Q\) is a semigroup of left quotients of \(S\)) if 1) given \(q\in Q\), then \(q=a^{-1}b\), where \(a,b\in S\), 2) for \(a\in S\), \(a{\mathcal H}^*a^ 2\) in \(S\) iff \(a{\mathcal H}a^ 2\) in \(Q\). A semigroup is an \({\mathcal H}\)- semigroup if Green's relation \({\mathcal H}\) is a congruence on it. A suitable pair (\({\mathcal L}',{\mathcal R}'\)) for a semigroup \(S\) is an ordered pair of equivalence relations on \(S\) such that \({\mathcal L}'\subseteq{\mathcal L}^*\), \({\mathcal R}'\subseteq{\mathcal R}^*\), \({\mathcal L}'\) is a right congruence, \({\mathcal R}'\) is a left congruence, and for any \(a\in S\), \(a{\mathcal H}^*a^ 2\) iff \(a{\mathcal H}'a^ 2\). Theorem. Let \(S\) be a semigroup and let (\({\mathcal L}',{\mathcal R}'\)) be a suitable pair for \(S\). Then \(S\) is a left order in a regular \({\mathcal H}\)-semigroup \(Q\) such that \({\mathcal L}_ Q\cap(S\times S)={\mathcal L}'\), \({\mathcal R}_ Q\cap(S\times S)={\mathcal R}'\) if and only if \(S\) satisfies conditions (A), (B), (C), (D), (E) and the left-right duals of (C), (D), (E): (A) \({\mathcal H}'\) is a congruence on \(S\) and \(S/{\mathcal H}'\) is regular, (B) if \(a\in S\) is square-cancellable, then \(H_ a'\) is right reversible, (C) if \(a,b,c\in S\), \(a\) is square-cancellable, \(a{\mathcal R}'b{\mathcal R}'c\) and \(ab=ac\), then \(b=c\); (D) if \(a,b\in S\) are square-cancellable and \(a{\mathcal R}'b\), then \(ab{\mathcal H}'b\); (E) if \(a,b,c\in S\) and \(a{\mathcal R}'abc\), then \(a{\mathcal R}'ab\). For the second part of this article see Glasg. Math. J. 32, 95-108 (1990; Zbl 0692.20049).
- A new approach to orders in simple rings with minimal one-sided ideals
- Absolutely flat completely 0-simple semigroups of left quotients
- Abundant Semigroups
- Clifford semigroups of left quotients
- Completely 0-simple semigroups of quotients
- Completely 0-simple semigroups of quotients III
- scientific article; zbMATH DE number 3552814 (Why is no real title available?)
- scientific article; zbMATH DE number 3284302 (Why is no real title available?)
- Left orders in regular ℋ-Semigroups II
- Orders in rings without identity
- Left orders in regular ℋ-Semigroups II
- Left orders in special completely 0-simple semigroups.
- The characterization of \(\mathcal{L}^*\) left order semigroups in regular \(\mathcal{H}\)-semigroups
- scientific article; zbMATH DE number 597743 (Why is no real title available?)
- Orders in normal bands of groups
- Completely 0‐simple semigroups of left quotients
- Commutative orders
- Order structure of U-semiabundant semigroups and rings. Part I: Left Lawson’s order
- Classes of semigroups modulo Green's relation H.
This page was built for publication: Left orders in regular \({\mathcal H}\)-semigroups. I
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1175715)
