Abstract
A class \({\mathcal {K}}\) of algebras with a distinguished constant term 0 is called Fregean if congruences of algebras in \({\mathcal {K}}\) are uniquely determined by their 0-cosets and Θ A (0, a) = Θ A (0, b) implies a = b for all \({a, b \in {\bf A} \in \mathcal {K}}\) . The structure of Fregean varieties was investigated in a paper by P. Idziak, K. Słomczyńska, and A. Wroński. In particular, it was shown there that every congruence permutable Fregean variety consists of algebras that are expansions of equivalential algebras, i.e., algebras that form an algebraization of the purely equivalential fragment of the intuitionistic propositional logic. In this paper we give a full characterization of the commutator for equivalential algebras and solvable Fregean varieties. In particular, we show that in a solvable algebra from a Fregean variety, the commutator coincides with the commutator of its purely equivalential reduct. Moreover, an intrinsic characterization of the commutator in this setting is given.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
Blok W.J., Köhler P., Pigozzi D.: On the structure of varieties with equationally definable principal congruences II. Algebra Universalis 18, 334–379 (1984)
Freese R., McKenzie R.: Commutator theory for congruence modular varieties, London Math. Soc. Lecture Notes, vol. 125. Cambridge UP, Cambridge (1987)
Gumm H.P., Ursini A.: Ideals in universal algebras. Algebra Universalis 19, 45–54 (1984)
Hagemann, J.: On regular and weakly regular congruences, preprint no. 75, TH Darmstadt (1973)
Idziak P.M., Słomczyńska K.: Polynomially rich algebras. J. Pure Appl. Algebra 156, 33–68 (2001)
Idziak P.M., Słomczyńska K., Wroński A.: Fregean Varieties. Internat. J. Algebra Comput. 19, 595–645 (2009)
Kabziński J.K., Wroński A.: On equivalential algebras. In: Epstein, G. (eds) Proc. Int. Symp. Multiple-Valued Logic (Indiana Univ., Bloomington, Ind. 1975), pp. 419–428. IEEE Comput. Soc., Long Beach, Calif (1975)
Pigozzi D.: Fregean algebraic logic. In: Andréka, H., Monk, D.J., Németi, I. (eds) Proc. Conf. Algebraic Logic (Budapest 1988). Colloq. Math. Soc. J. Bolyai, vol. 54, pp. 473–502. North-Holland, Amsterdam (1991)
Słomczyńska K.: Equivalential algebras I: Representation. Algebra Universalis 35, 524–547 (1996)
Słomczyńska K.: Free equivalential algebras. Ann. Pure Appl. Logic 155, 86–96 (2008)
Suszko R.: Equational logic and theories in sentential languages. Colloq. Math 29, 19–23 (1974)
Suszko R.: Abolition of the fregean axiom. In: Parikh, R. (eds) Logic Colloquium (Symposium on Logic Boston 1972–73). Lecture Notes in Math, vol. 453., pp. 169–239. Springer Verlag, Berlin (1975)
Open Access
This article is distributed under the terms of the Creative Commons Attribution Noncommercial License which permits any noncommercial use, distribution, and reproduction in any medium, provided the original author(s) and source are credited.
Author information
Authors and Affiliations
Corresponding author
Additional information
Presented by J. Berman.
Research supported by Polish MNiSW grant N206 2106 33.
Rights and permissions
Open Access This is an open access article distributed under the terms of the Creative Commons Attribution Noncommercial License (https://creativecommons.org/licenses/by-nc/2.0), which permits any noncommercial use, distribution, and reproduction in any medium, provided the original author(s) and source are credited.
About this article
Cite this article
Idziak, P.M., Słomczyńska, K. & Wroński, A. The commutator in equivalential algebras and Fregean varieties. Algebra Univers. 65, 331–340 (2011). https://doi.org/10.1007/s00012-011-0133-4
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00012-011-0133-4