Pub Date : 2024-01-03DOI: 10.1007/s00012-023-00838-0
Luciano J. González
The aim of this article is to develop a Priestley-style duality for the variety of DN-algebras. In order to achieve this, we use the concept of free distributive lattice extension of a DN-algebra. We establish a connection with the Priestley duality for distributive lattices. Finally, we present topological descriptions for the lattice of filters, for the lattice of congruences, and for certain kinds of subalgebras of a DN-algebra.
{"title":"Priestley-style duality for DN-algebras","authors":"Luciano J. González","doi":"10.1007/s00012-023-00838-0","DOIUrl":"10.1007/s00012-023-00838-0","url":null,"abstract":"<div><p>The aim of this article is to develop a Priestley-style duality for the variety of DN-algebras. In order to achieve this, we use the concept of free distributive lattice extension of a DN-algebra. We establish a connection with the Priestley duality for distributive lattices. Finally, we present topological descriptions for the lattice of filters, for the lattice of congruences, and for certain kinds of subalgebras of a DN-algebra.</p></div>","PeriodicalId":50827,"journal":{"name":"Algebra Universalis","volume":null,"pages":null},"PeriodicalIF":0.6,"publicationDate":"2024-01-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139102009","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}
Pub Date : 2024-01-03DOI: 10.1007/s00012-023-00839-z
Inomjon Ganiev, Farrukh Mukhamedov
The present paper deals with (L_0)-valued measures and the associated Orlicz–Kantorovich lattice. The considered Orlicz–Kantorovich lattice, endowed with the Luxemburg norm, is represented as a measurable bundle of classical Orlicz spaces associated with scalar measures. This kind of representation allows us to investigate positive contractions and apply the corresponding zero-two laws on the classical Orlicz spaces, to prove vector versions of “zero-two” laws on the considered Orlicz–Kantorovich space.
{"title":"The “zero-two” law in Orlicz–Kantorovich spaces","authors":"Inomjon Ganiev, Farrukh Mukhamedov","doi":"10.1007/s00012-023-00839-z","DOIUrl":"10.1007/s00012-023-00839-z","url":null,"abstract":"<div><p>The present paper deals with <span>(L_0)</span>-valued measures and the associated Orlicz–Kantorovich lattice. The considered Orlicz–Kantorovich lattice, endowed with the Luxemburg norm, is represented as a measurable bundle of classical Orlicz spaces associated with scalar measures. This kind of representation allows us to investigate positive contractions and apply the corresponding zero-two laws on the classical Orlicz spaces, to prove vector versions of “zero-two” laws on the considered Orlicz–Kantorovich space.</p></div>","PeriodicalId":50827,"journal":{"name":"Algebra Universalis","volume":null,"pages":null},"PeriodicalIF":0.6,"publicationDate":"2024-01-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139093836","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}
Pub Date : 2023-12-14DOI: 10.1007/s00012-023-00836-2
Tibor Katriňák, Jaroslav Guričan
Orrin Frink in 1962 stated incorrectly, that there exist free pseudocomplemented meet-semilattices, which are not lattices. This is disproved in the present paper. We have shown that any free PCS is in fact a sectionally pseudocomplemented lattice.
{"title":"On a statement of O. Frink about free pseudo-complemented meet-semilattices","authors":"Tibor Katriňák, Jaroslav Guričan","doi":"10.1007/s00012-023-00836-2","DOIUrl":"10.1007/s00012-023-00836-2","url":null,"abstract":"<div><p>Orrin Frink in 1962 stated incorrectly, that there exist free pseudocomplemented meet-semilattices, which are not lattices. This is disproved in the present paper. We have shown that any free PCS is in fact a sectionally pseudocomplemented lattice.</p></div>","PeriodicalId":50827,"journal":{"name":"Algebra Universalis","volume":null,"pages":null},"PeriodicalIF":0.6,"publicationDate":"2023-12-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00012-023-00836-2.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"138630650","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}
Pub Date : 2023-11-22DOI: 10.1007/s00012-023-00835-3
Erkko Lehtonen
The 93 minions of Boolean functions stable under left composition with the clone of self-dual monotone functions are described. As an easy consequence, all ((C_1,C_2))-clonoids of Boolean functions are determined for an arbitrary clone (C_1) and for any clone (C_2) containing the clone of self-dual monotone functions.
{"title":"Majority-closed minions of Boolean functions","authors":"Erkko Lehtonen","doi":"10.1007/s00012-023-00835-3","DOIUrl":"10.1007/s00012-023-00835-3","url":null,"abstract":"<div><p>The 93 minions of Boolean functions stable under left composition with the clone of self-dual monotone functions are described. As an easy consequence, all <span>((C_1,C_2))</span>-clonoids of Boolean functions are determined for an arbitrary clone <span>(C_1)</span> and for any clone <span>(C_2)</span> containing the clone of self-dual monotone functions.</p></div>","PeriodicalId":50827,"journal":{"name":"Algebra Universalis","volume":null,"pages":null},"PeriodicalIF":0.6,"publicationDate":"2023-11-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"138431495","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}
Pub Date : 2023-11-21DOI: 10.1007/s00012-023-00833-5
Gianluca Grilletti, Davide Emilio Quadrellaro
We investigate in this article regular Heyting algebras by means of Esakia duality. In particular, we give a characterisation of Esakia spaces dual to regular Heyting algebras and we show that there are continuum-many varieties of Heyting algebras generated by regular Heyting algebras. We also study several logical applications of these classes of objects and we use them to provide novel topological completeness theorems for inquisitive logic, (texttt{DNA})-logics and dependence logic.
{"title":"Esakia duals of regular Heyting algebras","authors":"Gianluca Grilletti, Davide Emilio Quadrellaro","doi":"10.1007/s00012-023-00833-5","DOIUrl":"10.1007/s00012-023-00833-5","url":null,"abstract":"<div><p>We investigate in this article regular Heyting algebras by means of Esakia duality. In particular, we give a characterisation of Esakia spaces dual to regular Heyting algebras and we show that there are continuum-many varieties of Heyting algebras generated by regular Heyting algebras. We also study several logical applications of these classes of objects and we use them to provide novel topological completeness theorems for inquisitive logic, <span>(texttt{DNA})</span>-logics and dependence logic.</p></div>","PeriodicalId":50827,"journal":{"name":"Algebra Universalis","volume":null,"pages":null},"PeriodicalIF":0.6,"publicationDate":"2023-11-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00012-023-00833-5.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"138431642","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}
Pub Date : 2023-11-17DOI: 10.1007/s00012-023-00834-4
Isabelle Larivière, Benoît Larose, David E. Pazmiño Pullas
A reflexive cycle is any reflexive digraph whose underlying undirected graph is a cycle. Call a relational structure Słupecki if its surjective polymorphisms are all essentially unary. We prove that all reflexive cycles of girth at least 4 have this property.
{"title":"Surjective polymorphisms of directed reflexive cycles","authors":"Isabelle Larivière, Benoît Larose, David E. Pazmiño Pullas","doi":"10.1007/s00012-023-00834-4","DOIUrl":"10.1007/s00012-023-00834-4","url":null,"abstract":"<div><p>A <i>reflexive cycle</i> is any reflexive digraph whose underlying undirected graph is a cycle. Call a relational structure <i>Słupecki</i> if its surjective polymorphisms are all essentially unary. We prove that all reflexive cycles of girth at least 4 have this property.</p></div>","PeriodicalId":50827,"journal":{"name":"Algebra Universalis","volume":null,"pages":null},"PeriodicalIF":0.6,"publicationDate":"2023-11-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"138138477","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}
Pub Date : 2023-11-14DOI: 10.1007/s00012-023-00830-8
Chrysafis Hartonas
We develop a common semantic framework for the interpretation both of ({textbf {IPC}}), the intuitionistic propositional calculus, and of logics weaker than ({textbf {IPC}}) (substructural and subintuitionistic logics). To this end, we prove a choice-free representation and duality theorem for implicative lattices, which may or may not be distributive. The duality specializes to a choice-free duality for the full subcategory of Heyting algebras and a category of topological sorted frames with a ternary sorted relation.
{"title":"Choice-free topological duality for implicative lattices and Heyting algebras","authors":"Chrysafis Hartonas","doi":"10.1007/s00012-023-00830-8","DOIUrl":"10.1007/s00012-023-00830-8","url":null,"abstract":"<div><p>We develop a common semantic framework for the interpretation both of <span>({textbf {IPC}})</span>, the intuitionistic propositional calculus, and of logics weaker than <span>({textbf {IPC}})</span> (substructural and subintuitionistic logics). To this end, we prove a choice-free representation and duality theorem for implicative lattices, which may or may not be distributive. The duality specializes to a choice-free duality for the full subcategory of Heyting algebras and a category of topological sorted frames with a ternary sorted relation.</p></div>","PeriodicalId":50827,"journal":{"name":"Algebra Universalis","volume":null,"pages":null},"PeriodicalIF":0.6,"publicationDate":"2023-11-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134878336","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}
Pub Date : 2023-11-14DOI: 10.1007/s00012-023-00832-6
Peter Mayr
From work of Vaughan-Lee in [12] it follows that if a finite nilpotent loop splits into a direct product of factors of prime power order, then its equational theory has a finite basis. Whether the condition on the direct decomposition is necessary has remained open since. In the same paper, Vaughan-Lee gives an explicit example of a nilpotent loop of order 12 that does not factor into loops of prime power order and asks whether it is finitely based. We give a finite basis for his example by explicitly characterizing its term functions. This also allows us to show that the subpower membership problem for this loop can be solved in polynomial time.
{"title":"Vaughan-Lee’s nilpotent loop of size 12 is finitely based","authors":"Peter Mayr","doi":"10.1007/s00012-023-00832-6","DOIUrl":"10.1007/s00012-023-00832-6","url":null,"abstract":"<div><p>From work of Vaughan-Lee in [12] it follows that if a finite nilpotent loop splits into a direct product of factors of prime power order, then its equational theory has a finite basis. Whether the condition on the direct decomposition is necessary has remained open since. In the same paper, Vaughan-Lee gives an explicit example of a nilpotent loop of order 12 that does not factor into loops of prime power order and asks whether it is finitely based. We give a finite basis for his example by explicitly characterizing its term functions. This also allows us to show that the subpower membership problem for this loop can be solved in polynomial time.</p></div>","PeriodicalId":50827,"journal":{"name":"Algebra Universalis","volume":null,"pages":null},"PeriodicalIF":0.6,"publicationDate":"2023-11-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134878337","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}
Pub Date : 2023-11-11DOI: 10.1007/s00012-023-00831-7
Robert E. Jamison
As is well-known, the subalgebras of any universal algebra form an algebraic closure system. Conversely, every algebraic closure system arises as the family of subalgebras of some universal algebra, but this algebra is far from uniquely determined. This paper investigates the realization of algebraic closure systems by algebras given either by a single operation or by operations of the lowest arity. In particular, it is shown that an algebraic closure system with arity n in which the empty set is closed and every finitely generated closed set is countable can be realized by a single ((n+1))-ary operation. The algebraic closure system of cosets on any group is realized by the single ternary Mal’cev term (xy^{-1}z). It is shown that the closure system of cosets on an Abelian group A can be realized by a single binary operation if and only if A has at most one element of order 2. Similar results are obtained for modules over an arbitrary ring.
{"title":"Efficient realizations of closure systems","authors":"Robert E. Jamison","doi":"10.1007/s00012-023-00831-7","DOIUrl":"10.1007/s00012-023-00831-7","url":null,"abstract":"<div><p>As is well-known, the subalgebras of any universal algebra form an algebraic closure system. Conversely, every algebraic closure system arises as the family of subalgebras of some universal algebra, but this algebra is far from uniquely determined. This paper investigates the realization of algebraic closure systems by algebras given either by a single operation or by operations of the lowest arity. In particular, it is shown that an algebraic closure system with arity <i>n</i> in which the empty set is closed and every finitely generated closed set is countable can be realized by a single <span>((n+1))</span>-ary operation. The algebraic closure system of cosets on any group is realized by the single ternary Mal’cev term <span>(xy^{-1}z)</span>. It is shown that the closure system of cosets on an Abelian group <i>A</i> can be realized by a single binary operation if and only if <i>A</i> has at most one element of order 2. Similar results are obtained for modules over an arbitrary ring.</p></div>","PeriodicalId":50827,"journal":{"name":"Algebra Universalis","volume":null,"pages":null},"PeriodicalIF":0.6,"publicationDate":"2023-11-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134796010","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}
Pub Date : 2023-10-31DOI: 10.1007/s00012-023-00829-1
Grigori Zhitomirski
Let ({mathcal {V}}) be a variety of algebras of some type (Omega ). An interest to describing automorphisms of the category (Theta ^0 ({mathcal {V}})) of finitely generated free ({mathcal {V}})-algebras was inspired by development of universal algebraic geometry founded by B. Plotkin. There are a lot of results on this subject. A common method of getting such results was suggested and applied by B. Plotkin and the author. The method is to find all terms in the language of a given variety which determine such (Omega )-algebras that are isomorphic to a given (Theta ^0 ({mathcal {V}}))-algebra and have the same underlying set with it. But this method can be applied only to automorphisms which take all objects to isomorphic ones. The aim of the present paper is to suggest another method which works in more general setting. This method is based on two main theorems. The first of them gives a general description of automorphisms of categories which are supplied with a faithful representative functor into the category of sets. The second one shows how to obtain the full description of automorphisms of the category (Theta ^0 ({mathcal {V}})). This part of the paper ends with two examples. The first of them shows the preference of our method in a known situation (the variety of all semigroups) and the second one demonstrates obtaining new results (the variety of all modules over arbitrary ring with unit). The last section contains some applications to universal algebraic geometry.
{"title":"On automorphisms of categories with applications to universal algebraic geometry","authors":"Grigori Zhitomirski","doi":"10.1007/s00012-023-00829-1","DOIUrl":"10.1007/s00012-023-00829-1","url":null,"abstract":"<div><p>Let <span>({mathcal {V}})</span> be a variety of algebras of some type <span>(Omega )</span>. An interest to describing automorphisms of the category <span>(Theta ^0 ({mathcal {V}}))</span> of finitely generated free <span>({mathcal {V}})</span>-algebras was inspired by development of universal algebraic geometry founded by B. Plotkin. There are a lot of results on this subject. A common method of getting such results was suggested and applied by B. Plotkin and the author. The method is to find all terms in the language of a given variety which determine such <span>(Omega )</span>-algebras that are isomorphic to a given <span>(Theta ^0 ({mathcal {V}}))</span>-algebra and have the same underlying set with it. But this method can be applied only to automorphisms which take all objects to isomorphic ones. The aim of the present paper is to suggest another method which works in more general setting. This method is based on two main theorems. The first of them gives a general description of automorphisms of categories which are supplied with a faithful representative functor into the category of sets. The second one shows how to obtain the full description of automorphisms of the category <span>(Theta ^0 ({mathcal {V}}))</span>. This part of the paper ends with two examples. The first of them shows the preference of our method in a known situation (the variety of all semigroups) and the second one demonstrates obtaining new results (the variety of all modules over arbitrary ring with unit). The last section contains some applications to universal algebraic geometry.</p></div>","PeriodicalId":50827,"journal":{"name":"Algebra Universalis","volume":null,"pages":null},"PeriodicalIF":0.6,"publicationDate":"2023-10-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134797832","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}