发布求助
文献互助 智能选刊 最新文献

Algebra Universalis最新文献

筛选
英文 中文
Smallest effect algebras answering two questions on sharp elements 最小效应代数在尖锐元素上回答两个问题
IF 0.4 4区 数学
Algebra Universalis Pub Date : 2026-10-09 DOI: 10.1007/s00012-026-00949-4
Wei Ji
{"title":"Smallest effect algebras answering two questions on sharp elements","authors":"Wei Ji","doi":"10.1007/s00012-026-00949-4","DOIUrl":"10.1007/s00012-026-00949-4","url":null,"abstract":"<div><p>We consider two questions asking whether a recently constructed effect algebra is smallest in two classes determined by its sharp part. The first class consists of non-homogeneous effect algebras whose sharp part is the four-element Boolean algebra. The second consists of effect algebras whose Boolean sharp part is different from the center. We show that the original eleven-element example is not smallest: the first question is answered by an eight-element algebra, while the second has a five-element answer. We also record the homogeneous and non-homogeneous readings of the second question.</p></div>","PeriodicalId":50827,"journal":{"name":"Algebra Universalis","volume":"87 4","pages":""},"PeriodicalIF":0.4,"publicationDate":"2026-10-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"149132563","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}
引用次数: 0
Smb algebras II: On the constraint satisfaction problem over semilattice of Mal’cev blocks Smb代数II：关于Mal 'cev块半格上的约束满足问题
IF 0.4 4区 数学
Algebra Universalis Pub Date : 2026-10-06 DOI: 10.1007/s00012-026-00948-5
Petar Marković, Miklós Maróti, Ralph McKenzie, Aleksandar Prokić
{"title":"Smb algebras II: On the constraint satisfaction problem over semilattice of Mal’cev blocks","authors":"Petar Marković,&nbsp;Miklós Maróti,&nbsp;Ralph McKenzie,&nbsp;Aleksandar Prokić","doi":"10.1007/s00012-026-00948-5","DOIUrl":"10.1007/s00012-026-00948-5","url":null,"abstract":"<div><p>We define a class of algebras, the semilattices of Mal’cev blocks (for short, SMB algebras). In a nutshell, these algebras are semilattices in which each element gets blown up into a Mal’cev algebra. We publish for the first time our old proofs that some SMB algebras induce tractable templates of the Constraint Satisfaction Problem. Next, we reprove that, in fact, all SMB algebras induce tractable templates of the Constraint Satisfaction Problem, a result already proved by A. Bulatov. Also, we compare the two general proofs of the CSP Dichotomy and prove they are more similar than initially thought when they are applied to SMB algebras. This paper is the second in the series of papers investigating the SMB algebras and it is a precursor to our further research on the similarities between the proofs of the Dichotomy Theorem.</p></div>","PeriodicalId":50827,"journal":{"name":"Algebra Universalis","volume":"87 4","pages":""},"PeriodicalIF":0.4,"publicationDate":"2026-10-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"149131987","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}
引用次数: 0
Two questions of Kowalski–Słomczyńska Kowalski-Słomczyńska的两个问题
IF 0.4 4区 数学
Algebra Universalis Pub Date : 2026-09-29 DOI: 10.1007/s00012-026-00950-x
Zalán Gyenis
{"title":"Two questions of Kowalski–Słomczyńska","authors":"Zalán Gyenis","doi":"10.1007/s00012-026-00950-x","DOIUrl":"10.1007/s00012-026-00950-x","url":null,"abstract":"<div><p>That the inclusion <span>(Q(F_3(X))subseteq textsf{Pa}^-_3)</span> is proper and <span>({{,textrm{Mod},}}(textbf{qb}_3))</span> is not generated by free <i>p</i>-algebras is proved, answering two open questions by Kowalski–Słomczyńska.</p></div>","PeriodicalId":50827,"journal":{"name":"Algebra Universalis","volume":"87 4","pages":""},"PeriodicalIF":0.4,"publicationDate":"2026-09-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00012-026-00950-x.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"149132242","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}
引用次数: 0
Generalized quasiorders: constructions and characterizations 广义拟序：构造与表征
IF 0.4 4区 数学
Algebra Universalis Pub Date : 2026-09-18 DOI: 10.1007/s00012-026-00944-9
Danica Jakubíková-Studenovská, Reinhard Pöschel, Sándor Radeleczki
{"title":"Generalized quasiorders: constructions and characterizations","authors":"Danica Jakubíková-Studenovská,&nbsp;Reinhard Pöschel,&nbsp;Sándor Radeleczki","doi":"10.1007/s00012-026-00944-9","DOIUrl":"10.1007/s00012-026-00944-9","url":null,"abstract":"<div><p>Quasiorders <span>( varrho subseteq A^{2})</span> have the property that an operation <span>(f:A^{n}rightarrow A)</span> preserves <span>(varrho )</span> if and only if each (unary) translation obtained from <i>f</i> is an endomorphism of <span>(varrho )</span>. Generalized quasiorders <span>(varrho subseteq A^{m})</span> are generalizations of (binary) quasiorders sharing the same property. We show how new generalized quasiorders can be obtained from given ones using well-known algebraic constructions. Special generalized quasiorders, as generalized equivalences and (weak) generalized partial orders, are introduced, which extend the corresponding notions for binary relations. It turns out that generalized equivalences can be characterized by usual equivalence relations. Extending some known results of binary quasiorders, it is shown that generalized quasiorders can be “decomposed” uniquely into a (weak) generalized partial order and a generalized equivalence. Furthermore, generalized quasiorders of maximal clones determined by equivalence or partial order relations are investigated. If <span>(F={{,textrm{Pol},}}varrho )</span> is a maximal clone and <span>(varrho )</span> an equivalence relation or a lattice order, then <i>every</i> relation in <span>({{,textrm{Inv},}}F)</span> is a generalized quasiorder. Moreover, lattice orders are characterized by this property among all partial orders. Finally we prove that each term operation of a rectangular algebra gives rise to a generalized partial order. Some problems requiring further research are also highlighted.</p></div>","PeriodicalId":50827,"journal":{"name":"Algebra Universalis","volume":"87 4","pages":""},"PeriodicalIF":0.4,"publicationDate":"2026-09-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00012-026-00944-9.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"148986670","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}
引用次数: 0
A dual characterisation of simple and subdirectly-irreducible temporal Heyting algebras 简单和次直接不可约的时间Heyting代数的对偶性质
IF 0.4 4区 数学
Algebra Universalis Pub Date : 2026-09-11 DOI: 10.1007/s00012-026-00939-6
David Quinn Alvarez
{"title":"A dual characterisation of simple and subdirectly-irreducible temporal Heyting algebras","authors":"David Quinn Alvarez","doi":"10.1007/s00012-026-00939-6","DOIUrl":"10.1007/s00012-026-00939-6","url":null,"abstract":"<div><p>We establish an Esakia duality for the categories of temporal Heyting algebras and temporal Esakia spaces. This includes a proof of contravariant equivalence and a congruence/filter/closed-upset correspondence. We then study two notions of «reachability » on the relevant spaces/frames and show their equivalence in the finite case. We use these notions of reachability to give both lattice-theoretic and dual order-topological characterisations of simple and subdirectly-irreducible temporal Heyting algebras. Finally, we apply our duality results to prove the relational and algebraic finite model property for the temporal Heyting calculus. This, in conjunction with the proven characterisations, allows us to prove a relational completeness result that combines finiteness and the frame property dual to subdirect-irreducibility, giving us a class of finite, well-understood frames for the logic.</p></div>","PeriodicalId":50827,"journal":{"name":"Algebra Universalis","volume":"87 4","pages":""},"PeriodicalIF":0.4,"publicationDate":"2026-09-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00012-026-00939-6.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"148927480","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}
引用次数: 0
Euclidean metric frames which are not spatial 不是空间的欧几里德度量坐标系
IF 0.4 4区 数学
Algebra Universalis Pub Date : 2026-09-08 DOI: 10.1007/s00012-026-00916-z
Abolghasem Karimi Feizabadi, Mahmoud Manafi, Halimeh Moghbeli
{"title":"Euclidean metric frames which are not spatial","authors":"Abolghasem Karimi Feizabadi,&nbsp;Mahmoud Manafi,&nbsp;Halimeh Moghbeli","doi":"10.1007/s00012-026-00916-z","DOIUrl":"10.1007/s00012-026-00916-z","url":null,"abstract":"<div><p>In this paper, we employ the concept of a <span>(zeta )</span>-ideal <span>(mathcal {J})</span> and introduce a quotient frame <span>(M(X,mathcal {J}))</span>, where <i>X</i> is a topological space. We prove that for a metric space <i>X</i>, this frame is metrizable. Moreover, a necessary and sufficient condition for spatiality of frame <span>(M(X,mathcal {J}))</span> will be given. Finally, we apply this general case to the metric space <span>(mathbb {R}^{n})</span> and construct frames which are metrizable but not spatial. More precisely, these frames are derived from the metric space <span>(mathbb {R}^{n})</span> which are actually the quotients of frame <span>(mathcal {O}(mathbb {R}^{n}))</span>, the set of open subsets of <span>(mathbb {R}^{n})</span>. The technique of constructing these frames, which are denoted by <span>(M_{i}(X, S))</span>, <span>(i=0,1,2)</span>, intuitively, is a process in which a given subset of points are removed.</p></div>","PeriodicalId":50827,"journal":{"name":"Algebra Universalis","volume":"87 4","pages":""},"PeriodicalIF":0.4,"publicationDate":"2026-09-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00012-026-00916-z.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"148927102","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}
引用次数: 0
On reflections for ordered algebras 关于有序代数的反思
IF 0.4 4区 数学
Algebra Universalis Pub Date : 2026-09-01 DOI: 10.1007/s00012-026-00935-w
Shuang Li, Xia Zhang
{"title":"On reflections for ordered algebras","authors":"Shuang Li,&nbsp;Xia Zhang","doi":"10.1007/s00012-026-00935-w","DOIUrl":"10.1007/s00012-026-00935-w","url":null,"abstract":"<div><p>In this paper, we study reflections for ordered universal algebras by means of injective hulls. We show that ordered universal algebras with cut-stable morphisms have a reflection into sup-algebras with residual preserving complete mappings. The reflection gives rise to an order-embedding preserving functor.</p></div>","PeriodicalId":50827,"journal":{"name":"Algebra Universalis","volume":"87 4","pages":""},"PeriodicalIF":0.4,"publicationDate":"2026-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"148926326","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}
引用次数: 0
Alternating chains of zero-divisor graphs and posets 零因子图和序集的交替链
IF 0.4 4区 数学
Algebra Universalis Pub Date : 2026-08-31 DOI: 10.1007/s00012-026-00946-7
John D. LaGrange, Jianning Su
{"title":"Alternating chains of zero-divisor graphs and posets","authors":"John D. LaGrange,&nbsp;Jianning Su","doi":"10.1007/s00012-026-00946-7","DOIUrl":"10.1007/s00012-026-00946-7","url":null,"abstract":"<div><p>Iterating the zero-divisor graph and neighborhood-poset mappings <span>(Gamma )</span> and <span>(mathcal {N}_1)</span> yields a chain that alternates between graphs and posets. This paper examines the periodicity of such chains, with considerable attention given to those that are induced by lattices. For example, if <i>G</i> is a finite connected graph with at least two vertices, and if <i>P</i> is a finite bounded poset containing nonzero zero-divisors, then the induced sequences <span>({(Gamma mathcal {N}_1)^n(G)}_{n=0}^infty )</span> and <span>({(mathcal {N}_1Gamma )^n(P)}_{n=0}^infty )</span> eventually become either stable, or periodic with period equal to 2. In the infinite case, however, a lattice is provided that induces a sequence which fails to become periodic. Also, for every positive integer <i>k</i>, an infinite lattice is provided that induces a periodic sequence with period equal to <i>k</i>.</p></div>","PeriodicalId":50827,"journal":{"name":"Algebra Universalis","volume":"87 4","pages":""},"PeriodicalIF":0.4,"publicationDate":"2026-08-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"148927925","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}
引用次数: 0
Square closed pointed vector lattices 正方形封闭的点矢量格
IF 0.4 4区 数学
Algebra Universalis Pub Date : 2026-08-28 DOI: 10.1007/s00012-026-00947-6
Christopher M. Schwanke, Walt van Amstel
{"title":"Square closed pointed vector lattices","authors":"Christopher M. Schwanke,&nbsp;Walt van Amstel","doi":"10.1007/s00012-026-00947-6","DOIUrl":"10.1007/s00012-026-00947-6","url":null,"abstract":"<div><p>Given an Archimedean vector lattice <i>E</i>, we present one elementary property of <i>E</i> which is equivalent to the entire traditional list of axioms which makes <i>E</i> a <span>(Phi )</span>-algebra. We call a vector lattice with this property “square closed”. More generally, we then introduce the notion of a pseudo square closed vector lattice and prove that an Archimedean vector lattice is a semiprime <i>f</i>-algebra if and only if it is pseudo square closed. Examples are also provided to show that the assumption of “Archimedean” cannot be dropped. This theory serves as an efficient tool for determining whether or not an Archimedean vector lattice is a <span>(Phi )</span>-algebra (or a semiprime <i>f</i>-algebra). To illustrate this point, we generalize a well-known result for uniformly complete Archimedean vector lattices with a strong order unit by proving that every functionally complete Archimedean vector lattice with a strong order unit is a <span>(Phi )</span>-algebra.</p></div>","PeriodicalId":50827,"journal":{"name":"Algebra Universalis","volume":"87 4","pages":""},"PeriodicalIF":0.4,"publicationDate":"2026-08-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00012-026-00947-6.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"148838316","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}
引用次数: 0
Global representations for finite relatively congruence distributive algebras 有限相对同余分配代数的全局表示
IF 0.4 4区 数学
Algebra Universalis Pub Date : 2026-08-19 DOI: 10.1007/s00012-026-00934-x
Miguel Campercholi, Diego Vaggione, Gonzalo Zigarán
{"title":"Global representations for finite relatively congruence distributive algebras","authors":"Miguel Campercholi,&nbsp;Diego Vaggione,&nbsp;Gonzalo Zigarán","doi":"10.1007/s00012-026-00934-x","DOIUrl":"10.1007/s00012-026-00934-x","url":null,"abstract":"<div><p>We show that every finite relatively congruence distributive (RCD) algebra in a quasivariety has a global representation with relatively globally indecomposable factors. As an application, we characterize the congruence permutable finite RCD algebras as those omitting certain homomorphic images. The paper concludes with a case study of the variety of lattices generated by the diamond.</p></div>","PeriodicalId":50827,"journal":{"name":"Algebra Universalis","volume":"87 4","pages":""},"PeriodicalIF":0.4,"publicationDate":"2026-08-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"148782934","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}
引用次数: 0
下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：604180095
Book学术官方微信
小红书