Integral closure, basically full closure, and duals of nonresidual closure operations

DOI10.1016/J.JPAA.2022.107256MaRDI QIDQ2104886zbMATH OpenOpenAlexFDO

Authors Neil Epstein, Rebecca R. G., Janet Vassilev

Publication date 8 December 2022

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2109.08772

basically full closure operation core integral closure interior operation test ideal

Integral closure of commutative rings and ideals (13B22) Other special types of modules and ideals in commutative rings (13C13) Module categories and commutative rings (13C60) Complete rings, completion (13J10)

Abstract: We develop a duality for operations on nested pairs of modules that generalizes the duality between absolute interior operations and residual closure operations from [ER21], extending our previous results to the expanded context. We apply this duality in particular to integral and basically full closures and their respective cores to obtain integral and basically empty interiors and their respective hulls. We also dualize some of the known formulas for the core of an ideal to obtain formulas for the hull of a submodule of the injective hull of the residue field. The article concludes with illustrative examples in a numerical semigroup ring.

Review text

The authors' abstract states, ``We develop a duality for operations on nested pairs of modules that generalizes the duality between absolute interior operations and residual closure operations from [\textit{N. Epstein} and \textit{R. R. G.}, Rocky Mt. J. Math. 51, No. 3, 823--853 (2021; Zbl 1477.13047)], extending our previous results to the expanded context. We apply this duality in particular to integral and basically full closures and their respective cores to obtain integral and basically empty interiors and their respective hulls. We also dualize some of the known formulas for the core of an ideal to obtain formulas for the hull of a submodule of the injective hull of the residue field. The article concludes with illustrative examples in a numerical semigroup ring. The following, more detailed, description of the paper appears in the Introduction of the paper. ``In previous work [\textit{N. Epstein} and \textit{R. R. G.}, Rocky Mt. J. Math. 51, No. 3, 823--853 (2021; Zbl 1477.13047)], the authors explored a duality operation that takes a residual closure operation on modules over a complete local ring (such as tight closure, module closures, or Frobenius closure) to an absolute interior operation (e.g., in the above cases, the tight interior explored in [\textit{N. Epstein} and \textit{K. Schwede}, Nagoya Math. J. 213, 41--75 (2014; Zbl 1315.13016)], trace as in [\textit{W. J. Heinzer} et al., J. Algebra 250, No. 1, 371--396 (2002; Zbl 1048.13001)], and the novel Frobenius interior, respectively). We showed that the interior of the ring tends to coincide with the common annihilator of closures of submodules (generalizing test ideals). We also dualized the notions of reductions and core of a submodule with respect to a residual closure operation to obtain expansions and the hull of a submodule with respect to an absolute interior operation. However, the above work depends on the closure operation in question being residual, even though some closure operations of interest are not residual. Motivated by the non-residual examples of integral closure and basically full closure, we extend our results (and our duality operation) to nonresidual closure operations (Section 3). We find that the dual of such a closure operation is not an absolute interior operation, but rather a relative one. That is, if \(L\subseteq N \subseteq M \), the interior of \(L\) in \(N\) may be strictly smaller than the interior of \(L\) in \(M\) . Even so, we are able to extend our duality results involving cores and hulls (Section 6). To develop our newly extended duality operation we define a pair operation (Section 2), which assigns to a pair \(L\subseteq M\) of modules a submodule of \(M\) which does not have any predetermined containment relation with respect to \(L\). In the case of interiors (resp., closures), it is contained in (resp., contains) \(L\).

Recommendations

Cites work

Cited in

(6)

This page was built for publication: Integral closure, basically full closure, and duals of nonresidual closure operations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2104886)