In mathematics, the principal orbit type theorem states that compact Lie group acting smoothly on a connected differentiable manifold has a principal orbit type.
Definitions
Suppose G is a compact Lie group acting smoothly on a connected differentiable manifold M.
References
Principal orbit type theorem Wikipedia(Text) CC BY-SA