Algebra Universalis最新文献

筛选
英文 中文
Monadic ortholattices: completions and duality 一元正正交:补全和对偶性
IF 0.6 4区 数学
Algebra Universalis Pub Date : 2025-04-03 DOI: 10.1007/s00012-025-00889-5
John Harding, Joseph McDonald, Miguel Peinado
{"title":"Monadic ortholattices: completions and duality","authors":"John Harding,&nbsp;Joseph McDonald,&nbsp;Miguel Peinado","doi":"10.1007/s00012-025-00889-5","DOIUrl":"10.1007/s00012-025-00889-5","url":null,"abstract":"<div><p>We show that the variety of monadic ortholattices is closed under MacNeille and canonical completions. In each case, the completion of <i>L</i> is obtained by forming an associated dual space <i>X</i> that is a monadic orthoframe. This is a set with an orthogonality relation and an additional binary relation satisfying certain conditions. For the MacNeille completion, <i>X</i> is formed from the non-zero elements of <i>L</i>, and for the canonical completion, <i>X</i> is formed from the proper filters of <i>L</i>. The corresponding completion of <i>L</i> is then obtained as the ortholattice of bi-orthogonally closed subsets of <i>X</i> with an additional operation defined through the binary relation of <i>X</i>. With the introduction of a suitable topology on an orthoframe, as was done by Goldblatt and Bimbó, we obtain a dual adjunction between the categories of monadic ortholattices and monadic orthospaces. A restriction of this dual adjunction provides a dual equivalence.</p></div>","PeriodicalId":50827,"journal":{"name":"Algebra Universalis","volume":"86 2","pages":""},"PeriodicalIF":0.6,"publicationDate":"2025-04-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143769776","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
Representable distributive quasi relation algebras 可表示分布拟关系代数
IF 0.6 4区 数学
Algebra Universalis Pub Date : 2025-04-03 DOI: 10.1007/s00012-025-00884-w
Andrew Craig, Claudette Robinson
{"title":"Representable distributive quasi relation algebras","authors":"Andrew Craig,&nbsp;Claudette Robinson","doi":"10.1007/s00012-025-00884-w","DOIUrl":"10.1007/s00012-025-00884-w","url":null,"abstract":"<div><p>We give a definition of representability for distributive quasi relation algebras (DqRAs). These algebras are a generalisation of relation algebras and were first described by Galatos and Jipsen (Algebra Univers 69:1–21, 2013). Our definition uses a construction that starts with a poset. The algebra is concretely constructed as the lattice of upsets of a partially ordered equivalence relation. The key to defining the three negation-like unary operations is to impose certain symmetry requirements on the partial order. Our definition of representable distributive quasi relation algebras is easily seen to be a generalisation of the definition of representable relations algebras by Jónsson and Tarski (AMS 54:89, 1948). We give examples of representable DqRAs and give a necessary condition for an algebra to be finitely representable. We leave open the questions of whether every DqRA is representable, and also whether the class of representable DqRAs forms a variety. Moreover, our definition provides many other opportunities for investigations in the spirit of those carried out for representable relation algebras.</p></div>","PeriodicalId":50827,"journal":{"name":"Algebra Universalis","volume":"86 2","pages":""},"PeriodicalIF":0.6,"publicationDate":"2025-04-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00012-025-00884-w.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143769833","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
Right-preordered groups from a categorical perspective 从分类的角度看右序群
IF 0.6 4区 数学
Algebra Universalis Pub Date : 2025-03-25 DOI: 10.1007/s00012-025-00886-8
Maria Manuel Clementino, Andrea Montoli
{"title":"Right-preordered groups from a categorical perspective","authors":"Maria Manuel Clementino,&nbsp;Andrea Montoli","doi":"10.1007/s00012-025-00886-8","DOIUrl":"10.1007/s00012-025-00886-8","url":null,"abstract":"<div><p>We study categorical properties of right-preordered groups, giving an explicit description of limits and colimits in this category, studying some exactness properties, and showing that it is a quasivariety. We show that, from an algebraic point of view, the category of right-preordered groups shares several properties with the one of monoids. Moreover, we describe split extensions of right-preordered groups, showing in particular that semidirect products of ordered groups always have a natural right-preorder.</p></div>","PeriodicalId":50827,"journal":{"name":"Algebra Universalis","volume":"86 2","pages":""},"PeriodicalIF":0.6,"publicationDate":"2025-03-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143698528","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
Reorienting quandle orbits 调整烛台轨道的方向
IF 0.6 4区 数学
Algebra Universalis Pub Date : 2025-03-25 DOI: 10.1007/s00012-025-00883-x
Lorenzo Traldi
{"title":"Reorienting quandle orbits","authors":"Lorenzo Traldi","doi":"10.1007/s00012-025-00883-x","DOIUrl":"10.1007/s00012-025-00883-x","url":null,"abstract":"<div><p>Motivated by knot theory, it is natural to define the orienta-tion-reversal of a quandle orbit by inverting all the translations given by elements of that orbit. In this short note we observe that this natural notion is unsuited to medial quandles.</p></div>","PeriodicalId":50827,"journal":{"name":"Algebra Universalis","volume":"86 2","pages":""},"PeriodicalIF":0.6,"publicationDate":"2025-03-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00012-025-00883-x.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143698529","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
Characterizations of U-frames and frames that are finitely a U-frame u型框架和有限u型框架的特征
IF 0.6 4区 数学
Algebra Universalis Pub Date : 2025-03-25 DOI: 10.1007/s00012-025-00888-6
Batsile Tlharesakgosi
{"title":"Characterizations of U-frames and frames that are finitely a U-frame","authors":"Batsile Tlharesakgosi","doi":"10.1007/s00012-025-00888-6","DOIUrl":"10.1007/s00012-025-00888-6","url":null,"abstract":"<div><p>In this article, we give algebraic characterizations of <i>U</i>-frames in terms of ring-theoretic properties of the ring <span>(mathcal {R}L)</span> of real-valued continuous functions on a completely regular frame <i>L</i>. We show that a frame is a <i>U</i>-frame if and only if it is an <i>F</i>-frame and its Čech–Stone compactification is zero-dimensional. We will also introduce frames that are finitely a <i>U</i>-frame and we will characterize them in terms of ring-theoretic properties in <span>(mathcal {R}L)</span>.</p></div>","PeriodicalId":50827,"journal":{"name":"Algebra Universalis","volume":"86 2","pages":""},"PeriodicalIF":0.6,"publicationDate":"2025-03-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00012-025-00888-6.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143698527","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
Correction: Projectivity in (bounded) commutative integral residuated lattices 修正:(有界)交换积分残差格中的投影
IF 0.6 4区 数学
Algebra Universalis Pub Date : 2025-01-04 DOI: 10.1007/s00012-024-00879-z
Paolo Aglianò, Sara Ugolini
{"title":"Correction: Projectivity in (bounded) commutative integral residuated lattices","authors":"Paolo Aglianò,&nbsp;Sara Ugolini","doi":"10.1007/s00012-024-00879-z","DOIUrl":"10.1007/s00012-024-00879-z","url":null,"abstract":"","PeriodicalId":50827,"journal":{"name":"Algebra Universalis","volume":"86 1","pages":""},"PeriodicalIF":0.6,"publicationDate":"2025-01-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00012-024-00879-z.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142925585","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
Algebraic frames in Priestley duality Priestley对偶中的代数框架
IF 0.6 4区 数学
Algebra Universalis Pub Date : 2024-12-30 DOI: 10.1007/s00012-024-00876-2
Guram Bezhanishvili, Sebastian D. Melzer
{"title":"Algebraic frames in Priestley duality","authors":"Guram Bezhanishvili,&nbsp;Sebastian D. Melzer","doi":"10.1007/s00012-024-00876-2","DOIUrl":"10.1007/s00012-024-00876-2","url":null,"abstract":"<div><p>We characterize Priestley spaces of algebraic, arithmetic, coherent, and Stone frames. As a corollary, we derive the well-known dual equivalences in pointfree topology involving various categories of algebraic frames.</p></div>","PeriodicalId":50827,"journal":{"name":"Algebra Universalis","volume":"86 1","pages":""},"PeriodicalIF":0.6,"publicationDate":"2024-12-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142890063","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
A finite representation of relation algebra (varvec{1896_{3013}}) 关系代数的有限表示 (varvec{1896_{3013}})
IF 0.6 4区 数学
Algebra Universalis Pub Date : 2024-12-30 DOI: 10.1007/s00012-024-00881-5
Jeremy F. Alm
{"title":"A finite representation of relation algebra (varvec{1896_{3013}})","authors":"Jeremy F. Alm","doi":"10.1007/s00012-024-00881-5","DOIUrl":"10.1007/s00012-024-00881-5","url":null,"abstract":"<div><p>We give a representation of relation algebra <span>(1896_{3013})</span>, which has symmetric atoms <span>(1')</span>, <i>a</i>, <i>b</i>, <i>c</i>, and <i>d</i>. The sole forbidden diversity cycle is <i>bcd</i>; the atom <i>a</i> is flexible. We give a group representation over <span>(mathbb {Z}/1531mathbb {Z})</span>.</p></div>","PeriodicalId":50827,"journal":{"name":"Algebra Universalis","volume":"86 1","pages":""},"PeriodicalIF":0.6,"publicationDate":"2024-12-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142890046","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
On z-elements of multiplicative lattices 在乘法格的z元素上
IF 0.6 4区 数学
Algebra Universalis Pub Date : 2024-12-28 DOI: 10.1007/s00012-024-00882-4
Amartya Goswami, Themba Dube
{"title":"On z-elements of multiplicative lattices","authors":"Amartya Goswami,&nbsp;Themba Dube","doi":"10.1007/s00012-024-00882-4","DOIUrl":"10.1007/s00012-024-00882-4","url":null,"abstract":"<div><p>The aim of this paper is to investigate further properties of <i>z</i>-elements in multiplicative lattices. We utilize <i>z</i>-closure operators to extend several properties of <i>z</i>-ideals to <i>z</i>-elements and introduce various distinguished subclasses of <i>z</i>-elements, such as <i>z</i>-prime, <i>z</i>-semiprime, <i>z</i>-primary, <i>z</i>-irreducible, and <i>z</i>-strongly irreducible elements, and study their properties. We provide a characterization of multiplicative lattices where <i>z</i>-elements are closed under finite products and a representation of <i>z</i>-elements in terms of <i>z</i>-irreducible elements in <i>z</i>-Noetherian multiplicative lattices.</p></div>","PeriodicalId":50827,"journal":{"name":"Algebra Universalis","volume":"86 1","pages":""},"PeriodicalIF":0.6,"publicationDate":"2024-12-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00012-024-00882-4.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142890032","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 complete lattices of radical submodules and ( z )-submodules 关于根子模和( z ) -子模的完全格
IF 0.6 4区 数学
Algebra Universalis Pub Date : 2024-12-13 DOI: 10.1007/s00012-024-00880-6
Hosein Fazaeli Moghimi, Seyedeh Fatemeh Mohebian
{"title":"On complete lattices of radical submodules and ( z )-submodules","authors":"Hosein Fazaeli Moghimi,&nbsp;Seyedeh Fatemeh Mohebian","doi":"10.1007/s00012-024-00880-6","DOIUrl":"10.1007/s00012-024-00880-6","url":null,"abstract":"<div><p>Let <i>M</i> be a module over a commutative ring <i>R</i>, and <span>(mathcal {R}(_{R}M))</span> denote the complete lattice of radical submodules of <i>M</i>. It is shown that if <i>M</i> is a multiplication <i>R</i>-module, then <span>(mathcal {R}(_{R}M))</span> is a frame. In particular, if <i>M</i> is a finitely generated multiplication <i>R</i>-module, then <span>(mathcal {R}(_{R}M))</span> is a coherent frame and if, in addition, <i>M</i> is faithful, then the assignment <span>(Nmapsto (N:M)_{ z })</span> defines a coherent map from <span>(mathcal {R}(_{R}M))</span> to the coherent frame <span>(mathcal {Z}(_{R}R))</span> of <span>( z )</span>-ideals of <i>R</i>. As a generalization of <span>( z )</span>-ideals, a proper submodule <i>N</i> of <i>M</i> is called a <span>( z )</span>-submodule of <i>M</i> if for any <span>(xin M)</span> and <span>(yin N)</span> such that every maximal submodule of <i>M</i> containing <i>y</i> also contains <i>x</i>, then <span>(xin N)</span>. The set of <span>( z )</span>-submodules of <i>M</i>, denoted <span>(mathcal {Z}(_{R}M))</span>, forms a complete lattice with respect to the order of inclusion. It is shown that if <i>M</i> is a finitely generated faithful multiplication <i>R</i>-module, then <span>(mathcal {Z}(_{R}M))</span> is a coherent frame and the assignment <span>(Nmapsto N_{ z })</span> (where <span>(N_{ z })</span> is the intersection of all <span>( z )</span>-submodules of <i>M</i> containing <i>N</i>) is a surjective coherent map from <span>(mathcal {R}(_{R}M))</span> to <span>(mathcal {Z}(_{R}M))</span>. In particular, in this case, <span>(mathcal {R}(_{R}M))</span> is a normal frame if and only if <span>(mathcal {Z}(_{R}M))</span> is a normal frame.</p></div>","PeriodicalId":50827,"journal":{"name":"Algebra Universalis","volume":"86 1","pages":""},"PeriodicalIF":0.6,"publicationDate":"2024-12-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142821130","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学术官方微信