---
tag: DFNM3BGMAY
kind: statement
role: theorem
name: Mal'cev's characterization of quasivarieties
msc: ["08C15", "03C52"]
uses: [WRXEKT4NQS, 94GVY3APPQ, PZMGQMDN25, WJ73XYBNE4]
about: [WRXEKT4NQS]
sources:
  - url: https://en.wikipedia.org/wiki/Quasivariety
---

## Statement

Let $\sigma$ be an algebraic signature and let $K$ be a class of $\sigma$-algebras.
Then $K$ is a [[quasivariety|WRXEKT4NQS]] if and only if $K$ is closed under the following four constructions:

1. [[isomorphic|PZMGQMDN25]] copies;
2. [[subalgebras|7CHG6SD365]];
3. [[direct products|WJ73XYBNE4]] of arbitrary families, where the product of the empty family is the one-element algebra;
4. ultraproducts.

## Remarks

The forward direction is a check: a [[quasi-identity|94GVY3APPQ]] is preserved by subalgebras and by products, coordinate by coordinate, and by ultraproducts by Łoś's theorem.
For the converse, let $A$ satisfy every quasi-identity that holds in $K$, and let $a \ne b$ in $A$.
For each finite set $\Phi$ of equations true in $A$ among names of its elements, the quasi-identity "$\bigwedge \Phi \rightarrow a \approx b$" fails in $A$, so it fails in some $B_\Phi \in K$.
An ultraproduct of the algebras $B_\Phi$ over a suitable ultrafilter gives a member of $K$ with a homomorphism from $A$ that separates $a$ and $b$.
The product of these maps over all pairs $a \ne b$ embeds $A$ into a product of members of $K$, so $A \in K$.

The same argument shows that the quasivariety generated by any class $K$ is $\mathbf{ISPP_U}(K)$, the class of algebras isomorphic to subalgebras of products of ultraproducts of members of $K$.
Compare [[Birkhoff's HSP theorem|5083DHSK82]], where closure under homomorphic images is added and identities replace quasi-identities.

Closure under ultraproducts cannot be dropped.
Residually finite groups are closed under the first three constructions, but not under ultraproducts, and they do not form a quasivariety.

## Explanations

### L1 human

Varieties are the classes of algebras that you cannot leave by taking subalgebras, products or quotients.
Quasivarieties are described in the same way, with two changes.
Quotients are no longer allowed, and a new construction, the ultraproduct, is added.
So a property defined by conditional equations is exactly a property that survives these four constructions.

### L2 human

The theorem lets one show that a class is a quasivariety without finding its axioms, and that a class is not a quasivariety by exhibiting a failure of closure.
In the theory of finite algebras, the quasivariety generated by one finite algebra $M$ is $\mathbf{ISP}(M)$, because ultraproducts of copies of a finite algebra are isomorphic to it.
This class is the starting point of the theory of [[natural dualities|W5VG6HS8KW]].
In abstract algebraic logic, the algebraic counterparts of many deductive systems are quasivarieties, and the theorem is the tool to recognise them.