Abstract
A quasivariety ℚ is Q-universal if, for any quasivariety \( \mathbb{V} \) of algebraic systems of a finite similarity type, the lattice L(\( \mathbb{V} \)) of all subquasivarieties of \( \mathbb{V} \) is isomorphic to a quotient lattice of a sublattice of the lattice L(ℚ) of all subquasivarieties of ℚ. We investigate Q-universality of finitely generated varieties of distributive double p-algebras. In an earlier paper, we proved that any finitely generated variety of distributive double p-algebras categorically universal modulo a group is also Q-universa1. Here we consider the remaining finitely generated varieties of distributive double p-algebras and state a problem whose solution would complete the description of all Q-universal finitely generated varieties of distributive double p-algebras.
The authors gratefully acknowledge the support of 1M0021620808, a project of the Czech Ministry of Education and of the NSERC of Canada.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
J. Adámek, H. Herrlich and G.E. Strecker, Abstract and Concrete Categories, Wiley, New York, 1990.
M. E. Adams and W. Dziobiak, Lattices of quasivarieties of 3-element algebras, J. of Algebra 166 (1994), 181–210.
M. E. Adams and W. Dziobiak, Q-universal quasivarieties of algebras, Proc. Amer. Math. Soc. 120 (1994), 1053–1059.
M. E. Adams and W. Dziobiak, Finite-to-finite universal quasivarieties are Q-universal, Alg. Universalis 46 (2001), 253–283.
B. A. Davey, Subdirectly irreducible distributive double p-algebras, Algebra Universalis 8 (1978), 73–88.
M. Demlová and V. Koubek, Weak alg-universality and Q-universality in semigroup quasivarieties, Comment. Math. Univ. Carolin. 46 (2005), 257–279.
W. Dziobiak, On subquasivariety lattices of some varieties related with distributive p-algebras, Algebra Universalis 21 (1985), 205–214.
W. Dziobiak, The subvariety lattice of the variety of distributive double p-algebras, Bull. Austral. Math. Soc. 31 (1985), 377–387.
W. Dziobiak, On lattice identities satisfied in subquasivariety lattices of varieties of modular lattices, Algebra Universalis 22 (1986), 205–214.
V. A. Gorbunov, Algebraic theory of quasivarieties, Plenum, New York, 1998.
T. Katriňák, The structure of distributive double p-algebras, regularity and congruences, Algebra Universalis 21 (1973), 238–246.
V. Koubek, Infinite image homomorphisms of distributive bounded lattices, in Proc. Colloquia Math. Soc. János Bolyai, 43. Lectures in Universal Algebra, Szeged 1983 North Holland, 1985, 241–281.
V. Koubek, Finite-to-finite universal varieties of distributive double p-algebras, Comment. Math. Univ. Carolin. 31 (1990), 67–83.
V. Koubek and J. Sichler, Categorical universality of regular distributive double p-algebras, Glasgow Math. J. 32 (1990), 243–256.
V. Koubek and J. Sichler, Priestley duals of products, Cahiers Topologie Gèom. Biff. Catégoriques 32 (1991), 243–256.
V. Koubek and J. Sichler, Universal finitely generated varieties of double p-algebras, Gahiers Topologie Géom. Biff. Catégoriques 35 (1994), 139–164.
V. Koubek and J. Sichler, Equimorphy in varieties of double Heyting algebras, Coll. Math. 77 (1998), 41–58.
V. Koubek and J. Sichler, Equimorphy in varieties of distributive double p-algebras, Czech. Math. J. 48 (1998), 473–544.
V. Koubek and J. Sichler, Finitely generated varieties of distributive double p-algebras universal modulo a group, Algebra Universalis 51 (2004), 35–79.
V. Koubek and J. Sichler, On relative universality and Q-universality, Studia Logica 78 (2004), 279–291.
V. Koubek and J. Sichler, On subquasivarieties of finitely generated varieties of distributive double p-algebras, to appear in Gontrib. Gen. Algebra 17.
K. B. Lee, Equational classes of distributive pseudocomplemented lattices, Canad. J. Math. 22 (1970), 881–891.
H. A. Priestley, Representation of distributive lattices by means of ordered Stone spaces, Bull. London Math. Soc. 2 (1970), 186–190.
H. A. Priestley, Ordered sets and duality for distributive lattices, Ann. Discrete Math. 23 (1984), 36–60.
M. V. Sapir, The lattice of quasivarieties of semigroups, Algebra Universalis 21 (1985), 172–180.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Koubek, V., Sichler, J. (2006). On Finitely Generated Varieties of Distributive Double p-algebras and their Subquasivarieties. In: Klazar, M., Kratochvíl, J., Loebl, M., Matoušek, J., Valtr, P., Thomas, R. (eds) Topics in Discrete Mathematics. Algorithms and Combinatorics, vol 26. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-33700-8_5
Download citation
DOI: https://doi.org/10.1007/3-540-33700-8_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-33698-3
Online ISBN: 978-3-540-33700-3
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)