Floquet transformations for discrete-time systems: Equivalence between periodic systems and time-invariant ones