English

Idempotent generation in the endomorphism monoid of a uniform partition

Group Theory 2017-12-14 v2

Abstract

Denote by Tn\mathcal T_n and Sn\mathcal S_n the full transformation semigroup and the symmetric group on the set {1,,n}\{1,\ldots,n\}, and En={1}(TnSn)\mathcal E_n=\{1\}\cup(\mathcal T_n\setminus \mathcal S_n). Let T(X,P)\mathcal T(X,\mathcal P) denote the set of all transformations of the finite set XX preserving a uniform partition P\mathcal P of XX into mm subsets of size nn, where m,n2m,n\geq2. We enumerate the idempotents of T(X,P)\mathcal T(X,\mathcal P), and describe the subsemigroup S=ES=\langle E\rangle generated by the idempotents E=E(T(X,P))E=E(\mathcal T(X,\mathcal P)). We show that S=S1S2S=S_1\cup S_2, where S1S_1 is a direct product of mm copies of En\mathcal E_n, and S2S_2 is a wreath product of Tn\mathcal T_n with TmSm\mathcal T_m\setminus \mathcal S_m. We calculate the rank and idempotent rank of SS, 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 En\mathcal E_n.

Keywords

Cite

@article{arxiv.1407.3312,
  title  = {Idempotent generation in the endomorphism monoid of a uniform partition},
  author = {Igor Dolinka and James East},
  journal= {arXiv preprint arXiv:1407.3312},
  year   = {2017}
}

Comments

17 pages, 6 figure, 6 tables - v2 includes some minor corrections and simplifications suggested by referee - to appear in Comm Alg