show/hide this revision's text 3 typo

Note

The following construction doesn't work under answer is yes, at least if the local compactness assumptiongroup $G$ is metrizable $\iff$ $G$ is Hausdorff and has countable basis of neighborhoods of the identity element $e$. This follows from the following general statement.

If

Proposition. Let $G$ and $G'$ be topological groups, with $G$ locally compact and metrizable and $f:G\to G'$ be a continuous homomorphism such that
(a) $f$ is a dense proper subgroup bijection; and
(b) the induced map $f^*:C^b(G')\to C^b(G)$ of the spaces of bounded continuous functions is surjective.
Then $f$ is a homeomorphism.

Let $G'=\theta(G)\subset H$ with induced the subspace topologyand , $\theta$ is f$ be the embedding same map then as $\pi$ is an isomorphism \theta$, but the image of with codomain $\theta$ G'$. Then $G'$ is not also locally compact, therefore, it is closed in $H.$

Proof.For example Let $d:G\to\mathbb{R}$ be the distance to $e$. Without loss of generality, consider $\mathbb{Q} < d$ may be assumed to be bounded. Consider the function $d':G'\to \mathbb{R}.$mathbb{R}, d'(y)=d(f^{-1}(y)).$ Then

(1) $f^{*}d'=d$;
(2) by (a), $f^{*}$ is injective, so $d'$ is the only pre-image of $d$ under $f^*$; and
(3) by (b), $d'$ is continuous.

The open ball in $B(e,r)\subset G$ consists of all $x\in G$ such that $d(x)<r$, so $$f(B(e,r))=\{y\in G':d(f^{-1}(y))<r\}=d'^{-1}((-\infty,r))$$is open in $G'$ by (3). Since open balls form a neighborhood basis of $e$, the map $f$ is a homeomorphism. $\square$

show/hide this revision's text 2 note: doesn't work

Note The following construction doesn't work under the local compactness assumption.


If $G$ is a dense proper subgroup of $H$ with induced topology and $\theta$ is the embedding map then $\pi$ is an isomorphism but the image of $\theta$ is not closed. For example, consider $\mathbb{Q} < \mathbb{R}.$

show/hide this revision's text 1

If $G$ is a dense proper subgroup of $H$ with induced topology and $\theta$ is the embedding map then $\pi$ is an isomorphism but the image of $\theta$ is not closed. For example, consider $\mathbb{Q} < \mathbb{R}.$