• Bulletin of the Korean Mathematical Society
• /
• v.31 no.2
• /
• pp.210-214
• /
• 1994

The purpose of this paper is to investigate the relationship between the depths of the Rees algebra R[It] and the associated graded ring g $r_{I}$(R) of an ideal I in a local ring (R,m) of dim(R) > 0. The relationship between the Cohen-Macaulayness of these two rings has been studied extensively. Let (R, m) be a local ring and I an ideal of R. An ideal J contained in I is called a reduction of I if J $I^{n}$ = $I^{n+1}$ for some integer n.geq.0. A reduction J of I is called a minimal reduction of I. The reduction number of I with respect to J is defined by (Fig.) S. Goto and Y.Shimoda characterized the Cohen-Macaulay property of the Rees algebra of the maximal ideal of a Cohen-Macaulay local ring in terms of the Cohen-Macaulay property of the associated graded ring of the maximal ideal and the reduction number of that maximal ideal. Let us state their theorem.m.m.

• Bulletin of the Korean Mathematical Society
• /
• v.34 no.1
• /
• pp.35-42
• /
• 1997

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 a unique maximal ideal m. Let I be an ideal in a ring R and t an indeterminate over R.

• Kyungpook Mathematical Journal
• /
• v.58 no.1
• /
• pp.9-17
• /
• 2018

Let $R ={\oplus}_{n{\in}Z}R_n$ be a graded commutative Noetherian ring and let I be a graded ideal of R and J be an arbitrary ideal. It is shown that the i-th generalized local cohomology module of graded module M with respect to the (I, J), is graded. Also, the asymptotic behaviour of the homogeneous components of $H^i_{I,J}(M)$ is investigated for some i's with a specified property.

• 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 G_d 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 j₁(I) = λ(I/J) + λ[R/(J_d-1 :_RI+(J_d-2 :_RI+I):_R m^∞)] + 1, then I has almost minimal j-multiplicity, G(I) is Cohen-Macaulay and r_J(I) is at most 2, where J = (x₁, _…, x_d) is a general minimal reduction of I and J_i = (x₁, _…, x_i). 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.

• Journal of the Korean Mathematical Society
• /
• v.43 no.4
• /
• pp.871-883
• /
• 2006

We show that the Auslander index is the same as the column invariant over Gorenstein local rings. We also show that Ding's conjecture ([13]) holds for an isolated non-Gorenstein ring A satisfying a certain condition which seems to be weaker than the condition that the associated graded ring of A is Cohen-Macaulay.

• 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}$./.

• Bulletin of the Korean Mathematical Society
• /
• v.37 no.1
• /
• pp.191-207
• /
• 2000

Let R be a ommutative ring with unity and F a finite free R-module. For a nonnegative integer r, there exists a natural filtration of$S_r(S_2F)$ such that its associated graded module is isomorphic to $\Sigma_{{\lambda}{\epsilon}{\tau}_r}\;L_{\lambda}F$, where ${\Gamma}_{\gamma}$ set of partitions such that $$\mid${\lambda}$\mid$-2r,{{\widetilde}{\lambda}}-{{\widetilde}{\lambda}}_1},...,{{\widetilde}{\lambda}}_k},\;each\;{{\widetilde}{\lambda}}_t}$,is even. We call such filtrations plethysm formulas. We extend the above plethysm formula to the version of chain complexes. By plethysm formula we mean the composition of universally free functors. $Let{\emptyset}:G->F$ be a morphism of finite free R-modules. We construct the natural decomposition of $S_{r}(S_2{\emptyset})$,up to filtrations, whose associated graded complex is isomorphic to ${\Sigma}_{{\lambda}{\varepsilon}{\tau}}_r}\;L_{\lambda}{\emptyset}$.

• Bulletin of the Korean Mathematical Society
• /
• v.56 no.4
• /
• pp.1077-1097
• /
• 2019

Let M be a finitely generated module over a regular local ring (R, n). We will fix an n-stable filtration for M and show that the minimal free resolution of M can be obtained from any filtered free resolution of M by zero and negative consecutive cancellations. This result is analogous to [10, Theorem 3.1] in the more general context of filtered free resolutions. Taking advantage of this generality, we will study resolutions obtained by the mapping cone technique and find a sufficient condition for the minimality of such resolutions. Next, we give another application in the graded setting. We show that for a monomial order ${\sigma}$, Betti numbers of I are obtained from those of $LT_{\sigma}(I)$ by so-called zero ${\sigma}$-consecutive cancellations. This provides a stronger version of the well-known cancellation "cancellation principle" between the resolution of a graded ideal and that of its leading term ideal, in terms of filtrations defined by monomial orders.

• Journal of the Chungcheong Mathematical Society
• /
• v.26 no.4
• /
• pp.799-809
• /
• 2013

An ideal I of a local ring (R, m, k) is said to be m-full if there exists an element $x{\in}m$ such that Im : x = I. An ideal I of a local ring R is said to have the Rees property if ${\mu}$(I) > ${\mu}$(J) for any ideal J containing I. We study properties of m-full ideals and we characterize m-primary m-full ideals in terms of the minimal number of generators of the ideals. In particular, for a m-primary ideal I of a 2-dimensional regular local ring (R, m, k), we will show that the following conditions are equivalent. 1. I is m-full 2. I has the Rees property 3. ${\mu}$(I)=o(I)+1 In this paper, let (R, m, k) be a commutative Noetherian local ring with infinite residue field k = R/m.

• Bulletin of the Korean Mathematical Society
• /
• v.39 no.3
• /
• pp.479-484
• /
• 2002

Let I be an ideal in a Gorenstein local ring A with the maximal ideal m and d = dim A. Then we say that I is a good ideal in A, if I contains a reduction $Q=(a_1,a_2,...,a_d)$ generated by d elements in A and $G(I)=\bigoplus_{n\geq0}I^n/I^{n+1}$ of I is a Gorenstein ring with a(G(I)) = 1-d, where a(G(I)) denotes the a-invariant of G(I). Let S = A[Q/a$_1$] and P = mS. In this paper, we show that the following conditions are equivalent. (1) $I^2$ = QI and I = Q:I. (2) $I^2S$ = $a_1$IS and IS = $a_1$S：sIS. (3) $I^2$Sp = $a_1$ISp and ISp = $a_1$Sp ：sp ISp. We denote by $X_A(Q)$ the set of good ideals I in $X_A(Q)$ such that I contains Q as a reduction. As a Corollary of this result, we show that $I\inX_A(Q)\Leftrightarrow\IS_P\inX_{SP}(Qp)$.