 Bi-invariant group metric

A group distance is bi-invariant when both left and right translations are isometries. Conjugation then fixes the identity element and is an isometry, so each metric ball there is invariant under every inner automorphism. A compatible bi-invariant group metric therefore requires arbitrarily small conjugation-invariant neighbourhoods. This concerns a distance function, not merely a bi-invariant Riemannian metric tensor.