Group metrics for graph products of cyclic groups (Q1676543): Difference between revisions

Let \(\Gamma=(V,E)\) be a graph and \(\mathfrak p:V\to\{p^n:p\text{ prime},n\geq 1\}\cup\{\infty\}\) a graph coloring. The group product of \((\Gamma,\mathfrak p)\), denoted by \(G(\Gamma,\mathfrak p)\), is the group with the following presentation \[ \langle V\mid a^{\mathfrak p(a)}=1,bc=cb:\mathfrak p(a)\neq\infty\text{ and } bEc\rangle. \] In this paper, the authors study group metrics on graph products and present two results: (1) \(G(\Gamma,\mathfrak p)\) is embeddable into a (non-Archimedean) Polish group iff there is a metric on \(\Gamma\) which induces a separable topology in which \(E_\Gamma\) is closed. (2) Let \(\Gamma=(\omega^\omega,E)\). If \(E\) is closed in \(\omega^\omega\) and \(\mathfrak p(\eta)\) depends only on \(\eta(0)\), then \(G=G(\Gamma,\mathfrak p)\) admits a left-invariant separable group ultrametric extending the standard metric on \(\omega^\omega\).