Involution and symmetry reductions

After reviewing some notions of the formal theory of differential equations, we discuss the completion of a given system to an involutive one. As applications to symmetry theory, we study the effects of local solvability and of gauge symmetries, respectively. We consider nonclassical symmetry reductions and more general reductions using differential constraints.