PreprintBiordered sets and fundamental semigroupsDavid Easdown, Patrick Jordan, Brad RobertsAbstractGiven any biordered set E, a natural construction yields a semigroup T_E that is always fundamental, in the sense that T_E possesses no nontrivial idempotentseparating congruence. In the case that E=E(S) is the biordered set of idempotents of a semigroup S generated by regular elements, there is a natural representation of S by T_E, such that S becomes a biorderpreserving coextension of a fundamental and symmetric subsemigroup of T_E. If further S is regular then this yields the fundamental constructions of Nambooripad, Grillet and Hall, which in turn generalise the construction of Munn of a maximum fundamental inverse semigroup from its semilattice of idempotents. Keywords: biordered sets, fundamental semigroups, idempotent separating congruences, regular elements.AMS Subject Classification: Primary 09A99; secondary 20M10, 20M20.
This paper is available as a pdf (184kB) file.
