Solution Module and Linear Closure

Abstract

We introduce the notion of an ``initial condition'' for a module over a commutative Noetherian local ring, allowing for a recursive construction of its ``solution modules''. If the given module has zero-dimensional support, such as the residue field of the local ring and those encountered in residual complexes, we demonstrate that the solution module is an injective hull of the given module. The construction of the solution module for finitely generated given module is explicit and computable, devoid of the need for Zorn's lemma.