English

Semigroups of transformations whose characters belong to a given semigroup

Rings and Algebras 2023-10-31 v1

Abstract

Let XX be a nonempty set and P={Xi ⁣:iI}\mathcal{P}=\{X_i\colon i\in I\} a partition of XX. Denote by T(X)T(X) the full transformation semigroup on XX, and T(X,P)T(X, \mathcal{P}) the subsemigroup of T(X)T(X) consisting of all transformations that preserve P\mathcal{P}. For every subsemigroup S(I)\mathbb{S}(I) of T(I)T(I), let TS(I)(X,P)T_{\mathbb{S}(I)}(X,\mathcal{P}) be the semigroup of all transformations fT(X,P)f\in T(X, \mathcal{P}) such that χ(f)S(I)\chi^{(f)}\in \mathbb{S}(I), where χ(f)T(I)\chi^{(f)}\in T(I) defined by iχ(f)=ji\chi^{(f)}=j whenever XifXjX_if\subseteq X_j. We describe regular and idempotent elements in TS(I)(X,P)T_{\mathbb{S}(I)}(X,\mathcal{P}), and determine when TS(I)(X,P)T_{\mathbb{S}(I)}(X,\mathcal{P}) is a regular semigroup [inverse semigroup]. With the assumption that S(I)\mathbb{S}(I) contains the identity, we characterize Green's relations on TS(I)(X,P)T_{\mathbb{S}(I)}(X,\mathcal{P}), describe unit-regular elements in TS(I)(X,P)T_{\mathbb{S}(I)}(X,\mathcal{P}), and determine when TS(I)(X,P)T_{\mathbb{S}(I)}(X,\mathcal{P}) is a unit-regular semigroup. We apply these general results to obtain more concrete results for T(X,P)T(X,\mathcal{P}).

Keywords

Cite

@article{arxiv.2310.19414,
  title  = {Semigroups of transformations whose characters belong to a given semigroup},
  author = {Mosarof Sarkar and Shubh N. Singh},
  journal= {arXiv preprint arXiv:2310.19414},
  year   = {2023}
}

Comments

18 pages

R2 v1 2026-06-28T13:05:42.710Z