Uniform Birkhoff

DOI10.1016/J.JPAA.2017.06.016arXiv2012.04004MaRDI QIDQ6355501

Publication date: 7 December 2020

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.

Mathematics Subject Classification ID

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

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)