Recursion operators, conservation laws, and integrability conditions for difference equations

We attempt to propose an algebraic approach to the theory of integrable difference equations. We define the concept of a recursion operator for difference equations and show that it generates an infinite sequence of symmetries and canonical conservation laws for a difference equation. As in the case of partial differential equations, these canonical densities can serve as integrability conditions for difference equations. We obtain the recursion operators for the Viallet equation and all the Adler–Bobenko–Suris equations.