Nonholonomic Reduction for Free and Proper Actions

We study a nonholonomically constrained Hamiltonian system with a symmetry group which acts properly and freely on a constraint distribution. We show that the reduced dynamics is described by a generalized distributional Hamiltonian system. The general theory is illustrated by the example of Chaplygin's skate.