Topological groups with dense compactly generated subgroups

From MaRDI portal





Interrelations between different conditions on topological groups are studied which generalize the notion of a finitely generated group in the case of discrete groups. A topological group \(G\) is said to be: (i) finitely generated modulo open sets provided for every open non-empty subset \(U\) there exists a finite subset \(F\) such that \(F\cup U\) algebraically generates \(G\), (ii) \(\aleph_0\)-bounded if for every neighbourhood \(U\) of the identity element of \(G\) there is a finite or countable subset \(F\) such that \(G=FU\), (iii) almost metrizable if it has a compact subset of countable character, (iv) compactly generated provided it is algebraically generated by some compact subset. It is proved (Theorem 2.1) that if a topological group \(G\) contains a dense compactly generated subgroup then \(G\) is \(\aleph_0\)-bounded and finitely generated modulo open sets. Conversely, if an almost metrizable topological group is \(\aleph_0\)-bounded and finitely generated modulo open sets then it contains a dense compactly generated subgroup (Theorem 2.3). An almost metrizable topological group is compactly generated if and only if it is \(\sigma\)-compact and finitely generated modulo open sets (Theorem 2.6). Reviewer's note. In the paper [\textit{V. G. Pestov}, Mat. Zametki 40, 671-676 (1986; Zbl 0617.22001)] interrelations between compactly generated and \(\sigma\)-compact topological groups are studied.











This page was built for publication: Topological groups with dense compactly generated subgroups

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