Pub Date : 2023-09-30DOI: 10.1007/s00012-023-00827-3
G. Bezhanishvili, L. Carai, P. J. Morandi
We introduce the category of Heyting frames, those coherent frames L in which the compact elements form a Heyting subalgebra of L, and show that it is equivalent to the category of Heyting algebras and dually equivalent to the category of Esakia spaces. This provides a frame-theoretic perspective on Esakia duality for Heyting algebras. We also generalize these results to the setting of Brouwerian algebras and Brouwerian semilattices by introducing the corresponding categories of Brouwerian frames and extending the above equivalences and dual equivalences. This provides a frame-theoretic perspective on generalized Esakia duality for Brouwerian algebras and Brouwerian semilattices.
{"title":"A frame-theoretic perspective on Esakia duality","authors":"G. Bezhanishvili, L. Carai, P. J. Morandi","doi":"10.1007/s00012-023-00827-3","DOIUrl":"10.1007/s00012-023-00827-3","url":null,"abstract":"<div><p>We introduce the category of Heyting frames, those coherent frames <i>L</i> in which the compact elements form a Heyting subalgebra of <i>L</i>, and show that it is equivalent to the category of Heyting algebras and dually equivalent to the category of Esakia spaces. This provides a frame-theoretic perspective on Esakia duality for Heyting algebras. We also generalize these results to the setting of Brouwerian algebras and Brouwerian semilattices by introducing the corresponding categories of Brouwerian frames and extending the above equivalences and dual equivalences. This provides a frame-theoretic perspective on generalized Esakia duality for Brouwerian algebras and Brouwerian semilattices.</p></div>","PeriodicalId":50827,"journal":{"name":"Algebra Universalis","volume":null,"pages":null},"PeriodicalIF":0.6,"publicationDate":"2023-09-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"50527785","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-09-21DOI: 10.1007/s00012-023-00828-2
Sebastián Pardo-Guerra, Hugo A. Rincón-Mejía, Manuel G. Zorrilla-Noriega, Francisco González-Bayona
The collection of all cohereditary classes of modules over a ring R is a pseudocomplemented complete big lattice. The elements of its skeleton are the conatural classes of R-modules. In this paper we extend some results about cohereditary classes in R-Mod to the category (mathcal {L_{M}}) of linear modular lattices, which has as objects all complete modular lattices and as morphisms all linear morphisms. We introduce the big lattice of conatural classes in (mathcal {L_{M}}), and we obtain some results about it, paralleling the case of R-Mod and arriving at its being boolean. Finally, we prove some closure properties of conatural classes in (mathcal {L_{M}}).
{"title":"On the lattice of conatural classes of linear modular lattices","authors":"Sebastián Pardo-Guerra, Hugo A. Rincón-Mejía, Manuel G. Zorrilla-Noriega, Francisco González-Bayona","doi":"10.1007/s00012-023-00828-2","DOIUrl":"10.1007/s00012-023-00828-2","url":null,"abstract":"<div><p>The collection of all cohereditary classes of modules over a ring <i>R</i> is a pseudocomplemented complete big lattice. The elements of its skeleton are the conatural classes of <i>R</i>-modules. In this paper we extend some results about cohereditary classes in <i>R</i><i>-</i>Mod to the category <span>(mathcal {L_{M}})</span> of linear modular lattices, which has as objects all complete modular lattices and as morphisms all linear morphisms. We introduce the big lattice of conatural classes in <span>(mathcal {L_{M}})</span>, and we obtain some results about it, paralleling the case of <i>R</i>-Mod and arriving at its being boolean. Finally, we prove some closure properties of conatural classes in <span>(mathcal {L_{M}})</span>.</p></div>","PeriodicalId":50827,"journal":{"name":"Algebra Universalis","volume":null,"pages":null},"PeriodicalIF":0.6,"publicationDate":"2023-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00012-023-00828-2.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"50504465","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-09-01DOI: 10.1007/s00012-023-00826-4
Dmitry A. Bredikhin
In the paper, a basis of identities for the variety generated by the class of groupoids that are generalized subreducts of Tarski’s algebra of relations is found. It is also proved that the corresponding class of groupoids does not form a variety.
{"title":"On the variety generated by generalized subreducts of Tarski’s algebras of relations","authors":"Dmitry A. Bredikhin","doi":"10.1007/s00012-023-00826-4","DOIUrl":"10.1007/s00012-023-00826-4","url":null,"abstract":"<div><p>In the paper, a basis of identities for the variety generated by the class of groupoids that are generalized subreducts of Tarski’s algebra of relations is found. It is also proved that the corresponding class of groupoids does not form a variety.</p></div>","PeriodicalId":50827,"journal":{"name":"Algebra Universalis","volume":null,"pages":null},"PeriodicalIF":0.6,"publicationDate":"2023-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"43265355","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-08-09DOI: 10.1007/s00012-023-00818-4
Ferdinand Börner, Martin Goldstern, Saharon Shelah
We investigate characterizations of the Galois connection ({{,textrm{Aut},}})-({{,textrm{sInv},}}) between sets of finitary relations on a base set A and their automorphisms. In particular, for (A=omega _1), we construct a countable set R of relations that is closed under all invariant operations on relations and under arbitrary intersections, but is not closed under ({textrm{sInv Aut}}). Our structure (A, R) has an (omega )-categorical first order theory. A higher order definable well-order makes it rigid, but any reduct to a finite language is homogeneous.
{"title":"Automorphisms and strongly invariant relations","authors":"Ferdinand Börner, Martin Goldstern, Saharon Shelah","doi":"10.1007/s00012-023-00818-4","DOIUrl":"10.1007/s00012-023-00818-4","url":null,"abstract":"<div><p>We investigate characterizations of the Galois connection <span>({{,textrm{Aut},}})</span>-<span>({{,textrm{sInv},}})</span> between sets of finitary relations on a base set <i>A</i> and their automorphisms. In particular, for <span>(A=omega _1)</span>, we construct a countable set <i>R</i> of relations that is closed under all invariant operations on relations and under arbitrary intersections, but is not closed under <span>({textrm{sInv Aut}})</span>. Our structure (<i>A</i>, <i>R</i>) has an <span>(omega )</span>-categorical first order theory. A higher order definable well-order makes it rigid, but any reduct to a finite language is homogeneous.</p></div>","PeriodicalId":50827,"journal":{"name":"Algebra Universalis","volume":null,"pages":null},"PeriodicalIF":0.6,"publicationDate":"2023-08-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00012-023-00818-4.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"50464834","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-07-26DOI: 10.1007/s00012-023-00824-6
Jordan DuBeau
By studying the variety of Jónsson–Tarski algebras, we demonstrate two obstacles to the existence of large Jónsson algebras in certain varieties. First, if an algebra J in a language L has cardinality greater than (|L|^+) and a distributive subalgebra lattice, then it must have a proper subalgebra of size |J|. Second, if an algebra J in a language L satisfies ({{,textrm{cf},}}(|J|) > 2^{|L|^+}) and lies in a residually small variety, then it again must have a proper subalgebra of size |J|. We apply the first result to show that Jónsson algebras in the variety of Jónsson–Tarski algebras cannot have cardinality greater than (aleph _1). We also construct (2^{aleph _1}) many pairwise nonisomorphic Jónsson algebras in this variety, thus proving that for some varieties the maximum possible number of Jónsson algebras can be achieved.
{"title":"Jónsson Jónsson–Tarski algebras","authors":"Jordan DuBeau","doi":"10.1007/s00012-023-00824-6","DOIUrl":"10.1007/s00012-023-00824-6","url":null,"abstract":"<div><p>By studying the variety of Jónsson–Tarski algebras, we demonstrate two obstacles to the existence of large Jónsson algebras in certain varieties. First, if an algebra <i>J</i> in a language <i>L</i> has cardinality greater than <span>(|L|^+)</span> and a distributive subalgebra lattice, then it must have a proper subalgebra of size |<i>J</i>|. Second, if an algebra <i>J</i> in a language <i>L</i> satisfies <span>({{,textrm{cf},}}(|J|) > 2^{|L|^+})</span> and lies in a residually small variety, then it again must have a proper subalgebra of size |<i>J</i>|. We apply the first result to show that Jónsson algebras in the variety of Jónsson–Tarski algebras cannot have cardinality greater than <span>(aleph _1)</span>. We also construct <span>(2^{aleph _1})</span> many pairwise nonisomorphic Jónsson algebras in this variety, thus proving that for some varieties the maximum possible number of Jónsson algebras can be achieved.</p></div>","PeriodicalId":50827,"journal":{"name":"Algebra Universalis","volume":null,"pages":null},"PeriodicalIF":0.6,"publicationDate":"2023-07-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00012-023-00824-6.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"50515696","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-07-26DOI: 10.1007/s00012-023-00821-9
Sören Berger, Alexander Christensen Block, Benedikt Löwe
We prove that the modal logic of abelian groups with the accessibility relation of being isomorphic to a subgroup is (mathsf {S4.2}).
我们证明了具有同构于子群的可达性关系的阿贝尔群的模态逻辑是(mathsf{S4.2})。
{"title":"The modal logic of abelian groups","authors":"Sören Berger, Alexander Christensen Block, Benedikt Löwe","doi":"10.1007/s00012-023-00821-9","DOIUrl":"10.1007/s00012-023-00821-9","url":null,"abstract":"<div><p>We prove that the modal logic of abelian groups with the accessibility relation of being isomorphic to a subgroup is <span>(mathsf {S4.2})</span>.</p></div>","PeriodicalId":50827,"journal":{"name":"Algebra Universalis","volume":null,"pages":null},"PeriodicalIF":0.6,"publicationDate":"2023-07-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00012-023-00821-9.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"47568534","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-07-19DOI: 10.1007/s00012-023-00819-3
Boris A. Romov
We establish a criterion for a structure M on an infinite domain to have the Galois closure ({{,textrm{InvAut},}}(M)) (the set all relations on the domain of M that are invariant to all automorphisms of M) defined via infinite Boolean combinations of infinite (constructed by infinite conjunction) existential relations from M. Based on this approach, we present criteria for quantifier elimination in M via finite partial automorphisms of all existential relations from M, as well as criteria for (weak) homogeneity of M. Then we describe properties of M with a countable signature, for which the set of all relations, expressed by quantifier-fee formulas over M, is weakly inductive, that is, this set is closed under any infinitary intersection of the same arity relations. It is shown that the last condition is equivalent: for every (n ge 1) there are only finitely many isomorphism types for substructures of M generated by n elements. In case of algebras with a countable signature such type can be defined by the set of all solutions of a finite system of equations and inequalities produced by n-ary terms over those algebras. Next, we prove that for a finite M with a finite signature the problem of the description of any relation from ({{,textrm{InvAut},}}(M)) via the first order formula over M, which expresses it, is algorithmically solvable.
{"title":"Existential relations on infinite structures","authors":"Boris A. Romov","doi":"10.1007/s00012-023-00819-3","DOIUrl":"10.1007/s00012-023-00819-3","url":null,"abstract":"<div><p>We establish a criterion for a structure <i>M</i> on an infinite domain to have the Galois closure <span>({{,textrm{InvAut},}}(M))</span> (the set all relations on the domain of <i>M</i> that are invariant to all automorphisms of <i>M</i>) defined via infinite Boolean combinations of infinite (constructed by infinite conjunction) existential relations from <i>M</i>. Based on this approach, we present criteria for quantifier elimination in <i>M</i> via finite partial automorphisms of all existential relations from <i>M</i>, as well as criteria for (weak) homogeneity of <i>M</i>. Then we describe properties of <i>M</i> with a countable signature, for which the set of all relations, expressed by quantifier-fee formulas over <i>M</i>, is weakly inductive, that is, this set is closed under any infinitary intersection of the same arity relations. It is shown that the last condition is equivalent: for every <span>(n ge 1)</span> there are only finitely many isomorphism types for substructures of <i>M</i> generated by <i>n</i> elements. In case of algebras with a countable signature such type can be defined by the set of all solutions of a finite system of equations and inequalities produced by <i>n</i>-ary terms over those algebras. Next, we prove that for a finite <i>M</i> with a finite signature the problem of the description of any relation from <span>({{,textrm{InvAut},}}(M))</span> via the first order formula over <i>M</i>, which expresses it, is algorithmically solvable.</p></div>","PeriodicalId":50827,"journal":{"name":"Algebra Universalis","volume":null,"pages":null},"PeriodicalIF":0.6,"publicationDate":"2023-07-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"46019463","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-07-17DOI: 10.1007/s00012-023-00820-w
Longchun Wang, Xiangnan Zhou, Qingguo Li
In this paper, the relationships between two important subclasses of algebraic dcpos and topological spaces which may not be (textrm{T}_0) are discussed. The concepts of CFF-spaces and strong CFF-spaces are introduced by considering the properties of their topological bases. With these concepts, Lawson compact algebraic L-domains and Scott domains are successfully represented in purely topological terms. Moreover, equivalences of the categories corresponding to these two subclasses of algebraic dcpos are also provided. This opens a way of finding non-(textrm{T}_0) topological characterizations for domains.
{"title":"Topological representations of Lawson compact algebraic L-domains and Scott domains","authors":"Longchun Wang, Xiangnan Zhou, Qingguo Li","doi":"10.1007/s00012-023-00820-w","DOIUrl":"10.1007/s00012-023-00820-w","url":null,"abstract":"<div><p>In this paper, the relationships between two important subclasses of algebraic dcpos and topological spaces which may not be <span>(textrm{T}_0)</span> are discussed. The concepts of CFF-spaces and strong CFF-spaces are introduced by considering the properties of their topological bases. With these concepts, Lawson compact algebraic L-domains and Scott domains are successfully represented in purely topological terms. Moreover, equivalences of the categories corresponding to these two subclasses of algebraic dcpos are also provided. This opens a way of finding non-<span>(textrm{T}_0)</span> topological characterizations for domains.</p></div>","PeriodicalId":50827,"journal":{"name":"Algebra Universalis","volume":null,"pages":null},"PeriodicalIF":0.6,"publicationDate":"2023-07-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00012-023-00820-w.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"50489900","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-07-14DOI: 10.1007/s00012-023-00822-8
Gerard Buskes, Page Thorn
In this paper, we characterize when, for any infinite cardinal (alpha ), the Fremlin tensor product of two Archimedean Riesz spaces (see Fremlin in Am J Math 94:777–798, 1972) is Dedekind (alpha )-complete. We also provide an example of an ideal I in an Archimedean Riesz space E such that the Fremlin tensor product of I with itself is not an ideal in the Fremlin tensor product of E with itself.
在本文中,我们刻画了对于任何无穷基数(alpha),两个阿基米德-里兹空间的Fremlin张量积(见Fremlin在Am J Math 94:777–7981972)何时是Dedekind(aalpha)-完备的。我们还提供了阿基米德-里兹空间E中理想I的一个例子,使得I与自身的Fremlin张量积在E与自身的弗雷姆林张量积中不是理想。
{"title":"Two results on Fremlin’s Archimedean Riesz space tensor product","authors":"Gerard Buskes, Page Thorn","doi":"10.1007/s00012-023-00822-8","DOIUrl":"10.1007/s00012-023-00822-8","url":null,"abstract":"<div><p>In this paper, we characterize when, for any infinite cardinal <span>(alpha )</span>, the Fremlin tensor product of two Archimedean Riesz spaces (see Fremlin in Am J Math 94:777–798, 1972) is Dedekind <span>(alpha )</span>-complete. We also provide an example of an ideal <i>I</i> in an Archimedean Riesz space <i>E</i> such that the Fremlin tensor product of <i>I</i> with itself is not an ideal in the Fremlin tensor product of <i>E</i> with itself.</p></div>","PeriodicalId":50827,"journal":{"name":"Algebra Universalis","volume":null,"pages":null},"PeriodicalIF":0.6,"publicationDate":"2023-07-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"49349135","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}