A criterion of the existence of an embedding of a monothetic monoid into a topological group

Abstract

Abstract Using properties of unitary Cauchy filters on monothetic monoids, we prove a criterion of the existence of an embedding of such a monoid into a topological group. The proof of the sufficiency is constructive: under the corresponding assumptions, we are building a dense embedding of a given monothetic monoid into a monothetic group.