• 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.

• Bulletin of the Korean Mathematical Society
• /
• v.31 no.1
• /
• pp.35-44
• /
• 1994

In this paper we study exponential growth of Betti numbers over artinian local rings. By the Change of Tor Formula the results in the paper extend to the asymptotic behavior of Betti numbers over Cohen-Macaulay local rings. Using the length function of an artinian ring we calculate an upper bound for the number of generators of modules, this is then used to maximize the number of generators of sygyzy modules. Finally, applying a filtration of an ideal, which we call a Loewy series of an ideal, we derive an invariant B(R) of an artinian local ring R, such that if B(R)>1, then the sequence $b^{R}$$_{i}$ (M) of Betti numbers is strictly increasing and has strong exponential growth for any finitely generated non-free R-module M (Theorem 2.7).).

• Journal of Integrative Natural Science
• /
• v.4 no.4
• /
• pp.278-281
• /
• 2011

We discuss an application of 'restrictions on the entries of the maps in the minimal free resolution' and '$SC_r$-condition of modules', and give an alternative proof of the following result of Foxby: Let M be a finitely generated module of dimension over a Noetherian local ring (A,m). Suppose that $\hat{A}$ has no embedded primes. If A is not Gorenstein, then ${\mu}_i(m,A){\geq}2$ for all i ${\geq}$ dimA.

• 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)$.