Quasivarieties of algebras whose compact relative congruences are principal

Anvar M. Nurakunov
DOI: https://doi.org/10.1007/s00012-024-00866-4
2024-08-29
Algebra Universalis
Abstract:A quasivariety is called relative congruence principal if, for every algebra , every compact -congruence on A is a principal -congruence. We characterize relative congruence principal quasivarieties in terms of one identity and two quasi-identities. We will use the characterization to show that there exists a continuum of relative congruence principal quasivarieties of algebras of a signature , provided contains at least one operation of arity greater than 1. Several examples are provided.
mathematics
What problem does this paper attempt to address?