Semidualizing modules over numerical semigroup rings

DOI10.1142/S0218196724500218MaRDI QIDQ6593808zbMATH OpenFDO

Authors Ela Celikbas, Hugh Geller, Toshinori Kobayashi

Publication date 27 August 2024

Published in International Journal of Algebra and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1142/S0218196724500218

Burch ideals canonical modules numerical semigroup rings semidualizing modules

Structure, classification theorems for modules and ideals in commutative rings (13C05) Other special types of modules and ideals in commutative rings (13C13) Homological functors on modules of commutative rings (Tor, Ext, etc.) (13D07) Semigroup rings, multiplicative semigroups of rings (20M25)

Review text

Let \(R\) be a commutative ring. Then we say a finitely generated \(R\)-module \(C\) is \textit{semidualizing} if the natural homothety map \(R \rightarrow \mathrm{Hom}_R(C,C)\) is an isomorphism and \(\mathrm{Ext}^i_R(C,C) = 0\) for all \(i > 0\). In particular, \(R\) itself is a semidualizing \(R\)-module. Also, it is well-known that if \(R\) is local Cohen-Macaulay with a canonical module \(K\), then \(K\) is a semidualizing \(R\)-module. Golod, in 1985, asked about the existence of a local ring \(R\) that has a nontrivial semidualizing module, i.e., a semidualizing module different from \(R\) and \(K\). The main aim of this work is to explore the existence of nontrivial semidualizing modules by restricting the argument to one-dimensional Cohen-Macaulay rings with small multiplicities. In fact, the authors (in Proposition 2.9) prove that if the ring has multiplicity at most \(8\), then it has only trivial semidualizing modules. Hence, they discuss the rings of multiplicity \(9\). The authors present the first main theorem of this paper in the following result, that provides a complete classification of which numerical semigroup rings of multiplicity \(9\) have nontrivial semidualizing modules.\N\N\textbf{Theorem 4.6.} A numerical semigroup ring \(kH\) of multiplicity \(9\) has a nontrivial semidualizing module if and only if \(\mu(H)\) belongs to one of the interiors of faces \(F_1, \ldots, F_{24}\) listed in Table \(4\). \N\NIn addition, the authors in Section 5 express the definition of gluings of numerical semigroup rings. The other main results of this paper are Theorems 5.6 and 5.8. Ultimately, the authors close this paper with Question 5.11, which originally posed by Herzog, regarding the generators of semidualizing modules over numerical semigroup rings.

Recommendations

Cites work

Cited in

(2)

This page was built for publication: Semidualizing modules over numerical semigroup rings

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