Strongly étale difference algebras and Babbitt's decomposition

We introduce a class of strongly étale difference algebras, whose role in the study of difference equations is analogous to the role of étale algebras in the study of algebraic equations. We deduce an improved version of Babbitt's decomposition theorem and we present applications to difference algebraic groups and the compatibility problem.