We extend Følner's amenability criterion to the realm of general topological groups. Building on this, we show that a topological group G is amenable if and only if its left translation action can be approximated in a uniform manner by amenable actions on the set G. As applications we obtain a topological version of Whyte's geometric solution to the von Neumann problem and give an affirmative answer to a question posed by Rosendal.
In universal algebra, homomorphisms are usually considered between algebras of the same similarity type. Different from that, the notion of a weak homomorphism, as introduced by E. Marczewski in 1961, does not depend on a signature, but only on the clones of term operations generated by the examined algebras. We generalize this idea by defining weak homomorphisms between
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 B satisfies all equations that hold in an algebra A of the same type if and only if B is a homomorphic image of a subalgebra of a (possibly infinite) direct power of A. The former statement is equivalent to the existence of a natural map sending term functions of the algebra A to those of B, 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 B is a homomorphic image of a subalgebra of a finite power of A -without any additional assumptions concerning the algebras A and B. Moreover, provided that A is almost locally finite (for instance if A 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 ω-categorical setting.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.