Mechanical systems with their configuration space being a Lie group Cross-posted from Physics.SE
In Marsden, Ratiu - Introduction To Mechanics And Symmetry there is a certain focus on reducing cotangent bundles of Lie groups. More precisely, if $G$ is a Lie group, then $T^*G$ is naturally a symplectic manifold. Then,

*

*Lie-Poisson reduction provides a Poisson structure on the Lie coalgebra $\mathfrak{g}^*$ and a reduced Hamiltonian $\mathfrak{g}^* \to \mathbb{R}$. In other words, the dynamics can be analyzed on the reduced space $\mathfrak{g}^*$.

*symplectic reduction allows us to reduce the phase space further and identify the reduced phase space with a coadjoint orbit $\mathcal{O} \subset \mathfrak{g}^*$, where $\mathcal{O}$ is equipped with the KKS symplectic structure.

However, apart from the configuration space $G = SO(3)$ which is the configuration space for the rigid body, all the examples provided by Marsden and Ratiu are infinite-dimensional.  I failed to come up with any other non-trivial finite-dimensional example, i.e. $\mathbb{R}^n \times (SO(3))^k$ doesn't count.
Are there any other naturally occurring mechanical systems, whose configuration space is a Lie group $G$ and that the Hamiltonian $H\colon\,T^*G \to \mathbb{R}$ is $G$-invariant with respect to the natural action of $G$ on $T^*G$?
 A: Many of the standard classical mechanics examples have continuous symmetries. Most are invariant under translations in time. Many are invariant under spatial translations and rotations, e.g., isolated central force problems such as planetary motion. These are the fairly obvious ones, but for example for the two-body Kepler problem, there is an additional not so obvious symmetry associated with the Runge-Lenz vector. Generalizing to relativistic mechanics, one has the larger Lorentz group. Of course, if you allow yourself to think in terms of phase space rather than configuration space, you have the entire machinery of canonical transformations at your disposal.
A: If one dimensional $n$ body systems fit your definition of a "naturally occurring mechanical system", then the paper by M.A. Olshanetsky and A.M. Perelomov, "Completely Integrable Hamiltonian Systems Connected with Semisimple Lie Algebras", Inventiones mathematicae (1976) Volume: 37, page 93-108 provides examples apart from just $SO(3)$.
A: Other examples of Hamiltonian systems with phase space the cotangent bundle of a group are coming from lattice gauge theory.
There, a configuration is a map that assigns to every edge of the lattice an element of the structure group $G$ (usually taken to be a compact Lie group), which corresponds to the parallel transport along that edge. Accordingly, the configuration space is identified with $G^{\# \text{edges}}$ and the phase space is $T^* G^{\# \text{edges}}$. Note however that the natural action of the symmetry group $G^{\# vertices}$ is by conjugation, so that the reduced phase spaces are not coadjoint orbits but rather complicated objects (singular in general).
See, e.g, section 9.4 in Rudolph & Schmidt: "Differential Geometry and Mathematical Physics" for more details.
Apart from this, most examples are indeed infinite-dimensional.
