Congruence Permutability in Quasivarieties

• The paper establishes that if K-congruence joins equal relational composition, then a quasivariety is forced to be a variety.
• It employs lattice theory and Mal’cev term conditions to reveal how congruence permutability alters structural closure properties.
• The findings underscore the pivotal role of K-congruence structures in linking quasi-identities with classical algebraic identities.

A quasivariety is a class of algebras closed under subalgebras, direct products, ultraproducts, and isomorphic copies, typically described as the models of some set of quasi-identities. Congruence permutability, a classical property of varieties, has a natural formulation for quasivarieties in terms of the structure of the lattice of K-congruences. The interplay between congruence permutability and the closure properties defining varieties and quasivarieties reveals that, under the standard closure operations, congruence permutability is strong enough to force a quasivariety to be a variety.

1. Fundamental Notions: Quasivarieties and K-Congruences

A signature $\mathcal{L}$ of finitary operation symbols serves as the ambient language. The key closure operations for a class $\mathsf{K}$ of $\mathcal{L}$-algebras are denoted as follows:

• I: closure under isomorphic copies
• S: closure under subalgebras
• P: closure under direct products
• PU: closure under ultraproducts
• H: closure under homomorphic images

A quasi-identity is a first-order formula of the form

$$(t_1 \approx s_1 \wedge \cdots \wedge t_n \approx s_n) \Longrightarrow (t \approx s),$$

where $t_i, s_i, t, s$ are $\mathcal{L}$-terms.

A quasivariety $\mathsf{K}$ is the class of models of some set of quasi-identities, equivalently, it is closed precisely under $I$, $S$, $P$, and $PU$ (Birkhoff–Gorbunov theorem).

A variety is a class closed under $H$, $S$, $P$—corresponding to algebras modeling identities, which are just quasi-identities with empty antecedent. Every variety is thus a quasivariety, though not conversely.

Given a quasivariety $\mathsf{K}$ and an algebra $\mathbf{A}$, a congruence $\theta \in \Con(\mathbf{A})$ is a K-congruence if $\mathbf{A}/\theta \in \mathsf{K}$. The set of all K-congruences on $\mathbf{A}$ is denoted $\Con_\mathsf{K}(\mathbf{A})$. Gorbunov established that $\Con_\mathsf{K}(\mathbf{A})$ forms an algebraic lattice, with intersection as meet and joins characterized by finitary behavior on principal pairs (Carai et al., 9 Dec 2025).

2. Congruence Permutability: Extension to Quasivarieties

In universal algebra, a variety $\mathsf{V}$ is congruence permutable if for all algebras $\mathbf{A} \in \mathsf{V}$ and any congruences $\theta, \phi$ of $\mathbf{A}$,

$\theta \circ \phi = \phi \circ \theta,$

where $\circ$ denotes relational composition. An equivalent condition is

$\theta \lor \phi = \theta \circ \phi$

for the join $\lor$ in the congruence lattice, as shown in Burris and Sankappanavar (Carai et al., 9 Dec 2025).

For a quasivariety $\mathsf{K}$, the natural analogue is to require that the join in the K-congruence lattice coincides with relational composition: $\theta \lor^{\mathsf{K}} \phi = \theta \circ \phi$ for all $\theta, \phi \in \Con_\mathsf{K}(\mathbf{A})$ and all $\mathbf{A} \in \mathsf{K}$. This property is termed congruence permutability for quasivarieties (Carai et al., 9 Dec 2025).

3. The Main Theorem: Congruence Permutability Forces Variety Structure

Theorem 2.1 (Carai et al., 9 Dec 2025):

If $\mathsf{K}$ is a quasivariety such that for every $\mathbf{A}\in\mathsf{K}$ and every $\theta,\phi\in\Con_\mathsf{K}(\mathbf{A})$,

$\theta \lor^{\mathsf{K}} \phi = \theta \circ \phi,$

then $\mathsf{K}$ is a variety.

The proof leverages the following observations:

• $\Con_\mathsf{K}(\mathbf{A})$ is always an algebraic lattice, with meets as intersections and finitary joins on principal congruences (Carai et al., 9 Dec 2025).
• If K-congruence joins coincide with relational composition (which is always contained in the standard lattice join), the sublattice of K-congruences becomes a complete sublattice of the full congruence lattice.
• This completeness, together with established closure conditions, mandates that $\mathsf{K}$ is closed under homomorphic images (i.e., $H$-closed), establishing that $\mathsf{K}$ is a variety by Birkhoff’s theorem (Carai et al., 9 Dec 2025).

4. Significance: Mal’cev Terms, Varieties, and Closure

Quasivarieties are not, in general, closed under homomorphic images, which is the property that separates varieties from arbitrary quasivarieties. The requirement that the K-congruence join is given by relational composition is not a mere technicality; it has deep significance from a Mal’cev-theoretic perspective.

Specifically, congruence permutability in a class is equivalent to the existence of a Mal’cev term $p(x, y, z)$ satisfying the identities: $p(x, x, y) \approx y, \quad p(x, y, y) \approx x$ in all algebras in the class. These identities are pure equations, so any quasivariety satisfying them immediately becomes a variety, as all quasi-identities reduce to identities in this context (Carai et al., 9 Dec 2025).

A plausible implication is that within universal algebra, the distinction between “quasivariety” and “variety” evaporates in the setting of congruence permutability—any extra quasi-identities become vacuous upon admitting a Mal’cev term.

5. Limitations and Structural Subtleties

The main theorem does not imply that every subquasivariety of a congruence-permutable variety is a variety. Counterexamples are well known, including subquasivarieties within the variety of Heyting algebras (Carai et al., 9 Dec 2025).

This highlights a subtlety: congruence permutability for a quasivariety (formulated at the level of the K-congruence lattice) implies being a variety for the full class but does not automatically transfer to all of its subquasivarieties. Thus, the result is tight: the closure properties and permutability at the level of the entire class $\mathsf{K}$ are jointly essential; weakening the scope permits exceptions.

6. Related Research and Bibliographic Context

The formal structure of K-congruences and their lattices is discussed in Gorbunov’s Algebraic Theory of Quasivarieties and Blok & Raftery’s work on ideals in quasivarieties (Carai et al., 9 Dec 2025). The lattice-theoretic facts underlying permutability and its implications for homomorphic closure trace through classic sources in universal algebra such as Burris & Sankappanavar. The explicit linkage between K-congruence permutability and being a variety draws on results from Cirić & Bogdanović regarding posets of C-congruences and the classical theory of Mal’cev conditions.

Reference	Main Topic	Citation
Gorbunov (1998)	Algebraic theory of quasivarieties	(Carai et al., 9 Dec 2025)
Burris & Sankappanavar	Universal algebra, congruences	(Carai et al., 9 Dec 2025)
Blok & Raftery (1999)	Ideals in quasivarieties	(Carai et al., 9 Dec 2025)
Cirić & Bogdanović	Posets of $\mathfrak{C}$-congruences	(Carai et al., 9 Dec 2025)

The conclusions regarding congruence permutability for quasivarieties and its automatic elevation to varietal status are explicit in the original note "Congruence permutability in quasivarieties" (Carai et al., 9 Dec 2025).

7. Concluding Perspective

In quasivarieties, the congruence structure, particularly the behavior of K-congruences under join and composition, encodes the essential variety-theoretic closure property. The existence of a Mal’cev term, reflected in congruence permutability, triggers the collapse of further quasi-identity constraints to ordinary identities, resulting in the elevation of the quasivariety to a variety. This phenomenon illustrates the central role of congruence lattices in the algebraic structure theory of general algebraic systems, bridging logical definability, universal closure properties, and the equational underpinnings of classical algebraic varieties (Carai et al., 9 Dec 2025).