Abstract
We show that the properties of [relative] semisimplicity and congruence 3-permutability of a [quasi]variety with equationally definable [relative] principal congruences (EDP[R]C) can be characterized syntactically. We prove that a quasivariety with EDPRC is relatively semisimple if and only if it satisfies a finite set of quasi-identities that is effectively constructible from any conjunction of equations defining relative principal congruences in the quasivariety. This in turn allows us to obtain an ‘axiomatization’ of relatively filtral quasivarieties. We also show that a variety is 3-permutable and has EDPC if and only if there is a single pair of quaternary terms satisfying two simple equations, and whose equality defines principal congruences in the variety. Finally, we combine both results to obtain a neat characterization of semisimple, 3-permutable varieties with EDPC, which is applied to solve a problem posed by Blok and Pigozzi in the third paper of their series on varieties with EDPC.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Blok, W., P. Köhler, and D. Pigozzi, On the structure of varieties with equationally definable principal congruences I, Algebra Universalis 15:195–227, 1982.
Blok, W., and D. Pigozzi, On the structure of varieties with equationally definable principal congruences II, Algebra Universalis 18:334–379, 1984.
Blok, W., and D. Pigozzi, On the structure of varieties with equationally definable principal congruences III, Algebra Universalis 32:545–608, 1994.
Blok, W., and D. Pigozzi. On the structure of varieties with equationally definable principal congruences IV, Algebra Universalis 31:1–35, 1994.
Campercholi, M., and J. Raftery, Relative congruence formulas and decompositions in quasivarieties, Algebra Universalis 78(3):407–425, 2017.
Campercholi, M., and D. Vaggione, Implicit definition of the quaternary discriminator, Algebra Universalis 68(1):1–16, 2012.
Fried, E., G. Grätzer, and R. Quackenbush, Uniform congruence schemes, Algebra Universalis 10(1):176–188, 1980.
Fried, E., and E. Kiss, Connections between congruence-lattices and polynomial properties, Algebra Universalis 17(1):227–262, 1983.
Hagemann, J., and A. Mitschke. On n-permutable congruences, Algebra Universalis 3(1):8–12, 1973.
Pigozzi, D., and W. Blok, Abstract algebraic logic and the deduction theorem, Manuscript, 2003.
Acknowledgements
We would like to thank the anonymous referee for their insightful suggestions which greatly improved the presentation of this article.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Presented by Yde Venema
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Campercholi, M., Vaggione, D. Semisimplicity and Congruence 3-Permutabilty for Quasivarieties with Equationally Definable Principal Congruences. Stud Logica (2023). https://doi.org/10.1007/s11225-023-10070-5
Received:
Published:
DOI: https://doi.org/10.1007/s11225-023-10070-5