A syntactical and categorical analysis for Varieties with Right Existentially Defined Factor Congruences

Abstract

In this paper we prove that in the context of varieties with Right Existentially Definable Factor Congruences, definability of the property "e and f are complementary central elements", stability by complements and coextensivity of its respective algebraic category, are equivalent.

arXiv commentThis is a preprint