Uniform Birkhoff

DOI10.1016/J.JPAA.2017.06.016MaRDI QIDQ6355501arXivFDO

Authors Mai Gehrke, Michael Pinsker

Publication date 7 December 2020

Published in arXiv

Full work available at URL https://doi.org/10.1016/J.JPAA.2017.06.016

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) Free algebras (08B20) Categories of algebras (08C05)

arXiv classification

math.LOmath.RA

Abstract: We show that pseudovarieties of finitely generated algebras, i.e., classes $C$ of finitely generated algebras closed under finite products, homomorphic images, and subalgebras, can be described via a uniform structure $U$ on the free algebra for $C$: the members of $C$ then are precisely those finitely generated algebras $A$ for which the natural mapping from the free algebra onto the term clone of $A$ is well-defined and uniformly continuous with respect to the uniformity $U$ and the uniformity of pointwise convergence on the term clone of $A$, respectively. Our result unifies earlier theorems describing pseudovarieties of finite algebras and the pseudovariety generated by a single oligomorphic algebra.

This page was built for publication: Uniform Birkhoff

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