Algebra Universalis最新文献

{"title":"Generalized quasiorders and the Galois connection ({textbf {End}})–(varvec{{{,textrm{gQuord},}}})","authors":"Danica Jakubíková-Studenovská,&nbsp;Reinhard Pöschel,&nbsp;Sándor Radeleczki","doi":"10.1007/s00012-024-00850-y","DOIUrl":"10.1007/s00012-024-00850-y","url":null,"abstract":"<div><p>Equivalence relations or, more general, quasiorders (i.e., reflexive and transitive binary relations) <span>(varrho )</span> have the property that an <i>n</i>-ary operation <i>f</i> preserves <span>(varrho ,)</span> i.e., <i>f</i> is a polymorphism of <span>(varrho ,)</span> if and only if each translation (i.e., unary polynomial function obtained from <i>f</i> by substituting constants) preserves <span>(varrho ,)</span> i.e., it is an endomorphism of <span>(varrho .)</span> We introduce a wider class of relations—called generalized quasiorders—of arbitrary arities with the same property. With these generalized quasiorders we can characterize all algebras whose clone of term operations is determined by its translations by the above property, what generalizes affine complete algebras. The results are based on the characterization of so-called u-closed monoids (i.e., the unary parts of clones with the above property) as Galois closures of the Galois connection <span>({textrm{End}})</span>–<span>({{,textrm{gQuord},}},)</span> i.e., as endomorphism monoids of generalized quasiorders. The minimal u-closed monoids are described explicitly.</p></div>","PeriodicalId":50827,"journal":{"name":"Algebra Universalis","volume":"85 2","pages":""},"PeriodicalIF":0.6,"publicationDate":"2024-03-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00012-024-00850-y.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140155933","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Some further results on pointfree convex geometry","authors":"Changchun Xia","doi":"10.1007/s00012-024-00847-7","DOIUrl":"10.1007/s00012-024-00847-7","url":null,"abstract":"<div><p>Inspired by locale theory, pointfree convex geometry was first proposed and studied by Yoshihiro Maruyama. In this paper, we shall continue to his work and investigate the related topics on pointfree convex spaces. Concretely, the following results are obtained: (1) A Hofmann–Lawson-like duality for pointfree convex spaces is established. (2) The <span>(mathcal {M})</span>-injective objects in the category of <span>(S_0)</span>-convex spaces are proved precisely to be sober convex spaces, where <span>(mathcal {M})</span> is the class of strict maps of convex spaces; (3) A convex space <i>X</i> is sober iff there never exists a nontrivial identical embedding <span>(i:Xhookrightarrow Y)</span> such that its dualization is an isomorphism, and a convex space <i>X</i> is <span>(S_D)</span> iff there never exists a nontrivial identical embedding <span>(k:Yhookrightarrow X)</span> such that its dualization is an isomorphism. (4) A dual adjunction between the category <span>(textbf{CLat}_D)</span> of continuous lattices with continuous <i>D</i>-homomorphisms and the category <span>(textbf{CS}_D)</span> of <span>(S_D)</span>-convex spaces with <i>CP</i>-maps is constructed, which can further induce a dual equivalence between <span>(textbf{CS}_D)</span> and a subcategory of <span>(textbf{CLat}_D)</span>; (5) The relationship between the quotients of a continuous lattice <i>L</i> and the convex subspaces of <span>({textbf {cpt}}(L))</span> is investigated and the collection <span>({textbf {Alg}}({textbf {Q}}(L)))</span> of all algebraic quotients of <i>L</i> is proved to be an algebraic join-sub-complete lattice of <span>({textbf {Q}}(L))</span> of all quotients of <i>L</i>, where <span>({textbf {cpt}}(L))</span> denote the set of non-bottom compact elements of <i>L</i>. Furthermore, it is shown that <span>({textbf {Alg}}({textbf {Q}}(L)))</span> is isomorphic to the collection <span>({textbf {Sob}}(mathcal {P}({textbf {cpt}}(L))))</span> of all sober convex subspaces of <span>({textbf {cpt}}(L))</span>; (6) Several necessary and sufficient conditions for all convex subspaces of <span>({textbf {cpt}}(L))</span> to be sober are presented.</p></div>","PeriodicalId":50827,"journal":{"name":"Algebra Universalis","volume":"85 2","pages":""},"PeriodicalIF":0.6,"publicationDate":"2024-03-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140043960","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Factor principal congruences and Boolean products in filtral varieties","authors":"Brian A. Davey,&nbsp;Miroslav Haviar","doi":"10.1007/s00012-024-00846-8","DOIUrl":"10.1007/s00012-024-00846-8","url":null,"abstract":"<div><p>Motivated by Haviar and Ploščica’s 2021 characterisation of Boolean products of simple De Morgan algebras, we investigate Boolean products of simple algebras in filtral varieties. We provide two main theorems. The first yields Werner’s Boolean-product representation of algebras in a discriminator variety as an immediate application. The second, which applies to algebras in which the top congruence is compact, yields a generalisation of the Haviar–Ploščica result to semisimple varieties of Ockham algebras. The property of having factor principal congruences is fundamental to both theorems. While major parts of our general theorems can be derived from results in the literature, we offer new, self-contained and essentially elementary proofs.</p></div>","PeriodicalId":50827,"journal":{"name":"Algebra Universalis","volume":"85 2","pages":""},"PeriodicalIF":0.6,"publicationDate":"2024-03-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00012-024-00846-8.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140036271","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Joins and meets in effect algebras","authors":"Grzegorz Bińczak,&nbsp;Joanna Kaleta,&nbsp;Andrzej Zembrzuski","doi":"10.1007/s00012-024-00844-w","DOIUrl":"10.1007/s00012-024-00844-w","url":null,"abstract":"<div><p>It is known that every effect algebra can be represented as the effect algebra of perspectivity classes of some <i>E</i>-test space. We describe when there exists join and meet of two perspectivity classes of events of some algebraic <i>E</i>-test space. Moreover we give the formula for join and meet of perspectivity classes mentioned above, using only tests. We obtain an example of finite, non-homogeneous effect algebra <i>E</i> such that sharp elements of <i>E</i> form a lattice, whereas <i>E</i> is not a lattice.</p></div>","PeriodicalId":50827,"journal":{"name":"Algebra Universalis","volume":"85 2","pages":""},"PeriodicalIF":0.6,"publicationDate":"2024-03-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00012-024-00844-w.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140017896","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Hull classes in compact regular frames","authors":"Papiya Bhattacharjee,&nbsp;Ricardo E. Carrera","doi":"10.1007/s00012-024-00849-5","DOIUrl":"10.1007/s00012-024-00849-5","url":null,"abstract":"<div><p><span>(mathfrak {KReg})</span> is the category of compact regular frames and frame homomorphisms. A class of <span>(mathfrak {KReg})</span> frames <span>(textbf{H})</span> is a hull class provided that: (i) <span>(textbf{H})</span> is closed under isomorphic copies; (ii) for every <span>(F in mathfrak {KReg})</span> there exist an <span>(hF in textbf{H})</span> and a morphism <span>(h_F)</span> such that <span>(F overset{h_F}{le } hF)</span> is essential; (iii) if <span>(F overset{phi }{le } H)</span> is essential and <span>(H in textbf{H})</span>, then there exists <span>(hphi : hF longrightarrow H)</span> for which <span>(phi = hphi cdot h_F)</span>. This work provides techniques for identifying and generating hull classes in <span>(mathfrak {KReg})</span>. Moreover, for a compact regular frame <i>F</i>, we introduce and investigate various properties of projectability and disconnectivity of <i>F</i> and prove that for each property, <i>P</i>, the class of <span>(mathfrak {KReg})</span>-objects that satisfy <i>P</i> is a hull class in <span>(mathfrak {KReg})</span>. In addition, we provide examples of <span>(mathfrak {KReg})</span> hull classes that are not characterized by some form of projectability/disconnectivity and examples of classes of <span>(mathfrak {KReg})</span>-objects that are not hull classes.</p></div>","PeriodicalId":50827,"journal":{"name":"Algebra Universalis","volume":"85 2","pages":""},"PeriodicalIF":0.6,"publicationDate":"2024-03-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00012-024-00849-5.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140017801","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Solution to two problems on ideally conjunctive join-semilattices","authors":"Ao Shen,&nbsp;Qingguo Li","doi":"10.1007/s00012-024-00845-9","DOIUrl":"10.1007/s00012-024-00845-9","url":null,"abstract":"<div><p>In this paper, we solve two problems concerning the ideally conjunctive join-semilattices. First, we show that <span>(L/R^1({{,textrm{Id},}}L)|_L)</span> is ideally conjunctive for all join-semilattices <i>L</i>. Then we characterize those ideally conjunctive join-semilattices <i>L</i> such that <span>({{,textrm{coz},}}a)</span> is compact for all <span>(ain L.)</span> Moreover, we give the definition of conjunctive posets and prove that the category of ideally conjunctive join-semilattices and join homomorphisms is reflective in the category of conjunctive posets and weakly ideal-continuous maps. As a corollary, we obtain the free ideally conjunctive join-semilattices over conjunctive posets.</p></div>","PeriodicalId":50827,"journal":{"name":"Algebra Universalis","volume":"85 2","pages":""},"PeriodicalIF":0.6,"publicationDate":"2024-02-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139919537","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"On the Boolean algebra induced by a unital (ell )-group","authors":"Soudabeh Karamdoust,&nbsp;Hassan Myrnouri,&nbsp;Mahmood Pourgholamhossein","doi":"10.1007/s00012-024-00848-6","DOIUrl":"10.1007/s00012-024-00848-6","url":null,"abstract":"<div><p>The main goal of this paper is the study of the Boolean algebra of all characteristic elements in a unital <span>(ell )</span>-group and we investigate some topological properties of it in the case that the unital <span>(ell )</span>-group equipped with a link or positive filter topology. We also introduce the concept of Boolean region as a subset of a unital <span>(ell )</span>-group.</p></div>","PeriodicalId":50827,"journal":{"name":"Algebra Universalis","volume":"85 2","pages":""},"PeriodicalIF":0.6,"publicationDate":"2024-02-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00012-024-00848-6.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139919406","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Was Ulam right? II: small width and general ideals","authors":"Tanmay Inamdar,&nbsp;Assaf Rinot","doi":"10.1007/s00012-024-00843-x","DOIUrl":"10.1007/s00012-024-00843-x","url":null,"abstract":"<div><p>We continue our study of Sierpiński-type colourings. In contrast to the prequel paper, we focus here on colourings for ideals stratified by their completeness degree. In particular, improving upon Ulam’s theorem and its extension by Hajnal, it is proved that if <span>(kappa )</span> is a regular uncountable cardinal that is not weakly compact in <i>L</i>, then there is a universal witness for non-weak-saturation of <span>(kappa )</span>-complete ideals. Specifically, there are <span>(kappa )</span>-many decompositions of <span>(kappa )</span> such that, for every <span>(kappa )</span>-complete ideal <i>J</i> over <span>(kappa )</span>, and every <span>(Bin J^+)</span>, one of the decompositions shatters <i>B</i> into <span>(kappa )</span>-many <span>(J^+)</span>-sets. A second focus here is the feature of narrowness of colourings, one already present in the theorem of Sierpiński. This feature ensures that a colouring suitable for an ideal is also suitable for all superideals possessing the requisite completeness degree. It is proved that unlike successors of regulars, every successor of a singular cardinal admits such a narrow colouring.</p></div>","PeriodicalId":50827,"journal":{"name":"Algebra Universalis","volume":"85 2","pages":""},"PeriodicalIF":0.6,"publicationDate":"2024-02-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00012-024-00843-x.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139762453","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Not all nilpotent monoids are finitely related","authors":"Markus Steindl","doi":"10.1007/s00012-023-00841-5","DOIUrl":"10.1007/s00012-023-00841-5","url":null,"abstract":"<div><p>A finite semigroup is finitely related (has finite degree) if its term functions are determined by a finite set of finitary relations. For example, it is known that all nilpotent semigroups are finitely related. A nilpotent monoid is a nilpotent semigroup with adjoined identity. We show that every 4-nilpotent monoid is finitely related. We also give an example of a 5-nilpotent monoid that is not finitely related. To our knowledge, this is the first example of a finitely related semigroup where adjoining an identity yields a semigroup which is not finitely related. We also provide examples of finitely related semigroups which have subsemigroups, homomorphic images, and in particular Rees quotients, that are not finitely related.</p></div>","PeriodicalId":50827,"journal":{"name":"Algebra Universalis","volume":"85 1","pages":""},"PeriodicalIF":0.6,"publicationDate":"2024-02-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00012-023-00841-5.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139762334","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Bubble lattices I: Structure","authors":"Thomas McConville,&nbsp;Henri Mühle","doi":"10.1007/s00012-024-00842-y","DOIUrl":"10.1007/s00012-024-00842-y","url":null,"abstract":"<div><p>C. Greene introduced the shuffle lattice as an idealized model for DNA mutation and discovered remarkable combinatorial and enumerative properties of this structure. We attempt an explanation of these properties from a lattice-theoretic point of view. To that end, we introduce and study an order extension of the shuffle lattice, the <i>bubble lattice</i>. We characterize the bubble lattice both locally (via certain transformations of shuffle words) and globally (using a notion of inversion set). We then prove that the bubble lattice is extremal and constructable by interval doublings. Lastly, we prove that our bubble lattice is a generalization of the Hochschild lattice studied earlier by Chapoton, Combe and the second author.</p></div>","PeriodicalId":50827,"journal":{"name":"Algebra Universalis","volume":"85 1","pages":""},"PeriodicalIF":0.6,"publicationDate":"2024-02-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139762448","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}