Idempotent rank in finite full transformation semigroups

Abstract

SynopsisThe subsemigroup Singn of singular elements of the full transformation semigroup on a finite set is generated by n(n − l)/2 idempotents of defect one. In this paper we extend this result to the subsemigroup K(n, r) consisting of all elements of rank r or less. We prove that the idempotent rank, defined as the cardinality of a minimal generating set of idempotents, of K(n, r) is S(n, r), the Stirling number of the second kind.