State representations of finitely generated nD behaviors over rings

Multidimensional linear systems that are finite-dimensional over the coefficient field admit 1D-like state space realizations. We generalize this fact to the case where the base field is replaced by an arbitrary commutative Noetherian ring. It turns out that the concept of “state spaces” has to be replaced by that of “state modules”, which are not necessarily free.