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 ...