{"title":"Monadic ortholattices: completions and duality","authors":"John Harding, Joseph McDonald, 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}
{"title":"Representable distributive quasi relation algebras","authors":"Andrew Craig, 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}
{"title":"Right-preordered groups from a categorical perspective","authors":"Maria Manuel Clementino, 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}
{"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}
{"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}
{"title":"Algebraic frames in Priestley duality","authors":"Guram Bezhanishvili, 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}
{"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}
{"title":"On z-elements of multiplicative lattices","authors":"Amartya Goswami, 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}
{"title":"On complete lattices of radical submodules and ( z )-submodules","authors":"Hosein Fazaeli Moghimi, 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}