Subgroups of monothetic groups

From MaRDI portal



Abstract: It is shown that every separable abelian topological group is isomorphic with a topological subgroup of a monothetic group (that is, a topological group with a single topological generator). In particular, every separable metrizable abelian group embeds into a metrizable monothetic group. More generally, we describe all topological groups that can be embedded into monothetic groups: they are exactly abelian topological groups of weight leqfrakc covered by countably many translations of every nonempty open subset.


It is shown that every separable Abelian topological group embeds into a monothetic group. As a corollary, subgroups of monothetic groups are exactly those that are Abelian, \(\aleph_0\)-bounded (i.e., each neighborhood has countably many translates that cover the whole group), and of weight at most the cardinality of the continuum. Every separable metrizable Abelian group is shown to be a subgroup of a completely metrizable monothetic group. In particular, all additive groups of separable Banach spaces are covered by this. The proofs use invariant pseudometrics, free Abelian topological groups, and their embeddings in free locally convex spaces to show: every countable topological group is a quotient of a subgroup of a separable locally convex space whose topology admits a separable metrizable locally convex topology. Finally, it has to be noted that the class of subgroups of monothetic groups is closed under passing to subgroups, quotients, and completions.











This page was built for publication: Subgroups of monothetic groups

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