Pub Date : 2024-07-29DOI: 10.1007/s00233-024-10457-3
Bing Duan, Jian-Rong Li, Yan-Feng Luo
We describe the mutation class of a certain quiver with a frozen vertex and associate these quivers with potentials appearing in our mutation class to presentations of the monoid ({mathscr {P}}_{n+1}) of uniform block permutations on the set ({1,2,ldots , n+1}). Some classical and known presentations of ({mathscr {P}}_{n+1}), including FitzGerald’s presentation and Everitt and Fountain’s presentation, are recovered.
{"title":"A cluster algebra approach to presentations of the monoid of uniform block permutations","authors":"Bing Duan, Jian-Rong Li, Yan-Feng Luo","doi":"10.1007/s00233-024-10457-3","DOIUrl":"https://doi.org/10.1007/s00233-024-10457-3","url":null,"abstract":"<p>We describe the mutation class of a certain quiver with a frozen vertex and associate these quivers with potentials appearing in our mutation class to presentations of the monoid <span>({mathscr {P}}_{n+1})</span> of uniform block permutations on the set <span>({1,2,ldots , n+1})</span>. Some classical and known presentations of <span>({mathscr {P}}_{n+1})</span>, including FitzGerald’s presentation and Everitt and Fountain’s presentation, are recovered.</p>","PeriodicalId":49549,"journal":{"name":"Semigroup Forum","volume":"125 1","pages":""},"PeriodicalIF":0.7,"publicationDate":"2024-07-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141863152","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}
Pub Date : 2024-07-26DOI: 10.1007/s00233-024-10453-7
Houssem Herbadji, Ammar Khemmoudj
We consider the stabilization of two weakly dissipative wave equations with variable coefficients, localized Kelvin–Voigt damping, mixed boundary condition and time delay. The well posedness is obtained by the semigroup method. Using a unique continuation result, we show that the system is strongly stable. Then, we show that the system is not exponentially stable. Finally, using a frequency domain approach combined with multiplier method, we establish a polynomial energy decay rate for the undelayed system. Then, we prove that the system with delay has the same decay rate.
{"title":"Stability of coupled wave equations with variable coefficients, localised Kelvin–Voigt damping and time delay","authors":"Houssem Herbadji, Ammar Khemmoudj","doi":"10.1007/s00233-024-10453-7","DOIUrl":"https://doi.org/10.1007/s00233-024-10453-7","url":null,"abstract":"<p>We consider the stabilization of two weakly dissipative wave equations with variable coefficients, localized Kelvin–Voigt damping, mixed boundary condition and time delay. The well posedness is obtained by the semigroup method. Using a unique continuation result, we show that the system is strongly stable. Then, we show that the system is not exponentially stable. Finally, using a frequency domain approach combined with multiplier method, we establish a polynomial energy decay rate for the undelayed system. Then, we prove that the system with delay has the same decay rate.</p>","PeriodicalId":49549,"journal":{"name":"Semigroup Forum","volume":"53 1","pages":""},"PeriodicalIF":0.7,"publicationDate":"2024-07-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141774353","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}
Pub Date : 2024-07-26DOI: 10.1007/s00233-024-10459-1
Wei Luan, Qingguo Li
In 1981, Gerhard Gierz and Jimmie Lawson gave a necessary condition for a complete lattice to be quasicontinuous using an equation. However, whether quasicontinuous lattices can be characterized by equations has remained unknown. In this paper, we give an equational characterization of quasicontinuous complete semilattices. Furthermore, we investigate congruences of quasicontinuous complete semilattices. We derive the first isomorphism theorem for quasicontinuous complete semilattices in the context of C-congruences. As a consequence, we show that the category of all continuous complete semilattices with maps preserving directed sups and nonempty infs is a reflective full subcategory of quasicontinuous complete semilattices.
1981 年,格哈德-吉尔兹(Gerhard Gierz)和吉米-劳森(Jimmie Lawson)用方程给出了一个完整网格准连续的必要条件。然而,准连续网格能否用方程来表征一直是个未知数。在本文中,我们给出了准连续完整半网格的等式特征。此外,我们还研究了类连续完全半网格的同构性。我们在 C 协同的背景下推导出准连续完全半网格的第一个同构定理。因此,我们证明了具有保留有向 sups 和非空 infs 的映射的所有连续完整半格的范畴是类连续完整半格的反射全子类。
{"title":"A defining equation and reflective subcategories of quasicontinuous complete semilattices","authors":"Wei Luan, Qingguo Li","doi":"10.1007/s00233-024-10459-1","DOIUrl":"https://doi.org/10.1007/s00233-024-10459-1","url":null,"abstract":"<p>In 1981, Gerhard Gierz and Jimmie Lawson gave a necessary condition for a complete lattice to be quasicontinuous using an equation. However, whether quasicontinuous lattices can be characterized by equations has remained unknown. In this paper, we give an equational characterization of quasicontinuous complete semilattices. Furthermore, we investigate congruences of quasicontinuous complete semilattices. We derive the first isomorphism theorem for quasicontinuous complete semilattices in the context of C-congruences. As a consequence, we show that the category of all continuous complete semilattices with maps preserving directed sups and nonempty infs is a reflective full subcategory of quasicontinuous complete semilattices.</p>","PeriodicalId":49549,"journal":{"name":"Semigroup Forum","volume":"11 1","pages":""},"PeriodicalIF":0.7,"publicationDate":"2024-07-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141774208","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}
Pub Date : 2024-07-24DOI: 10.1007/s00233-024-10455-5
Abdelhadi El Harfi
We consider a (C_0)-semigroup on a Banach space such that the resolvent is uniformly bounded on the right half-plane. In this paper we provide a condition on the resolvent which is sufficient and necessary for the uniform exponential stability of such a semigroup. As a consequence, we give an alternative proof of Gearhart’s theorem (Trans. Amer. Math. Soc. 236, 385–394 (1978)). The approach lies on a complex inversion formula and tempered distributions.
{"title":"On the equivalence between the uniform exponential stability of a $$C_0$$ -semigroup and the boundedness of the resolvent","authors":"Abdelhadi El Harfi","doi":"10.1007/s00233-024-10455-5","DOIUrl":"https://doi.org/10.1007/s00233-024-10455-5","url":null,"abstract":"<p>We consider a <span>(C_0)</span>-semigroup on a Banach space such that the resolvent is uniformly bounded on the right half-plane. In this paper we provide a condition on the resolvent which is sufficient and necessary for the uniform exponential stability of such a semigroup. As a consequence, we give an alternative proof of Gearhart’s theorem (Trans. Amer. Math. Soc. <b> 236</b>, 385–394 (1978)). The approach lies on a complex inversion formula and tempered distributions.</p>","PeriodicalId":49549,"journal":{"name":"Semigroup Forum","volume":"70 1","pages":""},"PeriodicalIF":0.7,"publicationDate":"2024-07-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141774326","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}
Pub Date : 2024-07-24DOI: 10.1007/s00233-024-10435-9
Thomas Aird, Duarte Ribeiro
We study the equational theories and bases of meets and joins of several varieties of plactic-like monoids. Using those results, we construct sublattices of the lattice of varieties of monoids, generated by said varieties. We calculate the axiomatic ranks of their elements, obtain plactic-like congruences whose corresponding factor monoids generate varieties in the lattice, and determine which varieties are joins of the variety of commutative monoids and a finitely generated variety. We also show that the hyposylvester and metasylvester monoids generate the same variety as the sylvester monoid.
{"title":"Lattices of varieties of plactic-like monoids","authors":"Thomas Aird, Duarte Ribeiro","doi":"10.1007/s00233-024-10435-9","DOIUrl":"https://doi.org/10.1007/s00233-024-10435-9","url":null,"abstract":"<p>We study the equational theories and bases of meets and joins of several varieties of plactic-like monoids. Using those results, we construct sublattices of the lattice of varieties of monoids, generated by said varieties. We calculate the axiomatic ranks of their elements, obtain plactic-like congruences whose corresponding factor monoids generate varieties in the lattice, and determine which varieties are joins of the variety of commutative monoids and a finitely generated variety. We also show that the hyposylvester and metasylvester monoids generate the same variety as the sylvester monoid.</p>","PeriodicalId":49549,"journal":{"name":"Semigroup Forum","volume":"70 1","pages":""},"PeriodicalIF":0.7,"publicationDate":"2024-07-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141774421","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}
Pub Date : 2024-07-22DOI: 10.1007/s00233-024-10456-4
Neil Hindman, Dona Strauss
Følner density is a very natural notion of density which is defined on any semigroup satisfying the Strong Følner Condition (SFC). (These include all commutative semigroups and all left cancellative left amenable semigroups.) Piecewise syndetic and thick are notions of largeness arising from topological dynamics. It has been known that if S satisfies SFC and is either left cancellative or satisfies a weak right cancellation requirement, then every thick subset has density 1. We show here that in any semigroup S satisfying SFC a subset of S is thick if and only if it has density 1. As a consequence, every piecewise syndetic set has positive density.
福尔纳密度是一个非常自然的密度概念,它定义在任何满足强福尔纳条件(SFC)的半群上(包括所有交换半群和所有左可抵消半群)。片状联合和厚是产生于拓扑动力学的大型概念。众所周知,如果 S 满足 SFC,并且是左可消的或满足弱右可消的要求,那么每个厚子集的密度都是 1。我们在此证明,在任何满足 SFC 的半群 S 中,当且仅当 S 的一个子集具有密度 1 时,它就是厚子集。因此,每个片断联合集都有正密度。
{"title":"Thick sets are exactly the sets with Følner density 1","authors":"Neil Hindman, Dona Strauss","doi":"10.1007/s00233-024-10456-4","DOIUrl":"https://doi.org/10.1007/s00233-024-10456-4","url":null,"abstract":"<p><i>Følner density</i> is a very natural notion of density which is defined on any semigroup satisfying the Strong Følner Condition (SFC). (These include all commutative semigroups and all left cancellative left amenable semigroups.) <i>Piecewise syndetic</i> and <i>thick</i> are notions of largeness arising from topological dynamics. It has been known that if <i>S</i> satisfies SFC and is either left cancellative or satisfies a weak right cancellation requirement, then every thick subset has density 1. We show here that in any semigroup <i>S</i> satisfying SFC a subset of <i>S</i> is thick if and only if it has density 1. As a consequence, every piecewise syndetic set has positive density.</p>","PeriodicalId":49549,"journal":{"name":"Semigroup Forum","volume":"61 1","pages":""},"PeriodicalIF":0.7,"publicationDate":"2024-07-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141774423","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}
Pub Date : 2024-07-19DOI: 10.1007/s00233-024-10452-8
Daniel Glasson
An algebra is finitely related (or has finite degree) if its term functions are determined by some finite set of finitary relations. Nilpotent monoids built from words, via Rees quotients of free monoids, have been used to exhibit many interesting properties with respect to the finite basis problem. We show that much of this intriguing behaviour extends to the world of finite relatedness by using interlocking patterns called chain, crown, and maelstrom words. In particular, we show that there are large classes of non-finitely related nilpotent monoids that can be used to construct examples of: ascending chains of varieties alternating between finitely and non-finitely related; non-finitely related semigroups whose direct product are finitely related; the addition of an identity element to a non-finitely related semigroup to produce a finitely related semigroup.
如果一个代数的项函数是由一组有限的有限关系决定的,那么这个代数就是有限关系代数(或有限度代数)。通过自由单子的里斯商(Rees quotients of free monoids),由单词建立的无穷单子被用来展示与有限基础问题有关的许多有趣性质。通过使用称为链字、冠字和漩涡字的连锁模式,我们证明了这种有趣的行为可以扩展到有限关联的世界。特别是,我们证明了有一大类非无限相关的零势单体可以用来构造以下例子:在有限相关和非无限相关之间交替的上升链;其直接乘积为有限相关的非无限相关半群;在非无限相关半群中加入一个同素以产生一个有限相关半群。
{"title":"Finitely and non-finitely related words","authors":"Daniel Glasson","doi":"10.1007/s00233-024-10452-8","DOIUrl":"https://doi.org/10.1007/s00233-024-10452-8","url":null,"abstract":"<p>An algebra is finitely related (or has finite degree) if its term functions are determined by some finite set of finitary relations. Nilpotent monoids built from words, via Rees quotients of free monoids, have been used to exhibit many interesting properties with respect to the finite basis problem. We show that much of this intriguing behaviour extends to the world of finite relatedness by using interlocking patterns called chain, crown, and maelstrom words. In particular, we show that there are large classes of non-finitely related nilpotent monoids that can be used to construct examples of: ascending chains of varieties alternating between finitely and non-finitely related; non-finitely related semigroups whose direct product are finitely related; the addition of an identity element to a non-finitely related semigroup to produce a finitely related semigroup.</p>","PeriodicalId":49549,"journal":{"name":"Semigroup Forum","volume":"22 1","pages":""},"PeriodicalIF":0.7,"publicationDate":"2024-07-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141745263","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}
Pub Date : 2024-07-12DOI: 10.1007/s00233-024-10450-w
Mark V. Lawson, Alina Vdovina
We generalize free monoids by defining k-monoids. These are nothing other than the one-vertex higher-rank graphs used in (C^{*})-algebra theory with the cardinality requirement waived. The 1-monoids are precisely the free monoids. We then take the next step and generalize k-monoids in such a way that self-similar group actions yield monoids of this type.
我们通过定义 k-monoids 来概括自由单元。它们只不过是 (C^{*})- 代数理论中使用的单顶点高阶图,但放弃了心数要求。1-单体正是自由单体。接下来,我们将进一步推广 k 单体,使自相似群作用产生这种类型的单体。
{"title":"Generalizations of free monoids","authors":"Mark V. Lawson, Alina Vdovina","doi":"10.1007/s00233-024-10450-w","DOIUrl":"https://doi.org/10.1007/s00233-024-10450-w","url":null,"abstract":"<p>We generalize free monoids by defining <i>k</i>-monoids. These are nothing other than the one-vertex higher-rank graphs used in <span>(C^{*})</span>-algebra theory with the cardinality requirement waived. The 1-monoids are precisely the free monoids. We then take the next step and generalize <i>k</i>-monoids in such a way that self-similar group actions yield monoids of this type.</p>","PeriodicalId":49549,"journal":{"name":"Semigroup Forum","volume":"221 1","pages":""},"PeriodicalIF":0.7,"publicationDate":"2024-07-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141610525","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}
Pub Date : 2024-07-08DOI: 10.1007/s00233-024-10451-9
Magdalena Wiertel
It is shown that the Hecke–Kiselman monoid ({text {HK}}_{Theta }) associated to a finite oriented graph (Theta ) satisfies a semigroup identity if and only if ({text {HK}}_{Theta }) does not have free noncommutative subsemigroups. It follows that this happens exactly when the semigroup algebra (K[{text {HK}}_{Theta }]) over a field K satisfies a polynomial identity. The latter is equivalent to a condition expressed in terms of the graph (Theta ). The proof allows to derive concrete identities satisfied by such monoids ({text {HK}}_{Theta }).
{"title":"Identities of Hecke–Kiselman monoids","authors":"Magdalena Wiertel","doi":"10.1007/s00233-024-10451-9","DOIUrl":"https://doi.org/10.1007/s00233-024-10451-9","url":null,"abstract":"<p>It is shown that the Hecke–Kiselman monoid <span>({text {HK}}_{Theta })</span> associated to a finite oriented graph <span>(Theta )</span> satisfies a semigroup identity if and only if <span>({text {HK}}_{Theta })</span> does not have free noncommutative subsemigroups. It follows that this happens exactly when the semigroup algebra <span>(K[{text {HK}}_{Theta }])</span> over a field <i>K</i> satisfies a polynomial identity. The latter is equivalent to a condition expressed in terms of the graph <span>(Theta )</span>. The proof allows to derive concrete identities satisfied by such monoids <span>({text {HK}}_{Theta })</span>.</p>","PeriodicalId":49549,"journal":{"name":"Semigroup Forum","volume":"30 1","pages":""},"PeriodicalIF":0.7,"publicationDate":"2024-07-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141570766","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}
Pub Date : 2024-07-01DOI: 10.1007/s00233-024-10449-3
Sayan Goswami
The notions of a CR set is intimately related with the generalized van der Waerden’s theorem. We prove that the product of two CR sets is again a CR set. This answers Question 4.2 from Hindman et al. (Semigroup Forum 107:127–143, 2023).
{"title":"Cartesian products of two CR sets","authors":"Sayan Goswami","doi":"10.1007/s00233-024-10449-3","DOIUrl":"https://doi.org/10.1007/s00233-024-10449-3","url":null,"abstract":"<p>The notions of a CR set is intimately related with the generalized van der Waerden’s theorem. We prove that the product of two CR sets is again a CR set. This answers Question 4.2 from Hindman et al. (Semigroup Forum 107:127–143, 2023).</p>","PeriodicalId":49549,"journal":{"name":"Semigroup Forum","volume":"72 1","pages":""},"PeriodicalIF":0.7,"publicationDate":"2024-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141502597","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}