Finite generation of diagonal acts of some infinite semigroups of transformations and relations

The diagonal right (respectively, left) act of a semigroup S is the set S x S on which S acts via (x, y)s = (xs, ys) (respectively, s(x, y) = (sx, sy)), the same set with both actions is the diagonal bi-act. The diagonal right (respectively, left, bi-) act is said to be finitely generated if there is a finite set A subset of S x S such that S x S = AS' (respectively, S x S = S(1)A, S x S = S(1)AS(1)).

In this paper we consider the question of finite generation for diagonal acts of certain infinite semigroups of transformations and relations. We show that the semigroups of full transformations, partial transformations and binary relations on an infinite set each have cyclic diagonal right and left acts. The semigroup of full finiteto-one transformations on an infinite set has a cyclic diagonal right act but its diagonal left act is not finitely generated. The semigroup of partial injections on an infinite set has neither finitely generated diagonal right nor left act, but has a cyclic diagonal bi-act. The semigroup of bijections (symmetric group) on an infinite set does not have any finitely generated diagonal acts.