Combinatorial Results for Semigroups of Order-Preserving Full Transformations

Abstract

Let On be the semigroup of all order-preserving full transformations of a finite chain, say Xn = {1, 2, ..., n}, and for a given full transformation α: Xn → Xn let f(α) = |{x ∈ Xn: xα = x}|. In this note we obtain and discuss formulae for f(n,r,k) = |{α → On: f(α) = r ∧ max(Im α) = k}| and J(n,r,k) = |{α → On: |Im α| = r ∧ max(Im α) = k}|. We also obtain similar results for E(On), the set of idempotents of On.