• 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 Korean Mathematical Society
• /
• v.52 no.6
• /
• pp.1253-1270
• /
• 2015

Let (R, m) be a commutative Noetherian local domain, M a non-zero finitely generated R-module of dimension n > 0 and I be an ideal of R. In this paper it is shown that if $x_1,{\ldots },x_t$ ($1{\leq}t{\leq}n$) be a sub-set of a system of parameters for M, then the R-module $H^t_{(x_1,{\ldots },x_t)}$(R) is faithful, i.e., Ann $H^t_{(x_1,{\ldots },x_t)}$(R) = 0. Also, it is shown that, if $H^i_I$ (R) = 0 for all i > dim R - dim R/I, then the R-module $H^{dimR-dimR/I}_I(R)$ is faithful. These results provide some partially affirmative answers to the Lynch's conjecture in [10]. Moreover, for an ideal I of an arbitrary Noetherian ring R, we calculate the annihilator of the top local cohomology module $H^1_I(M)$, when $H^i_I(M)=0$ for all integers i > 1. Also, for such ideals we show that the finitely generated R-algebra $D_I(R)$ is a flat R-algebra.

• Korean Journal of Mathematics
• /
• v.23 no.3
• /
• pp.357-370
• /
• 2015

In this paper, we introduce the concept of (m, n)-ideals in a non-associative ordered structure, which is called an ordered Abel-Grassmann's groupoid, by generalizing the concept of (m, n)-ideals in an ordered semigroup [14]. We also study the (m, n)-regular class of an ordered AG-groupoid in terms of (m, n)-ideals.

• Communications of the Korean Mathematical Society
• /
• v.39 no.3
• /
• pp.611-622
• /
• 2024

The purpose of this paper is to introduce a new class of rings containing the class of m-formally Noetherian rings and contained in the class of nonnil-SFT rings introduced and investigated by Benhissi and Dabbabi in 2023 [4]. Let A be a commutative ring with a unit. The ring A is said to be nonnil-m-formally Noetherian, where m ≥ 1 is an integer, if for each increasing sequence of nonnil ideals (I_n)_n≥0 of A the (increasing) sequence (∑_i1+⋯+im=nI_i1I_i2⋯I_im)_n≥0 is stationnary. We investigate the nonnil-m-formally Noetherian variant of some well known theorems on Noetherian and m-formally Noetherian rings. Also we study the transfer of this property to the trivial extension and the amalgamation algebra along an ideal. Among other results, it is shown that A is a nonnil-m-formally Noetherian ring if and only if the m-power of each nonnil radical ideal is finitely generated. Also, we prove that a flat overring of a nonnil-m-formally Noetherian ring is a nonnil-m-formally Noetherian. In addition, several characterizations are given. We establish some other results concerning m-formally Noetherian rings.

• Honam Mathematical Journal
• /
• v.29 no.4
• /
• pp.653-666
• /
• 2007

Let R be a commutative Noetherian ring (with a nonzero identity) and let M be an R-module. Further let I be an ideal of R. In this paper, by putting a suitable condition on $Ass_R$(M), we obtain some results concerning $I^{*(M)}$ and prove that the sequence of sets $Ass_R(R/(I^n)^{*(M)})$, $n\;\in\;N$, is increasing and ultimately constant. (Here $(I^n)^{*(M)}$ denotes the integral closure of $I^n$ relative to M.)

• Journal of the Korean Mathematical Society
• /
• v.56 no.6
• /
• pp.1599-1611
• /
• 2019

Let $m,n{\in}{\mathbb{N}}$. We represent the additive subgroups of the ring ${\mathbb{Z}}_m{\times}{\mathbb{Z}}_n$, which are also (unital) subrings, and deduce explicit formulas for $N^{(s)}(m,n)$ and $N^{(us)}(m,n)$, denoting the number of subrings of the ring ${\mathbb{Z}}_m{\times}{\mathbb{Z}}_n$ and its unital subrings, respectively. We show that the functions $(m,n){\mapsto}N^{u,s}(m,n)$ and $(m,n){\mapsto}N^{(us)}(m,n)$ are multiplicative, viewed as functions of two variables, and their Dirichlet series can be expressed in terms of the Riemann zeta function. We also establish an asymptotic formula for the sum $\sum_{m,n{\leq}x}N^{(s)}(m,n)$, the error term of which is closely related to the Dirichlet divisor problem.

• Bulletin of the Korean Mathematical Society
• /
• v.40 no.3
• /
• pp.503-508
• /
• 2003

We prove that every M-ideal is strongly proximinal and that, for any Banach space X, $K(X,\;c_0)$ is an M-ideal in $L(X,\;\ell^{\infty})$.

• Communications of the Korean Mathematical Society
• /
• v.17 no.2
• /
• pp.221-227
• /
• 2002

In this paper we will show that the followings ; (1) Let R be a regular local ring of dimension n. Then $A_{n-2}$(R) = 0. (2) Let R be a regular local ring of dimension n and I be an ideal in R of height 3 such that R/I is a Gorenstein ring. Then [I] = 0 in $A_{n-3}$(R). (3) Let R = V[[ $X_1$, $X_2$, …, $X_{5}$ ]]/(p+ $X_1$$^{t1}$ + $X_2$$^{t2}$ + $X_3$$^{t3}$ + $X_4$$^2$+ $X_{5}$ $^2$/), where p $\neq$2, $t_1$, $t_2$, $t_3$ are arbitrary positive integers and V is a complete discrete valuation ring with (p) = mv. Assume that R/m is algebraically closed. Then all the Chow group for R is 0 except the last Chow group.group.oup.

• Bulletin of the Korean Mathematical Society
• /
• v.49 no.2
• /
• pp.295-306
• /
• 2012

Let (R, $m_R$, k) be a local maximal commutative subalgebra of $M_n$(k) with nilpotent maximal ideal $m_R$. In this paper, we will construct a maximal commutative subalgebra $R^{ST}$ which is isomorphic to R and study some interesting properties related to $R^{ST}$. Moreover, we will introduce a method to construct an algebra in $MC_n$(k) with i($m_R$) = n and dim(R) = n.