The algebra of the monoid of order-preserving functions on an $n$-set and other reduced $E$-Fountain semigroups
Itamar Stein
TL;DR
The paper develops a unified isomorphism between semigroup algebras and contracted category algebras for reduced $E$-Fountain semigroups under a generalized right ample condition, extending and unifying prior results. By introducing the contracted category $\mathcal{C}(S)$ with zero morphisms and a generalized composition, it shows $\Bbbk S \cong \Bbbk_{0}\mathcal{C}(S)$ under principled finiteness, and it recovers classical cases when the right congruence or congruence conditions hold. The framework encompasses new examples, notably the monoid of order-preserving functions $\mathcal{O}_{n}$ and the demonic composition on binary relations, with explicit descriptions of morphisms, kernels, and semisimple images. The results yield generalized matrix representations and central-idempotent decompositions, connecting to established theories (Morita equivalence, Dold–Kan) and offering concrete tools for representation-theoretic analysis of semigroup algebras. Overall, the work broadens the scope of algebraic and categorical methods in semigroup theory, providing a versatile bridge between semigroups and category algebras across several classical and new examples.
Abstract
With every reduced $E$-Fountain semigroup $S$ which satisfies the generalized right ample condition we associate a category with zero morphisms $\mathcal{C}(S)$. Under some assumptions we prove an isomorphism of $\Bbbk$-algebras $\Bbbk S\simeq\Bbbk_{0}\mathcal{C}(S)$ between the semigroup algebra and the contracted category algebra where $\Bbbk$ is any commutative unital ring. This is a simultaneous generalization of a former result of the author on reduced E-Fountain semigroups which satisfy the congruence condition, a result of Junying Guo and Xiaojiang Guo on strict right ample semigroups and a result of Benjamin Steinberg on idempotent semigroups with central idempotents. The applicability of the new isomorphism is demonstrated with two well-known monoids which are not members of the above classes. The monoid of order-preserving functions on an $n$-set and the monoid of binary relations with demonic composition.
