Анотація:
We discuss the reduction of symmetries of dynamical systems, Hamiltonian systems, Hamiltonian systems with non-holonomic constraints, and non-linear control systems. We assume that the symmetry group of each system acts properly on the phase space of the system. Reduced system is described in the framework of theory of di erential spaces.