A mountain pass theorem for actions of compact Lie groups.
For symmetric classical field theories on principal bundles there are two methods of symmetry reduction: covariant and dynamic. Assume that the classical field theory is given by a symmetric covariant Lagrangian density defined on the first jet bundle of a principal bundle. It is shown that covariant and dynamic reduction lead to equivalent equations of motion. This is achieved by constructing a new Lagrangian defined on an infinite dimensional space which turns out to be gauge group invariant.