The embedding of some ordered semigroups into ordered groups (Q1976425)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The embedding of some ordered semigroups into ordered groups |
scientific article |
Statements
The embedding of some ordered semigroups into ordered groups (English)
0 references
7 May 2001
0 references
Let \(S\) be an ordered semigroup. \(S\) is called cancellative if \(ca\leq cb\) implies \(a\leq b\) and \(ac\leq bc\) implies \(a\leq b.\) \(S\) is called right reversible if \(Sa\cap Sb\not=\emptyset.\) The authors prove that any right reversible, callellative ordered semigroup can be embedded in an ordered group. As a consequence, a commutative ordered semigroup is embedded in an ordered group iff \(S\) is cancellative.
0 references
ordered semigroup
0 references
ordered group
0 references
right reversible group
0 references