# unipotent group and translation invariant metric

Let $U$ be a unipotent upper triangluar group over a local field $K$ of characteristic zero. Can we guarantee that there is a right translation invariant metric on $U$ such that any ball of finite radius is relatively compact?

-

Let $G$ be a locally compact group. If $G$ is compactly generated, then word length with respect to a compact generating subset defines an invariant metric which is proper (i.e. closed balls are compact). The problem here is that a unipotent group $U$ is usually not compactly generated (if $K$ is non-archimedean). But it can be naturally embedded as a closed subgroup in a compactly generated group, e.g. the subgroup $B$ of all triangular matrices. So take the word metric in $B$ and restrict to $U$.
Indeed in the OP I interpreted "relative compact" as wrt the original compact. On the other hand I may direct you to a paper by Haagerup and Przybyszewska arxiv.org/pdf/math/0606794 I copy the beginning of the abstract: "In this article it is proved, that every locally compact, second countable group has a left invariant metric $d$, which generates the topology on $G$, and which is proper, ie. every closed $d$-bounded set in $G$ is compact." –  Alain Valette May 3 '11 at 21:07