06de9382003fb621.tex
1: \begin{abstract}
2: We calculate the rank and idempotent rank of the semigroup $\mathcal E(X,\mathcal P)$ generated by the idempotents of the semigroup $\mathcal T(X,\mathcal P)$, which consists of all transformations of the finite set $X$ preserving a non-uniform partition $\mathcal P$.  We also classify and enumerate the idempotent generating sets of this minimal possible size.  This extends results of the first two authors in the uniform case.
3: 
4: %We calculate the rank and idempotent rank of the semigroup E(X,P) generated by the idempotents of the semigroup T(X,P), which consists of all transformations of the finite set X preserving a non-uniform partition P.  We also classify and enumerate the idempotent generating sets of this minimal possible size.  This extends results of the first two authors in the uniform case.
5: %
6: %Denote by $\T_n$ and $\S_n$ the full transformation semigroup and the symmetric group on the set $\{1,\ldots,n\}$, and $\Sing_n=\{1\}\cup(\TnSn)$.  Let $\TXP$ denote the set of all transformations of the finite set $X$ preserving a uniform partition $\P$ of $X$ into $m$ subsets of size $n$, where $m,n\geq2$.  We enumerate the idempotents of $\TXP$, and describe the subsemigroup $S=\la E\ra$ generated by the idempotents $E=E(\TXP)$.  We show that $S=S_1\cup S_2$, where $S_1$ is a direct product of $m$ copies of $\Sing_n$, and $S_2$ is a wreath product of $\T_n$ with $\TmSm$.  We calculate the rank and idempotent rank of $S$, showing that these are equal, and we also classify and enumerate all the idempotent generating sets of minimal size.  In doing so, we also obtain new results about arbitrary idempotent generating sets of $\Sing_n$.
7: 
8: {\it Keywords}: Transformation semigroups, idempotents, generators, rank, idempotent rank.
9: 
10: MSC: 20M20; 20M17.
11: \end{abstract}