Cancellation of finite-dimensional Noetherian modules

The Module Cancellation Problem solicits hypotheses that, when imposed on modules K, L, and M over a ring S, afford the implication K circle plus L congruent to K circle plus M double right arrow L congruent to M. In a well-known paper on basic element theory from 1973, Eisenbud and Evans lament the "great scarcity of strong results" in module cancellation research, expressing the wish that, "under some general hypothesis" on finitely generated modules over a commutative Noetherian ring, cancellation could be demonstrated. Singling out cancellation theorems by Bass and Dress that feature "large" projective modules, Eisenbud and Evans contend further that, although "some criteria of 'largeness' is certainly necessary in general [... ,] the need for projectivity is not clear." In this paper, we prove that cancellation holds if K, L, and M are finitely generated modules over a commutative Noetherian ring S such that K-p(circle plus(1+dim(S/p))) is a direct summand of M-p over S-p for every prime ideal p of S. We also weaken projectivity conditions in the cancellation theorems of Bass and Dress and a newer theorem by De Stefani-Polstra-Yao; in fact, we obtain a statement that unifies all three of these theorems while obviating a projectivity constraint in each one. (C) 2022 Elsevier Inc. All rights reserved.