• Title/Summary/Keyword: Cohen-Macaulay

Search Result 47, Processing Time 0.02 seconds

MINIMAL RESOLUTION CONJECTURES AND ITS APPLICATION

  • Cho, Young-Hyun
    • Communications of the Korean Mathematical Society
    • /
    • v.13 no.2
    • /
    • pp.217-224
    • /
    • 1998
  • In this paper we study the minimal resolution conjecture which is a generalization of the ideal generation conjecture. And we show how the results about this conjecture can make the calculation of minimal resolution in certain cases.

  • PDF

LOCALLY COMPLETE INTERSECTION IDEALS IN COHEN-MACAULAY LOCAL RINGS

  • Kim, Mee-Kyoung
    • Communications of the Korean Mathematical Society
    • /
    • v.9 no.2
    • /
    • pp.261-264
    • /
    • 1994
  • Throughout this paper, all rings are assumed to be commutative with identity. By a local ring (R, m), we mean a Noetherian ring R which has the unique maximal ideal m. By dim(R) we always mean the Krull dimension of R. Let I be an ideal in a ring R and t an indeterminate over R. Then the Rees algebra R[It] is defined to be(omitted)

  • PDF

EQUIMULTIPLE GOOD IDEALS WITH HEIGHT 1

  • Kim, Mee-Kyoung
    • Journal of the Korean Mathematical Society
    • /
    • v.39 no.1
    • /
    • pp.127-135
    • /
    • 2002
  • Let I be an ideal in a Gorenstein local ring A with the maximal ideal m. Then we say that I is an equimultiple good ideal in A, if I contains a reduction Q = ( $a_1$, $a_2$,ㆍㆍㆍ, $a_{s}$ ) generated by s elements in A and G(I) =(equation omitted)$_{n 0}$ $I^{n}$ / $I^{n+1}$ of I is a Gorenstein ring with a(G(I)) = 1 - s, where s = h $t_{A}$ I and a(G(I)) denotes the a-invariant of G(I). Let $X_{A}$$^{s}$ denote the set of equimultiple good ideals I in A with h $t_{A}$ I = s, R(I) = A [It] be the Rees algebra of I, and $K_{R(I)}$ denote the canonical module of R(I). Let a I such that $I^{n+l}$ = a $I^{n}$ for some n$\geq$0 and $\mu$$_{A}$(I)$\geq$2, where $\mu$$_{A}$(I) denotes the number of elements in a minimal system of generators of I. Assume that A/I is a Cohen-Macaulay ring. We show that the following conditions are equivalent. (1) $K_{R(I)}$(equation omitted)R(I)+as graded R(I)-modules. (2) $I^2$ = aI and aA : I$\in$ $X^1$$_{A}$._{A}$./.

ON THE FIRST GENERALIZED HILBERT COEFFICIENT AND DEPTH OF ASSOCIATED GRADED RINGS

  • Mafi, Amir;Naderi, Dler
    • Bulletin of the Korean Mathematical Society
    • /
    • v.57 no.2
    • /
    • pp.407-417
    • /
    • 2020
  • Let (R, m) be a d-dimensional Cohen-Macaulay local ring with infinite residue field. Let I be an ideal of R that has analytic spread ℓ(I) = d, satisfies the Gd condition, the weak Artin-Nagata property AN-d-2 and m is not an associated prime of R/I. In this paper, we show that if j1(I) = λ(I/J) + λ[R/(Jd-1 :RI+(Jd-2 :RI+I):R m)] + 1, then I has almost minimal j-multiplicity, G(I) is Cohen-Macaulay and rJ(I) is at most 2, where J = (x1, , xd) is a general minimal reduction of I and Ji = (x1, , xi). In addition, the last theorem is in the spirit of a result of Sally who has studied the depth of associated graded rings and minimal reductions for m-primary ideals.

ALMOST COHEN-MACAULAYNESS OF KOSZUL HOMOLOGY

  • Mafi, Amir;Tabejamaat, Samaneh
    • Bulletin of the Korean Mathematical Society
    • /
    • v.56 no.2
    • /
    • pp.471-477
    • /
    • 2019
  • Let (R, m) be a commutative Noetherian ring, I an ideal of R and M a non-zero finitely generated R-module. We show that if M and $H_0(I,M)$ are aCM R-modules and $I=(x_1,{\cdots},x_{n+1})$ such that $x_1,{\cdots},x_n$ is an M-regular sequence, then $H_i(I,M)$ is an aCM R-module for all i. Moreover, we prove that if R and $H_i(I,R)$ are aCM for all i, then R/(0 : I) is aCM. In addition, we prove that if R is aCM and $x_1,{\cdots},x_n$ is an aCM d-sequence, then depth $H_i(x_1,{\cdots},x_n;R){\geq}i-1$ for all i.

BALANCE FOR RELATIVE HOMOLOGY WITH RESPECT TO SEMIDUALIZING MODULES

  • Di, Zhenxing;Zhang, Xiaoxiang;Chen, Jianlong
    • Bulletin of the Korean Mathematical Society
    • /
    • v.52 no.1
    • /
    • pp.137-147
    • /
    • 2015
  • We derive in the paper the tensor product functor -${\otimes}_R$- by using proper $\mathcal{GP}_C$-resolutions, where C is a semidualizing module. After giving several cases in which different relative homologies agree, we use the Pontryagin duals of $\mathcal{G}_C$-projective modules to establish a balance result for such relative homology over a Cohen-Macaulay ring with a dualizing module D.

STRUCTURE OF THE FLAT COVERS OF ARTINIAN MODULES

  • Payrovi, S.H.
    • Journal of the Korean Mathematical Society
    • /
    • v.39 no.4
    • /
    • pp.611-620
    • /
    • 2002
  • The aim of the Paper is to Obtain information about the flat covers and minimal flat resolutions of Artinian modules over a Noetherian ring. Let R be a commutative Noetherian ring and let A be an Artinian R-module. We prove that the flat cover of a is of the form $\prod_{p\epsilonAtt_R(A)}T-p$, where $Tp$ is the completion of a free R$_{p}$-module. Also, we construct a minimal flat resolution for R/xR-module 0: $_AX$ from a given minimal flat resolution of A, when n is a non-unit and non-zero divisor of R such that A = $\chiA$. This result leads to a description of the structure of a minimal flat resolution for ${H^n}_{\underline{m}}(R)$, nth local cohomology module of R with respect to the ideal $\underline{m}$, over a local Cohen-Macaulay ring (R, $\underline{m}$) of dimension n.