Cayley posets (Q2211714)

Let \((X, S)\) be a semigroup (right) act, i.e., \(X\) is a set and \((S,\cdot)\) a semigroup with an operation, such that \(xs \in X\) and \((xs)s'=x(s \cdot s')\) for all \(x \in X\) and \(s, s'\in S\). The binary relation \(\leq_S\) on \(X\) is defined by \(x \leq_S y\) if and only if there is an \(s \in S\) such that \(xs = y\). The paper under review studies acts, such that \(\leq _S\) is a partial order relation. Such objects arise also naturally from considering (relative) Green's relations on semigroups. An important class of Cayley posets are numerical semigroups, and more generally numerical semigroups with torsion, and affine semigroups.