Homomorphisms into totally disconnected, locally compact groups with dense image (Q2311859)

Let \(G\) be a topological group, \(H\) a totally disconnected locally compact (t.d.l.c.) group, and \(\varphi:G\to H\) a continuous homomorphism with dense image. The group \(H\) is called a t.d.l.c. completion and \(\varphi\) a t.d.l.c. completion map. It is shown that every t.d.l.c. completion of a topological group is obtained by using \(G\)-stable local filters on \(G\) consisting of subgroups as fundamental systems of identity for a locally precompact not necessarily Hausdorff group topology. A Hecke pair \((G,U)\) consists of a topological group \(G\), some t.d.l.c. completion \(H\) and a subgroup \(U\) which is the preimage of a compact open subgroup of \(H\). For every Hecke pair \((G,U)\) there exist two canonical \(G\)-stable local filters called the Belyaev filter and the Schlichting filter [\textit{G. Schlichting}, Arch. Math. 34, 97--99 (1980; Zbl 0449.20004)]. The Belyaev completion is determined by the \(G\)-stable local filter consisting of subgroups of \(G\) commensurated with \(U\). It is proved that there exist unique continuous quotient maps \(\psi_1:\widehat{G}_U\to H\) and \(\psi_2:H\to G//U\) with compact kernels, where \(\widehat{G}_U\) and \( G//U\) are the completions of Belyaev and Schlichting for \((G,U)\), respectively.