d2b54ed473910ff1.tex
1: \begin{abstract}
2: Let $a$ be an element of a semigroup $S$.  The \emph{local subsemigroup} of $S$ with respect to $a$ is the subsemigroup $aSa$ of $S$.  The \emph{variant} of $S$ with respect to $a$ is the semigroup with underlying set $S$ and operation $\star_a$ defined by $x\star_ay=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 {\sc Semigroups} package for GAP.
3: 
4: %suppose $a,b\in S$ are such that $a=aba$ and $b=bab$.  We discuss various operations that give the sets $aSa$, $aSb$, $bSa$ and $bSb$ semigroup and/or monoid structures.
5: 
6: {\it Keywords}: Transformation semigroups, variant semigroups, sandwich semigroups, transformation representations, embeddings.
7: 
8: MSC: 20M20, 20M30, 20M15, 20M10.
9: \end{abstract}
10: