2 Added some thoughts.

# GroupsGroup homomorphisms and maps between function spaces

Let G and H be locally compact groups, and let $\theta:G\rightarrow H$ be a continuous group homomorphism. This induces a *-homomorphism $\pi:C^b(H) \rightarrow C^b(G)$ between the spaces of bounded continuous functions on H and G.

If $\theta$ is an injection with closed range, then as locally compact groups are normal, you can use the Tietze extension theorem to show that $\pi$ is a surjection.

Conversely, if $\pi$ surjects, then $\theta$ must be an injection. Need $\theta(G)$ be closed in H??

(If G and H are just locally compact spaces, and $\theta$ just a continuous map, then no: you could let G be non-compact and $H=\beta G$ the Stone-Cech compactification, with $\theta$ being the canonical inclusion. The resulting map $\pi$ is just $C^b(H) = C(\beta G) \rightarrow C^b(G) = C(\beta G)$, which is the identity, once suitably interpreted. Of course, here $\theta$ has open range, and in a topological group, an open subgroup is closed, so maybe there's hope... hence my question).

More thoughts: As in my comment, we can extend $\theta$ to a map $\tilde\theta:\beta G\rightarrow\beta H$ between the Stone-Cech compactifications: this induces the map $\pi:C(\beta H)\rightarrow C(\beta G)$. As these are compact, it follows that $\pi$ is surjective if and only if $\tilde\theta$ is injective. By replacing $H$ with the closure of $\theta(G)$, we may suppose that $\theta$ has dense range: this forces $\tilde\theta$ to be a bijection, and hence a homeomorphism. So is it possible for $\theta$ to be an injection with dense range, and $\tilde\theta$ a homeomorphism, but without $\theta$ being onto? For example, certainly H cannot be compact, as then $\beta G$ would be a topological group, which is possible only if $G$ is compact (I think).

1

# Groups homomorphisms and maps between function spaces

Let G and H be locally compact groups, and let $\theta:G\rightarrow H$ be a continuous group homomorphism. This induces a *-homomorphism $\pi:C^b(H) \rightarrow C^b(G)$ between the spaces of bounded continuous functions on H and G.

If $\theta$ is an injection with closed range, then as locally compact groups are normal, you can use the Tietze extension theorem to show that $\pi$ is a surjection.

Conversely, if $\pi$ surjects, then $\theta$ must be an injection. Need $\theta(G)$ be closed in H??

(If G and H are just locally compact spaces, and $\theta$ just a continuous map, then no: you could let G be non-compact and $H=\beta G$ the Stone-Cech compactification, with $\theta$ being the canonical inclusion. The resulting map $\pi$ is just $C^b(H) = C(\beta G) \rightarrow C^b(G) = C(\beta G)$, which is the identity, once suitably interpreted. Of course, here $\theta$ has open range, and in a topological group, an open subgroup is closed, so maybe there's hope... hence my question).