Partial orders and their semigroups of closed relations.
In this paper we introduce perfectly supportable semigroups and prove that they are σ-discrete in each Hausdorff shiftinvariant topology. The class of perfectly supportable semigroups includes each semigroup S such that FSym(X) ⊂ S ⊂ FRel(X) where FRel(X) is the semigroup of finitely supported relations on an infinite set X and FSym(X) is the group of finitely supported permutations of X.
We obtain a presentation for the singular part of the Brauer monoid with respect to an irreducible system of generators consisting of idempotents. As an application of this result we get a new construction of the symmetric group via connected sequences of subsets. Another application describes the lengths of elements in the singular part of the Brauer monoid with respect to the system of generators mentioned above.
Let be an -chain. We give presentations for the following transformation semigroups: the semigroup of full order-decreasing mappings of , the semigroup of partial one-to-one order-decreasing mappings of , the semigroup of full order-preserving and order-decreasing mappings of , the semigroup of partial one-to-one order-preserving and order-decreasing mappings of , and the semigroup of partial order-preserving and order-decreasing mappings of .