Stability, stabilization and factorization of implicit discrete-time nonlinear systems