A uniform Birkhoff theorem

DOI10.1007/S00012-017-0460-1MaRDI QIDQ1686326zbMATH OpenOpenAlexFDO

Authors Friedrich Martin Schneider

Publication date 21 December 2017

Published in Algebra Universalis (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1510.03166

zbMATH Keywords

uniform continuityvarietyterm algebraHSP theoremclone homomorphism

Mathematics Subject Classification ID

Equational classes, universal algebra in model theory (03C05) Subalgebras, congruence relations (08A30) Operations and polynomials in algebraic structures, primal algebras (08A40) Varieties (08B99)

Abstract: Garret Birkhoff's HSP theorem characterizes the classes of models of algebraic theories as those being closed with respect to homomorphic images, subalgebras, and products. In particular, it implies that an algebra $mathbfB$ satisfies all equations that hold in an algebra $mathbfA$ of the same type if and only if $mathbfB$ is a homomorphic image of a subalgebra of a (possibly infinite) direct power of $mathbfA$. The former statement is equivalent to the existence of a natural map sending term functions of the algebra $mathbfA$ to those of $mathbfB$, and it is natural to wonder about continuity properties of this mapping. We show that this map is uniformly continuous if and only if every finitely generated subalgebra of $mathbfB$ is a homomorphic image of a subalgebra of a finite power of $mathbfA$ -- without any additional assumptions concerning the algebras $mathbfA$ and $mathbfB$. Moreover, provided that $mathbfA$ is almost locally finite (for instance if $mathbfA$ is locally oligomorphic or locally finite), the considered map is uniformly continuous if and only if it is Cauchy-continuous. In particular, our results extend a recent theorem by Bodirsky and Pinsker beyond the countable $omega$-categorical setting.

Recommendations

• Topological Birkhoff
• Uniform Birkhoff
• Reconstructing the topology of clones
• The Birkhoff theorem for varieties of finite algebras
• Continuous algebras revisited

Cites work

• scientific article; zbMATH DE number 4015649 (Why is no real title available?)
• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 3234211 (Why is no real title available?)
• scientific article; zbMATH DE number 3019695 (Why is no real title available?)
• An invitation to general algebra and universal constructions.
• The algebraic dichotomy conjecture for infinite domain constraint satisfaction problems
• The wonderland of reflections
• Topological Birkhoff
• Uniform Birkhoff
• Weakly almost periodic functions, model-theoretic stability, and minimality of topological groups

Cited in

(6)

• Topological Birkhoff
• Uniformity results on the Baire property
• Equations in oligomorphic clones and the constraint satisfaction problem for \(\omega \)-categorical structures
• Uniform Birkhoff
• scientific article; zbMATH DE number 7406819 (Why is no real title available?)
• On a stronger reconstruction notion for monoids and clones

This page was built for publication: A uniform Birkhoff theorem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1686326)