Properties of Koopman operator and its approximations for dynamical systems with symmetries.