@article {GaRu2005,
 author="Peter Gallagher and Nik Ru\v{s}kuc",
 title={Generation of diagonal acts of some semigroups of transformations and relations},
 journal="Bull. Austral. Math. Soc.",
 fjournal={Bulletin of the Australian Mathematical Society},
 volume="72",
 year="2005",
 number="1",
 pages="139--146",
 issn="0004-9727",
 coden="ALNBAB",
 language="English",
 date="5th April, 2005",
 classmath="20M20, 20M30",
 publisher={AMPAI, Australian Mathematical Society},
 MRnumber="MR2162299",
 ZBLnumber="02212191",
 url="http://www.austms.org.au/Publ/Bulletin/V72P1/721-5106-GaRu/index.shtml",
 acknowledgement={The authors are grateful to an anonymous referee for his/her suggestions for streamlining the proof of Theorem \hyperref [ixbi]{4.3}.},
 abstract={ The \emph {diagonal right} (respectively, \emph {left}) \emph {act} of a semigroup $S$ is the set $S \times 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 \emph {diagonal bi-act}. The diagonal right (respectively, left, bi-) act is said to be finitely generated if there is a finite set $A \subseteq S \times S$ such that $S \times S=AS^1$ (respectively, $S \times S=S^1A$, $S \times S=S^1AS^1$). \par \par 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 finite-to-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. }
}