Abstract
Our aim is twofold. First, we propose a natural definition of index for linear nonautonomous implicit difference equations, which is similar to that of linear differential-algebraic equations. Then we extend this index notion to a class of nonlinear implicit difference equations and prove some existence theorems for their initial-value problems.