English

Semigroups of (linear) transformations whose restrictions belong to a given semigroup

Group Theory 2023-03-08 v1

Abstract

Let T(X)T(X) (resp. L(V)) be the semigroup of all transformations (resp. linear transformations) of a set XX (resp. vector space VV). For a subset YY of XX and a subsemigroup S(Y)\mathbb{S}(Y) of T(Y)T(Y), consider the subsemigroup TS(Y)(X)={fT(X) ⁣:fYS(Y)}T_{\mathbb{S}(Y)}(X) = \{f\in T(X)\colon f_{\upharpoonright_Y} \in \mathbb{S}(Y)\} of T(X)T(X), where fYT(Y)f_{\upharpoonright_Y}\in T(Y) agrees with ff on YY. We give a new characterization for TS(Y)(X)T_{\mathbb{S}(Y)}(X) to be a regular semigroup [inverse semigroup]. For a subspace WW of VV and a subsemigroup S(W)\mathbb{S}(W) of L(W)L(W), we define an analogous subsemigroup LS(W)(V)={fL(V) ⁣:fWS(W)}L_{\mathbb{S}(W)}(V) = \{f\in L(V) \colon f_{\upharpoonright_W} \in \mathbb{S}(W)\} of L(V)L(V). We describe regular elements in LS(W)(V)L_{\mathbb{S}(W)}(V) and determine when LS(W)(V)L_{\mathbb{S}(W)}(V) is a regular semigroup [inverse semigroup, completely regular semigroup]. If S(Y)\mathbb{S}(Y) (resp. S(W)\mathbb{S}(W)) contains the identity of T(Y)T(Y) (resp. L(W)L(W)), we describe unit-regular elements in TS(Y)(X)T_{\mathbb{S}(Y)}(X) (resp. LS(W)(V)L_{\mathbb{S}(W)}(V)) and determine when TS(Y)(X)T_{\mathbb{S}(Y)}(X) (resp. LS(W)(V)L_{\mathbb{S}(W)}(V)) is a unit-regular semigroup.

Keywords

Cite

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

Comments

15

R2 v1 2026-06-28T09:05:26.262Z