The monoid of all order-decreasing full transformations (Q6600751)

Let \(n\in \mathbb{N}\) be a natural number and let \(X_n = \{1<2<\cdots<n\}\) be a finite chain with \(n\) elements. As usual, \(\mathcal{T}_n\) denotes the monoid (under composition) of all full transformations on \(X_n\). A transformation \(\alpha \in \mathcal{T}_n\) is called order-preserving if \(x \leq y\) implies \(x\alpha \leq y\alpha\) for all \(x, y \in X_n\) and \(\alpha\) is called decreasing if \(x\alpha \leq x\) for all \(x \in X_n\). Let \(\mathcal{D}_n\) be the submonoid of \(\mathcal{T}_n\) of all order-decreasing full transformations on \(X_n\).\N\NThe set of all subsemigroups or subsemigroups with particular properties of a given semigroup \(S\) is partially ordered with respect to inclusion and the maximal elements of this set are called maximal subsemigroups or maximal subsemigroups with particular properties of \(S\). In the paper under review, the authors determine the maximal subsemigroups as well as the maximal idempotent generated subsemigroups of the monoid \(\mathcal{D}_n\).\N\NOn a semigroup \(S\) the relation \(L^*\) is defined by \((a, b) \in L^*\) if and only if the elements \(a, b\) of \(S\) are related by the Green relation \(\mathcal{L}\) in some oversemigroup of \(S\). The relation \(R^*\) is defined dually. A semigroup \(S\) is called left abundant if each of its \(L^*\)-classes contains an idempotent. Dually, a semigroup \(S\) is called right abundant if each of its \(R^*\)-classes contains an idempotent. A semigroup \(S\) is abundant if it is both left and right abundant. The authors characterize the abundance of the maximal (idempotent generated) subsemigroups as well as of the ideals of \(\mathcal{D}_n\).