Compact metrizable groups are isometry groups of compact metric spaces

Abstract

This note is devoted to proving the following result: given a compact metrizable group G, there is a compact metric space K such that G is isomorphic (as a topological group) to the isometry group of K.

Some typos are corrected in this version, otherwise the content remains the same