A {F}urstengerg-{K}ifer decomposition for implicit difference equations and its applications