On certain infinite semigroups of order-decreasing transformations i

From MaRDI portal





Two elements of a semigroup \(S\) are defined to be \({\mathcal L}^*\) (\({\mathcal R}^*\))-equivalent if they are \({\mathcal L}\) (\({\mathcal R}\))-equivalent in some oversemigroup of \(S\). \(S\) is left (right) abundant if every \({\mathcal L}^*\) (\({\mathcal R}^*\))-class contains an idempotent and it is abundant if it is both left and right abundant. Let \(X\) be an infinite totally ordered set and let \(T(X)\) be the full transformation semigroup on \(X\). \(S^-(X)\) is the subsemigroup of \(T(X)\) which consists of all order decreasing selfmaps of \(X\). That is, \(S^-(X)=\{\alpha\in T(X):x\alpha\leq x\) for all \(x\in X\}\). The author characterizes Green's relations and their starred analogues for the semigroup \(S^-(X)\). He shows that \(S^-(X)\) is left abundant and it is abundant if and only if every subset of \(X\) which is bounded below, is well ordered. He also obtains some results for the semigroup of all order decreasing partial transformations on \(X\).











This page was built for publication: On certain infinite semigroups of order-decreasing transformations i

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4351710)