Note
Enumeration of certain finite semigroups of transformations

https://doi.org/10.1016/S0012-365X(94)00357-OGet rights and content
Under an Elsevier user license
open archive

Abstract

Let Singn be the semigroup of singular self-maps of Xn = {1, … ,n}, let Rn = {α ∈ Singn: (∀y ∈ Im α)¦yα−1¦⩾¦Im α¦} and let E(Rn) be the set of idempotents of Rn. Then it is shown that Rn = (E(Rn))2. Moreover, expressions for the order of Rn and E(Rn) are obtained in terms of the kth-upper Stirling number of the second kind, S(n, r, k); defined as the number of partitions of Xn into r subsets each of size not less than k.

Cited by (0)

This work was carried out while the author was a research student at the University of St. Andrews, Scotland, UK.