Families of vector fields which generate the group of diffeomorphisms

Abstract

Given a compact manifold M, we prove that any bracket generating and invariant under multiplication on smooth functions family of vector fields on M generates the connected component of unit of the group Diff(M).