Group Metrics for Graph Products of Cyclic Groups

Abstract

We complement the characterization of the graph products of cyclic groups $G(Γ, \mathfrak{p})$ admitting a Polish group topology of [9] with the following result. Let $G = G(Γ, \mathfrak{p})$, then the following are equivalent: (i) there is a metric on $Γ$ which induces a separable topology in which $E_Γ$ is closed; (ii) $G(Γ, \mathfrak{p})$ is embeddable into a Polish group; (iii) $G(Γ, \mathfrak{p})$ is embeddable into a non-Archimedean Polish group. We also construct left-invariant separable group ultrametrics for $G = G(Γ, \mathfrak{p})$ and $Γ$ a closed graph on the Baire space, which is of independent interest.