Full-Trace Modules

Abstract

Motivated by the definition of nearly Gorenstein rings, we introduce the notion of full-trace modules over commutative Noetherian local rings--namely, finitely generated modules whose trace equals the maximal ideal. We investigate the existence of such modules and prove that, over rings that are neither regular nor principal ideal rings, every positive syzygy module of the residue field is full-trace. Moreover, over Cohen-Macaulay rings, we study full-trace Ulrich modules--that is, maximally generated maximal Cohen-Macaulay modules that are full-trace. We establish the following characterization: a non-regular Cohen-Macaulay local ring has minimal multiplicity if and only if it admits a full-trace Ulrich module. Finally, for numerical semigroup rings with minimal multiplicity, we show that each full-trace Ulrich module decomposes as the direct sum of the maximal ideal and a module that is either zero or Ulrich.