Riemannian isometry subgroups dominate finite subgroups in self-diffeomorphism group

From Diffgeom

Statement

Let be a differential manifold and be a finite subgroup of the self-diffeomorphism group of . Then, there exists a Riemannian metric on such that the self-isometry group of with respect to that metric contains .

Proof

The idea is to average out. It is almost exactly the same proof which shows that the orthogonal group is finite-dominating in the general linear group.