Definition:Metric Invariant under Group Action

Definition

Let $\struct {M, g}$ be a Riemannian manifold.

Let $G$ be a group.

Suppose $\forall \phi \in G$ the mapping $x \mapsto \phi \cdot x$ is an isometry.

Then the metric $g$ is said to be invariant under $G$.