On the discrete-time normal form

Necessary and sufficient conditions under which the discrete-time normal form exists are set both in geometric and in algebraic frameworks, leading to equivalent conditions. The results are therefore extended to generic nonlinear nonaffine continuous-time systems.