Embeddings into monothetic groups

From MaRDI portal



Abstract: We provide a very short elementary proof that every bounded separable metric group embeds into a monothetic bounded metric group, in such a way that the result of Morris and Pestov that every separable abelian topological group embeds into a monothetic group is an immediate corollary. We show that the boundedness assumption is essential.


In [J. Group Theory. 3, No. 4, 407--417 (2000; Zbl 0961.22002)], \textit{S. A. Morris} and \textit{V. Pestov} showed that every separable abelian topological group can be embedded into a monothetic group. The author of the paper under this review proves the following theorem. Theorem. Let \(G\) be a separable abelian group with a bounded invariant metric \(d\). Then \(d\) extends to a (bounded by the same constant) metric \(D\) on \(G\oplus C\), where \(C\) is a cyclic group which is dense in \(G\oplus C\). In particular, \(G\) embeds into a monothetic group. The result of Morris and Pestov [loc. cit.] is an immediate corollary of this theorem.











This page was built for publication: Embeddings into monothetic groups

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