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

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

• Communications of the Korean Mathematical Society
• /
• v.20 no.2
• /
• pp.275-290
• /
• 2005

Let $S\;=\;R[\chi_{ij}\mid1\;{\le}\;i\;{\le}\;m,\;1\;{\le}\;j\;{\le}\;n]$ be the polynomial ring over a noetherian commutative ring R and $I_p$ be the determinantal ideal generated by the $p\;\times\;p$ minors of the generic matrix $(\chi_{ij})(1{\le}P{\le}min(m,n))$. We describe a minimal free resolution of $S/I_{p}$, in the case m = n = p + 2 over $\mathbb{Z}$.

• Bulletin of the Korean Mathematical Society
• /
• v.59 no.5
• /
• pp.1177-1190
• /
• 2022

Let R be a commutative ring with identity. We call the ring R to be an almost quasi-coherent ring if for any finite set of elements α₁, …, α_p and a of R, there exists a positive integer m such that the ideals $\bigcap{_{i=1}^{p}}\;R{\alpha}^m_i$ and Ann_R(α^m) are finitely generated, and to be almost von Neumann regular rings if for any two elements a and b in R, there exists a positive integer n such that the ideal (αⁿ, bⁿ) is generated by an idempotent element. This paper establishes necessary and sufficient conditions for the Nagata's idealization and the amalgamated algebra to inherit these notions. Our results allow us to construct original examples of rings satisfying the above-mentioned properties.