Abstract
We investigate the relation of independence between varieties, as well as a generalisation of such which we call strict quasi-independence. Concerning the former notion, we specify a procedure for constructing an independent companion of a given solvable subvariety of a congruence modular variety; we show that joins of independent varieties inherit Mal’cev properties from the joinands; we investigate independence in 3- and 4-permutable varieties; we provide a more economical axiomatisation for the join of two independent varieties than the ones available in the literature. We also explore the latter notion, showing inter alia that joins of strictly quasi-independent varieties inherit the congruence extension property and the strong amalgamation property from the joinands, and conversely. An application section investigates independent varieties of Boolean algebras with operators (in particular, Akishev and Goldblatt’s bounded monadic algebras) and of groups. In particular, a complete characterisation of independent varieties of groups is given.
Similar content being viewed by others
References
Akishev G., Goldblatt R.: Monadic bounded algebras. Studia Logica 96, 1–40 (2010)
Bou F., Paoli F., Ledda A., Freytes H.: On some properties of quasi-MV algebras and \({\sqrt{^\prime}}\) quasi-MV algebras. Part II. Soft Computing 12, 341–352 (2008)
Burris S., Sankappanavar H.P.: A Course in Universal Algebra, Graduate Text in Mathematics, vol. 78, Springer, Berlin (1981)
Draškovičová H.: Mal’cev type conditions for two varieties. Math. Slovaca 27, 177–180 (1977)
Draškovičová H.: Conditions for independence of varieties. Math. Slovaca 27, 303–305 (1977)
Freese R., McKenzie R.: Commutator Theory for Congruence Modular Varieties. Cambridge University Press, Cambridge (1987)
Freese R., McKenzie R.N., McNulty G.F., Taylor W.F.: Algebras, Lattices, Varieties, vol. 2 (manuscript)
Goldblatt R.: Functional monadic bounded algebras. Studia Logica 96, 41–48 (2010)
Grätzer G., Lakser H., Płonka J.: Joins and direct products of equational classes. Canad. Math. Bull. 12, 741–744 (1969)
Iseki K.: An algebra related with a propositional calculus. Proc. Japan Acad. 42, 26–29 (1966)
Jónsson B., Tsinakis C.: Products of classes of residuated structures. Studia Logica 77, 267–292 (2004)
Kowalski T.: Varieties of tense algebras. Reports on Mathematical Logic 32, 53–95 (1998)
Kowalski T., Paoli F.: On some properties of quasi-MV algebras and \({\sqrt{^\prime}}\) quasi-MV algebras. Part III. Rep. Math. Logic 45, 161–199 (2010)
Kowalski T., Paoli F.: Joins and subdirect products of varieties. Algebra Universalis 65, 371–391 (2011)
Kracht M.: Tools and Techniques in Modal Logic. Studies in Logic and the Foundations of Mathematics, no. 142, Elsevier, Amsterdam (1999)
McKenzie R.N., McNulty G.F., Taylor W.F.: Algebras, Lattices, Varieties, vol. 1, Wadsworth & Brooks/Cole, California (1987)
Neumann H.: Varieties of Groups. Springer, Berlin (1967)
Płonka J.: A note on the join and subdirect product of equational classes. Algebra Universalis 1, 163–164 (1971)
Polin S.V.: Identities in congruence lattices of universal algebras. Math. Notes 22, 737–742 (1977)
Taylor W.F.: The fine spectrum of a variety. Algebra Universalis 5, 263–303 (1975)
Vaggione D.: Varieties in which the Pierce stalks are directly indecomposable. J. Algebra 184, 424–434 (1996)
Author information
Authors and Affiliations
Corresponding author
Additional information
Presented by E. Kiss.
The research of the first author was supported by the ARC grant FT100100952.
Rights and permissions
About this article
Cite this article
Kowalski, T., Paoli, F. & Ledda, A. On independent varieties and some related notions. Algebra Univers. 70, 107–136 (2013). https://doi.org/10.1007/s00012-013-0243-2
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00012-013-0243-2