Idempotent generation in the endomorphism monoid of a uniform partition

From MaRDI portal
Publication:2827243




Abstract: Denote by mathcalTn and mathcalSn the full transformation semigroup and the symmetric group on the set 1,ldots,n, and mathcalEn=1cup(mathcalTnsetminusmathcalSn). Let mathcalT(X,mathcalP) denote the set of all transformations of the finite set X preserving a uniform partition mathcalP of X into m subsets of size n, where m,ngeq2. We enumerate the idempotents of mathcalT(X,mathcalP), and describe the subsemigroup S=langleEangle generated by the idempotents E=E(mathcalT(X,mathcalP)). We show that S=S1cupS2, where S1 is a direct product of m copies of mathcalEn, and S2 is a wreath product of mathcalTn with mathcalTmsetminusmathcalSm. 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 mathcalEn.









This page was built for publication: Idempotent generation in the endomorphism monoid of a uniform partition

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2827243)