---
tag: 5083DHSK82
kind: statement
role: theorem
name: Birkhoff's HSP theorem
msc: [08B99, 03C05]
uses: [AJNZJD8442, S7MJVSP79N, PKD440G2XW]
about: [AJNZJD8442]
sources:
  - url: https://en.wikipedia.org/wiki/Variety_(universal_algebra)
    locator: Birkhoff's variety theorem
---

## Statement

Let $K$ be a class of algebras of a fixed signature $\sigma$.
Then $K$ is a [[variety|AJNZJD8442]] if and only if $K$ is closed under the [[class operators|S7MJVSP79N]] $H$, $S$ and $P$.
Here a variety is the class of all models of some set of [[identities|PKD440G2XW]].

## Remarks

One direction is a direct check: identities are preserved by homomorphic images, by subalgebras and by direct products.
For the converse, let $\Sigma$ be the set of identities that hold in every member of $K$, and let $A$ satisfy $\Sigma$.
The free algebra of $HSP(K)$ on a set of the size of $A$ is a subalgebra of a product of members of $K$.
Since $A$ satisfies $\Sigma$, the algebra $A$ is a homomorphic image of it.
So $A \in HSP(K) = K$.
Example: groups form a variety, and the theorem confirms that subgroups, quotient groups and products of groups are groups.
Closure under products cannot be dropped.
The class of groups with at most two elements is closed under $H$ and $S$, but it does not contain $\Z / 2\Z \times \Z / 2\Z$.

## Explanations

### L1 human

There are two ways to describe a class of algebras.
One is by the equations its members obey.
The other is by the constructions it is closed under.
Birkhoff's theorem says that being described by equations is the same as being closed under taking images, subalgebras and products.

### L2 human

The theorem lets one decide whether a class is a variety without writing identities.
To show that a class is not equationally definable, one finds a product, subalgebra or image that leaves the class.
For example, torsion-free abelian groups are not a variety, because their quotient $\Z / 2\Z$ has torsion.
The proof introduces free algebras of $HSP(K)$, which are the main tool of the theory.
A finer form, Tarski's formula $V(K) = HSP(K)$, describes the variety generated by any class.