Transformation representations of sandwich semigroups

Abstract

Let $a$ be an element of a semigroup $S$. The local subsemigroup of $S$ with respect to $a$ is the subsemigroup $aSa$ of $S$. The variant of $S$ with respect to $a$ is the semigroup with underlying set $S$ and operation ${\star }_a$ defined by $x{\star }_{a}y=xay$ for $x,y\in S$. We show that the following classes contain precisely the same semigroups, up to isomorphism: all local subsemigroups of all finite full transformation semigroups; and all variants of all finite full transformation semigroups. This result was discovered as a result of some experiments (and accidents) when working with the Semigroups package for GAP.

arXiv comment6 pages, 1 figure