Propagation of regularity for a class of systems of real vector fields on torus

We characterize the global hypoellipticity, almost hypoellipticity and solvability for a class of systems of real vector fields on the (n + 1)-dimensional torus as well as the same properties about the sum of squares associated to the system. The key result is a theorem about propagation of regularity for solutions of the system.