Let [Formula: see text] be a commutative ring and let [Formula: see text] be a submodule of [Formula: see text] which consists of columns of a matrix [Formula: see text] with [Formula: see text] for all [Formula: see text], [Formula: see text], where [Formula: see text] is an index set. For every [Formula: see text], let I[Formula: see text] be the ideal generated by subdeterminants of size [Formula: see text] of the matrix [Formula: see text]. Let [Formula: see text]. In this paper, we obtain a constructive description of [Formula: see text] and we show that when [Formula: see text] is a local ring, [Formula: see text] is free of rank [Formula: see text] if and only if I[Formula: see text] is a principal regular ideal, for some [Formula: see text]. This improves a lemma of Lipman which asserts that, if [Formula: see text] is the [Formula: see text]th Fitting ideal of [Formula: see text] then [Formula: see text] is a regular principal ideal if and only if [Formula: see text] is finitely generated free and [Formula: see text] is free of rank [Formula: see text]
Constructive description of monogenic functions in a finite-dimensional semisimple commutative algebra
