Coproducts of distributive lattice-based algebras. (Q471163): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(7 intermediate revisions by 5 users not shown) | |||
Property / author | |||
Property / author: Hilary A. Priestley / rank | |||
Property / author | |||
Property / author: Hilary A. Priestley / rank | |||
Normal rank | |||
Property / review text | |||
The study of coproducts in different varieties of algebras can be found in mathematics' literature for a long time, the characterization of coproducts often being motivated by the interest in amalgation properties, determination of free objects, axiomatizations or colimits. The main aim of this paper is to present a uniform theory, based on duality, of coproducts in classes of algebras that admit a bounded distributive lattice reduct. Let \(\mathcal D\) denote the variety of bounded distributive lattices. A class \(\mathcal A\) of algebras with language \(\mathcal L\) is a \(\mathcal D\)-based class if the algebras of \(\mathcal A\) have reduct in \(\mathcal D\). In this paper the authors study coproducts in \(\mathcal D\)-based categories of algebras by relating them to coproducts in \(\mathcal D\) (it is well known the fact that Priestley duality for (bounded) distributive lattices establishes a dual equivalence between the category \(\mathcal D\) and the category \(\mathcal P\) of Priestley spaces). For every \(\mathcal D\)-based class of algebras, \(\mathcal A\), we have a (forgetful) functor \(U_{\mathcal A}\) from \(\mathcal A\) into \(\mathcal D\) and one of the main problems of this paper is to determine when \(U_{\mathcal A}\) preserves coproducts. They also investigate the possible behaviours of this functor as regards coproducts in \(\mathcal A\) under weaker assumptions. The authors restrict their attention to the situation in which \(\mathcal A\) is a finitely generated quasivariety (quasivarieties ensure the existence of coproducts for each set of algebras in the class). The principal results of this paper are presented in Section 3 and Theorem 3.6 (Coproducts Preservation Theorem) is the most important of them. It establishes equivalent conditions for the forgetful functor \(U_{\mathcal A}\) to preserve coproducts. In the final part of this section the authors give a short description of the free product and present the connections between the properties of coproducts in a finitely generated \(\mathcal D\)-based quasivariety and the type of natural duality that it admits. In Section 4, the authors ``venture beyond the cofines of finitely generated \(\mathcal D\)-based quasivarieties, with the aim of revealing how far certain results in Section 3 hold in greater generality''. Finally, in Section 5, they apply their ``results and techniques to particular well-known classes of finitely generated varieties'' (De Morgan algebras, Kleene algebras, pseudocomplemented distributive lattices, quasivarieties of Heyting algebras generated by finite chains, MV-algebras, \(\mathcal Q\)-lattices, \(n\)-valued pre-Moisil and pre-Łukasiewicz-Moisil algebras and Moisil and Łukasiewicz-Moisil algebras). The paper ``unifies pre-existing description of coproducts, both as regards the descriptions and as regards the methodology for obtaining them''. | |||
Property / review text: The study of coproducts in different varieties of algebras can be found in mathematics' literature for a long time, the characterization of coproducts often being motivated by the interest in amalgation properties, determination of free objects, axiomatizations or colimits. The main aim of this paper is to present a uniform theory, based on duality, of coproducts in classes of algebras that admit a bounded distributive lattice reduct. Let \(\mathcal D\) denote the variety of bounded distributive lattices. A class \(\mathcal A\) of algebras with language \(\mathcal L\) is a \(\mathcal D\)-based class if the algebras of \(\mathcal A\) have reduct in \(\mathcal D\). In this paper the authors study coproducts in \(\mathcal D\)-based categories of algebras by relating them to coproducts in \(\mathcal D\) (it is well known the fact that Priestley duality for (bounded) distributive lattices establishes a dual equivalence between the category \(\mathcal D\) and the category \(\mathcal P\) of Priestley spaces). For every \(\mathcal D\)-based class of algebras, \(\mathcal A\), we have a (forgetful) functor \(U_{\mathcal A}\) from \(\mathcal A\) into \(\mathcal D\) and one of the main problems of this paper is to determine when \(U_{\mathcal A}\) preserves coproducts. They also investigate the possible behaviours of this functor as regards coproducts in \(\mathcal A\) under weaker assumptions. The authors restrict their attention to the situation in which \(\mathcal A\) is a finitely generated quasivariety (quasivarieties ensure the existence of coproducts for each set of algebras in the class). The principal results of this paper are presented in Section 3 and Theorem 3.6 (Coproducts Preservation Theorem) is the most important of them. It establishes equivalent conditions for the forgetful functor \(U_{\mathcal A}\) to preserve coproducts. In the final part of this section the authors give a short description of the free product and present the connections between the properties of coproducts in a finitely generated \(\mathcal D\)-based quasivariety and the type of natural duality that it admits. In Section 4, the authors ``venture beyond the cofines of finitely generated \(\mathcal D\)-based quasivarieties, with the aim of revealing how far certain results in Section 3 hold in greater generality''. Finally, in Section 5, they apply their ``results and techniques to particular well-known classes of finitely generated varieties'' (De Morgan algebras, Kleene algebras, pseudocomplemented distributive lattices, quasivarieties of Heyting algebras generated by finite chains, MV-algebras, \(\mathcal Q\)-lattices, \(n\)-valued pre-Moisil and pre-Łukasiewicz-Moisil algebras and Moisil and Łukasiewicz-Moisil algebras). The paper ``unifies pre-existing description of coproducts, both as regards the descriptions and as regards the methodology for obtaining them''. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Florentina Chirteş / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 06D50 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 08C20 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 08B25 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 18A35 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 08C15 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 06D30 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6369493 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
coproducts | |||
Property / zbMATH Keywords: coproducts / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
distributive lattices | |||
Property / zbMATH Keywords: distributive lattices / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
ordered algebras | |||
Property / zbMATH Keywords: ordered algebras / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
functor preserving coproducts | |||
Property / zbMATH Keywords: functor preserving coproducts / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
natural dualities | |||
Property / zbMATH Keywords: natural dualities / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
piggyback duality | |||
Property / zbMATH Keywords: piggyback duality / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
distributive lattice reducts | |||
Property / zbMATH Keywords: distributive lattice reducts / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1984218673 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1308.4650 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4083730 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Locally finite varieties. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Locally finite varieties of Heyting algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Lukasiewicz-Moisil algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3934450 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Gödel algebras: interactive dualities and their applications. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Coproducts in the categories of Kleene and three-valued Lukasiewicz algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Quantifiers on distributive lattices / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Free \(Q\)-distributive lattices / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Algebraic foundations of many-valued reasoning / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4220406 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Coproducts of De Morgan algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4187871 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Computing coproducts of finitely presented Gödel algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Dualities for Equational Classes of Brouwerian Algebras and Heyting Algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3033816 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Partition-induced natural dualities for varieties of pseudo-complemented distributive lattices / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Optimal natural dualities for varieties of Heyting algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4530231 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Piggyback-Dualitäten / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Representation of Lukasiewicz algebras by means of ordered Stone spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5416148 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4220413 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4215784 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4123496 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3607805 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Advanced Łukasiewicz calculus and MV-algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Natural dualities for varieties of MV-algebras. I / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Varieties of MV-algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4273437 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Natural dualities for varieties of \(n\)-valued Łukasiewicz algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Free products of bounded distributive lattices / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 07:45, 9 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Coproducts of distributive lattice-based algebras. |
scientific article |
Statements
Coproducts of distributive lattice-based algebras. (English)
0 references
14 November 2014
0 references
The study of coproducts in different varieties of algebras can be found in mathematics' literature for a long time, the characterization of coproducts often being motivated by the interest in amalgation properties, determination of free objects, axiomatizations or colimits. The main aim of this paper is to present a uniform theory, based on duality, of coproducts in classes of algebras that admit a bounded distributive lattice reduct. Let \(\mathcal D\) denote the variety of bounded distributive lattices. A class \(\mathcal A\) of algebras with language \(\mathcal L\) is a \(\mathcal D\)-based class if the algebras of \(\mathcal A\) have reduct in \(\mathcal D\). In this paper the authors study coproducts in \(\mathcal D\)-based categories of algebras by relating them to coproducts in \(\mathcal D\) (it is well known the fact that Priestley duality for (bounded) distributive lattices establishes a dual equivalence between the category \(\mathcal D\) and the category \(\mathcal P\) of Priestley spaces). For every \(\mathcal D\)-based class of algebras, \(\mathcal A\), we have a (forgetful) functor \(U_{\mathcal A}\) from \(\mathcal A\) into \(\mathcal D\) and one of the main problems of this paper is to determine when \(U_{\mathcal A}\) preserves coproducts. They also investigate the possible behaviours of this functor as regards coproducts in \(\mathcal A\) under weaker assumptions. The authors restrict their attention to the situation in which \(\mathcal A\) is a finitely generated quasivariety (quasivarieties ensure the existence of coproducts for each set of algebras in the class). The principal results of this paper are presented in Section 3 and Theorem 3.6 (Coproducts Preservation Theorem) is the most important of them. It establishes equivalent conditions for the forgetful functor \(U_{\mathcal A}\) to preserve coproducts. In the final part of this section the authors give a short description of the free product and present the connections between the properties of coproducts in a finitely generated \(\mathcal D\)-based quasivariety and the type of natural duality that it admits. In Section 4, the authors ``venture beyond the cofines of finitely generated \(\mathcal D\)-based quasivarieties, with the aim of revealing how far certain results in Section 3 hold in greater generality''. Finally, in Section 5, they apply their ``results and techniques to particular well-known classes of finitely generated varieties'' (De Morgan algebras, Kleene algebras, pseudocomplemented distributive lattices, quasivarieties of Heyting algebras generated by finite chains, MV-algebras, \(\mathcal Q\)-lattices, \(n\)-valued pre-Moisil and pre-Łukasiewicz-Moisil algebras and Moisil and Łukasiewicz-Moisil algebras). The paper ``unifies pre-existing description of coproducts, both as regards the descriptions and as regards the methodology for obtaining them''.
0 references
coproducts
0 references
distributive lattices
0 references
ordered algebras
0 references
functor preserving coproducts
0 references
natural dualities
0 references
piggyback duality
0 references
distributive lattice reducts
0 references
0 references