{"title":"关于限制属于给定半群的某些变换半群","authors":"M. Sarkar, Shubh N. Singh","doi":"10.1007/s00233-024-10448-4","DOIUrl":null,"url":null,"abstract":"<p>Let <i>T</i>(<i>X</i>) (resp. L(V)) be the semigroup of all transformations (resp. linear transformations) of a set <i>X</i> (resp. vector space <i>V</i>). For a subset <i>Y</i> of <i>X</i> and a subsemigroup <span>\\(\\mathbb {S}(Y)\\)</span> of <i>T</i>(<i>Y</i>), consider the subsemigroup <span>\\(T_{\\mathbb {S}(Y)}(X) = \\{f\\in T(X):f_{\\upharpoonright _Y} \\in \\mathbb {S}(Y)\\}\\)</span> of <i>T</i>(<i>X</i>), where <span>\\(f_{\\upharpoonright _Y}\\in T(Y)\\)</span> agrees with <i>f</i> on <i>Y</i>. We give a new characterization for <span>\\(T_{\\mathbb {S}(Y)}(X)\\)</span> to be a regular semigroup [inverse semigroup]. For a subspace <i>W</i> of <i>V</i> and a subsemigroup <span>\\(\\mathbb {S}(W)\\)</span> of <i>L</i>(<i>W</i>), we define an analogous subsemigroup <span>\\(L_{\\mathbb {S}(W)}(V) = \\{f\\in L(V) :f_{\\upharpoonright _W} \\in \\mathbb {S}(W)\\}\\)</span> of <i>L</i>(<i>V</i>). We describe regular elements in <span>\\(L_{\\mathbb {S}(W)}(V)\\)</span> and determine when <span>\\(L_{\\mathbb {S}(W)}(V)\\)</span> is a regular semigroup [inverse semigroup, completely regular semigroup]. If <span>\\(\\mathbb {S}(Y)\\)</span> (resp. <span>\\(\\mathbb {S}(W)\\)</span>) contains the identity of <i>T</i>(<i>Y</i>) (resp. <i>L</i>(<i>W</i>)), we describe unit-regular elements in <span>\\(T_{\\mathbb {S}(Y)}(X)\\)</span> (resp. <span>\\(L_{\\mathbb {S}(W)}(V)\\)</span>) and determine when <span>\\(T_{\\mathbb {S}(Y)}(X)\\)</span> (resp. <span>\\(L_{\\mathbb {S}(W)}(V)\\)</span>) is a unit-regular semigroup.</p>","PeriodicalId":0,"journal":{"name":"","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2024-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"On certain semigroups of transformations whose restrictions belong to a given semigroup\",\"authors\":\"M. Sarkar, Shubh N. Singh\",\"doi\":\"10.1007/s00233-024-10448-4\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<p>Let <i>T</i>(<i>X</i>) (resp. L(V)) be the semigroup of all transformations (resp. linear transformations) of a set <i>X</i> (resp. vector space <i>V</i>). For a subset <i>Y</i> of <i>X</i> and a subsemigroup <span>\\\\(\\\\mathbb {S}(Y)\\\\)</span> of <i>T</i>(<i>Y</i>), consider the subsemigroup <span>\\\\(T_{\\\\mathbb {S}(Y)}(X) = \\\\{f\\\\in T(X):f_{\\\\upharpoonright _Y} \\\\in \\\\mathbb {S}(Y)\\\\}\\\\)</span> of <i>T</i>(<i>X</i>), where <span>\\\\(f_{\\\\upharpoonright _Y}\\\\in T(Y)\\\\)</span> agrees with <i>f</i> on <i>Y</i>. We give a new characterization for <span>\\\\(T_{\\\\mathbb {S}(Y)}(X)\\\\)</span> to be a regular semigroup [inverse semigroup]. For a subspace <i>W</i> of <i>V</i> and a subsemigroup <span>\\\\(\\\\mathbb {S}(W)\\\\)</span> of <i>L</i>(<i>W</i>), we define an analogous subsemigroup <span>\\\\(L_{\\\\mathbb {S}(W)}(V) = \\\\{f\\\\in L(V) :f_{\\\\upharpoonright _W} \\\\in \\\\mathbb {S}(W)\\\\}\\\\)</span> of <i>L</i>(<i>V</i>). We describe regular elements in <span>\\\\(L_{\\\\mathbb {S}(W)}(V)\\\\)</span> and determine when <span>\\\\(L_{\\\\mathbb {S}(W)}(V)\\\\)</span> is a regular semigroup [inverse semigroup, completely regular semigroup]. If <span>\\\\(\\\\mathbb {S}(Y)\\\\)</span> (resp. <span>\\\\(\\\\mathbb {S}(W)\\\\)</span>) contains the identity of <i>T</i>(<i>Y</i>) (resp. <i>L</i>(<i>W</i>)), we describe unit-regular elements in <span>\\\\(T_{\\\\mathbb {S}(Y)}(X)\\\\)</span> (resp. <span>\\\\(L_{\\\\mathbb {S}(W)}(V)\\\\)</span>) and determine when <span>\\\\(T_{\\\\mathbb {S}(Y)}(X)\\\\)</span> (resp. <span>\\\\(L_{\\\\mathbb {S}(W)}(V)\\\\)</span>) is a unit-regular semigroup.</p>\",\"PeriodicalId\":0,\"journal\":{\"name\":\"\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":0.0,\"publicationDate\":\"2024-07-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://doi.org/10.1007/s00233-024-10448-4\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.1007/s00233-024-10448-4","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
On certain semigroups of transformations whose restrictions belong to a given semigroup
Let T(X) (resp. L(V)) be the semigroup of all transformations (resp. linear transformations) of a set X (resp. vector space V). For a subset Y of X and a subsemigroup \(\mathbb {S}(Y)\) of T(Y), consider the subsemigroup \(T_{\mathbb {S}(Y)}(X) = \{f\in T(X):f_{\upharpoonright _Y} \in \mathbb {S}(Y)\}\) of T(X), where \(f_{\upharpoonright _Y}\in T(Y)\) agrees with f on Y. We give a new characterization for \(T_{\mathbb {S}(Y)}(X)\) to be a regular semigroup [inverse semigroup]. For a subspace W of V and a subsemigroup \(\mathbb {S}(W)\) of L(W), we define an analogous subsemigroup \(L_{\mathbb {S}(W)}(V) = \{f\in L(V) :f_{\upharpoonright _W} \in \mathbb {S}(W)\}\) of L(V). We describe regular elements in \(L_{\mathbb {S}(W)}(V)\) and determine when \(L_{\mathbb {S}(W)}(V)\) is a regular semigroup [inverse semigroup, completely regular semigroup]. If \(\mathbb {S}(Y)\) (resp. \(\mathbb {S}(W)\)) contains the identity of T(Y) (resp. L(W)), we describe unit-regular elements in \(T_{\mathbb {S}(Y)}(X)\) (resp. \(L_{\mathbb {S}(W)}(V)\)) and determine when \(T_{\mathbb {S}(Y)}(X)\) (resp. \(L_{\mathbb {S}(W)}(V)\)) is a unit-regular semigroup.