Slice theorem (differential geometry)

On extending a Lie group action on a manifold to an equivariant diffeomorphism

In algebraic geometry, there is an analog of the slice theorem; it is called Luna's slice theorem.

Since G is compact, there exists an invariant metric; i.e., G acts as isometries. One then adopts the usual proof of the existence of a tubular neighborhood using this metric.