Semigroup ForumPub Date : 2024-09-17DOI: 10.1007/s00233-024-10469-z
Pascal Caron, Jean-Gabriel Luque, Bruno Patrou
{"title":"Presentation of monoids generated by a projection and an involution","authors":"Pascal Caron, Jean-Gabriel Luque, Bruno Patrou","doi":"10.1007/s00233-024-10469-z","DOIUrl":"https://doi.org/10.1007/s00233-024-10469-z","url":null,"abstract":"<p>Monoids generated by elements of order two appear in numerous places in the literature. For example, Coxeter reflection groups in geometry, Kuratowski monoids in topology, various monoids generated by regular operations in language theory and so on. In order to initiate a classification of these monoids, we are interested in the subproblem of monoids, called strict Projection Involution Monoids (2-PIMs), generated by an involution and an idempotent. In this case we show, when the monoid is finite, that it is generated by a single equation (in addition to the two defining the involution and the idempotent). We then describe the exact possible forms of this equation and classify them. We recover Kuratowski’s theorem as a special case of our study.</p>","PeriodicalId":49549,"journal":{"name":"Semigroup Forum","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2024-09-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142262693","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Semigroup ForumPub Date : 2024-09-04DOI: 10.1007/s00233-024-10467-1
Yan Feng Luo, Jia Jia Xie, Wen Ting Zhang
{"title":"Tropical representations of Chinese monoids with and without involution","authors":"Yan Feng Luo, Jia Jia Xie, Wen Ting Zhang","doi":"10.1007/s00233-024-10467-1","DOIUrl":"https://doi.org/10.1007/s00233-024-10467-1","url":null,"abstract":"<p>Recently, Izhakian and Merlet gave a faithful representation <span>(widetilde{rho })</span> of the Chinese monoid <span>(Ch_{n})</span> of every finite rank <i>n</i> as a submonoid of the monoid <span>(UT_{2cdot 3^{n-2}}(mathbb {T}))</span> of upper triangular matrices over the tropical semiring <span>(mathbb {T})</span>. We exhibit another faithful representation <span>(widetilde{phi }_n)</span> of <span>(Ch_{n})</span> as a submonoid of the monoid <span>(UT_{n(n-1)}(mathbb {T}))</span> of upper triangular matrices over <span>(mathbb {T})</span>. The dimension of <span>(widetilde{phi }_n)</span> is smaller than that of <span>(widetilde{rho })</span> when <span>(ngeqslant 4)</span>. Further, we give a faithful representation of the Chinese monoid <span>((Ch_n,~^sharp ))</span> under Schützenberger’s involution <span>(^sharp )</span>.\u0000</p>","PeriodicalId":49549,"journal":{"name":"Semigroup Forum","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2024-09-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142185636","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Semigroup ForumPub Date : 2024-08-29DOI: 10.1007/s00233-024-10462-6
Wenwen Zong, Yong Su, Hua-Wen Liu
{"title":"Conditionally distributive uninorms locally internal on the boundary","authors":"Wenwen Zong, Yong Su, Hua-Wen Liu","doi":"10.1007/s00233-024-10462-6","DOIUrl":"https://doi.org/10.1007/s00233-024-10462-6","url":null,"abstract":"<p>In the theory of nonadditive integrals, an indispensable step is to define a pair of pseudo-addition and pseudo-multiplication that fulfill the conditional distributivity, leading to a structure of an ordered semiring in some sense. In this paper, we focus on conditionally distributive uninorms locally internal on the boundary, show that the second involved uninorm must be locally internal, and present a general framework of structures of such a pair of uninorms.</p>","PeriodicalId":49549,"journal":{"name":"Semigroup Forum","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2024-08-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142185637","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Semigroup ForumPub Date : 2024-08-28DOI: 10.1007/s00233-024-10468-0
Conner Griffin
{"title":"A characterization of piecewise $$mathscr {F}$$ -syndetic sets","authors":"Conner Griffin","doi":"10.1007/s00233-024-10468-0","DOIUrl":"https://doi.org/10.1007/s00233-024-10468-0","url":null,"abstract":"<p>Some filter relative notions of size, <span>(left( mathscr {F},mathscr {G}right) )</span>-syndeticity and piecewise <span>(mathscr {F} )</span>-syndeticity, were defined and applied with clarity and focus by Shuungula, Zelenyuk and Zelenyuk (Semigroup Forum 79: 531–539, 2009). These notions are generalizations of the well studied notions of syndeticity and piecewise syndeticity. Since then, there has been an effort to develop the theory around the algebraic structure of the Stone–Čech compactification so that it encompasses these new generalizations. We prove one direction of a characterization of piecewise <span>(mathscr {F})</span>-syndetic sets. This completes the characterization, as the other direction was proved by Christopherson and Johnson (Semigroup Forum 104: 28–44, 2021).</p>","PeriodicalId":49549,"journal":{"name":"Semigroup Forum","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2024-08-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142185638","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Semigroup ForumPub Date : 2024-08-19DOI: 10.1007/s00233-024-10466-2
Vítor H. Fernandes
{"title":"On the monoid of order-preserving transformations of a finite chain whose ranges are intervals","authors":"Vítor H. Fernandes","doi":"10.1007/s00233-024-10466-2","DOIUrl":"https://doi.org/10.1007/s00233-024-10466-2","url":null,"abstract":"<p>We give a presentation for the monoid <span>(mathscr{I}mathscr{O}_n)</span> of all order-preserving transformations of an <i>n</i>-chain whose ranges are intervals. We also consider the submonoid <span>(mathscr{I}mathscr{O}_n^-)</span> of <span>(mathscr{I}mathscr{O}_n)</span> consisting of order-decreasing transformations, for which we determine the cardinality, the rank and a presentation.</p>","PeriodicalId":49549,"journal":{"name":"Semigroup Forum","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2024-08-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142185639","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Semigroup ForumPub Date : 2024-08-19DOI: 10.1007/s00233-024-10465-3
M. Akbari Tootkaboni, A. R. Bagheri Salec, S. Abbas
{"title":"Dynamical systems arising by iterated functions on arbitrary semigroups","authors":"M. Akbari Tootkaboni, A. R. Bagheri Salec, S. Abbas","doi":"10.1007/s00233-024-10465-3","DOIUrl":"https://doi.org/10.1007/s00233-024-10465-3","url":null,"abstract":"<p>Let <i>S</i> be a discrete semigroup and let <span>(^SS)</span> denote the collection of all functions <span>(f:Srightarrow S)</span>. If <span>((P,circ ))</span> is a subsemigroup of <span>(^SS)</span> by composition operation, then <i>P</i> induces a natural topological dynamical system. In fact, <span>((beta S,{T_f}_{fin P}))</span> is a topological dynamical system, where <span>(beta S)</span> is the Stone–Čech compactification of <i>S</i>, <span>(xmapsto T_f(x)=f^beta (x):beta Srightarrow beta S)</span> and <span>(f^beta )</span> is a unique continuous22 extension of <i>f</i>. In this paper, we concentrate on the dynamical system <span>((beta S,{T_f}_{fin P}))</span>, when <i>S</i> is an arbitrary discrete semigroup and <i>P</i> is a subsemigroup of <span>(^SS)</span> and obtain some relations between subsets of <i>S</i> and subsystems of <span>(beta S)</span> with respect to <i>P</i>. As a consequence, we prove that if <span>((S,+))</span> is an infinite commutative discrete semigroup and <span>(mathcal {C})</span> is a finite partition of <i>S</i>, then for every finite number of arbitrary homomorphisms <span>(g_1,dots ,g_l:mathbb {N}rightarrow S)</span>, there exist an infinite subset <i>B</i> of the natural numbers and <span>(Cin mathcal {C})</span> such that for every finite summations <span>(n_1,dots , n_k)</span> of <i>B</i> there exists <span>(sin S)</span> such that </p><span>$$begin{aligned} {s+g_i(n_1),s+g_i(n_2),dots , s+g_i(n_k)}subseteq C,,,,,,,forall iin {1,dots ,l}. end{aligned}$$</span>","PeriodicalId":49549,"journal":{"name":"Semigroup Forum","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2024-08-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142185640","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Semigroup ForumPub Date : 2024-08-12DOI: 10.1007/s00233-024-10463-5
Daniel Glasson
{"title":"The Rees quotient monoid M(abba) generates a variety with uncountably many subvarieties","authors":"Daniel Glasson","doi":"10.1007/s00233-024-10463-5","DOIUrl":"https://doi.org/10.1007/s00233-024-10463-5","url":null,"abstract":"<p>We utilise directed graphs called isoterm graphs to show that the variety generated by <i>M</i>(<i>abba</i>) has continuum many subvarieties.</p>","PeriodicalId":49549,"journal":{"name":"Semigroup Forum","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2024-08-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142185641","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Semigroup ForumPub Date : 2024-08-02DOI: 10.1007/s00233-024-10458-2
Mahir Bilen Can, Naufil Sakran
{"title":"Irreducible unipotent numerical monoids","authors":"Mahir Bilen Can, Naufil Sakran","doi":"10.1007/s00233-024-10458-2","DOIUrl":"https://doi.org/10.1007/s00233-024-10458-2","url":null,"abstract":"<p>In our earlier article (Can and Sakran in Port Math 81(1–2): 21–55, 2024) we initiated a study of the complement-finite submonoids of the group of integer points of a unipotent linear algebraic group. In the present article, we continue to develop tools and techniques for analyzing our monoids. In particular, we initiate a theory of ideals for unipotent numerical monoids.\u0000</p>","PeriodicalId":49549,"journal":{"name":"Semigroup Forum","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2024-08-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141885176","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Semigroup ForumPub Date : 2024-08-02DOI: 10.1007/s00233-024-10460-8
Youssef Aserrar, Elhoucien Elqorachi
{"title":"An extension of Kannappan’s functional equation on semigroups","authors":"Youssef Aserrar, Elhoucien Elqorachi","doi":"10.1007/s00233-024-10460-8","DOIUrl":"https://doi.org/10.1007/s00233-024-10460-8","url":null,"abstract":"<p>Let <i>S</i> be a semigroup, <i>Z</i>(<i>S</i>) the center of <i>S</i>. In this paper, we determine the complex-valued solutions of Kannappan–d’Alembert’s functional equation </p><span>$$begin{aligned}displaystyle int _{S} f(xyt)dmu (t) +displaystyle int _{S} f(sigma (y)xt)dmu (t)= 2f(y)f(x), x,yin S,end{aligned}$$</span><p>and Kannappan–Wilson’s functional equation </p><span>$$begin{aligned}displaystyle int _{S} f(xyt)dmu (t) +displaystyle int _{S} f(sigma (y)xt)dmu (t)= 2f(y)g(x), x,yin S,end{aligned}$$</span><p>where <span>(mu )</span> is a measure that is a linear combination of Dirac measures <span>((delta _{z_i})_{iin I})</span>, such that <span>(z_iin Z(S))</span> for all <span>(iin I)</span>, and <span>(sigma :Srightarrow S)</span> is an involutive automorphism or an involutive anti-automorphism for the first equation and an involutive automorphism for the second one. We also give some interesting applications.</p>","PeriodicalId":49549,"journal":{"name":"Semigroup Forum","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2024-08-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141885031","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Semigroup ForumPub Date : 2024-07-31DOI: 10.1007/s00233-024-10461-7
Xiangping Chu, Qingguo Li
{"title":"H-closedness and absolute H-closedness","authors":"Xiangping Chu, Qingguo Li","doi":"10.1007/s00233-024-10461-7","DOIUrl":"https://doi.org/10.1007/s00233-024-10461-7","url":null,"abstract":"<p>This paper focuses on the study of <i>H</i>-closedness and absolute <i>H</i>-closedness of the posets. First, we propose a counterexample to indicate that an absolutely <i>H</i>-closed topological semilattice may not be <i>c</i>-complete, which gives a negative answer to an open question proposed by Banakh and Bardyla. However, in the case of continuous semilattice with the Lawson topology, we prove that the absolutely <i>H</i>-closed topological semilattice implies <i>c</i>-completeness. Second, we obtain a characterization for quasicontinuous lattices utilizing the topological embedding mapping. Finally, enlightened by the definitions of <i>H</i>-closedness for Hausdorff spaces and absolute <i>H</i>-closedness for Hausdorff topological semilattices, we introduce the concepts of <i>H</i>-closedness and absolute <i>H</i>-closedness for posets with the Lawson topology.</p>","PeriodicalId":49549,"journal":{"name":"Semigroup Forum","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2024-07-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141863154","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}