2021
DOI: 10.48550/arxiv.2105.07184
|View full text |Cite
Preprint
|
Sign up to set email alerts
|

Reflexive modules over Arf local rings

Abstract: In this paper, we provide a certain direct-sum decomposition of reflexive modules over (one-dimensional) Arf local rings. We also see the equivalence of three notions, say, integrally closed ideals, trace ideals, and reflexive modules of rank one (i.e., divisorial ideals) up to isomorphisms in Arf rings. As an application, we obtain the finiteness of indecomposable first syzygies of MCM R-modules over Arf local rings.

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1
1
1

Citation Types

0
4
0

Year Published

2021
2021
2021
2021

Publication Types

Select...
2

Relationship

2
0

Authors

Journals

citations
Cited by 2 publications
(4 citation statements)
references
References 14 publications
0
4
0
Order By: Relevance
“…Thereafter, Lipman [29] generalized them by extracting the essence of the rings. The reader can consult [21,29] for several basic results on Arf rings. The examples arising from numerical semigroup rings are also found by [30,Corollary 3.19].…”
Section: Observation Let R = K[[h]mentioning
confidence: 99%
See 1 more Smart Citation
“…Thereafter, Lipman [29] generalized them by extracting the essence of the rings. The reader can consult [21,29] for several basic results on Arf rings. The examples arising from numerical semigroup rings are also found by [30,Corollary 3.19].…”
Section: Observation Let R = K[[h]mentioning
confidence: 99%
“…Then, Lindo proved that the endomorphism algebra T (M) = Hom R (tr R (M), tr R (M)) is the center of Hom R (M, M) ( [26,Introduction]). It is also known that M can be regarded as a T (M)-module ( [3, (7.2) Proposition], [21,Proposition 2.4]). If tr T (M ) M = T (M) and T (M) is a local ring, then T (M) is a direct summand of M. Recently, Isobe and Kumashiro, and independently Dao, provided a certain direct-sum decomposition for reflexive modules over (one-dimensional) Arf local rings by using these results ([6, Theorem A] and [21,Theorem 1.1]).…”
Section: Introductionmentioning
confidence: 99%
“…Since (M ∨ ) * is a reflexive module, we can regard (M ∨ ) * as an R-module (see [15,Proposition 2.4] or [1, (7.2) Proposition]). Since R is a discrete valuation ring, it follows that (M ∨ ) * ∼ = (R) r .…”
Section: Corollary 27 Suppose That R Satisfies the Conditions (A)-(d)...mentioning
confidence: 99%
“…3 and e(R 1 ) = 5. (ii) Let R 2 = K[|t 9 , t 10 , t 11 , t 12 , t 15 |]. Then R 2 is a far-flung Gorenstein ring with r(R 2 ) = 4 and e(R 1 ) = 9.…”
Section: We Obtain the Assertion (Ii)mentioning
confidence: 99%