scholarly journals Some criteria for regular and Gorenstein local rings via syzygy modules

2019 ◽  
Vol 18 (05) ◽  
pp. 1950097
Author(s):  
Dipankar Ghosh

Let [Formula: see text] be a Cohen–Macaulay local ring. We prove that the [Formula: see text]th syzygy module of a maximal Cohen–Macaulay [Formula: see text]-module cannot have a semidualizing direct summand for every [Formula: see text]. In particular, it follows that [Formula: see text] is Gorenstein if and only if some syzygy of a canonical module of [Formula: see text] has a nonzero free direct summand. We also give a number of necessary and sufficient conditions for a Cohen–Macaulay local ring of minimal multiplicity to be regular or Gorenstein. These criteria are based on vanishing of certain Exts or Tors involving syzygy modules of the residue field.

2018 ◽  
Vol 61 (03) ◽  
pp. 705-725
Author(s):  
DIPANKAR GHOSH ◽  
TONY J. PUTHENPURAKAL

AbstractLet R be a d-dimensional Cohen–Macaulay (CM) local ring of minimal multiplicity. Set S := R/(f), where f := f1,. . .,fc is an R-regular sequence. Suppose M and N are maximal CM S-modules. It is shown that if ExtSi(M, N) = 0 for some (d + c + 1) consecutive values of i ⩾ 2, then ExtSi(M, N) = 0 for all i ⩾ 1. Moreover, if this holds true, then either projdimR(M) or injdimR(N) is finite. In addition, a counterpart of this result for Tor-modules is provided. Furthermore, we give a number of necessary and sufficient conditions for a CM local ring of minimal multiplicity to be regular or Gorenstein. These conditions are based on vanishing of certain Exts or Tors involving homomorphic images of syzygy modules of the residue field.


2008 ◽  
Vol 189 ◽  
pp. 1-25 ◽  
Author(s):  
Ryo Takahashi

AbstractLet R be a commutative Noetherian local ring. This paper deals with the problem asking whether R is Gorenstein if the nth syzygy module of the residue class field of R has a non-trivial direct summand of finite G-dimension for some n. It is proved that if n is at most two then it is true, and moreover, the structure of the ring R is determined essentially uniquely.


2018 ◽  
Vol 10 (3) ◽  
pp. 327-337
Author(s):  
Dipankar Ghosh ◽  
Anjan Gupta ◽  
Tony J. Puthenpurakal

Author(s):  
Yinghwa Wu

Throughout, (R, m) will denote a d-dimensional CohenMacaulay (CM for short) local ring having an infinite residue field and I an m-primary ideal in R. Recall that an ideal J I is said to be a reduction of I if Ir+1 = JIr for some r 0, and a reduction J of I is called a minimal reduction of I if J is generated by a system of parameters. The concepts of reduction and minimal reduction were first introduced by Northcott and Rees12. If J is a reduction of I, define the reduction number of I with respect to J, denoted by rj(I), to be min {r 0 Ir+1 = JIr}. The reduction number of I is defined as r(I) = min {rj(I)J is a minimal reduction of I}. The reduction number r(I) is said to be independent if r(I) = rj(I) for every minimal reduction J of I.


2016 ◽  
Vol 16 (09) ◽  
pp. 1750163
Author(s):  
Rasoul Ahangari Maleki

Let [Formula: see text] be a Noetherian local ring with maximal ideal [Formula: see text] and residue field [Formula: see text]. The linearity defect of a finitely generated [Formula: see text]-module [Formula: see text], which is denoted [Formula: see text], is a numerical measure of how far [Formula: see text] is from having linear resolution. We study the linearity defect of the residue field. We give a positive answer to the question raised by Herzog and Iyengar of whether [Formula: see text] implies [Formula: see text], in the case when [Formula: see text].


1966 ◽  
Vol 27 (1) ◽  
pp. 223-230 ◽  
Author(s):  
P. M. Cohn

Many questions about free ideal rings ( = firs, cf. [5] and §2 below) which at present seem difficult become much easier when one restricts attention to local rings. One is then dealing with hereditary local rings, and any such ring is in fact a fir (§2). Our object thus is to describe hereditary local rings. The results on firs in [5] show that such a ring must be a unique factorization domain; in §3 we prove that it must also be rigid (cf. the definition in [3] and §3 below). More precisely, for a semifir R with prime factorization rigidity is necessary and sufficient for R to be a local ring.


2018 ◽  
Vol 17 (02) ◽  
pp. 1850023 ◽  
Author(s):  
L. Izelgue ◽  
O. Ouzzaouit

Let [Formula: see text] and [Formula: see text] be two rings, [Formula: see text] an ideal of [Formula: see text] and [Formula: see text] be a ring homomorphism. The ring [Formula: see text] is called the amalgamation of [Formula: see text] with [Formula: see text] along [Formula: see text] with respect to [Formula: see text]. It was proposed by D’anna and Fontana [Amalgamated algebras along an ideal, Commutative Algebra and Applications (W. de Gruyter Publisher, Berlin, 2009), pp. 155–172], as an extension for the Nagata’s idealization, which was originally introduced in [Nagata, Local Rings (Interscience, New York, 1962)]. In this paper, we establish necessary and sufficient conditions under which [Formula: see text], and some related constructions, is either a Hilbert ring, a [Formula: see text]-domain or a [Formula: see text]-ring in the sense of Adams [Rings with a finitely generated total quotient ring, Canad. Math. Bull. 17(1) (1974)]. By the way, we investigate the transfer of the [Formula: see text]-property among pairs of domains sharing an ideal. Our results provide original illustrating examples.


2008 ◽  
Vol 07 (01) ◽  
pp. 109-128
Author(s):  
D. P. PATIL ◽  
G. TAMONE

Let (R,𝔪) be a 1-dimensional Cohen–Macaulay local ring of multiplicity e and embedding dimension ν ≥ 2. Let B denote the blowing-up of R along 𝔪 and let I be the conductor of R in B. Let x ∈ 𝔪 be a superficial element in 𝔪 of degree 1 and [Formula: see text], [Formula: see text]. We assume that the length [Formula: see text]. This class of local rings contains the class of 1-dimensional Gorenstein local rings (see 1.5). In Sec. 1, we prove that (see 1.6) if the associated graded ring G = gr 𝔪(R) is Cohen–Macaulay, then I ⊆ 𝔪s + xR, where s is the degree of the h-polynomial h R of R. In Sec. 2, we give necessary and sufficient conditions (see Corollaries 2.4, 2.5, 2.9 and Theorem 2.11) for the Cohen–Macaulayness of G. These conditions are numerical conditions on the h-polynomial h R, particularly on its coefficients and the degree in comparison with the difference e - ν. In Sec. 3, we give some conditions (see Propositions 3.2, 3.3 and Corollary 3.4) for the Gorensteinness of G. In Sec. 4, we give a characterization (see Proposition 4.3) of numerical semigroup rings which satisfy the condition [Formula: see text].


2013 ◽  
Vol 55 (3) ◽  
pp. 669-675
Author(s):  
DAVID E. RUSH
Keyword(s):  

AbstractThe class of $\mathfrak{m}$-full and four related classes of ideals in a local ring (R, $\mathfrak{m}$) are extended by replacing $\mathfrak{m}$ with other ideals and the resulting classes of ideals are compared. It is shown that contracted ideals are $\mathfrak{m}$-full in a local ring with infinite residue field.


2014 ◽  
Vol 14 (01) ◽  
pp. 1550004 ◽  
Author(s):  
Yuanlin Li ◽  
M. M. Parmenter ◽  
Pingzhi Yuan

A ring with involution * is called *-clean if each of its elements is the sum of a unit and a projection. Clearly a *-clean ring is clean. Vaš asked whether there exists a clean ring with involution * that is not *-clean. In a recent paper, Gao, Chen and the first author investigated when a group ring RG with classical involution * is *-clean and obtained necessary and sufficient conditions for RG to be *-clean, where R is a commutative local ring and G is one of C3, C4, S3 and Q8. As a consequence, the authors provided many examples of group rings which are clean, but not *-clean. In this paper, we continue this investigation and we give a complete characterization of when the group algebra 𝔽Cp is *-clean, where 𝔽 is a field and Cp is the cyclic group of prime order p. Our main result is related closely to the irreducible factorization of a pth cyclotomic polynomial over the field 𝔽. Among other results we also obtain a complete characterization of when RCn (3 ≤ n ≤ 6) is *-clean where R is a commutative local ring.


Sign in / Sign up

Export Citation Format

Share Document