Topological Birkhoff
Manuel Bodirsky, Michael Pinsker · Transactions of the American Mathematical Society · 2014
One of the most fundamental mathematical contributions of Garrett Birkhoff is the HSP theorem, which implies that a finite algebra B \mathbf {B} satisfies all equations that hold in a finite algebra A \mathbf {A} of the same signature if and only if B \mathbf {B} is a homomorphic image of a subalgebra of a finite power of A \mathbf {A} . On the other hand, if A \mathbf {A} is infinite, then in general one needs to take an infinite power in order to obtain a representation of B \mathbf {B} in terms of A \mathbf {A} , even if B \mathbf {B} is finite. We show that by considering the natural topology on the functions of A \mathbf {A} and B \mathbf {B} in addition to the equations that hold between them, one can do with finite powers even for many interesting infinite algebras A \mathbf {A} . More precisely, we prove that if A \mathbf {A} and B \mathbf {B} are at most countable algebras which are oligomorphic, then the mapping which sends each term function over A \mathbf {A} to the corresponding term function over B \mathbf {B}