1: \begin{abstract}

2: Let $\mathcal{S}$ be an integrable Pfaffian system. If it is invariant under a transversally free infinitesimal action of a finite dimensional real Lie algebra \textit{g} and consequently invariant under the local action of a Lie group \textit{G}, we show that the \textit{vertical} variational cohomology of $\mathcal{S}$ is equal to the Lie algebra cohomology of \textit{g} with values in the space of the \textit{horizontal} cohomology in maximum dimension. This result, besides giving an effective algorithm for the computation of the variational cohomology of an invariant Pfaffian system, provides a method for detecting obstructions to the existence of finite or infinitesimal actions leaving a given system invariant.

3: \end{abstract}

4: