Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 2505.14961

Full-Trace Modules

Ela Celikbas·Olgur Celikbas·Jürgen Herzog·Shinya Kumashiro
View original source ↗Read source document ↗Export metadata ↓

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.

Explore related subjects

math.AC

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Ela Celikbas, Olgur Celikbas, Jürgen Herzog, Shinya Kumashiro. 2025-05-20. Full-Trace Modules. https://arxiv.org/abs/2505.14961

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Systems of parameters consisting of linear forms for monomial ideal quotients

Let $S=K[x_1,\ldots,x_n]$ be a polynomial ring over a field $K$ and let $I$ be a monomial ideal of $S$. We classify linear systems of parameters of $S/I$ over any field $K$ using linear algebra and show explicit linear systems of parameters when $K$ has at least $n$ elements. If $I(G)$ is the edge ideal of a perfect graph $G$, a cycle or the complement of a cycle, we show that $S/I(G)$ has a 0-1 linear system of parameters, and for graphs with independence number equal to $2$, we characterize when $S/I(G)$ has a 0-1 linear system of parameters.

math.AC↗
arXiv2026

Primality of dilated closed path polyominoes

In this paper we define a novel product on polyominoes called the tensor product of polyominoes. Using a special case of this product which we name a dilation, we construct a new class of polyominoes called the dilated closed paths. This class is a ''thick'' generalization of Cisto and Navarra's class of closed paths (arXiv:2006.13935). We prove the Zig-Zag Walk Conjecture for this new class thereby fully characterizing primality for its associated polyomino ideals.

math.AC↗
arXiv2026

Reduced and coreduced modules with respect to inverse families of ideals

Let R be a commutative ring and Phi an inverse family of ideals with greatest proper member L. We introduce and study Phi reduced and Phi coreduced modules, extending the corresponding notions for powers of a single ideal. We show that, on these classes of modules, the generalized torsion and completion functors associated with Phi are determined by L. We establish characterizations and closure properties of these modules and obtain a Greenlees May type adjunction and a Matlis Greenlees May type characterization. When Phi is a system of ideals, we further investigate the radicality of the generalized torsion functor and derive associated torsion theories on suitable Serre subcategories. These results provide a module theoretic framework for studying generalized torsion and completion with respect to families of ideals

math.AC↗