Building suitable sets for locally compact groups by means of continuous selections

From MaRDI portal



Abstract: If a discrete subset S of a topological group G with the identity 1 generates a dense subgroup of G and S cup {1} is closed in G, then S is called a suitable set for G. We apply Michael's selection theorem to offer a direct, self-contained, purely topological proof of the result of Hofmann and Morris on the existence of suitable sets in locally compact groups. Our approach uses only elementary facts from (topological) group theory.


A subset \(X\) of a topological group \(G\) is called a suitable set for \(G\) if \(X\) is discrete, \(X\cup\{1_G\}\) is closed, and the subgroup generated by \(X\) is dense in \(G\). The paper provides a new, completely elementary proof for the result that every locally compact group has a suitable set, first proved by \textit{K.~H. Hofmann} and \textit{S.~A. Morris} [J.~Pure Appl. Algebra 68, 181--194 (1990; Zbl 0728.22006)]. The new proof uses a selection theorem due to \textit{E.~Michael} [Am. Math. Mon. 63, 233--238 (1956; Zbl 0070.39502)] and basic results from topology and the theory of topological groups. The selection theorem, of course, has an elementary proof itself. The exposition is extremely clear: all necessary facts and intermediate steps are numbered and either proved or equipped with references to standard texts.











This page was built for publication: Building suitable sets for locally compact groups by means of continuous selections

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